Crystallography & Symmetry
patterns derived from their groups
Concept

Crystal net — where it appears

A crystal structure with everything but the bonding thrown away: an infinite graph, periodic under a lattice of translations, with no lengths and no angles in it. It is stored as a finite quotient graph carrying an integer pair on each edge, and a great deal survives the loss, including the symmetry group.

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

p1, p2, p4, p6m: every one quadratic. How many elements each group has at word length at most R, to 14 terms, against the same kind of generating set. Every curve is a quadratic in R — which is the group knowing its own dimension, since a crystallographic group of d dimensions grows like R to the d and nothing about the counting mentions the plane. The curves differ by a factor: p1 reaches 421, p2 reaches 786, p4 reaches 1464, p6m reaches 5478.

How fast a group grows

Take a wallpaper group, forget the plane, and keep only the generators and the rule for multiplying. Count the elements that can be spelled in at most R letters. The answer grows like R squared — for every one of the seventeen — and the group has told you the dimension of a plane it no longer knows about.

operations · Presentations 11 nets, and one accounting. Every plane net folds onto a torus when its own translations are divided out, and a torus has Euler characteristic zero — so the quotient's vertices, edges and faces satisfy n − e + f = 0 and the number of faces is not something to be counted off a drawing but e − n. Dividing through gives one over the mean face size plus one over the mean degree equal to a half, which is the same relation that forbids a plane tiling by pentagons, reached here with no geometry in it at all. It holds for every net in the table.

Every net folds onto a torus

Divide a plane net by its own translations and the quotient is a finite graph drawn on a doughnut. A doughnut has Euler characteristic zero, so the number of faces is not something to count — it is forced, and with it a relation between how many edges meet at a vertex and how many bound a face.

classification · Flat space 3 whole-number solutions: (6, 3), (4, 4), (3, 6). Every pair of whole numbers from three to 12, with the mean face size across and the mean degree down. A square in the first colour is a pair satisfying one over p plus one over q equals a half exactly — the flat case, where a periodic net is possible — and there are 3 of them: 6 and 3, 4 and 4, 3 and 6. The lighter squares above and to the left have a sum greater than a half, which is a closed polyhedron rather than a plane tiling; the ones below and to the right have a sum less than a half and belong to a surface of negative curvature. The plane is the boundary between them and it is thin.

Three answers in whole numbers

One over the face size plus one over the degree equals a half. Ask for whole numbers and there are exactly three answers, which are the three nets everybody has drawn since childhood — and the pairs on either side of them are a closed polyhedron and a plane the plane has no room for.

classification · Tilings The honeycomb's two levels meet at K, exactly. The two levels of the honeycomb net along a line from the centre of the zone to its corner. The off-diagonal entry of its two-by-two matrix is the sum of the phases of three bonds, and at the corner those phases are the three cube roots of unity, whose sum is zero — exactly, as an identity in the ring the phases live in rather than as a number that came out small. So the matrix there is the zero matrix and both levels are zero. It is the shortest exact statement of a crossing in this collection.

The crossing at the corner

The honeycomb's two levels meet at the corner of its zone, and the meeting is not approximate. Three phases sum to zero there — an identity between cube roots of unity — so the matrix is the zero matrix, and making the two sites differ opens a gap of exactly that difference.

space-groups · K symmetry the honeycomb net, unfolded over 3×3 cells. The infinite graph the quotient graph names, drawn over 3 by 3 cells with the home cell outlined. Each edge of the quotient becomes one edge per cell, running to the cell its voltage names; the drawing adds coordinates the net does not have, and they are the placement in which every vertex sits at the average of its neighbours. two vertices, three edges, degree three — the graph of graphene and of every hexagonal mesh.

A structure with the distances thrown away

Keep which atoms are joined and throw away where they are, and what is left is an infinite graph that can be written on a postcard: a few vertices, a few edges, and a pair of integers on each. Two things about that writing-down are free, and neither of them changes the net.

applied · Nets the kagome net: 4, 8, 14, 18 at the first four shells. The vertices of the kagome net at graph distance one, two, three and four from a chosen vertex, each marked with its distance. Distance here is a number of edges and nothing else — no length enters, and the shells are drawn on the barycentric placement only so that they can be seen. The counts are 4, 8, 14, 18, 22, 28, 30, 38, 38, 48, 46, 58, which is the net's coordination sequence.

Counting outwards

How many vertices lie one step from a vertex, two steps, three? The counts settle into a straight line — but for some nets only along the even distances, with a different line along the odd ones, alternating for ever. The period is measured, and it is not always one.

applied · Nets the honeycomb net: cmm against p6m. the honeycomb net drawn twice. On the left a placement chosen by hand, whose symmetry group is cmm of order 4; on the right the placement in which every vertex sits at the average of its neighbours, whose group is p6m of order 12. The graph is identical in the two — the same vertices joined the same way — so every symmetry of the left-hand drawing is a symmetry of the net and the right-hand drawing has them all. Each detected operation is then required to carry every edge of the quotient graph to an edge, which is what makes it a symmetry of the net rather than of the point set.

