Crystallography & Symmetry
patterns derived from their groups
Generator

The region every plane lattice lands in

The region every plane lattice lands in
The region every plane lattice lands in. The shape of a plane lattice is one complex number, τ, and every lattice can be brought by a change of basis into the region shaded here: the strip between 0 and a half, outside the unit circle. Its interior is the oblique lattices. Its left edge is the rectangular ones, its arc and its right edge the centred rectangular ones, and its two corners are the square lattice at i and the hexagonal lattice at ρ. Five kinds, and they are a region, three arcs and two points rather than five things of one sort. The region is unbounded upwards, where the cell gets longer and thinner without limit.

The shape of a plane lattice is one complex number, τ, and every lattice can be brought by a change of basis into the region shaded here: the strip between 0 and a half, outside the unit circle. Its interior is the oblique lattices. Its left edge is the rectangular ones, its arc and its right edge the centred rectangular ones, and its two corners are the square lattice at i and the hexagonal lattice at ρ. Five kinds, and they are a region, three arcs and two points rather than five things of one sort. The region is unbounded upwards, where the cell gets longer and thinner without limit.

7 essays call lattice-space. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about. Every one of this site's 393 essays names its parameters at the call site, which the standard pass of 2026-08-09 established and param-floor holds.

Where it is called

Changing this generator changes every one of these figures.

The region every plane lattice lands in. The shape of a plane lattice is one complex number, τ, and every lattice can be brought by a change of basis into the region shaded here: the strip between 0 and a half, outside the unit circle. Its interior is the oblique lattices. Its left edge is the rectangular ones, its arc and its right edge the centred rectangular ones, and its two corners are the square lattice at i and the hexagonal lattice at ρ. Five kinds, and they are a region, three arcs and two points rather than five things of one sort. The region is unbounded upwards, where the cell gets longer and thinner without limit. Lattices

The space every lattice lives in

Five lattices in the plane is the number of *kinds*. The number of lattices is a continuum — and it has a shape: one two-dimensional region with two corners, three edges and an interior, where the five kinds turn out to be a region, three arcs and two points rather than five things of one sort.

 The region, and its copies. Words in S and T up to length 4, each carrying the region somewhere else. The copies do not overlap and they do not leave gaps: the upper half-plane is tiled by them, one copy per change of basis. That is the whole content of the claim that reduction picks a canonical basis — every basis of every lattice is in exactly one copy, and reduction is the walk back to the shaded one. Lattices

Two moves reach every basis

A lattice has infinitely many bases and reduction picks one. Why it can is a fact about a group with two generators and two relations — and the fundamental region tiles the plane with its own copies, one per basis, which is what makes the walk home finite.

 p4: the map comes back. p4 written on two bases related by an integer matrix of determinant one, and about two origins. The two descriptions share no coordinate; they are the same group. The matrix and the origin shift were then recovered from the two operation sets alone — which is what Bieberbach's theorem promises, carried out as a search over the integer matrices and the origins the lattice permits, and checked by applying what was found. What a lattice forbids

The same group means the same pattern

Seventeen patterns is not the same statement as seventeen groups. Two patterns that look nothing alike could in principle have symmetry groups that are abstractly the same, and then the classification would be a classification of drawings. Bieberbach's theorem says they cannot — and the affine map that proves it can be recovered from the two operation sets alone.

 A lattice placed in the region, and its distance to each special shape. The modular region, with the two special points marked — the square lattice at the top of the arc and the hexagonal one at its corner — and a third lattice placed by reducing its form. The distances are hyperbolic rather than Euclidean, and the choice is forced rather than aesthetic: a distance between lattice shapes has to be unchanged by every change of basis, and the hyperbolic metric is the one defined by being invariant under exactly that group. Writing the same lattice down on three other bases and measuring again gives the same two numbers to the last digit. Lattices

How far one lattice is from another

A crystal that is nearly hexagonal twins where an exactly hexagonal one would not, and 'nearly' does real work in that sentence. Giving it a number needs a distance that no change of basis can move — which forces the geometry to be hyperbolic rather than flat.

 How many different lattices share a determinant. One bar per determinant: the number of inequivalent integral lattices whose metric has that determinant, which is the class number of the corresponding discriminant. Area does not decide shape — at determinant 1 and 2 there is one lattice each, and by 11 there are four — and the count does not grow steadily either. Each bar is computed twice: once by enumerating the reduced forms directly, and once by reducing every form in a box and collecting the distinct results, which is a search followed by an algorithm rather than a search over answers. The two agree at every bar. Lattices

How many lattices share a determinant

Area does not decide shape. The number of inequivalent lattices whose metric has a given determinant is a class number, computed by enumerating reduced forms — and checked by reducing every form in a box and counting what comes back distinct.

 Every plane lattice, shaded by Σ|v|^(−4). The region every plane lattice is one point of, with each point shaded by the sum of the inverse powers of the lengths of that lattice's own vectors, at equal cell area — dark where the sum is small. The square lattice is the ringed point on the vertical axis and the hexagonal one is at the corners, which are the same lattice on two bases. The minimum is at the corner, and it is at the corner at every exponent tried. That is not the same statement as the densest packing, which is decided by the shortest vector alone: this sum counts every shell, and there was no reason in advance for the two questions to have the same answer. Lattices

The lattice that minimises a sum

Packing discs asks about the shortest vector alone. Summing an inverse power over every vector of a lattice asks about all of them at once, and there was no reason in advance for the two questions to have the same answer. They do — at every exponent, and the measurement says by how much and where it cannot say.

 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. Lattices

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.

The whole library · All essays