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 19 essays across 5 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 proper motion turns a right-handed screw axis into a left-handed one; only a reflection can — 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 The turns a rolled sheet can make are square roots. Every primitive rolling of a square and of a hexagonal sheet with at most 66 cells in a repeat, one mark per distinct turn. Across is the number of cells n₀ in one repeat of the tube; up is the turn, as a fraction of a circle, of the screw that climbs one n₀-th of the repeat. Most columns are empty, and the occupied ones hold two or four marks rather than anything up to n₀: on the square sheet the turns are exactly the square roots of minus one modulo n₀, on the hexagonal sheet the roots of the corresponding congruence for minus three. The pattern is symmetric about half a turn because a root and its negative are the two hands of one tube.

A rolled sheet turns by a square root

Roll a square sheet into a tube of thirteen cells and its screw could, on paper, turn by any of twelve fractions of a circle. It turns by five thirteenths or eight, and nothing else, because five squared plus one is a multiple of thirteen. Every rolled tube's screw is a square root of minus the sheet's determinant — which is why handed tubes appear only at the orders Fermat allows, why they always come in both hands, and why the crystallographic ones need an accident.

restriction · Finite groups How the space groups are spread over their classes. For each number of groups, how many arithmetic classes carry exactly that many space-group types, in space and in the plane, every count derived from the classes' cohomology and the normaliser's action on it. In the plane ten of the thirteen classes carry one group. In space twelve of the seventy-three carry one, thirty-five carry two and fifteen carry four, so the typical class carries two; the long tail is the orthorhombic and tetragonal classes with eight, ten and sixteen.

Two hundred and nineteen over seventy-three

The space groups average three to an arithmetic class, and an average of three could be a few classes carrying dozens or every class carrying a handful. Derived class by class from the cohomology and its normaliser, the answer is the second: twelve classes carry one group, the median carries two, and the largest carries sixteen. Sixty-one of the seventy-three admit a non-symmorphic group, and the step that merges relabellings, which the plane barely uses, removes more than a quarter of the list.

restriction · Finiteness 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 The eighty layers by what rolling does to their two faces. The eighty layer groups sorted by how the two tubes a sheet makes, one with each face outside, are related. Seventeen one-sided layers make two different tubes in every direction. Forty-six make the same tube in every direction, because they have a mirror or glide in the sheet or a centre of inversion. Sixteen relate the two tubes only along two, four or six special directions, and there as mirror images. One, the layer with a four-fold rotoinversion and nothing else that turns it over, exchanges its faces and still makes two different tubes in every direction.

A sheet with two faces rolls into two tubes

Roll a sheet whose two faces differ and every operation that turns it over dies, as expected: a tube's inside is not its outside. But the sheet can be rolled with either face out, and the operations that died are exactly the congruences between the two tubes that result. Over the eighty layer groups that settles, direction by direction, whether the two are one tube, a pair of mirror images or two different objects, and one layer exchanges its faces and still never rolls the same tube twice.

restriction · Finite groups One sheet with two faces rolled into two scrolls. The cross-section of a sheet with different atoms on its two faces, rolled three turns into an Archimedean spiral, once with face A outward and once with face B outward. Unlike a tube, a scroll has an inner edge and an outer edge and a radius that grows with every turn, so an isometry of space can neither turn it about its axis nor reverse the direction along the spiral: it can only slide it along the axis, reflect it across the axis, or reflect the spiral itself.

A scroll cannot be turned end for end

A sheet with two different faces rolls into two tubes, face A out and face B out, and for forty-six of the eighty layer groups the two tubes are one object whichever way the sheet is rolled. Roll the same sheets into scrolls, spirals with an inner edge and an outer one, and only seventeen keep that. A spiral cannot be turned about its axis or run backwards, so the half-turns and screws that joined the tubes have nothing to act on. What survives is a mirror lying in the sheet, and a two-fold axis lying along the roll.

restriction · Finite groups The seven edges a sheet can have. The seven frieze groups drawn as the profile of a cut edge: along the strip is along the edge, up the strip is the sheet's normal, and the half-sheet itself stretches away from the viewer. Each is labelled with what its operations are in the sheet — a mirror standing across the edge, a mirror or glide in the sheet's own plane, a half-turn about the cut's in-plane normal — and with how many of the eighty layers have it as the edge in some direction. Only p1 and p2 have no mirror image among their operations, so only they are chiral edges; every one of the seven occurs.

Cutting a sheet can give it a hand

Cut a periodic sheet along a line and the edge that is left has a symmetry of its own: a frieze group, drawn in the plane across the cut. A chiral sheet can only have chiral edges. An achiral one usually has chiral edges too, in all but a few directions — and eight of the eighty layer groups have no achiral edge at all, however the sheet is cut.

space-groups · Chirality The seventy-five rod groups by what fixes the axis and what moves along it. Every rod group sorted by its kernel, the plane point group of operations that leave every point of the axis in place, and by the group of the line it maps onto: translations only, or translations and reversals. Each chip counts the rods with that kernel, that line group and a given number of steps to the repeat. 29 never reverse the axis and 46 do, seventy-five in all, derived from the kernel and the rule that joins it to the line and agreeing cell by cell with the rods counted class by class.

Seventy-five is twenty-nine and forty-six

The eighty layer groups came out as a plane group with a sign on each operation. The seventy-five rod groups have an account of the same shape turned round: a finite group of the plane across the rod, which is what leaves the axis alone, extended by a group of the line, which is what moves along it. Twenty-nine rods never turn their axis over and forty-six do, and the count comes out cell by cell as the rods counted class by class. The screw of a rod is the turn its smallest step gives the plane, and the kernel decides its subscript.

classification · Subperiodic Two hundred and thirty groups on a hundred and twenty-two diffraction symbols. Every space group placed in a column for its diffraction symbol — Bravais lattice, Laue group and systematic absences — with the columns grouped by lattice. There are 122 symbols. 50 of them name one group; 44 are shared by two, 23 by three, 2 by four and 3 by five.

Every ambiguity in a diffraction pattern, sorted by its cause

A diffraction pattern shows a lattice, the symmetry of its intensities and the reflections that are missing, and the 230 space groups show 122 different combinations of the three. Fifty of those name a single group. For the rest, each pair of groups that share one can be sorted by why they do, and there are five reasons. Four of them are ambiguities some further measurement resolves. The fifth, two groups with the same operations in the same places except for where their axes cross, happens exactly twice, and nothing but a solved structure decides it.

classification · Cohomology Where the four-fold screws of one crystal cross a plane. A space group of the body-centred class I4/m that has a centre of symmetry, seen along the direction of its four-fold axes: the points where the special lines along that direction cross a plane, over four cells of the projection. A rod cut along the large filled lines is p4₃, a four-fold screw of one hand; along the other large lines, p4₁, its mirror image. The crystal's centre of symmetry carries each kind onto the other, so both are there and neither hand is favoured.

A crystal with no hand holds rods of both hands

Rolling a flat pattern into a tube reaches fifty-four of the seventy-five rod groups and never a screw that comes in a pair of hands. Cutting a column out of a crystal reaches all seventy-five. Sixteen of them are handed screws, and half of those can be cut from a crystal that has a centre of symmetry, from a line that happens to be a screw of one hand, with its mirror image a short distance away. A handed thread does not need a handed crystal, only a handed place in one.

space-groups · Chirality

Named alongside it

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

Screw axisChiralityRod groupHelixSpace groupLayer groupSohncke groupCrystallographic restrictionEnumerationHandednessIndexInversion centre

All concepts