Tim Porter on Formal Homotopy Quantum Field Theories and 2-Groups
Posted by David Corfield
Guest post by Bruce Bartlett
I’d like to give something of a report-back on Tim Porter’s second talk at Barcelona, on Formal Homotopy Quantum Field Theories and 2-Groups (slides).
Firstly let me say that this was the first time I had the pleasure of meeting Tim. If anyone at the Café would like to know, Tim is one of those curious and charming breeds of Englishmen who was born in Wales but occasionally lapses into an Irish accent, and whose constitution requires for its good upkeep a steady diet of fine European cuisine (especially seafood), regular cups of rooibos tea, a daily dollop of French, bird sightings (you live in Buenos Aires or Birmingham? Tim will tell you the magical birds you can see there!), and frequent screenings of The Two Ronnies.
Is it Tim’s love of birds that caused him to title his gimungous pedagogical opus on cohomology, simplicial sets and crossed gadgetry, the Crossed Menagerie?
Tim gave the Friday morning talk at Barcelona. In the first hour, he began by saying that much of the material he had been wanting to cover had been touched on at various points in the conference - but that he wanted to highlight and point out various important constructions which are not as well-known as perhaps they should be. It was a very interesting talk, but I am not confident to write about it, because my simplicial skills are lagging behind somewhat (I seriously need a go at that menagerie). I’ll just mention the following topics which Tim felt important to stress: Kan complexes, the Moore complex of a simplical group, decollages, crossed complexes (and T-complexes), the “W bar” construction, and the Puppe sequence.
In his second, “presentation” talk, he presented the slides on Formal homotopy quantum field theories and 2-groups. Formal homotopy quantum field theories (HQFT’s) were invented by Turaev, and they are essentially TQFT’s in a background space , up to homotopy. Rodrigues showed that an -dimensional HQFT can be regarded as a monoidal functor
where is the category whose objects are closed manifolds equipped with a map into , and whose morphisms are cobordisms equipped with a map into , considered up to homotopy (in ) fixing the boundary.
So… a HQFT is midway between an “abstract” TQFT (with no background space) and a Stolz-Teichner style “smooth” TQFT embedded in . That makes them an important thing to understand.
Tim reviewed classification results for these gismos. For instance if is a for some group , then Turaev showed that a 2d HQFT in is the same thing as a crossed -algebra. My understanding is that a crossed -algebra can be thought of as a Frobenius algebra object in - the category of representations of the loop groupoid of . Is this correct?
Similarly Brightwell and Turner showed that if is a , then a 2d HQFT over is the same thing as a Frobenius algebra equipped with an action of . Again, my understanding is that this is the same thing as a Frobenius algebra object in . Is this correct?
Then Tim spoke about his work with Turaev, on extending these results to all 2-types. We know that a 2-type corresponds algebraically to a crossed module, so one begins by fixing a crossed module and working from there. The main theorem is that formal 2d HQFT’s over a 2-type represented by correspond to Frobenius algebras equipped with an action of the 2-group by automorphisms.
The disclaimer “formal” is there to indicate that since they work directly with the 2-group and a triangulation, they are not sure if they get out all HQFT’s in this way. Though I don’t understand the details, based on my experience with TQFT’s my rough intuition is that you should indeed generically get out all HQFT’s in this way - except possibly for the non-semisimple ones, which are non-generic, and can’t be achieved from a triangulation construction… is that right?
Anyhow something which was very interesting for me here is how an algebra can be acted on by a 2-group. I hadn’t thought of that before.
Re: Tim Porter on Formal Homotopy Quantum Field Theories and 2-groups
It might be noteworthy that decategorifying the category of cobordisms with homotopy classes of maps into a certain space we get cobordism rings for cobordisms with the corresponding structure.
Oriented cobordisms for maps into .
Spin cobordisms for maps into .
String cobordisms for maps into .
And so on. This does play an important role for instance in the stuff that Hopkins talked about, though he didn’t seem to be aware of Turaev’s concept of HQFT.