Crystallography & Symmetry
patterns derived from their groups
Concept

Enantiomorph — where it appears

One of the two mirror-image forms of an object that no rotation relates. Eleven pairs of space groups are enantiomorphs, which is why there are two hundred and thirty of them and also two hundred and nineteen.

Named by 11 essays across 4 fields — each of them below, with the objects they name alongside it.

2 screw axes. 2 of the eleven screw axes a lattice permits, each drawn as the helix it is: 3₁, 3₂. A turn of 2π/n followed by an advance of m/n of the repeat, so that n turns land exactly m cells along. 0 of those drawn are its own mirror image; the rest come in left- and right-handed pairs.

Eleven groups that are their own reflection's rival

There are two hundred and thirty space groups, and there are two hundred and nineteen. Both numbers are correct and they answer different questions, and the eleven that separate them are the reason a crystal can be built one way round and not the other.

space-groups · Space groups May be piezoelectric, against may be optically active. Two questions asked of all thirty-two classes, and the classes where the answers part company. 14 classes are in both lists, 6 in only the first, 1 in only the second and 11 in neither. Both lists are computed from the same character sum with a different tensor, so a class appearing in one and not the other is a statement about which representation survives rather than about anything measured. Every entry is a permission: a class in a column is a class whose symmetry fails to forbid the effect, which is a weaker statement than it is usually read as.

Each permits what the other forbids

432 and 4̅3m are both cubic, both of order twenty-four, both without a centre. One of them can be piezoelectric and the other can be optically active, and it is not the same one — which is as clean a demonstration as the subject offers that "amount of symmetry" is not a quantity.

point-groups · Properties Ten ways for space to be flat. The thirteen groups, with each mirror-image pair counted once, because a shape and its mirror image are the same shape. 3 of the ten arrive that way — the three-fold, four-fold and six-fold screws, which are the enantiomorphic pairs this collection already counts among the two hundred and thirty. Six of the ten are orientable and four are one-sided.

Ten ways for space to be flat

Thirteen of the two hundred and thirty space groups hold no point still, and folding space along one of them gives a shape with no curvature anywhere. There are ten such shapes, not thirteen, and the difference is the same eleven pairs that separate 230 from 219.

space-groups · Flat space p4m: 4 and 4. The standard motif — three points in no particular arrangement — repeated by p4m, with each copy coloured by the sign of the area of the triangle it makes. 4 copies have one sign and 4 the other, because the group contains an operation that reverses orientation. A structure built from one enantiomer cannot sit here: the group would put its mirror image in the same crystal. The colours were computed from the coordinates rather than assigned.

The groups a single hand may sit in

A protein is built from one enantiomer of every amino acid, and a crystal of it contains nothing else. That single fact deletes most of the classification at a stroke: any operation reversing orientation would put the other hand in the same crystal. The criterion is one line of arithmetic, and in the plane the enumeration is complete — five of the seventeen.

space-groups · Chirality 4_1: which index gives which group. The isomorphic subgroups of a 4₍1₎ screw group, index by index. An index sharing a factor with 4 gives nothing — the translation cannot be written on the new cell at all — and the rest give a screw whose index is the old one times the inverse of p modulo the axis order. So the answer alternates: some indices give the group back and others give its mirror image, and which is which is decided by p modulo the order of the axis.

A bigger cell, and sometimes the mirror

An isomorphic subgroup gives up nothing but scale — the same group again on a coarser lattice. In space the screw axes sharpen the question, and the answer contains a surprise: a cell three times taller holds the group's enantiomorphic partner, so a left-handed screw contains a right-handed one with nothing done to the crystal but a change of description.

space-groups · Isomorphic subgroups Unreflected copies stop at 1 ring. Copies of the hat, all of the same handedness, covering a core of 1 ring of hexagons — 9 tiles, every cell covered once. At 2 rings the same search runs to exhaustion and returns nothing: there is no such covering, and the failure is a proof for that region rather than a search that gave up. The reflected copy is not a convenience of the drawing; the tiling cannot proceed without it.

The tile that needs no reflection

One shape tiles the plane and never repeats, and it does it with copies of both hands. Cut the tiles out of card and that is nothing; ask for it in a molecule, where handedness cannot be undone by turning something over, and it is the whole question.

aperiodic · Monotile Which indices a screw axis contains itself at. The fifteen kinds of axis a space group may have, against the index of the sublattice taken along the axis. A filled cell is an index at which the axis contains a copy of its own kind; the darker cells are the indices at which what comes back is the mirror image instead. A pure rotation axis is filled everywhere and a screw is not, and which indices a screw loses is decided by one congruence rather than by any geometry.

