Category Archives: Algebra

Emmy Noether (1882-1935)

Emmy NoetherOver the last couple of days I’ve had cause to read a little bit about the life of the German mathematician Emmy Noether, who was responsible for some of the most important work in abstract algebra during the first third of the 20th century; in addition, Noether’s Theorem is important in theoretical physics, where it describes the connection between symmetry and conservation laws.

Born in Erlangen in 1882 into a Jewish family (to the algebraic geometer Max Noether and his wife Ida Kauffmann) she displayed an early talent for languages, and qualified as a teacher of French and English, but decided she wanted to study mathematics at university.  At the time (c.1900) women weren’t permitted to formally enrol at German universities, although with the individual lecturers’ permission they could sit in on lectures.  Nevertheless, she succeeded in persuading Erlangen to admit her as a student in 1904 (after the restrictions were lifted) and successfully completed her PhD in 1907.  For the next eight years she taught at Erlangen, essentially as her father’s unpaid teaching assistant, before Felix Klein and David Hilbert succeeded in arranging a more substantive post at Göttingen (at the time, one of the most prestigious mathematics departments in Europe).  Initially (due largely to complaints from the philosophy department) she taught under Hilbert’s name, but in 1919 she was awarded her habilitation diploma and promoted to the rank of Privatdozent (lecturer).

She worked at Göttingen for the next couple of decades, along the way making some really important discoveries in algebra: amongst other things, she formulated and proved the First, Second and Third Isomorphism Theorems which are a standard component of pretty much every undergraduate group theory textbook; also Noetherian rings are an important class of algebraic structures which she studied and were subsequently named after her.  She supervised 14 doctoral students (according to the Mathematics Genealogy Project) and in 1932 was invited to give a plenary address at the International Congress of Mathematicians.

The following year, she was dismissed from Gottingen along with several other colleagues (including Max Born and Richard Courant) as a result of legislation enacted by the new Nazi government, forbidding Jewish academics from working at German universities.  She reacted with stoicism and continued unofficially lecturing to students at her house. Her colleague Hermann Weyl later remarked that “her courage, her frankness, her unconcern about her own fate, her conciliatory spirit, was in the midst of all the hatred and meanness, despair and sorrow surrounding us, a moral solace”.  Shortly afterwards, she was invited to take up a visiting professorship at Bryn Mawr College, Pennsylvania.  She worked there and at the Institute for Advanced Study in Princeton, for the next year and a half, until her sudden death in April 1935 as a result of complications from surgery.

I’d been aware of some of the details of her life, and obviously I learned the Isomorphism Theorems as an undergraduate (although I only learned of her involvement relatively recently) but reading about her in more detail over the last few days I’ve been struck by how particularly impressive her achievements were given that she was Jewish and a woman working in an environment that was often unsympathetic to both.

Twisted Alexander polynomials of hyperbolic knots

I’ve recently been helping Stefan Friedl and Nathan Dunfield with an interesting project looking at the twisted Alexander polynomials of hyperbolic knots, which has now resulted in two papers [2,3], some software [1], and a number of unanswered questions. I’ve found it all fascinating and have learned a lot of interesting stuff about mathematics (twisted Alexander polynomials, Reidemeister torsion, hyperbolic 3-manifolds, the Mahler measure, etc) and computing (the Sage computer algebra system and the Python programming language).

I plan to look into the details and the background in more depth in the next few posts, but the basic idea is that for any knot {K} we can calculate something called the Alexander polynomial {\Delta_K}. This is a polynomial expression in a single variable {t} which (for various technical reasons) is well-defined up to multiplication by {\pm t^n}, but the reason we care about it is that it’s an isotopy invariant: it can often help us decide whether two knots are equivalent or not.

Knot-theoretic graffiti

Unexpected cubicle topology

More precisely, if you have two knots {K_1} and {K_2} which might be equivalent (that is, one is really just a continuously-deformed copy of the other) then you work out their Alexander polynomials and compare them: if {\Delta_{K_1} \not\equiv \Delta_{K_2}} then {K_1} and {K_2} aren’t equivalent. (Conversely, though, if {\Delta_{K_1} \equiv \Delta_{K_2}} then that doesn’t help, since there are many examples of non-equivalent knots which have equivalent Alexander polynomials.) For example, the trefoil knot (usually denoted {3_1}) has {\Delta_{3_1} = t^2 - t + 1}, but the figure-eight knot {4_1} has {\Delta_{4_1} = t^2 - 3t + 1}, so straight away we know that these are different knots.  (My friend Peter recently found this fact, but not the proof, scribbled on a toilet door.)

