Forms — the series
-
Why a crystal face carries small whole numbers
A crystal face is flat because it lies on a plane of lattice points, and its orientation is therefore named by three integers rather than by two angles. That the integers exist is a theorem about lattices; that they are usually smaller than four is a separate claim about growth, and the two are routinely run together.
-
The angles belong to the substance, the shape to the specimen
Two crystals of the same mineral can look nothing like each other and still have exactly the same angles between corresponding faces. That is the oldest quantitative law in the subject, and what it measures turns out to be the shape of the unit cell — which means a brass instrument from 1809 was reading lattice parameters a century before anyone knew there were any.
-
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.
-
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.