Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I should have known, but I’ve actually had an intuition of as an -group only a few minutes ago. I’ll share here this point of view for the two or three readers which should happen to be unaware of it (I’m sure this is widely known).
The starting point is the Lie group .
Next, we consider , the classifying space for principal -bundles, or equivalently of complex line bundles. And let us look to line bundles not up to isomorphism, but as a category. Tensor product and dual of line bundles make line bundles a group-like category, i.e., a 2-group. Moreover, since tensor product is symmetric, this is an abelian 2-group. More formally, we should think of as the functor mapping a toplogical space to the 2-group of principal -bundles over .
So far we have gone from the Lie group to the 2-group of principal -bundles. Next step is going to (the 3-group of) principal -bundles. Therefore, on each open set of an open cover of a topological space we’ll have the 2-group of line bundles on . Transition functions will be given by line bundles on , acting by tensor product. On triple intersections we’ll have the tensor product of three line bundles which has to be trivialised in a coherent way. This should define a -gerbe, and so we are led to think of as the functor mapping a topological space to the 2-category of -gerbes on . Now, we have to convince ourselves that this 2-category is a group-object and so a 3-group. But this reduces to saying how to multiply two -gerbes (and to invert one), and this is accomplished by looking at transition functions, exactly as for principal -bundles: in the gerbe case, transition functions are principal -bundles and we use the abelian 2-group structure on these to multiply and invert them. In down to earth terms, we take the tensor product of the transition line bundles of the gerbe.
One sees that this procedure iterates: we now have an abelian 3-group and can consider principal -bundles; this will give the abelian 4-group , and so on.
Yes. A quick way to see the group structure on these -stacks is to start with the -prestacks defined as follows:
let denote the sheaf of -valued functions (continuous or smooth, depending on context) and the chain complex of sheaves concentrated with in degree . Let be the Dold-Kan map,then is a simplicial sheaf, an -prestack. By Dold-Kan it is an abelian group object.
Actually, if we are on a small enough site such as CartSp then will in fact already be an -sheaf. I like to write this guy and its group structure is just that inherited from chain complexes of abelian groups.
But on a larger site such as Diff to get an -sheaf we pass to the -stackification . Since -stackification (by the very definition!) preserves finite products, it preserves group structures.
That’s one way to see these group structures on . More abstractly, one may realize that this makes an Eilenberg-MacLane object in the -sheaf topos.
Then in a way I can go the reverse direction and deduce the group operations on -gerbes from this: a -gerbe is the homotopy fiber of maps .
Thanks. I’m also thinking one should obtain the Lie -algebra from the Lie -group by looking at -gerbes on , is this correct?
A minor typo in what you write above: the chain complex of sheaves concentrated with in degree should be rather than .
Thanks. I’m also thinking one should obtain the Lie -algebra from the Lie -group by looking at -gerbes on , is this correct?
Yes, in the sense that if you start with the simplicial sheaf , think of it as a simplicial sheaf on a site of smooth loci and then restrict to the simplicial sheaf of infinitesimal cells, then that “is” in its incarnation as an infinitesimal -Lie groupoid.
More elementary is to see it the other way round: convince yourself that the Sullivan-Hinich-Getzler-Henriques Lie integration of is .
This follows from the fact that an -form on the -sphere may be extended to a closed -form on the -ball precisely if its integral over the -sphere is 0.
Now the -morphisms in the Lie integration of are -forms on modulo the relation that two are identified if there is a closed -form on restricting to each on the upper and the lower hemisphere. With the above it follows that under this equivalence relation each form represents the number in that is its integral.
This is the “integration without integration” thing.
Fine, that’s the sense I had in mind, thanks!
As far as concerns looing things the other way round, I agree that it is the best and most economical way to work out all details in a completely rigorous way. Yet, I’d like to stress the weak n-group point of view, which I find more suitable and intuitive for a first introduction to higher groups.
Now I’ll try to think of String(n) in this naive weak -group way.
Yet, I’d like to stress the weak n-group point of view, which I find more suitable and intuitive for a first introduction to higher groups.
Yes, i see what you mean. The chain-complex argument may be thought of as a concrete model that exhibits concretely the n-group structure for all . Being a model, it involves choices which is a bit ugly. But it serves to exhibit the abstract construction.
One could take any other funtorial construction of groupal Eilenberg-MacLane spaces . Then the -stack is modeled as a group object by (the -stackification of) the prestack
so, here is a tentative naive picture of . the idea is that is difficult, but is easy, so let us look at the latter. Namely, as a topological space, is a -bundle on induced by a map . taking classifying spaces we obtain a map , whose homotopy fiber is . now, it is immediate to say explicitely which kind of functor is . Namely, the map allow us to associate with every -bundle an -2-gerbe. then by the universal property of homotopy fiber, the functor maps a topological space to the category of principal -bundle over together with a trivialization of the associated 2-gerbe.
testing this point of view on the lower stages of the Withehead tower, one finds that classifies -bundles with a trivialization of the associated orientation bundle, which is fine. next, should classify -bundles with a trivialization of the associated -gerbe. mmm.. I have to convince me of this..
Yes, exactly. I have typed this out at various places, I think. Maybe at string structure. (Also in my article with Zoran and in the last one with Stasheff and Sati).
So we have a pasting diagram of -pullbacks
coming from a -principal bundle with String-structrure (witnessed by the factorization of its classifiyng map through ).
From that you read off that a String structure on is the same thing as a -gerbe on that restricts on each fiber to the canonical cocycle on .
This is the way String structures are sometimes defined, for instance Konrad Waldorf defined it that way in his second-but-last article (or so).
1 to 8 of 8