On the other hand, the 11–crossing knots {11_{19}} and {11_{25}} have {\Delta_{11_{19}} = \Delta_{11_{25}} = t^8 - 6t^7 + 18t^6 - 33t^5 + 39t^4 - 33t^3 + 18t^2 - 6t + 1}, so although we happen to know by other methods that they’re different, we can’t tell them apart just by using the Alexander polynomial.

But in addition to sometimes being able to tell different knots apart, the Alexander polynomial also contains some geometric information about the knot: it gives us a (not always optimal) lower bound on the genus of the knot, and also a necessary (but not sufficient) condition on whether the knot is fibred.  I’ll explain later what the genus of a knot is, and what it means for a knot to be fibred.

Rather than considering the knot on its own, we need to look at the space surrounding it: on its own a knot is really just a closed loop, a circle, and what makes it interesting is how it’s been embedded in whatever version of 3–dimensional space we happen to be using. In practice, we mostly consider knots embedded in the 3–sphere {S^3}, which can be described in various ways, but a fairly straightforward way of viewing it is like ordinary 3–space {\mathbb{R}^3} joined up at infinity.

During the 1990s, some mathematicians got interested in a generalised version of {\Delta_K}, called twisted Alexander polynomials. The idea here is that we modify {\Delta_K} by incorporating some extra information about the space surrounding the knot. More precisely, we use a representation of the fundamental group of this space. It turns out that if we’re careful and/or lucky about our choice of representation, the twisted Alexander polynomial can often distinguish between knots that the ordinary Alexander polynomial can’t, and can sometimes give us better genus and fibring information too.

Now, due to some really important work by William Thurston during the late 1970s and early 1980s (for which he was awarded a Fields medal in 1982), it turns out that the vast majority of knots (more precisely, all but 32 of the 1701936 knots with 16 or fewer crossings) are hyperbolic. (The exceptions are torus and satellite knots, which are comparatively rare cases.)

What this means is that we can impose a canonical 3–dimensional hyperbolic geometric structure on the complement of our knot {K} (the complement is basically {S^3} with a {K}–shaped hole cut out of it). And the symmetries of this geometric structure give us a similarly canonical representation which we can use to define a twisted Alexander polynomial with. Stefan’s idea was that since the hyperbolic structure is in some sense god-given, and the corresponding “holonomy” representation is similarly divinely-inspired, these twisted Alexander polynomials (which we called {\mathcal{T}_K}) should be pretty special, and hopefully have some interesting and useful properties.

So we set our computers to work calculating {\mathcal{T}_K} for all 313209 hyperbolic knots with 15 or fewer crossings, using the Sage computer algebra system and a hyperbolic topology package called SnapPy (a Python library written by Nathan Dunfield and Mark Culler, based on Jeff WeeksSnapPea software). We found that not only does {\mathcal{T}_K} correctly predict the genus in all 313209 cases, it also correctly detects fibredness too.

There’s an operation called mutation you can do on a knot: broadly speaking, you cut out a segment (a tangle) of the knot, flip it over, and glue it back in. Sometimes (the simplest examples have 11 crossings) you get a different knot as a result. The most famous example pair consists of the Conway and Kinoshita–Terasaka knots; the knots {11_{19}} and {11_{25}} mentioned earlier are another example pair. The ordinary Alexander polynomial {\Delta_K} can’t tell the difference (we say it’s mutation invariant) but the hyperbolic twisted Alexander polynomial {\mathcal{T}_K} often can. (In particular, it can tell the difference between the Conway and Kinoshita–Terasaka knots, and also between {11_{19}} and {11_{25}}.)

References

[1] N M Dunfield, Genus-Comp, software and documentation (2011)

[2] N M Dunfield, S K Friedl, N J Jackson, Twisted Alexander polynomials of hyperbolic knots, preprint (2011) arXiv:1108.3045

[3] S K Friedl, N J Jackson, Approximations to the volume of hyperbolic knots, from: “Twisted topological invariants and topology of low-dimensional manifolds”, (T Morifuji, editor), RIMS Kôkyûroku 1747 (2011) 35–46 arXiv:1102.3742