Crystallography & Symmetry
patterns derived from their groups
Series

Fundamental domain — the series

9 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. A fundamental domain for p4m. One representative from every orbit of p4m, shaded, with the images that tile the rest of the cell. The domain was found by computing orbits rather than by drawing a region, and every sample's orbit was checked to meet it exactly once — so the region has neither a gap nor an overlap.

    The fundamental domain

    The smallest piece of a pattern from which the group rebuilds the rest. Drawing one is easy and drawing one correctly is not, because a region with a gap or an overlap looks exactly like a region without.

    part 1 · operations
  2. Special positions in p4m. Every point of a 12×12 grid inside the cell of p4m, drawn at a size set by how many operations fix it. 80 of the 144 are general — nothing but the identity leaves them alone, so their orbit is the full 8 points. The other 64 are special, and fall into 3 kinds: 60 points fixed by 2 operations, with orbits of 4; 2 points fixed by 4 operations, with orbits of 2; 2 points fixed by 8 operations, with orbits of 1.

    The points a group treats differently

    Almost every point of a cell has an orbit as long as the group. The exceptions are the points some operation leaves alone, and they are where atoms sit, where a structure's formula comes from, and where a careless motif destroys the group it was meant to illustrate.

    part 2 · operations
  3. p4 inside p4m, by area. A fundamental domain for p4m beside one for p4, drawn by the same construction on the same grid. p4 sits inside p4m with index 2: it has 8 ÷ 4 = 2 times as few operations to rebuild the pattern with, so it needs 2 times as much of the cell to rebuild it from — measured here at 1.51 times as many samples. The two domains are one region and 2 copies of it, and the ratio between them is the index rather than a coincidence of shape.

    Domains of a subgroup

    A group with half the operations needs twice as much of the cell to rebuild the pattern from. That single sentence is the index arithmetic of the whole classification, and it turns the containments among the seventeen into a statement about area.

    part 3 · operations
  4. The general positions of P2₁/c. Space group P2₁/c, number 14, projected down c on a primitive monoclinic cell. 12 general positions, the orbit of a three-point asymmetric motif, each labelled with its height along c and marked with a comma where the operation that produced it reversed handedness.

    One part in however many, and why it is never quite that

    A crystal's contents are the asymmetric unit repeated by the group. The unit's volume is the cell's divided by the order of the group — except that it is always a little more, and the excess is exactly the special positions counted whole.

    part 4 · operations
  5. p4: a domain of 38 cells with 7 walls. The fundamental domain of p4 on a grid of 12ths, with the walls it shares with its neighbouring copies marked. Each wall names the element that carries this copy onto the copy across it, and there are 7 distinct such elements. Those elements generate the whole group — checked by closing them up and requiring every coset and the whole translation lattice to be reached, not assumed — which is Poincaré's theorem, and it means the generators of a wallpaper group can be read off a picture. The domain is pixelated rather than a polygon, so the wall count is a property of this domain and not of the group.

    Every wall names a generator

    The copies of a fundamental domain tile the plane and stand in one-to-one correspondence with the elements of the group. So the elements that carry the home copy across a wall generate everything — and the generators of a wallpaper group can be read off a picture rather than looked up.

    part 5 · operations
  6. 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.

    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.

    part 6 · operations
  7. p4m: which distortions the atoms of each position can make. Every Wyckoff position of p4m, with the number of independent displacement patterns of each symmetry its atoms supply. A zero is a distortion those atoms cannot make however their amplitudes are chosen — an atom pinned at a rotation centre cannot move in a way that keeps less symmetry than the centre has. The row sums, weighted by the dimensions along the top, come to twice the number of atoms in the cell, which is the check that nothing has been lost. The last column is the number of free coordinates the position has, and it equals the multiplicity of the identity representation in that row: a displacement that keeps every symmetry is exactly a move of the position within its own Wyckoff set.

    Which modes a site can carry

    An atom on a mirror cannot move in a way that breaks the mirror while its images move with it: the displacements of a Wyckoff orbit carry a representation, and some of its pieces have multiplicity zero. The count of those pieces is a character, and the one that breaks nothing is the position's own freedom.

    part 7 · operations
  8. One orbit of p4m, two of p4. The general position of p4m — 8 points in a cell, all equivalent under that group — with each point coloured by which orbit of p4 it belongs to. Losing half the operations does not move a single point; it changes which of them are related, and the one orbit becomes 2. An atom sitting on this position in the parent becomes 2 crystallographically distinct atoms in the child, which may then be different elements, or move independently, or order.

    What a position becomes on the way down

    Cool a crystal through a transition and it loses operations. Nothing moves — and one crystallographic site becomes two, which is how an ordering transition finds somewhere to put a second kind of atom.

    part 8 · operations
  9. The domain is a polygon, and its edges are elements. The Dirichlet domain of a point whose stabiliser is trivial: the set of points at least as close to it as to any other point of its orbit. It is a convex polygon, it is a fundamental domain, and each of its edges lies on the bisector of the base point and one image of it — so each edge already carries the element that produced it, with no search. Edges are drawn by kind: paired with another edge, fixed pointwise by a reflection, or folded in half by a half turn.

    The relations a polygon dictates

    Poincaré's theorem has two halves. The walls of a fundamental domain name the generators, which is the half this collection already computes; walking round its corners names the relations, which needs a domain with corners rather than a domain made of pixels. Building the Dirichlet polygon exactly gives a presentation of each of the seventeen — and coset enumeration says every one of them is right.

    part 9 · operations

All series