Crystallography & Symmetry
patterns derived from their groups
Concept

Quaternion — where it appears

A quadruple of numbers multiplied by a rule that makes the unit ones a group covering the rotations of space two to one. Every rotation with rational matrix entries comes from an integer quaternion, and the covering is why a full turn can be a group element distinct from doing nothing.

Named by 4 essays across 3 fields — each of them below, with the objects they name alongside it.

Every coincidence index is odd. The rotations that bring a cubic lattice into coincidence with itself, up to index 25: 17 distinct relations across 12 indices, each found by enumerating integer quaternions and each index computed as the size of a sublattice rather than from the usual formula — the two are then required to agree. 5 of the 12 indices carry more than one relation, which is why the tables write 13a and 13b. Every index is odd. That is not a feature of this range: a rational orthogonal matrix written in lowest terms has an odd denominator, so the factors of two always cancel.

Every coincidence index is odd, and in the plane most of them do not exist

The indices at which two copies of a cubic lattice share points are 3, 5, 7, 9, 11 and every odd number after them. There is a two-line proof that no even index can occur. Ask the same question about a square lattice and the answer is a different list entirely, governed by which numbers are sums of two squares — so Σ3, which is the commonest boundary in every metal, has no plane analogue at all.

applied · Interfaces No two cubic grains are more than sixty-three degrees apart. For each proper class: how many rotations describe one misorientation, the largest disorientation there is, and the mean over uniformly random orientations. The maximum is found by sampling and then climbing locally, so it is a lower bound that has stopped moving rather than a solved value — and it lands on the numbers the literature records.

The angle two grains differ by

A crystal's axes are not labelled, so a relative orientation between two grains has as many descriptions as the symmetry allows — five hundred and seventy-six of them for a cubic crystal — and their rotation angles run from a few degrees to more than a hundred and seventy. The honest answer is the smallest, and its largest possible value is a number: no two cubic grains are more than sixty-three degrees apart, whatever anybody does to them.

applied · Interfaces A spin needs two full turns to come back. The number a rotation about a fixed axis multiplies a state by, against the angle turned through. A vector — anything of integer spin — is back where it started after one full turn; a spin-one-half state is multiplied by minus one and needs a second turn. So the operators acting on such a state do not form the rotation group: a full turn is an operation distinct from doing nothing, and the group is twice as large.

Two turns to come back

A rotation through a full turn does nothing to a crystal and multiplies a spin-one-half state by minus one, so the group acting on such a state is not the point group but a group twice its size. Building those eleven double groups from quaternions and averaging a random operator over each gives the degeneracies a spin may have — and shows that the doubling everybody calls Kramers' is time reversal's doing and not the double group's.

point-groups · Representations Two turns and their undoing leave a slide. A turn g by 90° about the point c and a turn h by 60° about d. The marked point p is carried back 60° about d, back 90° about c, forward 60° about d and forward 90° about c, and does not return: it arrives displaced by a vector of length 2.371, which is 4·sin 45°·sin 30°·|c − d|. Two other points put through the same four motions move by the same vector, drawn beside them, because the commutator g h g⁻¹ h⁻¹ of two rotations of the plane is a translation — (I − A)(I − B)(c − d) exactly — whatever the angles and the centres.

What forces a lattice

Every enumeration here starts from a lattice of translations, and the lattice is usually taken as given. It need not be. A group of motions that is discrete, and leaves no point far from an orbit, has to contain one — in the plane by an argument four lines long, each line a picture, and in space by an inequality whose threshold turns out to be the six-fold rotation.

restriction · Finiteness

Named alongside it

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

Coincidence site latticeMisorientationPoint groupCharacterCommutatorContinued fractionCosetCovering radiusCrystal fieldCrystallographic restrictionCyclotomic polynomialsDegeneracy

All concepts