Generator

The seventeen, sorted by what holds a point still

Every plane group's operations, classified by kind, with the count of those that leave some point exactly where it is. A rotation fixes its centre and a mirror fixes a whole line; a translation and a glide fix nothing. Two of the seventeen — p1 and pg — have no operation of either fixing kind, so folding a pattern of theirs up produces a surface with no marked points at all: a torus and a Klein bottle.

4 essays call folded-flat. 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.

p1 folds into a torus. The cell of p1 with its edges marked as the group joins them: both pairs by a plain translation, both arrows the same way round. Gluing top to bottom gives a tube and gluing its ends gives a torus. Nothing in p1 holds a point still, so the surface has no marked points and its first homology is two copies of the integers.

The classification

The two that fold into a surface

Fold a wallpaper pattern along its own symmetries and what is left is usually a shape with corners and edges nobody drew. For two of the seventeen it is a plain surface with no marks on it at all — a torus and a Klein bottle — and which two is decided by a single question asked of every operation.

Into space

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.

$A wavevector of thirds, and the boxes that cannot see it. Which sizes of box can carry the wavevector at the corner of a hexagonal zone. The characters of the box's translation group are its wavevectors, and there are exactly N² of them — the fractions with denominator dividing N. A wavevector of thirds is therefore present in a box of three, six, nine or twelve cells and absent from one of two, four or five: not approximated badly, not resolved coarsely, absent. A mechanism or a level living there is invisible to such a calculation, and that is the practical content of a mechanism count depending on the cell it was looked for in.$ The classification

Crystallography in a box

A calculation over a crystal is not performed on a crystal. It is performed on a finite block with its edges glued, and the block has a symmetry group of its own — finite, complete in one direction and missing something decisive in the other.

4: three generators in two variables, and the one relation between them. The invariant ring of 4 needs 3 generators, of degrees 2, 4, 4, and three functions of two variables cannot be algebraically independent. The relation between them is found rather than quoted: every monomial in the generators of the degree at which they can first be dependent is written out, the map back to polynomials in x and y is formed, and its kernel is the relation. It is then evaluated at points of the lattice, where all three generators take integer values and the combination comes to exactly zero. A group with a reflection has no such relation, which is the same statement as its ring being free.

What symmetry decides

Three invariants and one relation

Four of the ten plane classes need three invariants where two variables can only support two, so exactly one polynomial identity ties them together. The identity is not recognised or recalled: it is the kernel of a linear map, computed and then checked at lattice points where every term is an integer.

The whole library · All essays