Crystallography & Symmetry
patterns derived from their groups
Concept

Gram matrix — where it appears

The table of dot products of a basis, which holds every length and angle a lattice has and no orientation at all. Symmetry questions about a lattice are questions about which integer matrices preserve it.

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

The Wigner–Seitz cell of the hexagonal lattice. Every point closer to the central lattice point than to any other. The faint lines run to the 6 neighbours whose perpendicular bisectors bound the region; every other lattice point is cut off by one of them. The cell has exactly the area of a unit cell — asserted while the figure is drawn, against √det G computed from the metric — and it carries all 12 of the lattice's symmetries, which a conventional cell need not. Nothing was chosen to build it: no basis, no axes, no convention. Two people who agree about the lattice cannot disagree about this cell.

The cell nobody chose

Every unit cell on this site is a convention, and one construction escapes the warning entirely: the region of the plane closer to one lattice point than to any other. It needs no basis, no axes and no rule — and its combinatorics are decided in integers, with the square roots confined to drawing it.

lattices · Wigner–Seitz cells Six integers that do not depend on the description. The same monoclinic lattice written in 4 different bases, each obtained from the last by an integer matrix of determinant one, and each reduced by Niggli's algorithm. Every one of them gives the same six integers — the squared lengths and twice the dot products of the reduced basis. That is what makes the reduced form a fingerprint of the lattice: two cells with no number in common are the same lattice exactly when their reduced forms agree, and the comparison has no tolerance in it.

The cell that settles the argument

Two determinations of one compound can report cells that share no number and describe the same lattice. Reduction is the procedure that decides — six integers that depend on the lattice and not on anybody's choice of axes, and that agree exactly when the lattices do.

lattices · Lattice Averaging a metric over the group. The 3 pale ellipses are the unit circle carried by each element of a finite group of rational matrices — none of them a rotation, because the group has been skewed out of the orthogonal ones on purpose. Their average is the heavy ellipse, and it is invariant: MᵀAM = A for every element, exactly, in rational arithmetic. So a finite group of matrices is always a group of isometries of some inner product, and every question about how large such a group can be becomes a question about the symmetries of an ellipse. The space of invariant forms here is 1-dimensional, so up to scale the average is the only one.

The average that makes it finite

Two arguments every classification leans on are usually assumed rather than made: that a finite group of motions fixes a point, and that a finite group of integer matrices preserves a metric. They are the same trick — average over the group — and the trick fails exactly where it should.

restriction · Finiteness 11 frameworks, 3 where the count is wrong. Every net in this collection read as a framework of rigid bars and free joints, with the cell free to change shape. Maxwell's count and the number of mechanisms agree on most of them and not on all: a framework with a state of self-stress has a bar the count treats as removing a freedom that the others had already removed, and it has a mechanism the count cannot see. Here that is fes, snb, ring5, where the count says 2, -1, -4 and the rank says 3, 0, 9. The identity Maxwell is always right about — count equals mechanisms minus self-stresses — holds on every row.

The count that promises a mechanism

Count the joints, count the bars, subtract. The number that comes out promises rigidity when it is small and a mechanism when it is large, and it is wrong in both directions — because it assumes every bar removes a freedom the others have not already removed.

applied · Rigidity One change of basis turns a Gram into its own adjugate. For each Gram matrix: the matrix after the basis change by a right-angle rotation, and the adjugate. They are equal, always — and the adjugate is the determinant times the inverse, which is the dual lattice's Gram. So the dual is the same lattice on a rotated basis, scaled by one over the determinant. Five rows are the named plane lattice types and the rest have entries picked at random, because the claim is an identity in integers and not a property of the five.

Every plane lattice is its own dual

The dual of a lattice has the inverse Gram matrix, and in two dimensions the inverse is the adjugate over the determinant — which is what one particular change of basis does to a Gram. So a plane lattice's dual is the lattice itself, turned through a right angle and scaled, for every lattice with no exception. In three dimensions it is a condition, and the face-centred and body-centred cubic lattices are duals of each other rather than of themselves.

