Crystallography & Symmetry
patterns derived from their groups
Concept

Translation group — where it appears

The subgroup of a symmetry group consisting of its translations, which is the lattice. It is normal in the whole group, and the quotient by it is the point group — which is the sense in which a space group is an extension.

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

The hexagonal lattice. Every periodic pattern in the plane repeats on one of five lattices. The classification is by which point symmetries the lattice itself admits, and the five are exhaustive — a sixth would need a rotation order no lattice can carry.

The lattice underneath

Strip a pattern of everything but its repeats and a grid of points is left. That grid is not decoration — it is the object that decides which symmetries the pattern is permitted to have.

lattices · Lattice Why seven — all 16 candidates. Every subset of the 4 extras available on a strip, closed under composition and named from the operations that come out. 16 candidates give 7 distinct groups: 9 of them generate operations they were not given and land on a group already listed.

Why sixteen become seven

Four extra operations give sixteen combinations and seven groups. The nine that vanish are not cases anybody forgot — each one comes back from the closure holding something it was never given, and one of them changes the lattice underneath it.

classification · Friezes An antiphase boundary in p4. Where two antiphase states meet. Above the line the species alternate one way and below it the other, so at the boundary two cells of the same species sit next to one another and the ordering is out of step. This is a domain wall with no change of orientation across it: the crystal is not twinned, its lattice is undisturbed, and diffraction sees it only in the width of the superlattice reflections.

The domains a lost translation makes, which nothing optical can see

An ordering transition can leave the crystal class untouched and take away translations instead. The domains that result have the same orientation, the same shape and the same optical properties as each other, and where two of them meet the ordering is simply out of step — a boundary with no change of direction across it and no way to find it except by looking at the ordering itself.

applied · Domains Every plane group from at most 4 operations. For each group, the fewest operations that generate the whole of it — the point operations and both lattice translations, since a group that does not reach its own translations is a different group. The floor is the abelianisation's number of invariant factors, which no group can beat, and the search is exhaustive over the operations within one cell of the origin. 14 of the seventeen meet their floor, which settles those exactly; the other 3 need more than the abelian argument can see, and p3m1 needs three where its abelianisation is cyclic.

How few operations make a pattern

A plane group is infinite, and a handful of its operations is enough to rebuild all of it. How small a handful is a question with a floor from the abelianisation and a ceiling from an exhaustive search, and for fourteen of the seventeen the two numbers meet.

operations · Presentations incommensurate: "dense on a line". The shortest non-zero vector a subgroup contains, as the search widens, against the square lattice drawn flat behind it as a control. For a lattice the answer is constant: the shortest vector is the shortest vector, and looking further finds nothing nearer. For a subgroup that is not a lattice it falls without limit, because the convergents of a continued fraction give integers making the combination arbitrarily small. This one falls from 0.414 to 1.2e-2 over bounds 1 to 64, which is the verdict "dense on a line" arrived at by measurement rather than by reading a definition. Nothing here is decided by asking whether a ratio is rational; the ratio is a float and the question would be undecidable of one.

Discrete, or dense, and nothing between

Every count in this collection rests on a hypothesis nobody states, because it is built into the word lattice: the translations of a pattern form a discrete subgroup of the plane. Drop it and the counts do not become larger — they stop existing, because the object stops being a lattice. A subgroup of the plane is one of five things, and only two of them are lattices.

lattices · Lattice Two vertices and three edges: two nets, at every box size tried. Every net with two quotient vertices and the stated number of edges, counted inside boxes of voltages of several sizes. One cross voltage is set to zero by the gauge — the freedom that moving one vertex into another cell gives — and the rest are drawn from the box. Each entry is the count of nets whose placement separates their vertices, plus the count of those whose does not: the first has a canonical description and stops growing, and the second does not have one and therefore keeps rising with the box. The reducible column is the descriptions thrown away for a reason the one-vertex census never had — cycles generating the whole of ℤ² and a net whose own cell holds one vertex rather than two — and it is empty at every odd edge count, because the swap that would reduce a description pairs its edges and an odd number cannot pair.

Every net with two vertices, counted

The one-vertex census could not contain the honeycomb, because the honeycomb has two vertices in its cell. Adding the second one closes a family at two nets, removes the floor of p2 entirely, makes a third of the members undrawable, and forces the census to refuse a kind of description the first one never met: an honest quotient graph written on twice the cell it needs.

applied · Nets Every subgroup of index two is normal; at index three most are not. For each of the seventeen plane groups, its abelianisation and the number of normal subgroups of each small index against the number of subgroups of that index. The index-two column is complete every time, because the left and right cosets of a subgroup of index two are the same pair of sets. At index three and four the two numbers part, and the gap is what normality costs: a subgroup that is carried to a different subgroup by some operation of the group it sits in.

