Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

August 28, 2016

Topological Crystals (Part 4)

Posted by John Baez

k4_crystal

Okay, let’s look at some examples of topological crystals. These are what got me excited in the first place. We’ll get some highly symmetrical crystals, often in higher-dimensional Euclidean spaces. The ‘triamond’, above, is a 3d example.

Review

First let me remind you how it works. We start with a connected graph XX. This has a space C 0(X,)C_0(X,\mathbb{R}) of 0-chains, which are formal linear combinations of vertices, and a space C 1(X,)C_1(X,\mathbb{R}) of 1-chains, which are formal linear combinations of edges.

We choose a vertex in XX. Each path γ\gamma in XX starting at this vertex determines a 1-chain c γc_\gamma, namely the sum of its edges. These 1-chains give some points in C 1(X,)C_1(X,\mathbb{R}). These points are the vertices of a graph X¯\overline{X} called the maximal abelian cover of XX. The maximal abelian cover has an edge from c γc_\gamma to c γc_{\gamma'} whenever the path γ\gamma' is obtained by adding an extra edge to γ\gamma. We can think of this edge as a straight line segment from c γc_\gamma to c γc_{\gamma'}.

So, we get a graph X¯\overline{X} sitting inside C 1(X,)C_1(X,\mathbb{R}). But this is a high-dimensional space. To get something nicer we’ll project down to a lower-dimensional space.

There’s boundary operator

:C 1(X,)C 0(X,) \partial : C_1(X,\mathbb{R}) \to C_0(X,\mathbb{R})

sending any edge to the difference of its two endpoints. The kernel of this operator is the space of 1-cycles, Z 1(X,)Z_1(X,\mathbb{R}). There’s an inner product on the space of 1-chains such that edges form an orthonormal basis, so we get an orthogonal projection

π:C 1(X,)Z 1(X,) \pi : C_1(X,\mathbb{R}) \to Z_1(X,\mathbb{R})

We can use this to take the maximal abelian cover X¯\overline{X} and project it down to the space of 1-cycles. The hard part is checking that π\pi is one-to-one on X¯\overline{X}. But that’s what I explained last time! It’s true whenever our original graph XX has no bridges: that is, edges whose removal would disconnect our graph, like this:

So, when XX is a bridgeless graph, we get a copy of the maximal abelian cover embedded in Z 1(X,)Z_1(X,\mathbb{R}). This is our topological crystal.

Let’s do some examples.

Graphene

I showed you this one before, but it’s a good place to start. Let XX be this graph:

Since this graph has 3 edges, its space of 1-chains is 3-dimensional. Since this graph has 2 holes, its 1-cycles form a plane in that 3d space. If we take paths γ\gamma in XX starting at the red vertex, form the 1-chains c γc_\gamma, and project them down to this plane, we get this:

Here the 1-chains c γc_\gamma are the white and red dots. They’re the vertices of the maximal abelian cover X¯\overline{X}, while the line segments between them are the edges of X¯\overline{X}. Projecting these vertices and edges onto the plane of 1-cycles, we get our topological crystal:

This is the pattern of graphene, a miraculous 2-dimensional form of carbon. The more familiar 3d crystal called graphite is made of parallel layers of graphene connected with some other bonds.

Puzzle 1. Classify bridgeless connected graphs with 2 holes (or more precisely, a 2-dimensional space of 1-cycles). What are the resulting 2d topological crystals?

Diamond

Now let’s try this graph:

Since it has 3 holes, it gives a 3d crystal:

This crystal structure is famous! It’s the pattern used by a diamond. Up to translation it has two kinds of atoms, corresponding to the two vertices of the original graph.

Triamond

Now let’s try this graph:

Since it has 3 holes, it gives another 3d crystal:

This is also famous: it’s sometimes called a ‘triamond’. If you’re a bug crawling around on this crystal, locally you experience the same topology as if you were crawling around on a wire-frame model of a tetrahedron. But you’re actually on the maximal abelian cover!

Up to translation the triamond has 4 kinds of atoms, corresponding to the 4 vertices of the tetrahedron. Each atom has 3 equally distant neighbors lying in a plane at 120 120{}^\circ angles from each other. These planes lie in 4 families, each parallel to one face of a regular tetrahedron. This structure was discovered by the crystallographer Laves, and it was dubbed the ‘Laves graph’ by Coxeter. Later Sunada called it the ‘K 4\mathrm{K}_4 lattice’ and studied its energy minimization properties. Theoretically it seems to be a stable form of carbon. Crystals in this pattern have not yet been seen, but this pattern plays a role in the structure of certain butterfly wings.

Puzzle 2. Classify bridgeless connected graphs with 3 holes (or more precisely, a 3d space of 1-cycles). What are the resulting 3d topological crystals?

Lonsdaleite and hyperquartz

There’s a crystal form of carbon called lonsdaleite that looks like this:

It forms in meteor impacts. It does not arise as 3-dimensional topological crystal.

Puzzle 3. Show that this graph gives a 5-dimensional topological crystal which can be projected down to give lonsdaleite in 3d space:

Puzzle 4. Classify bridgeless connected graphs with 4 holes (or more precisely, a 4d space of 1-cycles). What are the resulting 4d topological crystals? A crystallographer with the wonderful name of Eon calls this one hyperquartz, because it’s a 4-dimensional analogue of quartz:

All these classification problems are quite manageable if you notice there are certain ‘boring’, easily understood ways to get new bridgeless graphs with nn holes from old ones.

Platonic crystals

For any connected graph XX, there is a covering map

q:X¯X q : \overline{X} \to X

The vertices of X¯\overline{X} come in different kinds, or ‘colors’, depending on which vertex of XX they map to. It’s interesting to look at the group of ‘covering symmetries’, Cov(X)\mathrm{Cov}(X), consisting of all symmetries of X¯\overline{X} that map vertices of same color to vertices of the same color. Greg Egan and I showed that when XX has no bridges, Cov(X)\mathrm{Cov}(X) also acts as symmetries of the topological crystal associated to XX. This group fits into a short exact sequence:

1H 1(X,)Cov(X)Aut(X)1 1 \longrightarrow H_1(X,\mathbb{Z}) \longrightarrow \mathrm{Cov}(X) \longrightarrow \mathrm{Aut}(X) \longrightarrow 1

where Aut(X)\mathrm{Aut}(X) is the group of all symmetries of XX. Thus, every symmetry of XX is covered by some symmetry of its topological crystal, while H 1(X,)H_1(X,\mathbb{Z}) acts as translations of the crystal, in a way that preserves the color of every vertex.

For example consider the triamond, which comes from the tetrahedron. The symmetry group of the tetrahedron is this Coxeter group:

A 3=s 1,s 2,s 3|(s 1s 2) 3=(s 2s 3) 3=s 1 2=s 2 2=s 3 2=1 \mathrm{A}_3 = \langle s_1, s_2, s_3 \;| \; (s_1s_2)^3 = (s_2s_3)^3 = s_1^2 = s_2^2 = s_3^2 = 1\rangle

Thus, the group of covering symmetries of the triamond is an extension of A 3\mathrm{A}_3 by 3\mathbb{Z}^3. Beware the notation here: this is not the alternating group on the 3 letters. In fact it’s the permutation group on 4 letters, namely the vertices of the tetrahedron!

We can also look at other ‘Platonic crystals’. The symmetry group of the cube and octahedron is the Coxeter group

B 3=s 1,s 2,s 3|(s 1s 2) 3=(s 2s 3) 4=s 1 2=s 2 2=s 3 2=1 \mathrm{B}_3 = \langle s_1, s_2, s_3 \;| \; (s_1s_2)^3 = (s_2s_3)^4 = s_1^2 = s_2^2 = s_3^2 = 1\rangle

Since the cube has 6 faces, the graph formed by its vertices and edges a 5d space of 1-cycles. The corresponding topological crystal is thus 5-dimensional, and its group of covering symmetries is an extension of B 3\mathrm{B}_3 by 5\mathbb{Z}^5. Similarly, the octahedron gives a 7-dimensional topological crystal whose group of covering symmetries, an extension of B 3\mathrm{B}_3 by 7\mathbb{Z}^7.

The symmetry group of the dodecahedron and icosahedron is

H 3=s 1,s 2,s 3|(s 1s 2) 3=(s 2s 3) 5=s 1 2=s 2 2=s 3 2=1 \mathrm{H}_3 = \langle s_1, s_2, s_3 \;| \; (s_1s_2)^3 = (s_2s_3)^5= s_1^2 = s_2^2 = s_3^2 = 1\rangle

and these solids give crystals of dimensions 11 and 19. If you’re a bug crawling around on the the second of these, locally you experience the same topology as if you were crawling around on a wire-frame model of a icosahedron. But you’re actually in 19-dimensional space, crawling around on the maximal abelian cover!

There is also an infinite family of degenerate Platonic solids called ‘hosohedra’ with two vertices, nn edges and nn faces. These faces cannot be made flat, since each face has just 2 edges, but that is not relevant to our construction: the vertices and edges still give a graph. For example, when n=6n = 6, we have the ‘hexagonal hosohedron’:

The corresponding crystal has dimension n1n-1, and its group of covering symmetries is an extension of S n×/2\mathrm{S}_n \times \mathbb{Z}/2 by n1\mathbb{Z}^{n-1}. The case n=3n = 3 gives the graphene crystal, while n=4n = 4 gives the diamond.

Exotic crystals

We can also get crystals from more exotic highly symmetrical graphs. For example, take the Petersen graph:

Its symmetry group is the symmetric group S 5\mathrm{S}_5. It has 10 vertices and 15 edges, so its Euler characteristic is 5-5, which implies that its space of 1-cycles is 6-dimensional. It thus gives a 6-dimensional crystal whose group of covering symmetries is an extension of S 5\mathrm{S}_5 by 6\mathbb{Z}^6.

Two more nice examples come from Klein’s quartic curve, a Riemann surface of genus three on which the 336-element group PGL(2,𝔽 7)\mathrm{PGL}(2,\mathbb{F}_7) acts as isometries. These isometries preserve a tiling of Klein’s quartic curve by 56 triangles, with 7 meeting at each vertex. This picture is topologically correct, though not geometrically:

From this tiling we obtain a graph XX embedded in Klein’s quartic curve. This graph has 56×3/2=8456 \times 3 / 2 = 84 edges and 56×3/7=2456 \times 3 / 7 = 24 vertices, so it has Euler characteristic 60-60. It thus gives a 61-dimensional topological crystal whose group of covering symmetries is extension of PGL(2,𝔽 7)\mathrm{PGL}(2,\mathbb{F}_7) by 61\mathbb{Z}^{61}.

There is also a dual tiling of Klein’s curve by 24 heptagons, 3 meeting at each vertex. This gives a graph with 84 edges and 56 vertices, hence Euler characteristic 28-28. From this we obtain a 29-dimensional topological crystal whose group of covering symmetries is an extension of PGL(2,𝔽 7)\mathrm{PGL}(2,\mathbb{F}_7) by 29\mathbb{Z}^{29}.

The packing fraction

Another interesting property of a topological crystal is its ‘packing fraction’. I like to call the vertices of a topological crystal atoms, for the obvious reason. The set AA of atoms is periodic. It’s usually not a lattice. But it’s contained in the lattice LL obtained by projecting the integral 1-chains down to the space of 1-cycles:

L={π(c):cC 1(X,)} L = \{ \pi(c) : \; c \in C_1(X,\mathbb{Z}) \}

We can ask what fraction of the points in this lattice are actually atoms. Let’s call this the packing fraction. Since Z 1(X,)Z_1(X,\mathbb{Z}) acts as translations on both AA and LL, we can define it to be

|A/Z 1(X,)||L/Z 1(X,)| \displaystyle{ \frac{|A/Z_1(X,\mathbb{Z})|}{|L/Z_1(X,\mathbb{Z})|} }

For example, suppose XX is the graph that gives graphene:

Then the packing fraction is 23\frac{2}{3}, as can be seen here:

For any bridgeless connected graph XX, it turns out that the packing fraction is:

|V||T| \displaystyle{ \frac{|V|}{|T|} }

where VV is the set of vertices and TT is the set of spanning trees. The main tool used to prove this is Bacher, de la Harpe and Nagnibeda’s work on integral cycles and integral cuts, which in turn relies on Kirchhoff’s matrix tree theorem.

Greg Egan used Mathematica to count the spanning trees in all the examples discussed above, and this let us work out their packing fractions. They tend to be very low! For example, the maximal abelian cover of the dodecahedron gives an 11-dimensional crystal with packing fraction 1/27,6481/27,648, while the heptagonal tiling of Klein’s quartic gives a 29-dimensional crystal with packing fraction 1/688,257,368,064,000,0001/688,257,368,064,000,000.

So, we have some very delicate, wispy crystals in high-dimensional spaces, built from two simple ideas in topology: the maximal abelian cover of a graph, and the natural inner product on 1-chains. They have intriguing connections to tropical geometry, but they are just beginning to be understood in detail. Have fun with them!

For more, see:

Posted at August 28, 2016 8:26 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2900

0 Comments & 0 Trackbacks

Post a New Comment