The placement nobody chose

A net has no coordinates, so drawing one means inventing them. There is exactly one way to invent them that involves no choice: put every vertex at the average of its neighbours. The drawing that results has the largest symmetry group the net admits, and this site's own detector finds it.

applied · Nets two sites in a hexagonal cell: 3 cutoffs, degree 3 to 12. Two atoms per hexagonal cell, at the positions graphite's carbons occupy, read as a net at a ladder of bonding cutoffs. Each row takes the cutoff just past a shell of neighbours and reports the net that results: how many edges it has, the degree of its vertices, whether its cycles generate the whole translation lattice, and the group of its own barycentric placement. The net is not in the coordinates. There is no bond in a list of positions; there is a cutoff, and moving it past a shell gives a different net from the same atoms. A row marked as a supercell is a net whose own translations turn out finer than the cell it was described in — the description was on too large a cell and the machinery says so.

A net is a choice of what counts as a bond

A list of atomic positions does not contain a net. It contains distances, and somebody has to decide which of them are bonds — so the net is a fact about the cutoff as much as about the crystal, and moving the cutoff past a shell of neighbours changes the answer.

applied · Nets The kagome net's level that does not move. Three levels of the kagome net across the zone, one of them flat. The reason is drawn beside it: a state that alternates in sign round one hexagon and vanishes everywhere else is an exact eigenvector of the adjacency operator at −2, because every site outside the hexagon that touches it touches exactly two of its vertices and those two carry opposite signs. The check is integer arithmetic in a supercell of 27 sites, with a residual of exactly zero. A state confined to one hexagon has no wavevector, and a level made of such states cannot depend on one — which is what a flat line across a zone means.

The level that does not move

Three levels cross the kagome net's zone and one of them is a horizontal line. The reason is a state that alternates in sign round a single hexagon and is exactly zero everywhere else — a solution with no wavevector in it at all, which is why no wavevector can move it.

applied · Nets One vertex, two edges: one net. Three edges: no answer at all. Every net with one vertex and the stated number of edges, counted inside boxes of voltages of three sizes, up to change of basis and the sign of an edge. Two edges give one net whatever the box, and the reason is a sentence: two voltages that generate the translations are a basis of ℤ², and every basis is carried to every other. Three edges give more nets in every larger box, and that is not a failure of the search — normalise two of the voltages to a basis and the third is a free pair of integers, so the family is infinite. An enumeration inside a bound reports which of those two situations it is in rather than reporting the count it happened to reach.

Every net with one vertex, counted

A net is a few vertices, a few edges and a pair of integers on each, so a census is available: fix the numbers, bound the integers, enumerate. Two edges give exactly one net at every bound. Three give three, then nineteen, then a hundred and forty-three — and the question changes.

applied · Nets One net, six descriptions, four different answers about its symmetry. The honeycomb written against six bases of ℤ², all of them the same net. The detector tests each lattice type's holohedry in standard position, so a symmetry written against another basis is a matrix that is not in the list and is never tried — and the answer comes back as p6m, or an unnamed group of order four, or p2, or cmm, depending on how the voltages were typed. The metric column is the form the net's own edges make, inverted; the reduced column is that form after Lagrange–Gauss reduction, and it is the same in every row, which is what makes the last column a property of the net.

The symmetry a net was written with

A net has no coordinates, so its symmetry is whatever its best drawing has. This collection measured that by handing the drawing to a detector — and the detector tests a fixed list of matrices, so the answer depended on which pair of translations the voltages had been written against. The honeycomb came back as p6m, or p2, or cmm, or nothing, one net and four answers.

applied · Nets Two vertices and three edges: two nets, at every box size tried. Every net with two quotient vertices and the stated number of edges, counted inside boxes of voltages of several sizes. One cross voltage is set to zero by the gauge — the freedom that moving one vertex into another cell gives — and the rest are drawn from the box. Each entry is the count of nets whose placement separates their vertices, plus the count of those whose does not: the first has a canonical description and stops growing, and the second does not have one and therefore keeps rising with the box. The reducible column is the descriptions thrown away for a reason the one-vertex census never had — cycles generating the whole of ℤ² and a net whose own cell holds one vertex rather than two — and it is empty at every odd edge count, because the swap that would reduce a description pairs its edges and an odd number cannot pair.

Every net with two vertices, counted

The one-vertex census could not contain the honeycomb, because the honeycomb has two vertices in its cell. Adding the second one closes a family at two nets, removes the floor of p2 entirely, makes a third of the members undrawable, and forces the census to refuse a kind of description the first one never met: an honest quotient graph written on twice the cell it needs.

applied · Nets One framework has a count of zero, one mechanism and one self-stress. Every net this collection has a placement for, as a periodic bar-and-joint framework in a fixed cell: its point group, the joints and bars of one cell, the scalar Maxwell count 2n − e − 2, and the mechanisms and self-stresses found exactly from the rank of the rigidity matrix. The scalar count is always the difference of the last two, which is Maxwell's identity — and the bathroom net is the row that shows what the identity costs: nought equals one minus one, and a framework that reads isostatic moves.