The quotient each normal subgroup leaves

Two hundred and eighty-one subgroups of index four across the seventeen plane groups, and ninety-seven of them normal. Which ones, and what is left when they are divided out, needs no enumeration at all: below order six every group is abelian, so a normal subgroup of small index is a subgroup of the abelianisation and its quotient is decided by a product of greatest common divisors.

operations · Subgroups One local configuration, and a number of structures that doubles. How many kinds of adjacent pair a close-packed stack has, how many kinds of triple, and how many stackings of each period there are. The first column never moves: every pair of layers is congruent to every other, at every period, which is what an order-disorder family is. The last two agree with 2ⁿ + 2(−1)ⁿ, which is the chromatic polynomial of a ring of n layers at three colours, because a stacking of period n is exactly a proper three-colouring of that ring. The gap between the first column and the last is the whole subject.

A stack with no space group

Every pair of layers in a close-packed stack is congruent to every other pair, and the number of stacks doubles with every layer added. A family whose local configuration is completely determined and whose global structure is not determined at all has no single symmetry group — what it has is a set of operations that compose only when their ends match, which is a groupoid.

applied · Packing Four of the seventeen have a centre, and they are the four with no rotation. For each plane group: the order of its point group, how many of its operations are rotations, the lattice vectors every operation of the point group fixes, and the centre those vectors make. A central element must commute with every translation, which forces its linear part to be the identity — so the centre is a group of translations, and a translation is central exactly when the point group leaves it alone. A rotation leaves nothing alone but zero.

The four groups with a centre

An element that commutes with everything has to commute with every translation, and that forces its linear part to be the identity. So the centre of a plane group is a group of translations — the ones its point group leaves alone — and a rotation leaves nothing alone but zero. Four of the seventeen have a centre and thirteen have nothing at all.

operations · Composition Two turns and their undoing leave a slide. A turn g by 90° about the point c and a turn h by 60° about d. The marked point p is carried back 60° about d, back 90° about c, forward 60° about d and forward 90° about c, and does not return: it arrives displaced by a vector of length 2.371, which is 4·sin 45°·sin 30°·|c − d|. Two other points put through the same four motions move by the same vector, drawn beside them, because the commutator g h g⁻¹ h⁻¹ of two rotations of the plane is a translation — (I − A)(I − B)(c − d) exactly — whatever the angles and the centres.

What forces a lattice

Every enumeration here starts from a lattice of translations, and the lattice is usually taken as given. It need not be. A group of motions that is discrete, and leaves no point far from an orbit, has to contain one — in the plane by an argument four lines long, each line a picture, and in space by an inequality whose threshold turns out to be the six-fold rotation.

restriction · Finiteness Three conditions, and a near-miss for each. Zassenhaus's characterisation asks a group for a normal subgroup that is free abelian of finite rank, of finite index, and maximal among the group's abelian subgroups. Four groups against those three clauses. The free group on two letters has no non-trivial abelian normal subgroup at all; the discrete Heisenberg group has one that is free abelian of rank two and maximal abelian, and its index is infinite; ℤ² × ℤ/2 has a free abelian normal subgroup of index two, and the maximal one has torsion in it. Each fails a different clause, which is what shows no clause is redundant. The infinite dihedral group passes and is crystallographic in one dimension.

Which groups a crystal could have

Bieberbach's theorem is a statement about a group acting: discrete, no point far from an orbit. Zassenhaus turned it round into a statement a group can satisfy on its own — a maximal abelian normal subgroup, free of finite rank, of finite index — and each of those three clauses is kept out of redundancy by a group that fails it and nothing else.

restriction · Finiteness An orbit on a parabola, discrete and cocompact. The images of the origin under the group generated by two commuting affine maps of the plane: A slides one step along x and lifts y by the x it started at plus a half, and B is the translation by one in y. The images are the points with whole-number first coordinate and second coordinate a whole number above half the square of it, so the large dots lie on the dashed parabola and the small ones are the rest of the orbit. No two distinct images come closer than 1.000, and no point of the square between the axes lies farther than 0.610 from one — so the action is discrete and its quotient is compact, which is exactly what Bieberbach's first theorem asks for.

Straight lines, and no distances

Every finiteness met so far rests on the motions preserving a metric, because the trick that produces one is an average and an average needs something to average over. Keep the straight lines and drop the distances, and Bieberbach's first theorem is false in the plane — by an example two lines long, whose group is the plane's own translations and whose translations have rank one.

restriction · Finiteness

Named alongside it

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

DiscretenessFixed pointLattice translationAbelianisationCosetFinite groupNormal subgroupClassificationClosureCommutatorConjugationContinued fraction

All concepts