### Topological Limericks

21st June, 2011

A mathematician confided
That the Möbius strip is one-sided
And you’ll get quite a laugh
If you cut one in half
For it stays in one piece, undivided!

- Anonymous via @ColinTheMathmo

A mathematician named Klein
Found the Möbius Loop quite divine
Said he, “If you glue
The edges of two
You get a weird bottle like mine!”

- Anonymous

The topological part of my brain
Finds Möbius strips quite a strain
But I make you this pledge:
I’ll glue one at its edge
And build a real projective plane

- RE

Any more? (Or can anyone give me attributions for the Anons?)

### Exotic spheres and Yog-Sothothery

12th January, 2011

I’ve got an article about the smooth 4-dimensional Poincaré conjecture, and Yog-Sothoth, over at Plus magazine.

### Curved Spaces

5th March, 2010

I’m currently having terrific fun playing around on Jeff Weeks’ flight simulator, Curved Spaces. Unlike most flight-simulators, the action takes place not in regular Euclidean space, but in a selection of 3-manifolds. (It’s also comforting that you don’t have to worry about crashing.) Highly recommended!

### Talking knot-sense

10th April, 2009

A couple of weeks ago Matt Daws and I gave a masterclass on knot theory as part of this year’s Leeds Festival of Science [pdf].

Many thanks go to Ruth Holland and Hazel Kendrick for organising us, and Dave Pauksztello for turning up and helping out.

First we spent some time playing with knotted electric wires, investigating when two knots are equivalent (i.e one can be pulled into the shape of the other, or more technically they are ambient isotopic), and when they’re not.

Here’s a motivating example, which begins to suggest that this is a tougher question than you might first imagine.

Then we cranked up the science, working through the writhe, Kauffman’s bracket polynomial, and ultimately the Jones polynomial for a selection of knots and links.

Matt created some hand-outs which he’s put online:

(As he says, we did tweak the definition of the Jones polynomial, omitting the final change of variable.)

Finally, here’s my lo-tech contribution which works through calculations of the bracket polynomial for some knots and links.

### Passing Platonic Solids

20th February, 2009

I hope everyone knows that the only regular convex solids are the tetrahedron, cube, octahedron, dodecahedron, and icosahedron: the Platonic solids.

These are the only 3-dimensional solid shapes built from straight lines and flat faces which are are face-transitive (all the faces look the same), edge-transitive (all the edges look the same), and vertex-transitive (all the corners look the same), as well as being convex: if you pick any two points in the shape and join them with a straight line, then that line segment is lies totally inside the shape. (So a sphere is convex, but a curvy banana isn’t, because a straight line between its two ends passes outside the fruit.)

To generalise, we can loosen some of these requirements.

Firstly, we can simply drop the requirement of convexity. In this case we add in four new Kepler-Poinsot polyhedra (we also have to tolerate self-intersection here – some of the faces crash through each other at ‘false edges’, and we are in the realm of polyhedra rather than solids).

If we demand convexity, edge-transitivity and vertex-transitivity, but we allow the faces to be different, then we additionally win the cuboctohedron and the icosidodecahedron.

Now dropping convexity, we obtain the great icosidodecahedron, the dodecadodecahedron, and three ditirigonal variants.

If we only insist on convexity and vertex-transitivity and allow edges and faces to be different, then we get the thirteen[1] Archimedean solids (of course including the cuboctohedron and the icosidodecahedron), plus two infinite families: the prisms and antiprisms ….that is at least if we restrict to convex vertex-transitive polyhedra with regular polygonal faces. Otherwise there are millions more, not yet fully classified.

If we additionally sacrifice convexity, so we’re looking for vertex-transitive polyhedra with regular polygonal faces, then we arrive at the 76[2] uniform polyhedra, plus infinite families of prisms and (crossed) antiprisms

What else could we do? Well, we could let vertex-transitivity slide, and instead demand face-transitivity, edge-transitivity, and convexity. At this stage we’ll have to allow faces which are not regular polygons. But it’s worth it to win the rhombic dodecahedron and the rhombic triacontahedron.

If we only care about face-transitivity and convexity (for example if we’re looking for the shapes that will make fair dice), we arrive at the thirteen[3] sumptuous Catalan solids (including the deltoidal hexecontahedron pictured above, with its sixty kite (or deltoid) shaped faces), as well as two infinite families: the bipyramids and trapezohedra.

What if we demanded only edge-transitivity but allowed faces and vertices to differ? Then we’d get nothing new! Any edge-transitive solid is also either vertex-transitive or face-transitive.[4]

However there are polyhedra which are vertex-transitive and face-transitive, but not edge-transitive. They are known as noble and are a little mysterious [pdf]. The only convex examples apart from the Platonic solids, are disphenoids: tetrahedra whose triangular faces are not equilateral. However there are non-convex examples too, such as the toroidal crown polyhedra. Again these shapes are not yet fully classified.

Another way to generalise from the Platonic solids is to forget about transitivity, and get back to regular polygons. What other convex polyhedra are there whose faces are regular polygons? The answer comes out as the the ninety-two Johnson solids (with a few near misses).

…and if we forget about convexity now? There are infinitely many possibilities, obtained by gluing Johnson solids together. For example, if you start with an octahedron and glue a tetrahedron on each face, you get a stella octangula. This process can be repeated indefinitely. What’s more, we lose simple-connectedness again, and discover more solids with holes in them: the Stewart toroids appear, along with higher genus[5] variants.

Still not satisfied? Let’s generalise to higher dimensions. Meet the pentachoron (pictured[6]), tesseract, hexadecachoron, icositetrachoron, hecatonicosachoron, and the hexacosichoron: the 4-dimensional analogues of the Platonic solids.

Now we can start all over again! Did someone say ‘non-convex’? The 4-dimensional analogues of the Kepler-Poinsot polyhedra are the ten Schläfli-Hess polychora. And here are the sixty-four convex uniform polychora, plus two infinite families of prismatic forms.

But if we go up to 5 dimensions and more, we’re in for a shock. We only ever find three regular polytopes: an n-simplex, an n-hypercube, and an n-orthoplex, the analogues of the tetrahedron, cube, and octahedron respectively. The others vanish. Similarly, there are no non-convex regular polytopes at all. This is one example of life in 3 and 4 dimensions being more complicated than in higher dimensions. (This is why low dimensional topology gets its own subject.)

What’s the point of all this? Firstly it’s to demonstrate that Wikipedia truly is an excellent resource for mathematics these days (although it has its limits). Secondly it’s to illustrate the interdependence of funky maths (in this case mad shapes) with seemingly dry maths (notions such as vertex-transitivity). Without all the hard thinking, we’d never attain full funkiness. More precisely, it’s to give an example of what mathematicians mean when they say ‘generalise’: when you look at a Platonic solid, there are many valid observations you could make. You can pull any of these criteria out, consider them on their own, and then see what else you can find that fits the bill: and that could be the first step on a very long, and very rich journey.

[1] Or fifteen if you count the left- and right-handed versions of the snub cube and snub dodecahedron separately.

[2] 75 if you discount Skilling’s figure where some pairs of edges coincide.

[3] Fifteen if you count the left- and right-handed versions of the pentagonal icositetrahedron and pentagonal hexecontahedron separately.

[4] Imagine two edges meeting at a vertex and bounding a face. There are two different ways those edges could be matched up. What happens to the vertices and faces in those two cases?

[5] More holes.

[6] If you click on it it rotates. Animation created by Jason Hise, taken from Wikipedia.