Crystallography & Symmetry
patterns derived from their groups
Concept

Independent components — where it appears

How many numbers a measurement of a property may return in a crystal of a given class, counted as the dimension of the space the group leaves alone. A zero is a genuine prohibition; a non-zero count is a permission and not a prediction.

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

How many components a property may have, at each rank and in each class. One row per plane point group, one column per rank of a fully symmetric property tensor, with the number of independent components in each cell — counted by averaging the tensor over the group index by index, and equal at every entry to the Molien coefficient of that degree. A symmetric property of rank r is a form of degree r, so Neumann's principle and the invariant ring are the same arithmetic in two notations. The last column is the elastic tensor, which is not fully symmetric — symmetric within each pair of indices and under exchanging the pairs — and its counts are not in the table to its left. A property with its own symmetries needs its own average, and that is why the elastic constants are not read off a degree.

The parts a property splits into

A symmetric property of rank r is a polynomial of degree r wearing indices, so the number of components a class permits it is a coefficient of an invariant ring's series. The elastic tensor is not a polynomial in disguise, and its counts are not in that table — which is the most useful thing about it.

point-groups · Neumann's principle Which descents change the shape of the cell, and into how many shapes. Each descent the modes produced, with the number of independent strain components the parent class permits and the number the child permits. A transition is ferroelastic exactly when the second is larger — the child leaves alone a distortion the parent moves — and the difference is a spontaneous strain the crystal acquires without being pushed. The count of distinct shapes is the orbit of that strain under the parent, which can be smaller than the number of domains: two domains may differ in something a change of shape cannot show. Every count here is a rank of an averaged set of quadratic forms, computed twice — once by averaging, once from a character.

The strain that arrives with the transition

A crystal that loses symmetry usually changes shape, and whether it does is a subtraction: how many strain components the child permits, minus how many the parent did. The difference is a distortion nobody applied, and it is what makes a domain visible in a microscope.

applied · Domains Every crystal class is a rotation group, read one of three ways. The 32 crystal classes sorted by their rotations. Each row is one of the 11 proper classes; beside it is the class obtained by adjoining the inversion, which doubles the order, and the classes obtained by negating the half of the group outside a subgroup of index two, which keeps it. The columns hold 11, 11 and 10 classes, and every class appears exactly once. 3 rows have nothing in the last column, because 1, 3, 23 have no subgroup of index two to leave alone. At most 2 classes share a row, which happens where a proper class has halves of two different kinds.

Eleven, eleven and ten

Twenty-one of the thirty-two crystal classes contain a mirror, a centre or a rotoinversion, and not one of them is a new group. Each is a group of rotations with the inversion added, or a group of rotations with half of itself negated — and which half is left alone is the whole of the choice.

restriction · Finite groups Photoelastic constants of the eleven Laue classes, split into four parts. The number of independent photoelastic constants each Laue class permits, from 36 for 1̅ to 3 for m3̅m, drawn as squares and split into the elastic tensor's part, which is symmetric under exchanging the two index pairs, and the extra fifteen-dimensional part, which divides into an axial vector, a second quadrupole and an octupole. The axial vector survives only in 1̅, 2/m, 4/m, 3̅ and 6/m; the octupole is what separates m3̅ from m3̅m; and in m3̅m nothing extra survives, so the two counts agree at three.

Fifteen constants an energy would have forbidden

A strain changes a crystal's refractive index through a fourth-rank tensor with the elastic tensor's index pairs and without its one remaining symmetry, because no energy is differentiated twice to make it. The missing symmetry is worth fifteen components. They split into an axial vector, a quadrupole and an octupole, and each does something the elastic count cannot: the octupole gives 23 and m3̅ a fourth constant, and the axial vector is a part of the tensor no turn of the axes removes.

point-groups · Neumann's principle The constants a turn of the axes removes, class by class and property by property. The thirteen crystal classes whose operations all commute with some turn of the axes, against six properties: pyroelectric, dielectric, optical activity, piezoelectric, elastic and photoelastic, and all six together. Each cell gives the printed number of constants, and where a turn removes some, the number left. Triclinic classes have three turns and lose up to three; the others have one and lose at most one. Classes 6 and 6/m lose nothing in any property, and the last column loses the turns once, however many properties could spend them.

A six-fold crystal hides its frame until rank six

Thirteen crystal classes can be turned without moving any of their operations, and the tables print each property's constants in one frame among the many such a turn allows. Spending the turn removes a constant only where a property has a part that turns with the frame, and an n-fold axis keeps such a part only at rank n or above. So a monoclinic crystal's free angle shows in its dielectric tensor, a tetragonal one's first in its elastic constants, and a hexagonal one's in nothing anybody measures. And a crystal has one frame, not one per property: the angle is spent once.

point-groups · Neumann's principle

Named alongside it

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

Property tensorElastic constantsLaue classNeumanns principlePhotoelastic tensorAizu criterionAveraging projectorAxial vectorChange of basisCharacterCouplingCrystal class

All concepts