Crystallography & Symmetry
patterns derived from their groups
Concept

Property tensor — where it appears

The array of numbers relating one physical quantity to another in a crystal — a conductivity, a susceptibility, an elastic modulus. Symmetry fixes how many of its components are independent, and sometimes fixes the directions of its principal axes as well.

Named by 4 essays across 2 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 Where the axes are free, they move. Five different invariant tensors of each of three classes, with the trace of each tensor's principal axes on the page. In the orthorhombic class every sample gives the same three directions: the axes are the two-fold axes and symmetry has fixed them. In the monoclinic class one direction is common to every sample and the other two rotate freely in the plane across it. In the triclinic class nothing is common at all. Each sample stands for a different material, or the same material at a different wavelength — which is what makes the middle picture the dispersion of the optic axes.

The axes a class pins down

A property tensor has a shape and an orientation, and symmetry treats them differently. Three principal directions fixed for ever in an orthorhombic crystal; one in a monoclinic one, with the other two turning as the wavelength changes.

point-groups · Optical How many constants a texture permits. Every one of Curie's seven groups against every property this collection computes, as the number of independent components each permits. The counts are averages of a character over an infinite group, which is exact because the character is a trigonometric polynomial: the average is its constant term. A poled ceramic is the row ∞m, with one pyroelectric coefficient, two dielectric constants, three piezoelectric moduli and five elastic ones — and a zero for optical activity, which the mirrors forbid.

What a texture permits

A poled ceramic has no lattice, no cell and no class, and yet the number of piezoelectric moduli it may have is exactly three. The group is one of Curie's, the average over it is an integral, and the integral turns out to be a single Fourier coefficient — which is why the answer is exact and why a texture is indistinguishable from a hexagonal crystal until rank six.

point-groups · Curie 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

Named alongside it

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

Averaging projectorIndependent componentsNeumanns principleBirefringenceCharacterCrystal classDeterminantDispersionElastic constantsFinite groupHomomorphismImproper operation

All concepts