Crystallography & Symmetry
patterns derived from their groups
Concept

Tensor — where it appears

A quantity with several directional indices, transforming under a change of axes by one factor of the matrix for each. Neumann's principle limits which of its components may be non-zero, and the count is a character averaged over the group.

Named by 9 essays across one field — each of them below, with the objects they name alongside it.

Neumann's principle for elastic constants in mmm. Each bar is one operation's contribution to the character of the representation the elastic constants live in — the stiffness of the crystal in every direction and shear. The identity contributes the unconstrained count of 21; every other operation of mmm subtracts from it, and the average over all 8 is 9, which is how many independent components the property may have. The sum is exact in integers and is taken in the lattice basis, so no Cartesian frame is chosen anywhere in it.

Neumann's principle, as one sum

A physical property of a crystal must be unchanged by every symmetry the crystal has. That is a whole subject in one sentence, and it reduces to arithmetic: how many independent components a property may have is a character averaged over the point group, exact in integers.

point-groups · Neumann's principle Neumann's principle for elastic constants in 6/mmm. Each bar is one operation's contribution to the character of the representation the elastic constants live in — the stiffness of the crystal in every direction and shear. The identity contributes the unconstrained count of 21; every other operation of 6/mmm subtracts from it, and the average over all 24 is 5, which is how many independent components the property may have. The sum is exact in integers and is taken in the lattice basis, so no Cartesian frame is chosen anywhere in it.

A character does not know its basis

The number of independent elastic constants a hexagonal crystal has is computed here from integer matrices in a lattice basis, having never chosen a Cartesian frame. That looks wrong the first time: a physical tensor lives in an orthonormal frame and these matrices are not orthogonal.

point-groups · Neumann's principle Every property count, in every class. For each of these 32 classes, how many independent components a property may have: elastic constants from 21 down to 3, dielectric tensor from 6 down to 1. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Twenty-one, thirteen, nine, three

The number of independent elastic constants runs 21, 13, 9, 7, 6, 5, 3 down the crystal systems. Two of those systems carry two numbers rather than one, and which classes take which is not predicted by counting operations — a class with six of them can have more constants than a class with six of them.

point-groups · Neumann's principle Every property count, in every class. For each of these 32 classes, how many independent components a property may have: piezoelectric moduli from 18 down to 0, pyroelectric vector from 3 down to 0, gyration tensor from 6 down to 0. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Permitted is not present

A symmetry argument says which components of a property may be non-zero. It is routinely read as saying they are — and the gap between the two is where every practical use of this table either works or quietly fails.

point-groups · Neumann's principle A spontaneous vector in 222. Averaging each of the three axes over the 4 operations of 222 leaves 0 independent components. No direction survives, so the class permits no spontaneous polarisation at all — which is a statement about what is forbidden, not about any measurement.

The ten with a direction of their own

A crystal has a spontaneous electric polarisation only if some direction is left completely alone by every one of its symmetry operations. Ten of the thirty-two classes have such a direction, and the same ten are computed here twice by routes that share nothing but the group.

point-groups · Properties What the inversion does to three sums in 4/mmm. The 16 operations of 4/mmm come in pairs — every operation together with its own negative, because the class contains the inversion — and each row pairs the two terms they contribute. For an even-rank polar property the pair is two equal bars: the inversion changes an even number of indices and the character cannot see it, so the average is whatever it was before the inversion was added. For an odd-rank polar property and for an axial one the pair is a bar and its reflection, and the sum is exactly zero — which is why piezoelectric moduli and gyration tensor are forbidden here outright rather than merely small. Neither statement is about this class: the cancellation is checked over all 11 centrosymmetric classes and all four odd or axial properties every time this figure is drawn.

Twenty of the twenty-one

Twenty-one crystal classes have no centre of symmetry, and twenty of them permit piezoelectricity. The exception is 432, which has twenty-four operations, no inversion, and a character sum that cancels to nothing — and the reason it fails is not that it has too much symmetry in any ordinary sense.

point-groups · Properties Every property count, in every class. For each of these 32 classes, how many independent components a property may have: elastic constants from 21 down to 3, piezoelectric moduli from 18 down to 0, dielectric tensor from 6 down to 1, pyroelectric vector from 3 down to 0, gyration tensor from 6 down to 0. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

A filter of great precision and no predictive power

The whole table in one place — thirty-two classes, six properties, 192 exact integers. What it settles, what it merely permits, and why knowing which of the two is happening at any moment is the entire skill of using it.

point-groups · Properties The seven groups a uniform field can have. Five of them have an axis and two do not. A cone has every rotation about its axis and mirrors containing it; a cylinder adds the mirror across the axis and the two-folds that go with it; turning either one destroys the mirrors that would reverse the turn. The sphere and the sphere made of something with a handedness are the two with no axis to speak of. Each drawing is the definition: the group is the set of motions leaving the picture unchanged.

The seven groups a field can have

Every group in this collection so far has been finite, because a lattice forbids the alternatives. A uniform field has no lattice: rotate it about its own axis through any angle at all and nothing has changed. There are exactly seven such groups, and they come out of the same closure argument that turns sixteen frieze candidates into seven.

point-groups · Curie Five strains, and which of them move the atoms. A honeycomb of harmonic bonds, strained five ways, with the internal coordinate minimised at fixed cell each time. The shuffle is how far the second atom moves away from where the strain alone would have put it. Which strains produce one is decided before any energy is computed: a strain that leaves the site's three-fold axis intact forces the shuffle to vanish, because the only vector a three-fold rotation of the plane fixes is the zero vector. The prediction and the measurement are in adjacent columns.

The strain the atoms do not follow

The rule that makes an elastic constant computable — deform the cell and move every atom by the same map — is exact for a lattice with one atom in it and wrong for every other, and the reason is a site symmetry rather than a mechanical one. Which strains move the atoms inside the cell is decided by what survives of the site's own group, and a wrong answer here is a constant that is too stiff by a third.

point-groups · Properties

Named alongside it

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

Neumann principleCrystal classAnisotropyCharacterPoint groupInvariantMeasurementRepresentationTraceAxial vectorBasisCentrosymmetric

All concepts