Thoughts (Mostly on Super ∞-Things)
Posted by Urs Schreiber
I am on leave of absence from Hamburg and spending some time travelling before the program in Bonn starts next month. After a very productive week with Jens Fjelstad in Denmark this is now my last evening at Notre Dame, where I spent a very pleasant time with Stephan Stolz.
Time went by quickly, filled with discussions, mostly on nonabelian differential cohomology # and on superQFT, and many thoughts want to be further developed now.
I had planned to collect notes on some such thoughts last Sunday, but Jim Stasheff and Hisham Sati rightly pushed me to work on finalizing our article on Fivebrane structures (section 3), following up the one on -connections #.
One claim is that our -algebraic connection descent objects (section 7) may be integrated by hitting them with the functor to yield nonabelian differential cocycles #, a process reproducing the construction of cocycles by Brylinski-McLaughlin #.
(Fun exercise: read their article and identify how they are secretly integrating -algebras to -groups and -connections to differential cocyles.)
But that must wait now until later. With a little luck Hisham will be around at UPenn this week, where I’ll go tomorrow to visit Jim, and we’ll see further.
But Lie -tegration has many aspects. Below some comments on super parallel -transport (see Florin Dumitrescu’s thesis for a nice discussion of the case) and integration of super--algebras (such as our favorite one (page 54)) to smooth super -groups.
What’s a super -algebra? (see here for what an ordinary -algebra is.) Let be the category of -graded vector spaces equipped with the unique non-trivial symmetric braiding. A super -algebra is an -algebra internal to that. So, dually, it’s a --bigraded quasi-free differential graded commutative algebra.
The archetypical example of such a beast is the super tangent Lie algebroid of any smooth superspace : the dual dgc algebra is just that of super-differential forms on . For me here, a smooth superspace is a sheaf on the site whose objects are superEuclidean spaces and whose morphisms are smooth maps between these
Given any super -algebra we get the smooth superspace classifying -valued super-forms using the usual adjunction coming from the ambimorphic object (you are hearing my teacher Todd Trimble speak through me, here) This classifies (section 6.5) -valued forms in that for any smooth super
A thin homotopy class of a superpath in that classifying space is an element in the super -group integrating . Continuing this way, we form the super path -groupoid
of the classifying space, for any , whose -morphisms are thin homotopy classes of -dimensional paths in the space (section 2.3)
Voila, the -supergroup integrating .
Now take any (flat for brevity) -valued superform on , represented by a superDGCA morphism and hit that entire morphism with our integration functor to produce its corresponding super-parallel transport And so on.
Here is a somewhat more philosophical remark. (Experience shows that it’s of the kind that I tend to find deeply puzzling while you are likely to find it at best pointless.)
I keep thinking about what superification really means. For instance, I keep noticing that superification shares many properties with categorification: categorification introduces -gradings, while superification introduces -gradings.
I have that funny trait that I feel annoyed by the fact that is defined using graded algebras, somewhat messing with the Zen-like beauty of space and quantity, only for later to introduce yet another layer of graded algebra.
So I observe this: little to nothing of the above changes if we do a slight repackaging of concepts:
instead of regarding the classifying space of a super -algebra as a smooth superspace, I regard it as an ordinary smooth space probed by ordinary Euclidean spaces by setting where now sends to the superDGCA of superdifferential forms on .
The point being that odd superfunctions are so close in concept to differential forms that we can just repackage them with the forms and assign the full package to any ordinary space.
These are lots of words for the simple fact that using the hom-adjunction we can always think But still. It makes me wonder if we shouldn’t rethink.
Re: Thoughts (mostly on super infinity-things)
Motivating toy examples and then the case of ordinary Chern-Simons cocycles realizing the first Pontryagin class, obtained from integrating the -connection that obstructs the lift of a -connection to a 2-connection, is now in section 5 of my talk notes:
On nonabelian differential cohomology (pdf)