Crystallography & Symmetry
patterns derived from their groups
Concept

Fullerene — where it appears

A closed carbon cage of pentagons and hexagons with three bonds at every atom. Whatever its size, it has exactly twelve pentagons, because Euler's relation forces a sum in which a hexagon counts nothing and a pentagon counts one to come to twelve.

Named by 5 essays across one field — each of them below, with the objects they name alongside it.

The most of an icosahedron a crystal can keep. Every subgroup of the sixty rotations of an icosahedron, found by closure, with the crystallographic ones marked — those whose rotation orders are all among the 1, 2, 3, 4 and 6 that a three-dimensional lattice admits. The largest is 23, of order 12, at index 5; everything containing a fivefold axis is refused. So a crystal containing an icosahedral molecule may fix a twelfth of the molecule's own symmetry and no more, and the remaining 5 orientations have to be related by something other than the site's symmetry.

The most of an icosahedron a crystal can keep

C₆₀ sits in crystals and virus capsids sit in crystals, and neither of them stops being icosahedral. What a lattice can fix is a subgroup — and the largest crystallographic subgroup of the sixty rotations has order twelve, at index five. The five are Kepler's five cubes.

restriction · Local symmetry 60 vertices, 12 pentagons. A closed net with three edges at every vertex: 60 vertices, 90 edges and 32 faces, of which 12 are pentagons and 20 are hexagons. The pentagons are picked out in the second colour. Their number is not a property of this cage — it is twelve for every closed trivalent net of pentagons and hexagons, at any size, and the hexagon count is free.

Twelve pentagons, and no way round them

The crystallographic restriction forbids a five-fold face in a flat repeating net. Curve the net into a closed cage and the same three lines of arithmetic require exactly twelve of them — at any size, with the hexagon count free. What a lattice forbids, closing up compels.

restriction · Curvature Where the sphere and the projective plane have no net. The number of different closed nets with three bonds at every atom and faces that are pentagons and hexagons only. On the sphere, with twelve pentagons and k hexagons for k up to 12, every count has at least one net except k = 1. On the projective plane, with six pentagons and h hexagons, each count sits under the sphere count it lifts to, since every hexagon of a projective net becomes two on the sphere. The projective counts for h = 0 to 6 are 1, 0, 0, 1, 1, 3, 3, so the projective plane has no net at h = 1 or 2: two gaps where the sphere has one. Every sphere count was found by enumeration and agrees with the published one.

A gap the sphere does not have

A net of pentagons and hexagons on the projective plane must have six pentagons, and the count permits any number of hexagons. Not every number happens. Lifting each net to the sphere turns the question into one about which cages have a centre — and the answer leaves two gaps where the sphere has one.

restriction · Curvature A centre at every other ring, and never between. Two families of closed cage, each a tube of hexagons closed at both ends by a cap of six pentagons, taken from no rings of hexagons to 8. The top row has five faces to a ring and a pentagon at each pole; the bottom row has six and a hexagon. Each box holds the cage's number of atoms with its number of hexagons beneath, and a box is drawn solid with a dot under it when the cage has a symmetry that reverses orientation and fixes nothing — a centre, which is what lets the cage halve onto the projective plane. The five-family has one at even numbers of rings and the six-family at odd ones, so their hexagon counts are 0, 10, 20, 30 … and 8, 20, 32, 44 … — two arithmetic progressions rather than two rows.

A centre at every other ring

A census cannot settle an infinite row, and the construction proposed to settle it was a tube capped at both ends, lengthened a ring at a time. Carried out, it alternates: a centre appears at every other ring and never between, the two families it permits reach two arithmetic progressions rather than a row, and the first of them opens with exactly the cage the census found could not halve.

restriction · Curvature The fewest contacts twelve pentagons can have, by size. For every cage of pentagons and hexagons up to forty-four atoms, the number of pairs of pentagons sharing a bond. The lower line is the fewest any cage of that size achieves — 30, 24, 21, 18, 17, 15, 14, 12, 11, 10, 9, 8 — the upper line the most, and the dashed line the bound that counting edges gives: the twelve pentagons carry sixty edges between them, a contact uses two and an edge to a hexagon uses one, so the contacts cannot fall below 30 − 3h with h hexagons. The bound is attained while the hexagons are few and goes loose at five, after which each extra hexagon removes about one contact rather than three. The number of cages at each size is printed beneath, and it is the least rather than the average that the bound is about.

How close the twelve must be

The charge fixes twelve pentagons and says nothing about where they go, because it is a sum over faces and cannot see which face touches which. What it cannot see is a graph on twelve points, and the fewest edges that graph can have falls from thirty to eight over the cages a census reaches — then keeps falling at a rate that puts its first zero exactly where the truncated icosahedron is.

restriction · Curvature

Named alongside it

The objects these essays reach for when they reach for this one.

Combinatorial curvatureEnumerationTrivalent netAutomorphismClosed surfaceCountingCrystallographic restrictionThe Euler characteristicFree actionIcosahedral symmetryInversion centreOrientability

All concepts