lattices · Lattice Perfection is a rank, and most lattices do not reach it. For each lattice, the rank of the matrices vvᵀ built from its shortest vectors, against the dimension of the space of symmetric matrices those live in. Reaching it means the shortest vectors pin the form down completely: no deformation keeps every one of them at its length. Falling short means there is a direction left to move in, and the lattice is not a local maximum of density.

One perfect form in space

Which lattice packs spheres most densely is a question about a maximum over a continuum, and Voronoi turned it into a rank calculation and a sign check. A lattice is a local maximum exactly when its shortest vectors pin its shape down completely and its inverse can be written over them with positive coefficients. Searching every reduced integer form of minimum two finds one such lattice in the plane and one in space.

lattices · Packing How many similar sublattices the cubic lattice has at each scale. Every integer matrix satisfying MᵀM = α²I, counted up to the lattice's own point group by marking orbits rather than dividing. The even scales are drawn apart because they are the ones that give nothing new: a factor of two in the scale never produces a shape the smaller scale did not already have.

The shapes a lattice in space can thin to

In the plane, which indices admit a sublattice of the same shape is a question about which integers a quadratic form represents, and Fermat answered it. In space the question collapses: taking determinants shows the index is always a perfect cube, so there is nothing to represent. What is left is how many there are at each cube — and for a hexagonal lattice, whether there are any at all depends on one number.

lattices · Sublattices Thirty-two classes, from fourteen Gram matrices. The five hundred and ten subgroups sorted by how many operations of each kind they contain — a determinant and a trace decide which of the ten kinds a matrix is. Thirty-two answers come out, and they are the thirty-two crystal classes: matched against the construction elsewhere in this collection by signature rather than by name, since nothing here names a point group.

Thirty-two from fourteen matrices

Write the fourteen Bravais lattices as Gram matrices, ask each one which integer matrices preserve it, and take every subgroup of every answer: five hundred and ten of them. Sort those by how many operations of each kind they contain — which a determinant and a trace decide — and thirty-two answers come out. They are the crystal classes, from a construction in which no point group is ever named.

point-groups · The fourteen Bravais lattices Four vectors summing to zero, and six numbers on the edges. A superbasis is the three basis vectors together with their negated sum, so the four sum to nothing and their pairwise products sit on the six edges of a tetrahedron. Selling's rule is: while any edge is positive, apply one transformation. The right panel is the same lattice reduced, with the vanishing parameters marked — and a vanishing parameter is a face the Voronoi cell does not have.

A reduction with one rule

Niggli's reduction is eight numbered conditions with sub-cases, applied in order until none applies. Selling's is a single rule on four vectors that sum to zero: while any of six numbers is positive, do one thing. It terminates sooner, its termination is a quantity that visibly falls, and when it stops the six numbers are the Voronoi cell — the pattern of which ones vanish gives Fedorov's five solids and nothing else.

lattices · Wigner–Seitz cells Twenty-two halvings the fourteen lattices permit. Every lattice has exactly seven subgroups of index two, whatever its shape. The third column is how many of the seven the lattice's own group carries onto themselves, and the fourth is how many of those survive as distinct types once a change of basis within the type is allowed to identify them. The running total ends at twenty-two, which with the fourteen grey lattices is the thirty-six magnetic Bravais lattices — and the row that ends at zero is the face-centred cubic lattice.

The halving a lattice will not permit

Admit time reversal and a lattice splits into points that leave the moments alone and points that reverse them. The second set is a coset of a subgroup of index two, and every lattice has exactly seven of those, whatever its shape. What differs is how many of the seven the lattice's own symmetry survives — and the face-centred cubic lattice survives none of them.

