Relaxing from my forays into information and computation, I’ve recently been glancing through my mathematical sibling Kenta Okazaki’s thesis, published as:
K. Okazaki, The state sum invariant of 3–manifolds constructed from the linear skein.
Algebraic & Geometric Topology 13 (2013) 3469–3536.
It’s a wonderful piece of diagrammatic algebra, and I’d like to tell you a bit about it!
The two main constructions of 3-dimensional topological quantum field theories are:
- Reshetikhin-Turaev invariants: These are computed from surgery presentations of 3-manifolds.
- Turaev-Viro invariants: These are based on triangulations of 3-manifolds.
Turaev-Viro invariants are defined using -symbols coming from representations of quantum groups. When everything is `nice’ enough, the Turaev-Viro invariant equals to the square of the absolute value of a corresponding Reshetikhin-Turaev invariant, and its computation reduces to a Reshetikhin-Turaev computation. But there’s a natural extension of Turaev-Viro invariants due to Ocneanu which uses other types of 6j-symbols, such as 6j symbols of subfactors. In particular, the 6j-symbol of the subfactor does not come from any Reshetikhin-Turaev invariant, and so it much be computed directly. Quantum closed 3-manifold invariants associated to 6j-symbols of the subfactor are true state-sum invariant land!!
The study of subfactors, and also of knots, challenges the classical paradigm of algebra as the science of manipulating strings of symbols. Namely, relevant algebras are algebras of diagrams drawn on the plane. To veer off on a philosophical tangent for a moment:
Before `algebra of strings’, if you wanted to solve something like , you had to write something monstrous like:
If some one say: “You divide ten into two parts: multiply the one by itself; it will be equal to the other taken eighty-one times.” Computation: You say, ten less thing, multiplied by itself, is a hundred plus a square less twenty things, and this is equal to eighty-one things. Separate the twenty things from a hundred and a square, and add them to eighty-one. It will then be a hundred plus a square, which is equal to a hundred and one roots. Halve the roots; the moiety is fifty and a half. Multiply this by itself, it is two thousand five hundred and fifty and a quarter. Subtract from this one hundred; the remainder is two thousand four hundred and fifty and a quarter. Extract the root from this; it is forty-nine and a half. Subtract this from the moiety of the roots, which is fifty and a half. There remains one, and this is one of the two parts
This is from Al-Khwarizmi’s Compendious Book on Calculation by Completion and Balancing. Without `algebra of strings’ itself, you couldn’t even do that. Conceptual advances which make algebra effective include appropriate notation (credit to Al-Qalasadi in the fifteenth century), thinking in terms of algebraic structures, and completing them. For example, to `balance’ terms from one side of an equation to another, you need to have zero and negative numbers (so that having five apples and giving you two is the same as having minus two apples recieving five), and you need to have fractions… even if the final answer is known to be a positive integer and if only positive integers make sense in context! As an aside, I think that concepts such as negative probability and negative information can be understood analogously.
But then came the idea, whose origins are discussed in this mathoverflow question and which was popularized in topology by Kauffman HERE, that one should really be able to concatenate algebraic symbols not only on the left and right, but also from above and below and indeed from any direction. That algebra should be done not “along a line”, but rather in the whole plane. For “higher algebra” you might need even more dimensions! And diagrammatic algebra was born.
So how can you use diagrammatic algebra to compute an invariant? You compute a diagrammatic quantity for a presentation of your object. Local moves on your presentations, such as Pachner moves on triangulations, induce local moves on your diagrams. Your goal is now to prove that, using the local moves, you can reduce your diagram to some sort of “normal form”. And then that “normal form” is your invariant! This plan fits into the Kuperberg programme for understanding state-sum invariants, which is:
- Find a presentation for your skein module (your diagrammatic algebra of diagrams modulo your moves) in terms of generators and relations.
- Use this presentation to prove properties of your invariant (and to compute it!).
Bigelow had already found a presentation for the relevant planar algebra here:
Bigelow, S., Skein theory for the ADE planar algebras. Journal of Pure and Applied Algebra 214(5) (2010), 658-666.
Okazaki modifies Bigelow’s presentation, and using his modified presentation, he shows that the planar algebra in question is -dimensional, so that any diagram reduces to a scalar multiple of the empty diagram (update: Okazaki just posted a simplified version of this proof HERE). This means that the state sum invariant (Turaev-Viro-Ocneanu Invariant) can be computed recursively by writing down the diagram associated to 6j-symbols of the subfactor for the triangulated closed -manifold in question, and recursively applying local moves until an empty diagram is obtained.
Given that the linear skein is a non-trivial diagrammatic algebraic object, Okazaki’s paper might represent the most archetypal piece of diagrammatic algebra I’ve ever seen. It’s 57 pages full of computations some of which look a bit like this:
At the end of the paper, he computes the invariant for some lens spaces, and he’s done many more computations since. But anyway, it’s all just a beautiful testament to the power of diagrammatic algebra- a celebration of diagrammatic algebra. I believe that diagrammatic algebra will continue to expand and will soon enter all of the sciences… What would Pierce, who envisioned a diagrammatic algebra in the 1880′s as his “chef d’oeuvre”, an outline of the mathematics of the future (see HERE), have made of all the wonderful work on skein modules that we see today? What would he have made of this paper of Okazaki?
A casual question to all of you- what’s the most aesthetically pleasing diagrammatic algebraic computation you know?