Crystallography & Symmetry
patterns derived from their groups
Concept

Brillouin zone — where it appears

The Wigner–Seitz cell of the reciprocal lattice, and the region of wavevectors a periodic medium cannot tell apart from any other. The zones above the first are disconnected fragments of exactly the same area, being the first zone cut up and moved.

Named by 13 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 The first 4 zones of the square lattice. Zones one to 4, each in its own shade. The n-th zone is the set of wavevectors with exactly n − 1 reciprocal lattice points nearer to them than the origin is, so the boundaries are the perpendicular bisectors and nothing else. The zones get further out and break into more pieces — 1, 4, 8, 12 fragments — and every one of them has the area of a single cell.

The zones above the first

The second Brillouin zone is a scattering of disconnected fragments in a different part of reciprocal space from the first, and it has exactly the same area. So does the third, and the seventh. The reason is that each of them is the first zone, cut up and moved.

lattices · Wigner–Seitz cells Five shapes, and a lattice in space has no other. The five combinatorial types a Wigner–Seitz cell can have in three dimensions — cube, hexagonal prism, rhombic dodecahedron, elongated dodecahedron, truncated octahedron — each drawn from a lattice that produces it. Fedorov proved in 1885 that there are no others, and that fourteen faces is the most any of them has, which is Minkowski's bound of 2(2ⁿ − 1) in three dimensions. Each solid here is cut out by the perpendicular bisectors of nearby lattice vectors and its volume checked against the primitive cell's, which is what catches a face that failed to appear.

Five parallelohedra, and no others

The cell that needs no basis and no convention has, in three dimensions, exactly five shapes. The fourteen Bravais lattices produce all five between them — and which one a lattice gives is not decided by which of the fourteen it is.

lattices · Wigner–Seitz cells 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 several have been drawn in the plane. 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.

operations · Fundamental domain 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 star of a wavevector

A plane group acts on the plane, and everything about it so far has been about that action. 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.

space-groups · K symmetry A gap of exactly 1.00. The two folded bands with the ordering switched on. The faint curves are the same bands before it, crossing at the boundary of the reduced zone; the ordering couples them there and separates them by exactly twice its own strength. The gap appears at the wavevector where the superlattice's extra reflections appear, and for the same reason: both are the Fourier component of the potential at that wavevector.

A bigger cell, a smaller zone

Ordering two kinds of atom onto a sublattice adds reflections to the diffraction pattern and opens a gap in the levels. It is one fact told twice: the same Fourier component of the potential, at the same wavevector, doing the same thing.

lattices · Wigner–Seitz cells Ten chains, two phases. The Zak phase of the lower band of a two-site chain, as the ratio of the two hoppings is swept. Every value is exactly zero or exactly π and nothing lies between them, because the chain has an inversion centre and inversion maps the zone loop to itself reversed — which forces the phase to equal its own negative modulo a full turn. The switch happens where the two hoppings are equal, which is the one place the band gap closes and the phase belongs to no band.

The phase a symmetry turns into a number

Carry a band's state once across the Brillouin zone and it returns with a phase. In a chain with an inversion centre that phase is exactly zero or exactly π and never anything else — and the two values turn out to be the two positions in the cell that an inversion centre fixes. Remove the centre and the phase moves continuously, which is what a quantisation claim has to be able to lose.

space-groups · K symmetry Four inversion centres, and a band's charge on each. A square crystal with four atoms in each cell, at the points a quarter of the way along both diagonals, and the four points of the cell that an inversion maps onto themselves: the corner, the midpoints of the two edges, and the centre. None of the atoms sits on one. For each of four versions of the crystal, differing only in which bonds are stronger, the ring marks where the lowest band's charge is centred — computed from the band's Berry phase and predicted from four parities. Each version puts it on a different inversion centre, and in every case on a point with no atom.

Four signs say where the charge sits

In a plane crystal whose only symmetry beyond its lattice is a centre, a band's charge must sit on one of the cell's four inversion centres — and which one is decided by four signs: whether the band is even or odd under inversion at the four wavevectors inversion leaves alone. The centre can be a point no atom occupies, and when the four signs multiply to minus one there is no centre at all, only a charge that winds round the cell.

space-groups · K symmetry One arm of a star is cheap, and the whole star costs the cube. For nine wavevectors of the primitive cubic zone, the number of cells in the smallest periodic box that holds one arm of the wavevector's star, and in the smallest that holds every arm, on a logarithmic axis found by enumerating every box of each size. The zone corner R is held whole by two cells. The face centre X needs two cells for one arm and eight for its three; the thirds along an axis or a body diagonal need three for one arm and twenty-seven for the star; the quarters need four and up to sixty-four. Every smallest box for a whole star has the full symmetry of the cube.

A whole star needs a cubic box