lattices · Magnetic Seventy-three arithmetic classes, from fourteen groups. Every subgroup of every lattice's own group, split by whether the subgroup's own Bravais group is that lattice's. The ones that are not belong to a lower lattice and are counted there, which is what stops the same class being counted twice. The running total ends at seventy-three, and no conjugacy in GL(3, ℤ) was ever decided.

Seventy-three, without a search

The unit a space group is built from is a point group together with the lattice it acts on, and there are seventy-three of them. Getting there looks like it needs conjugacy in GL(3,ℤ), which is a search this collection tried and abandoned. It does not: every finite group of integer matrices carries a canonical larger group that says which lattice it belongs to, and once that is computed the search has nothing left to do.

point-groups · The fourteen Bravais lattices Both sides of the transformation, on five lattices. A Gaussian of width set by t on every point of a lattice, summed; and the same sum over the dual lattice with the width inverted and the covolume divided out. The two agree to the last bit a double carries, at every t and on lattices with no symmetry in them, so nothing here is a coincidence of parameters. The identity is exact and the reason to have it is that the two sides do not cost the same.

The sum that turns a lattice into its dual

Put a Gaussian on every point of a lattice and add them up. The answer equals the same sum over the dual lattice with the width inverted and the covolume divided out — exactly, to the last bit a double carries, on lattices with no symmetry in them. The identity is free and the reason to have it is that the two sides do not cost the same: at one end of the range the direct sum needs forty thousand terms and the dual sum needs a hundred and twenty-five.

lattices · Lengths Three lattices no congruence can separate. The three reduced forms of discriminant minus twenty-three, with the integers each represents. The principal form represents one and the others do not; the others represent two and it does not. So they are genuinely different lattices — and they represent exactly the same residues modulo twenty-three, so they are in one genus and no congruence condition of any kind distinguishes them.

Lattices that agree at every prime

Counting the plane lattices with a given metric determinant is a class number. Above it sits a coarser count — the genus, which is what congruences can see — and for most small determinants the two agree. At discriminant minus twenty-three they part: three lattices representing exactly the same residues modulo everything, and different integers. No argument modulo any number can tell them apart, and they are not the same lattice.

lattices · Moduli The three minima of seven lattices. Every lattice scaled to covolume one, with the smallest radius at which a ball holds one, two and three independent lattice vectors. The last column is the shortest vector as a fraction of the longest any lattice of this volume can have — Hermite's constant — and only the face-centred cubic lattice reaches it. The fifth column is the product of the three, which is capped whatever the lattice.

A lattice cannot have all its vectors long

The three successive minima are the radii at which a ball first holds one, two and three independent lattice vectors. Nothing bounds any of them above on its own — a cell can be flattened without limit — but Minkowski's second theorem caps their product, so pushing one up forces another down. That is why every crystal has a shortest direction worth naming, and why a very anisotropic cell has a very short one.

lattices · Lattice Whether a rolled sheet ever comes back round. Three plane lattices, each with the same rolling vector C = 3a₁ + a₂ drawn from the origin and the line through the origin perpendicular to it. A translation of the rolled pattern straight up the tube, with no turn, is a lattice vector on that line. The square lattice has one, marked T, and the tube repeats every 10 turns. The general rectangular lattice has none in this direction — only along its cell edges — and the general oblique lattice has none in any direction at all, so its rolled pattern climbs forever without returning to the same angle.

Most sheets roll into a tube that never repeats

Rolling the honeycomb along a lattice vector always gives a tube with a repeat, and that is a property of the honeycomb rather than of rolling. Over the seventeen plane groups, 567 of 1,008 rolling directions give a tube with no translation along its axis at all — and every direction of an oblique pattern is one of them.

restriction · Finite groups

Named alongside it

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

Bravais latticeLatticeHolohedryQuadratic formDeterminantDual latticeReciprocal latticeShortest vectorChange of basisCrystal classMetric tensorNormaliser

All concepts