Crystal form — where it appears
Named by 7 essays across one field — each of them below, with the objects they name alongside it.
A form is an orbit, and whether it closes is an integer question
Name one face of a crystal and its class names the rest. That set is a form, it is an orbit in exactly the sense this site has used since its first essay, and whether it encloses a volume — whether a crystal could be bounded by it alone — is decided without any lengths or angles entering the calculation anywhere.
Five classes grow the same cube
A crystal's shape is the most obvious thing about it and the least informative. Five of the thirty-two classes produce an identical cube, diffraction cannot see an inversion centre and so collapses the thirty-two to eleven, and the measurements that finally separate them are etch pits, optical rotation and a heated crystal attracting ash.
Which faces a crystal shows
Rock salt grows as cubes, fluorite as octahedra, garnet as dodecahedra. All three have cubic lattices and the same list of possible faces, and what separates them is which reflections are systematically absent — a rule about diffraction predicting a shape a mineralogist can hold.
The fast faces are the ones that vanish
A crystal has two predicted shapes and they are not the same. One minimises surface energy and is what a crystal settles into; the other is what growth leaves behind, and in it a face that grows quickly grows itself out of existence.
A zone is a vanishing dot product
Look at a crystal and the obvious thing about it is that the faces run in bands — sets whose edges are all parallel. A face belongs to such a band exactly when three integers multiplied by three others sum to zero. No length enters, no angle enters, and that is why every index on a nineteenth-century mineral specimen is still the index used now.
A hundred and thirteen orbits, and forty-eight shapes
This collection reports 113 kinds of crystal form and every mineralogy text reports 47. That difference was explained here in a paragraph and never computed, which means nobody had checked it. Computing it needs a definition of *shape* a program can decide, and the definition turns out to be the interesting part.
Which faces are flat
Bravais ranks a crystal's faces by how far apart their planes lie. Hartman and Perdok classify them by how many uninterrupted chains of bonds run inside them, which uses no spacing at all — and on the three cubic structures the two rules put the same face first every time. Then the second rule's power turns out to live entirely in where the chain list is cut off.
Named alongside it
The objects these essays reach for when they reach for this one.
Crystal habitMiller indicesMorphologyBfdhInterplanar spacingClosed formFace poleMeasurementSystematic absenceBroken-bondCentringClose packing