Crystallography & Symmetry
patterns derived from their groups
Concept

Time reversal — where it appears

The operation that reverses every magnetic moment while moving nothing, written 1′ and of order two. A magnetic moment is a current loop, so running time backwards reverses it, and admitting that as an operation is what turns thirty-two classes into a hundred and twenty-two.

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

One hundred and twenty-two magnetic point groups. The three kinds, counted. Thirty-two ordinary groups, which contain no primed operation; thirty-two grey groups, which contain time reversal on its own and are the symmetry of anything magnetically disordered; and fifty-eight black-and-white groups, one for each way of splitting a class into a subgroup of index two and its complement. The last number is the one that has to be computed: the index-two subgroups are found by closure inside each class, reduced up to conjugacy, and reduced once more by an equivalence that needs a rotation no lattice may have. 32 + 32 + 58 = 122, and every term is a measurement.

The operation that reverses time

A magnetic moment is a current loop, so running time backwards reverses it and moves nothing. Admitting that as a symmetry operation turns the thirty-two crystal classes into a hundred and twenty-two — and eight of the merges needed to reach that number require a rotation no lattice may have.

point-groups · Magnetic The classes that permit a spontaneous magnetisation. Every magnetic point group permitting a spontaneous magnetisation — 31 of the 122 — with the number of independent components each allows. an axial vector, reversed by time reversal — a ferromagnet has one and nothing else does. The count comes from averaging the character over the group, with a primed operation's contribution multiplied by −1 because the property reverses when time does. That is Neumann's principle with one extra sign in it, and it reproduces the numbers the literature records without being given them.

Which magnetism a class permits

Neumann's principle with one extra sign in it decides which of the hundred and twenty-two magnetic classes may have a spontaneous magnetisation and which may show the magnetoelectric effect. The answers are thirty-one and fifty-eight, and they come out of the same average that counts elastic constants.

point-groups · Magnetic 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.

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.

point-groups · Representations 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.

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.

space-groups · K symmetry 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 Twenty-two halvings the fourteen lattices permit. Every lattice has exactly seven subgroups of index two, whatever its shape. The third column is how many of the seven the lattice's own group carries onto themselves, and the fourth is how many of those survive as distinct types once a change of basis within the type is allowed to identify them. The running total ends at twenty-two, which with the fourteen grey lattices is the thirty-six magnetic Bravais lattices — and the row that ends at zero is the face-centred cubic lattice.

The halving a lattice will not permit

Admit time reversal and a lattice splits into points that leave the moments alone and points that reverse them. The second set is a coset of a subgroup of index two, and every lattice has exactly seven of those, whatever its shape. What differs is how many of the seven the lattice's own symmetry survives — and the face-centred cubic lattice survives none of them.

lattices · Magnetic

Named alongside it

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

DegeneracyCharacterFrobenius schur indicatorMagnetic point groupShubnikov groupsAccidental degeneracyAntisymmetryAntiunitary operatorBravais latticeCharacter tableCommutantConjugacy

All concepts