The mechanisms a count cannot see

Maxwell's count subtracts constraints from freedoms, and a mechanism and a state of self-stress cancel in the subtraction — so a framework with one of each reports the same number as a rigid one. The bathroom net reports nought and moves. Doing the same subtraction with representations instead of numbers separates them, because a mechanism and a self-stress cancel only when they belong to the same representation.

applied · Rigidity Cube, octahedron, rhombic dodecahedron — from connectivity alone. Every form of index two or less, classified by how many chains lie inside it: two or more and the face is flat, exactly one and it is stepped, none and it is kinked. The number beside each flat form is how many chains it contains, which is the rule's own tie-break — a face with three chains is flatter than one with two. Nothing about interplanar spacing enters, and the three structures are told apart by their bonds.

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.

applied · Growth The sphere fixes a count; the torus fixes only a difference. Euler's relation for a trivalent net gives Σ (6 − n) pₙ = 6χ, so the surface fixes one linear combination of the face counts and nothing else. On a sphere that combination is twelve, which with no face smaller than a pentagon forces exactly twelve pentagons. On a torus it is zero, which permits any number of pentagons provided as many heptagons pay for them — and permits none at all, which is the plain hexagonal net. On a surface of two holes it is minus twelve, so heptagons become compulsory instead.

As many heptagons as pentagons

A trivalent net on a sphere must have exactly twelve pentagons. The same three lines of arithmetic on a torus give zero — which does not forbid pentagons, it makes them pay: every pentagon has to be balanced by a heptagon, and the counts are otherwise free. One rotated bond in a wrapped honeycomb makes two of each and changes nothing else.

restriction · Curvature Nine graphs against two conditions. Every candidate graph with the two quantities Steinitz's theorem asks for: the largest number of vertices that can be removed while it stays connected, capped at three because three is all the theorem needs, and the number of edges against the most a planar graph on that many vertices can have. The connectivity is decided by removing every pair and testing what is left, which is the definition rather than a proxy for it. Five of the nine pass both and are the graphs of convex polyhedra; the other four fail exactly one condition each, which is why they are here.

A polyhedron is two properties of a graph

Steinitz's theorem says a graph is the corner-and-edge graph of a convex polyhedron exactly when it can be drawn in the plane without crossings and stays connected after any two vertices are removed. No lengths, no angles, no convexity — the conditions are about the graph alone, and each one is needed, which four small counterexamples show.

applied · Nets The same accounting, at every coordination number. One row per number of edges at a vertex. The bill a sphere charges is 2dχ; the face worth nothing is 2d/(d − 2), which is a whole number at three, four and six and is 10/3 at five; the faces that can pay are those with fewer sides than that; and the last column is every way of paying the whole bill with faces of a single size. At three edges a vertex there are three such ways and twelve pentagons is one of them. At six there are none, which is the statement that six-fold coordination belongs to the plane and to no closed surface at all.

The twelve belongs to the vertex

Twelve pentagons is read as a fact about closing a surface. It is not: it is a fact about three edges meeting at a point. Let four edges meet instead and the sphere charges eight triangles; let five meet and it charges twenty; let six meet and it cannot be paid at all.

restriction · Curvature Every closed surface, and the two that charge nothing. The same accounting indexed by Euler characteristic rather than by genus. An orientable surface has χ = 2 − 2g, so it only ever occupies an even row; a non-orientable one has χ = 2 − k and occupies every row from one downwards. The odd rows therefore belong to surfaces that cannot be oriented and to nothing else — and the first of them, the projective plane, charges six. Six pentagons is a bill no orientable surface presents.

The surfaces a count by genus skips

A count indexed by genus steps in twelves and lands only on even numbers. A closed surface can have any characteristic at or below two, and the odd ones belong to the surfaces that cannot be oriented — where the projective plane charges six pentagons, a bill no orientable surface ever presents.

restriction · Curvature A centre at every other ring, and never between. Two families of closed cage, each a tube of hexagons closed at both ends by a cap of six pentagons, taken from no rings of hexagons to 8. The top row has five faces to a ring and a pentagon at each pole; the bottom row has six and a hexagon. Each box holds the cage's number of atoms with its number of hexagons beneath, and a box is drawn solid with a dot under it when the cage has a symmetry that reverses orientation and fixes nothing — a centre, which is what lets the cage halve onto the projective plane. The five-family has one at even numbers of rings and the six-family at odd ones, so their hexagon counts are 0, 10, 20, 30 … and 8, 20, 32, 44 … — two arithmetic progressions rather than two rows.

A centre at every other ring

A census cannot settle an infinite row, and the construction proposed to settle it was a tube capped at both ends, lengthened a ring at a time. Carried out, it alternates: a centre appears at every other ring and never between, the two families it permits reach two arithmetic progressions rather than a row, and the first of them opens with exactly the cage the census found could not halve.

restriction · Curvature

Named alongside it

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

Quotient graphCombinatorial curvatureThe Euler characteristicBarycentric placementChange of basisFree actionGraph isomorphismVoltageCoordination numberEnumerationOrientabilityPolyhedron

All concepts