Crystallography & Symmetry
patterns derived from their groups
Generator

p4: (1/2, 0) has a star of 2

p4: (1/2, 0) has a star of 2
p4: (1/2, 0) has a star of 2. The first Brillouin zone of the square lattice, with the reciprocal lattice points at its corners and centre, and the whole star of the wavevector (1/2, 0) under p4. The star has 2 members and the little group — the operations that leave the wavevector where it is, modulo the reciprocal lattice — has order 2. The two multiply to the order of the point group, which is the orbit–stabiliser theorem and is checked rather than displayed. Each member is drawn at whichever of its equivalent copies lies nearest the origin, because that is where a reader expects a wavevector to be.

The first Brillouin zone of the square lattice, with the reciprocal lattice points at its corners and centre, and the whole star of the wavevector (1/2, 0) under p4. The star has 2 members and the little group — the operations that leave the wavevector where it is, modulo the reciprocal lattice — has order 2. The two multiply to the order of the point group, which is the orbit–stabiliser theorem and is checked rather than displayed. Each member is drawn at whichever of its equivalent copies lies nearest the origin, because that is where a reader expects a wavevector to be.

9 essays call k-star. 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.

p4m: 10 of 36 wavevectors have to be visited. The Brillouin zone of the square lattice with a grid of 36 wavevectors on it, of which 10 are drawn solid: one per star, which is everything a calculation over a p4m-symmetric operator has to visit. The share is 27.8 per cent against the 12.5 per cent that the order of the point group would give, and it is larger for a reason worth naming — the wavevectors on the boundary of the wedge have short stars, so they are over-counted by any argument that only divides by the group order. The identity that is checked is that the star sizes add to the whole grid. Operations

The domain in reciprocal space

A fundamental domain is the piece of a pattern the group repeats, and this collection has drawn several. The same idea in reciprocal space is what makes a calculation over a crystal affordable — and its share of the zone is larger than one part in the group's order, for a reason worth measuring.

 p4: (1/2, 0) has a star of 2. The first Brillouin zone of the square lattice, with the reciprocal lattice points at its corners and centre, and the whole star of the wavevector (1/2, 0) under p4. The star has 2 members and the little group — the operations that leave the wavevector where it is, modulo the reciprocal lattice — has order 2. The two multiply to the order of the point group, which is the orbit–stabiliser theorem and is checked rather than displayed. Each member is drawn at whichever of its equivalent copies lies nearest the origin, because that is where a reader expects a wavevector to be. Into space

The star of a wavevector

A plane group acts on the plane, and this collection has spent two hundred essays watching it. It also acts on the reciprocal lattice, where the action is different in one decisive way: the translations move no wavevector at all, and come back instead as a phase.

 p3m1 at (0, 0): the levels the little group requires, and the ones measured. The levels of the p3m1 model at (0, 0), with degenerate ones drawn thick. The little group there has order 6, and its characters predict levels of dimensions 1, 1, 2, 2. The measurement is 1, 2, 2, 1, and the account is "unitary". The values are numerical and the multiplicities are read at a stated gap; the prediction they are compared against is exact. Into space

Where two levels must meet

At most wavevectors nothing of a crystal's symmetry survives, and its levels are as unconstrained as any operator's. At a handful of them a whole point group survives, and where that group has a two-dimensional representation, two levels are obliged to coincide — before anything about the material is known.

 4mm: a degeneracy tuned into existence, and gone at the next weight. Four invariant operators on one orbit of 8 points under 4mm, differing only in the weight given to a single class of pairs. The first column is not a choice: it is the value that weight has to take for two levels of different symmetry to arrive at the same number, found by sweeping the weight and closing on the crossing, and the two levels there agree to 1.0e-9. The character table predicts levels of sizes 1, 1, 1, 1, 2, 2; the tuned column shows 1, 1, 1, 2, 3 and every other column shows the predicted pattern again. That is the whole of what an accidental degeneracy is — a property of one choice of weights, not of the group — and it is why the weights have to be moved before a degeneracy is called forced. A degeneracy the group requires would be in all four columns, because nothing respecting the symmetry can lift it. What symmetry decides