A screw that contains its own mirror image

No operation of a crystal turns a right-handed screw axis into a left-handed one — that is what makes the eleven enantiomorphic pairs pairs. And yet a 4₁ axis contains copies of 4₃ as subgroups, at every index congruent to three modulo four. One congruence decides both which indices are possible and which hand comes back, and it is the same congruence for all fifteen kinds of axis.

space-groups · Isomorphic subgroups The rectangle a (4, 2) tube is rolled from. A patch of honeycomb turned so that the rolling vector C = 4a₁ + 2a₂ lies along the page. C has length √28 ≈ 5.292; the shortest lattice vector perpendicular to it, T, has length 4.583; and the rectangle on the two holds 28 hexagons and 56 atoms. Rolling the rectangle so that its left and right edges meet makes one repeat of the tube. The two lines through the corner are the sheet's mirror directions nearest C: the zigzag direction along a₁ and the armchair direction thirty degrees from it. C makes an angle of 19.11° with the first and lies on neither.

The tube has a screw no lattice allows

Roll a honeycomb along one of its lattice vectors and the tube turns and climbs with a screw of order 14, 98 or 794 — orders the flat sheet could never have. The rolling keeps the sheet's translations and spends them on turns, and it keeps the sheet's mirrors only along two directions, which is why almost every carbon nanotube comes in two hands.

restriction · Finite groups A thread's two signs, and the four kinds of operation. Every operation of a rod group carries the axis to itself, so it does two independent things: it keeps or reverses the direction along the thread, by a sign σ, and it keeps or reverses the handedness of the plane across the thread, by the determinant of a 2 × 2 matrix. The determinant in space is the product, so the shaded cells are the proper operations — a turn or screw about the axis, and a half-turn crossing it — and the unshaded ones are the improper. A rod group is chiral when all of its operations sit on the shaded diagonal, and polar along its axis when all of them sit on the top row. The two conditions pick out different diagonals of the same square, which is why neither implies the other.

A thread's hand is not a choice

A sheet's handedness in space depends on a sign that the plane pattern does not fix, so one plane group carries several sheets and exactly one of them is chiral. A thread has no such freedom: 32 of the 75 rod groups are chiral, they sit over 9 of the 27 axial classes, and which they are is settled before any structure is drawn. Only its direction depends on how the class lies along it.

space-groups · Chirality Fifty-four of the seventy-five rod groups are a rolled plane pattern. Every rod group, one dot each, grouped by its crystal class. A dot is filled when some plane pattern rolled along some lattice vector has exactly that group, and the 106 crystallographic rollings of the seventeen plane groups fill 54 of them. The eighteen improper classes are full: every one of the 43 achiral rod groups is reached. The nine proper classes are not, and the twenty-one groups named on the right are what is missing — the sixteen whose screw is one of a left- and right-handed pair, and the five bare axes with no climb at all, p1, p112, p3, p4 and p6.

A rolled sheet is never one of a pair

Rolled up along every lattice vector that gives a crystallographic tube, the seventeen plane groups reach fifty-four of the seventy-five rod groups: every achiral one and eleven of the chiral. Not one of the sixteen screws that come in left- and right-handed pairs is among them, and the reason is a single fact about how far a rolled lattice can climb.

restriction · Finite groups P4₁: the lattices, as an ideal across and a multiple along. Every sublattice the point group of P4₁ carries to itself, indexed by the norm of the ideal it uses across the axis and by the multiple it takes along it. The entry is the space group that sits on it: the parent's own type in one colour, a different type in the other, and a dash where no group with the parent's point group survives at all. A dot marks a lattice that is maximal — one whose step is a single prime, across or along, with nothing between it and the whole. The rows and columns are two divisibility orders and the table is their product, which is the shape the plane's answer predicted.

An ideal across and a prime along

In the plane a copy of a group inside itself grows by a prime ideal, and the maximal indices are the norms of the primes of a ring. In space with one principal axis there are two directions to grow in, and the question the plane left was whether the two constraints multiply. They do not — and the place they fail is an index the plane calls maximal, because the step in between carries the group's mirror image.

space-groups · Isomorphic subgroups

Named alongside it

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

Screw axisChiralitySpace groupHandednessHelixIndexRod groupSohncke groupSublatticeCrystal classCrystallographic restrictionEnumeration

All concepts