Fibrifold

From HandWiki

In mathematics, a fibrifold is (roughly) a fiber space whose fibers and base spaces are orbifolds. They were introduced by John Horton Conway, Olaf Delgado Friedrichs, and Daniel H. Huson et al. (2001), who introduced a system of notation for 3-dimensional fibrifolds and used this to assign names to the 219 affine space group types. 184 of these are considered reducible, and 35 irreducible.

Irreducible cubic space groups

The 35/36 irreducible cubic space groups in fibrifold and international index and Hermann–Mauguin notation. 212 and 213 are enantiomorphous pairs giving the same fibrifold notation.

The 35 irreducible space groups correspond to the cubic space group.

35 irreducible space groups
8o:2 4:2 4o:2 4+:2 2:2 2o:2 2+:2 1o:2
8o 4 4o 4+ 2 2o 2+ 1o
8o/4 4/4 4o/4 4+/4 2/4 2o/4 2+/4 1o/4
8−o 8oo 8+o 4− − 4−o 4oo 4+o 4++ 2−o 2oo 2+o
36 cubic groups
Class
Point group
Hexoctahedral
*432 (m3m)
Hextetrahedral
*332 (43m)
Gyroidal
432 (432)
Diploidal
3*2 (m3)
Tetartoidal
332 (23)
bc lattice (I) 8o:2 (Im3m) 4o:2 (I43m) 8+o (I432) 8−o (I3) 4oo (I23)
nc lattice (P) 4:2 (Pm3m) 2o:2 (P43m) 4−o (P432) 4 (Pm3) 2o (P23)
4+:2 (Pn3m) 4+ (P4232) 4+o (Pn3)
fc lattice (F) 2:2 (Fm3m) 1o:2 (F43m) 2−o (F432) 2 (Fm3) 1o (F23)
2+:2 (Fd3m) 2+ (F4132) 2+o (Fd3)
Other
lattice
groups
8o (Pm3n)
8oo (Pn3n)
4− − (Fm3c)
4++ (Fd3c)
4o (P43n)
2oo (F43c)
Achiral
quarter
groups
8o/4 (Ia3d) 4o/4 (I43d) 4+/4 (I4132)
2+/4 (P4332,
P4132)
2/4 (Pa3)
4/4 (Ia3)
1o/4 (P213)
2o/4 (I213)
Cubic space group lattices.png Tetragonal disphenoid symmetry0.png Quadrilateral tree.png
8 primary hexoctahedral hextetrahedral lattices of the cubic space groups The fibrifold cubic subgroup structure shown is based on extending symmetry of the tetragonal disphenoid fundamental domain of space group 216, similar to the square

Irreducible group symbols (indexed 195−230) in Hermann–Mauguin notation, Fibrifold notation, geometric notation, and Coxeter notation:

Class
(Orbifold point group)
Space groups
Tetartoidal
23
(332)
195 196 197 198 199  
P23 F23 I23 P213 I213  
2o 1o 4oo 1o/4 2o/4  
P3.3.2 F3.3.2 I3.3.2 P3.3.21 I3.3.21  
[(4,3+,4,2+)] [3[4]]+ (4,3+,4,2+)  
Diploidal
43m
(3*2)
200 201 202 203 204 205 206  
Pm3 Pn3 Fm3 Fd3 I3 Pa3 Ia3  
4 4+o 2 2+o 8−o 2/4 4/4  
P43 Pn43 F43 Fd43 I43 Pb43 Ib43  
[4,3+,4] |[4,(3<sup>1,1</sup>)<sup>+</sup>] ||<nowiki>[[3[4]+ 4,3+,4  
Gyroidal
432
(432)
207 208 209 210 211 212 213 214  
P432 P4232 F432 F4132 I432 P4332 P4132 I4132  
4−o 4+ 2−o 2+ 8+o 2+/4 4+/4  
P4.3.2 P42.3.2 F4.3.2 F41.3.2 I4.3.2 P43.3.2 P41.3.2 I41.3.2  
[4,3,4]+ |[4,3<sup>1,1</sup>]<sup>+</sup> ||<nowiki>[[3[4]+ 4,3,4+  
Hextetrahedral
43m
(*332)
215 216 217 218 219 220  
P43m F43m I43m P43n F43c I43d  
2o:2 1o:2 4o:2 4o 2oo 4o/4  
P33 F33 I33 Pn3n3n Fc3c3a Id3d3d  
[(4,3,4,2+)] [3[4]] (4,3,4,2+) [[(4,3,4,2+)]+] [+(4,{3),4}+]  
Hexoctahedral
m3m
(*432)
221 222 223 224 225 226 227 228 229 230
Pm3m Pn3n Pm3n Pn3m Fm3m Fm3c Fd3m Fd3c Im3m Ia3d
4:2 8oo 8o 4+:2 2:2 4−− 2+:2 4++ 8o:2 8o/4
P43 Pn4n3n P4n3n Pn43 F43 F4c3a Fd4n3 Fd4c3a I43 Ib4d3d
[4,3,4] |[(4<sup>+</sup>,2<sup>+</sup>)[3<sup>[4]</sup> ||[4,3<sup>1,1</sup>] ||[4,(3,4)<sup>+</sup>] ||<nowiki>3[4] +(4,{3),4}+ 4,3,4

References