In contrast to 3-periodic minimal surfaces free of self-intersections, 3-periodic minimal surfaces with self-intersections attracted little attention for a long time, probably because there exists an infinite variety of such surfaces. Most of them show too many self-intersections to be of general or even crystallographic interest. A special set of such surfaces stands out, however, namely those that intersect themselves exclusively along straight lines. Surfaces of that kind are relatively rare. 82 families of them could be derived and characterized using crystallographic methods: 78 families of minimal surfaces with disc-like surface patches (Koch & Fischer 1999, Koch 2000a,b, 2001) and 4 with catenoid-like surface patches (Fischer & Koch 2001). It turned out that these surfaces show some interesting properties:
(1) Some of them contain branch points, i.e. points around which the surface winds twice until it closes up. A branch point is generated at each vertex of a surface patch where the edges meet under 120°. Then the corresponding 2-fold axes are lines of self-intersection on one side of the branch point but run through the spatial subunit on the other side.
(2) Most of them are non-orientable like a Möbius strip.
(3) Though most of them subdivide R3 into two 3-periodic mutually interpenetrating labyrinths a variety of other spatial subunits occur. There also exist surfaces separating two different kinds of spatial subunits.
(4) For the generation of surface patches not only 2-fold, but also 4- and 6-fold rotation axes may be used which then become lines of self-intersection.
For each such surface the two sides of each surface patch may be coloured in such a way that the inside of each spatial subunit gets its own colour. This colouring scheme has been used for all corresponding figures. In the following, normal edges of the surface patches are drawn in black, lines of simple self-intersection in red, and lines where three, four or six parts of the surface intersect are marked in yellow.
Symbols for self-intersecting minimal surfaces have been constructed that give a rough classification. Each symbol starts either with OR for orientable or NO for non-orientable. Next the peridiocity of the spatial subunits is specified by one number (with a superscript if equal subunits run in different directions) or two numbers separated by a comma if the subunits differ. After a hyphen a small letter states the crystal system (c = cubic, h = hexagonal, t = tetragonal, o = orthorhombic), followed by a running number.
Most 3-periodic minimal surfaces with self-intersections along straight lines have been derived from disc-like surface patches spanning skew polygons. Examples are given by Stessmann (1934), Schoen (1970) and Karcher (1989) , but only Schoen described the geometrical properties of the one surface he had derived. He claimed that his surface is non-orientable and subdivides R3 into two labyrinths as surfaces without self-intersection do. The lack of any proof in his paper stimulated the development of methods to deduce the geometric properties of the surfaces from the crystallographic characteristics of their generating polygons (Koch & Fischer 1999).
Most of the new surfaces separate two 3-periodic mutually interpenetrating labyrinths from each other. Non-orientable as well as a few orientable surfaces of this kind have been found. In addition some non-orientable surfaces subdividing R3 into 4 or even into 8 labyrinths have been derived. Surfaces with 3 or 6 labyrinths seem not to exist.
As for surfaces without self-intersection, the symmetry group Ulab of a labyrinth is a subgroup with index 2 of the symmetry group G of the surface. The symmetry of the surface with differently coloured labyrinths may be described by the group-subgroup pair G-Ulab or by the corresponding black-white space group.
| Minimal surface | Space-group G | Polygon | Labyrinth symmetry Ulab | Reference |
|---|---|---|---|---|
| NO32-c1 | Pn-3m | 6-gon | Fd-3m (2a,2b,2c) | Koch 2000a |
| NO32-c2 | I432 | 4-gon | P4232 | Fischer & Koch 1996b, Koch 2000a |
| NO32-c3 | I432 | 6-gon | I23 | Koch 2000a |
| NO32-c4 | I4132 | 5-gon | P4132 | Schoen 1970, Fischer & Koch 1996b, Koch 2000a |
| NO32-h1 | P6/mcc | 8-gon | P-6c2 | Fischer & Koch 1996b, Koch 2000a |
| NO32-h2 | P6/mcc | 8-gon | P6/m | Koch 2000a |
| NO32-h3 | P6/mcc | 8-gon | P6/m | Koch 2000a |
| NO32-h4 | P622 | 8-gon | P622 (2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-h5 | P622 | 8-gon | P622 (2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-h6 | P622 | 6-gon | P312 | Fischer & Koch 1996b, Koch 2000a |
| NO32-h7 | P622 | 7-gon | P6322 (2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-h8 | P622 | 7-gon | P6322 (2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-h9 | P622 | 7-gon | P6322 (2c) | Koch 2000a |
| NO32-h10 | P6222 | 6-gon | P6422 (2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-t1 | P4/mcc | 6-gon | P4/mnc (a-b,a+b) | Fischer & Koch 1996b, Koch 2000a |
| NO32-t2 | P4/mcc | 8-gon | P4/m | Koch 2000a |
| NO32-t3 | P422 | 8-gon | P422 (2c) | Koch 2000a |
| NO32-t4 | P422 | 5-gon | I422 (a-b,a+b,2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-t5 | P422 | 6-gon | I422 (a-b,a+b,2c) | Koch 2000a |
| NO32-t6 | P422 | 7-gon | I422 (a-b,a+b,2c) | Koch 2000a |
| NO32-t7 | P422 | 7-gon | I422 (a-b,a+b,2c) | Koch 2000a |
| NO32-t8 | P422 | 7-gon | I422 (a-b,a+b,2c) | Koch 2000a |
| NO32-t9 | P422 | 8-gon | I422 (a-b,a+b,2c) | Koch 2000a |
| NO32-t10 | P4222 | 6-gon | I4122 (a-b,a+b,2c) | Koch 2000a |
| NO32-t11 | P4222 | 6-gon | I4122 (a-b,a+b,2c) | Koch 2000a |
| NO32-t12 | P4222 | 7-gon | I4122 (a-b,a+b,2c) | Koch 2000a |
| NO32-t13 | P4222 | 8-gon | I4122 (a-b,a+b,2c) | Koch 2000a |
| NO32-t14 | P4222 | 8-gon | P41212 (a-b,a+b) | Koch 2000a |
| NO32-t15 | P4222 | 8-gon | P42 | Koch 2000a |
| NO32-t16 | P4222 | 8-gon | P4322 (2c) | Fischer & Koch 1996b, Koch 2000a |
| NO32-t17 | P4222 | 9-gon | P4322 (2c) | Koch 2000a |
| NO32-o1 | Pccm | 8-gon | Cccm (2a,2b) | Koch 2000a |
| NO32-o2 | Pccm | 10-gon | P112/m | Koch 2000a |
| NO32-o3 | P222 | 10-gon | P222 (2c) | Koch 2000a |
| NO32-o4 | P222 | 7-gon | C222 (2a,2b) | Koch 2000a |
| NO32-o5 | P222 | 9-gon | C222 (2a,2b) | Koch 2000a |
| NO32-o6 | P222 | 9-gon | C222 (2a,2b) | Koch 2000a |
| NO32-o7 | P222 | 11-gon | F222 (2a,2b,2c) | Koch 2000a |
| oNO32-t5 | P222 | 7-gon | F222 (2a,2b,2c) | Fischer & Koch 1996b, Koch 2000a |
Different colouring of the two sides of such a surface exactly corresponds to colouring the two labyrinths differently. Accordingly, the symmetry situation is analogous to that of surfaces without self-intersection: The symmetry group S of the oriented surface, i. e. of the surface with two differently coloured sides, and the symmetry group Ulab of a single labyrinth are identical. The symmetry of the coloured surface may be described by the group-subgroup pair G-S or by the corresponding black-white space group.
| Minimal surface | Space-group pair G-S | Polygon | Labyrinth symmetry Ulab | Reference |
|---|---|---|---|---|
| OR32-h1 | P6/mcc - P-62c | 6-gon | P-62c | Fischer & Koch 1996b, Koch 2000a |
| OR32-h2 | P622 - P6322 (2c) | 5-gon | P6322 (2c) | Fischer & Koch 1996b, Koch 2000a |
| OR32-t1 | P4222 - P4322 (2c) | 6-gon | P4322 (2c) | Koch 2000a |
Each of these surfaces subdivides R3 into 4 congruent labyrinths. Accordingly, the symmetry group Ulab = I4122 of a single labyrinth is a subgroup with index 4 of the symmetry group G = P422 of the surface. There exist, however, two conjugate subgroups I4122 of P422. One of them maps e.g. labyrinths 1 and 3 onto themselves and interchanges labyrinths 2 and 4, whereas the other subgroup I4122 interchanges 1 and 3 and is the symmetry of labyrinth 2 as well as of 4. Any of the four labyrinths is adjacent to the two labyrinths that have the other labyrinth group. The symmetry of the surface with differently coloured labyrinths may be described by a four-colour space group. The respective permutation group of the colours has the order 8 and is isomorphic to the crystallographic group 422.
| Minimal surface | Space-group G | Polygon | Labyrinth symmetry Ulab | Reference |
|---|---|---|---|---|
| NO34-t1 | P422 | 6-gon | I4122 (a-b,a+b,4c) | Fischer & Koch 1996b, Koch 2000a |
| NO34-t2 | P422 | 6-gon | I4122 (a-b,a+b,4c) | Fischer & Koch 1996b, Koch 2000a |
| NO34-t3 | P422 | 7-gon | I4122 (a-b,a+b,4c) | Koch 2000a |
Each of these surfaces subdivides R3 into 8 congruent labyrinths. Accordingly, the symmetry group Ulab of a single labyrinth is a subgroup with index 8 of the symmetry group G of the surface. Though the symmetry groups G differ in the two cases, the eight labyrinths of an NO38-t1 as well as those of an NO38-t2 surface correpond to four conjugate labyrinth groups Ulab, i.e. four times two of these labyrinths have identical labyrinth symmetry. In both cases, the symmetry of a surface with differently coloured labyrinths may be described by an eight-colour space group. The respective permutation group of the colours has the order 64 and is not isomorphic to any crystallographic group in R3.
| Minimal surface | Space-group G | Polygon | Labyrinth symmetry Ulab | Reference |
|---|---|---|---|---|
| NO38-t1 | P42/nbc | 8-gon | I-42d (2a,2b,2c) | Koch 2000a |
| NO38-t2 | I422 | 6-gon | I4122 (2a,2b,2c) | Fischer & Koch 1996b, Koch 2000a |
In 14 cases the minimal surfaces with straight self-intersections subdivide R3 into infinitely many 2-periodic spatial subunits, called flat labyrinths. The symmetry of a single flat labyrinth is a layer group Uflab. All these surfaces turned out to be non-orientable. In all cases, the flat labyrinths of such a surface are congruent and all their labyrinth groups are conjugate subgroups of the symmetry G of the surface. Two different situations with respect to the mutual orientation of the labyrinths have to be distinguished.
In these cases, all the flat labyrinths run parallel. Each labyrinth is interwoven with its two neighbours.
| Minimal surface | Space-group G | Polygon | Labyrinth symmetry Uflab | Reference |
|---|---|---|---|---|
| NO2-h1 | P622 | 6-gon | P(6)22 | Koch 2000b |
| NO2-h2 | P622 | 7-gon | P(6)22 | Koch 2000b |
| NO2-h3 | P622 | 7-gon | P(6)22 | Koch 2000b |
| NO2-h4 | P622 | 7-gon | P(6)22 | Koch 2000b |
| NO2-t1 | P42/mcm | 7-gon | Cmm(m) (a-b,a+b) | Koch 2000b |
| NO2-t2 | P422 | 6-gon | P(4)22 | Koch 2000b |
| NO2-t3 | P422 | 7-gon | P(4)22 | Koch 2000b |
| NO2-t4 | P422 | 7-gon | P(4)22 | Koch 2000b |
| NO2-o1 | Pccm | 10-gon | P(c)cm | Koch 2000b |
| NO2-o2 | P222 | 7-gon | P22(2) | Koch 2000b |
| NO2-o3 | P222 | 9-gon | P22(2) | Koch 2000b |
In the other cases, there exist two infite subsets of flat labyrinths. Any two labyrinths of the same subset run parallel whereas any two labyrinths from different subsets run perpendicular to each other. Each surface patch separates labyrinths from different sets.
| Minimal surface | Space-group G | Polygon | Labyrinth symmetry Uflab | Reference |
|---|---|---|---|---|
| NO22-t1 | P42/mmc | 8-gon | P(2)mm | Koch 2000b |
| NO22-t2 | P422 | 7-gon | P(2)11 | Koch 2000b |
| NO22-t3 | I422 | 7-gon | P(2)2121 | Fischer & Koch 1996b, Koch 2000b |
Some of the surfaces subdivide R3 into 1-periodic spatial subunits (called tubes), into finite spatial subunits (called polyhedra) or into a combination of both. Among these surfaces there are as well non-orientable as orientable ones. If self-intersection takes place along all the edges of the generating polygon then two different kinds of spatial subunits are produced. The symmetry of a single tube is a rod group Ut, that of a single polyhedron a point group Up.
Surfaces NO1-hi and NO1-ti subdivide R3 into parallel congruent tubes that are branched, i.e. interwoven with three or four neighbouring tubes. By way of contrast, the congruent tubes of NO13-h1 and of NO12-t1 surfaces run in three or two symmetrically equivalent directions, respectively. The tubes of NO13-h1 surfaces are unbranched, whereas those of NO12-t1 surfaces are branched and interwoven. NO0-c1 surfaces are the only ones giving rise to congruent finite spatial subunits. Each such polyhedron is topologically equivalent to a sphere with 11 handles and is interlinked with six neighbouring polyhedra sharing the centre of the original polyhedron as common vertex. An NO0,0-c1 surface produces two different kinds of polyhedra, large and small ones.
| Minimal surface | Space-group G | Polygon | Tube/polyhedron symmetry Ut/Up | Reference |
|---|---|---|---|---|
| NO1-h1 | P6/mcc | 8-gon | P-6(c2) | Koch 2001 |
| NO1-h2 | P622 | 6-gon | P3(12) | Koch 2001 |
| NO1-t1 | P4/mcc | 8-gon | P4/m(cc) | Koch 2001 |
| NO1-t2 | P42/mcm | 8-gon | P42/m(cm) | Koch 2001 |
| NO1-t3 | P422 | 6-gon | P4(22) | Koch 2001 |
| NO1-t4 | P422 | 7-gon | P4(22) | Koch 2001 |
| NO13-h1 | P6222 | 5-gon | P(22)21 | Fischer & Koch 1996b, Koch 2001 |
| NO12-t1 | P42/mmc | 7-gon | P(mm)m | Koch 2001 |
| NO0-c1 | P432 | 5-gon | 432 | Koch 2001 |
| NO0,0-c1 | Pm-3n | 5-gon | m-3, -4m2 | Fischer & Koch 1996a, Koch 2001 |
All these surfaces subdivide R3 into two kinds of spatial subunits, either into two different kinds of tubes or into tubes and polyhedra or into two different kinds of polyhedra. Though these surfaces are orientable, different colouring of the two sides of a surface does not result in a uniform colouring inside all spatial subunits.
| Minimal surface | Space-group pair G-S | Polygon | Tube/polyhedron symmetry Ut/Up | Reference |
|---|---|---|---|---|
| OR12,12-t1 | P4222 - I4122(a-b,a+b,2c) | 8-gon | P(22)2, P(22)2 | Koch 2001 |
| OR13,0-c1 | Pm-3n - Pm-3 | 8-gon | P-4(m2), m-3 | Fischer & Koch 1996a, Koch 2001 |
| OR1,0-h1 | P6/mmm - P63/mmc (2c) | 6-gon | P6/m(mm), -6m2 | Fischer & Koch 1996b, Koch 2001 |
| OR1,0-h2 | P6/mmm - P-6m2 | 6-gon | P-6(m2), 6/mmm | Fischer & Koch 1996b, Koch 2001 |
| OR0,0-c1 | Pm-3m - Fm-3m (2a,2b,2c) | 4-gon | m-3m, 4mm | Fischer & Koch 1996b, Koch 2001 |
| OR0,0-h1 | P6/mmm - P63/mmc (2c) | 6-gon | 6/mmm, -6m2 | Fischer & Koch 1996b, Koch 2001 |
| OR0,0-h2 | P6/mmm - P63/mmc (2c) | 5-gon | -6m2, mmm | Fischer & Koch 1996b, Koch 2001 |
All minimal surfaces with catenoid-like surface patches result from spanning pairs of polygons from parallel Laves nets. If the polygons have vertices with an angle of 120° then the generated surface intersects itself along all polygon edges and possesses branch points. Each such surface is orientable and subdivides R3 into parallel flat labyrinths and tubes perpendicular to them. If the two sides of the surface are coloured differently then the outside of all catenoids show the same colour in one layer and different colours in adjacent layers. On the inside of each tube the colour changes from layer to layer in the contrary sequence.
| Minimal surface | Space-group pair G-S | Laves net | Labyrinth/tube symmetry Uflab/Ut | Reference |
|---|---|---|---|---|
| OR2,1-h1 | P6/mmm - P6/mmm (2c) | 36 | P(6/m)mm, P6/m(mm) | Fischer & Koch 2001 |
| OR2,1-h2 | P6/mmm - P6/mmm (2c) | 6363 | P(6/m)mm, Pm(mm) | Fischer & Koch 2001 |
| OR2,1-h3 | P6/mmm - P6/mmm (2c) | 6434 | P(6/m)mm, Pm(m2) | Fischer & Koch 2001 |
| OR2,1-h4 | P6/mmm - P6/mmm (2c) | 1223 | P(6/m)mm, Pm(11) | Fischer & Koch 2001 |
| 3-periodic minimal surfaces | ... without self-intersections | top of this page |
| Mathematical Crystallography | Elke Koch | Werner Fischer |
Last update: March 2002