A periodic box for a cubic crystal holds only the wavevectors its own lattice allows, and a box chosen to hold one wavevector usually holds one arm of its star and not the others. One arm of the face centre X fits in two cells; all three need eight. One arm of a third along an axis fits in three; the whole star needs twenty-seven. The smallest box that holds a whole star always keeps the cube's full symmetry, so a calculation either pays for the cube or reports a symmetry its box imposed.

classification · Flat space Whole stars of the hexagonal zone, and the boxes that hold them. For ten wavevectors of the primitive hexagonal zone, the number of cells in the smallest periodic box holding one arm of the star, in the smallest holding every arm, and, where it differs, in the smallest n by n grid of cells holding the star. The corner K is a single arm up to sign and is held whole by three cells, against nine for a grid; K raised to the top face, H, by six against eighteen; halfway to K, T, by twelve against thirty-six. M needs two cells for one arm and four for its three, and L two and eight. Every smallest box for a whole star keeps the full hexagonal symmetry.

The corner of a hexagon fits in three cells

A periodic box for a hexagonal crystal holds a whole star of wavevectors only if it keeps the crystal's full symmetry, as a cubic box must. What the cube never offered is a box turned through thirty degrees. It holds the corner of the hexagonal zone in three cells where every grid needs nine, and the saving is always exactly a factor of three and always at the same stars. Turn a box through any other angle that the six-fold axis allows and it loses the mirrors, and comes with a mirror image.

classification · Flat space Whole stars of the rhombohedral zone, and the boxes that hold them. For eight wavevectors of the rhombohedral zone, the number of cells in the smallest periodic box holding one arm of the star, in the smallest holding every arm, and, where it costs more, in the better of the two regular grids: the rhombohedral cell repeated n times along each edge, or the hexagonal triple cell repeated n by n by m. The axis end T is held whole in two cells against six, the face centre F in four against eight, and the in-plane third K₃ in nine against twenty-seven; L needs eight either way. Every smallest box for a whole star keeps all twelve operations of 3̅m.

A rhombohedral box saves a factor of two the hexagon never offered

A rhombohedral crystal is drawn on two cells, the small rhombohedron and the hexagonal cell three times its size, and a periodic box is usually one of them repeated. The smallest box that holds a whole star of wavevectors is the star's own lattice instead, and across every star with denominators up to eight it beats the better of the two grids by one, two or three, never more. Three was the hexagon's number. Two is new, and it is the face centre's. And the boxes that keep the three-fold axis and lose the mirrors still come in mirror pairs, now at nine cells as well.

classification · Flat space Which Laue groups have a sampling grid that touches no special point. Every Laue group on every Bravais lattice it occurs on, twenty-four pairs, with the smallest grid of wavevectors that keeps the whole group and has no point fixed by any operation but the identity. Such a grid exists for 1̅, 2/m, mmm and 4/m, at exactly as many points as the group has operations. It does not exist, as far as the search reaches, for 4/mmm or for any group with a three-fold axis: 3̅, 3̅m, 6/m, 6/mmm, m3̅ and m3̅m.

A three-fold axis puts a grid point on itself

A grid of wavevectors offset from the zone centre can keep a crystal's whole symmetry and touch no mirror, no axis and no point where time reversal folds the zone onto itself, and then its share of the zone is exactly one over the order of the group, with no boundary excess at all. Four Laue groups have such a grid, as small as the group itself. Every group with a three-fold axis has none, for a reason that fits in a line: the rotoinversion fixes one point of the plane across its axis, and above that point the three-fold rotation fixes the grid.

operations · Fundamental domain Every square-symmetric grid of wavevectors has a point on a mirror. One cell of the square reciprocal lattice, centred on the zone centre, with the mirror lines of 4mm through it and three grids the four-fold rotation keeps with an offset off the axis. The quarter turn allows that offset at one place only, the second four-fold centre of the grid's own lattice, ringed. On an aligned grid of odd side the rotation fixes a point; on an aligned grid of even side the offset lies on a diagonal mirror; on a grid turned by 45 degrees it lies on an axial mirror. No grid escapes all three.

The offset a quarter turn allows lies on a mirror

A census of sampling grids found free grids for the tetragonal group 4/m and none for 4/mmm, to a hundred and twenty-eight points, with no reason. The reason is two lines long. A quarter turn lets a symmetric grid be offset to exactly one place off its axis, the second four-fold centre of the grid's own lattice, and a square lattice that a mirror keeps can only be aligned with its mirrors or turned by half a right angle. Either way that centre lies on a mirror line.

operations · Fundamental domain

Named alongside it

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

WavevectorStar of kReciprocal latticeCommensurateFundamental domainIrreducible wedgeRelevant vectorSublatticeSupercellTime reversalWigner seitz cellBand structure

All concepts