A coincidence the group did not ask for

Two levels sitting at the same value look identical whether symmetry required it or not. The difference is testable: move the numbers the symmetry does not decide and watch what survives, because a degeneracy the group forces cannot be shifted by anything the group leaves alone.

 pgg at (1/2, 0): the operators multiply up to a sign. Every product of two Bloch operators of the little group of (1/2, 0) in pgg, against the operator of the product. They agree up to a scalar, and the scalar is +1 or −1: 4 of the 16 products come back with a minus sign. No rephasing removes them, and the search that says so tries every assignment of twelfth roots of unity to the operators. A representation that multiplies only up to this sign cannot be one-dimensional, because scalars commute and these operators do not. Each entry is an exponent modulo twelve, so the table is exact. Into space

A glide sticks two levels together

The translation attached to a glide moves no wavevector at all. It comes back as a phase factor, and at the edge of the zone the factor is minus one — after which the operators of the little group no longer multiply the way the group does, and no rephasing repairs it.

 The honeycomb's two levels meet at K, exactly. The two levels of the honeycomb net along a line from the centre of the zone to its corner. The off-diagonal entry of its two-by-two matrix is the sum of the phases of three bonds, and at the corner those phases are the three cube roots of unity, whose sum is zero — exactly, as an identity in the ring the phases live in rather than as a number that came out small. So the matrix there is the zero matrix and both levels are zero. It is the shortest exact statement of a crossing in this collection. Into space

The crossing at the corner

The honeycomb's two levels meet at the corner of its zone, and the meeting is not approximate. Three phases sum to zero there — an identity between cube roots of unity — so the matrix is the zero matrix, and making the two sites differ opens a gap of exactly that difference.

 p4m: freezing Γ3 leaves pmg. The same crystal three times. On the left, a pattern with the full symmetry of p4m. In the middle, the displacement each atom takes under the order parameter — the arrows are the mode, drawn in the first colour for one set of atoms and the second for the other where there are two. On the right, the atoms moved by a small multiple of those displacements. The group of the right-hand pattern is pmg, of index 4 in the parent, and it was found by the detector from the point set alone. The prediction — which operations carry the displacement field to itself — is made separately, from the mode and not from the points, and the two lists of operations are identical. Into space

The cell a zone-boundary mode doubles

An order parameter that alternates from cell to cell keeps only half the translations, so the frozen structure has a cell twice as large and reflections that were never there before. The phases at such a wavevector are ±1, so the whole computation stays in exact integers.

 Compatibility at (0, 0) in p4m. Every representation of the little group at (0, 0) in p4m, and what it becomes along two lines out of that point. A one-dimensional representation stays one level and acquires a label; a two-dimensional one splits into two levels of opposite label. The rows where the two columns differ are the point: the same level is even under the mirror that survives along one line and odd under the mirror that survives along the other, so which bands may cross and which must repel is different in the two directions out of one point. Labels are the characters on the classes, computed rather than named. Into space

Which levels join which, on the way out of a point

A degeneracy at a symmetry point is forced by the little group there. Move off the point and the little group shrinks, the degeneracy is free to split, and which pieces it splits into is decided by restricting a character. That restriction is what joins a table of isolated points into a band structure.

 Where time reversal does something, and what. Every wavevector of every plane group at which time reversal changes the answer, with the square of each antiunitary operator, the unitary prediction, Herring's corrected prediction and the measured degeneracies. Case (b) is Kramers' theorem in a crystal with no spin, and it happens exactly where a glide's operator squares to −1. Case (c) is a representation being carried to a different one by the antiunitary operator, so the two become one level. Nine of these rows were open before the criterion was built — three the earlier census called unaccounted and six it could not reach at all. Into space

The degeneracy time reversal forces

A crystal with a glide has levels that stick together at the edge of its zone for a reason no character table contains. The operation responsible is antiunitary, it squares to minus one, and Kramers' theorem then applies to a model with no spin anywhere in it — which closes nine rows an earlier census in this collection had to leave open.

The whole library · All essays