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.
polished/reworked the entry Lie integration. But it’s still somewhat stubby.
I updated references a bit (it would be good when you put the reference link to arxiv to have the number of the article in the link name sometimes, e.g. when using the prinpouts of lab pages offline it is nice to have the reference handy, just arxiv does not help much). I do not understand
“whose origin possibly preceeds that of the previous article and which considers Banach manifold structure on the resulting ∞-groupoids”
about Henriques’ article in comparison to Getzler’s. What does it mean that it’s origin is earlier ? Getzler claims e.g. that it took him 7 years just to get a crucial improvement into a calculus of Dupont which is essential in his paper.
And Getzler does not treat arbitrary L_oo algebras, but nilpotent ones :) I’d edit the page but for the spam blocker. Perhaps, Zoran, Urs means the technique or idea from Henriques predates Getzler’s?
And Getzler does not treat arbitrary L_oo algebras, but nilpotent ones :)
No, wait before you edit, I tried to say that correctly:
Getztler notices that for all -algebra, the Sullivan-like construction should be regarded as Lie integration.
It is only for the special case of nilpotent -algebras that he gives a prescription to cut down the large result of the Sullivan construction to a smaller equivalent one. For the general notion of Lie-integration however, this is pretty irrelevant. It point is to give more tractable models.
I do not understand
“whose origin possibly preceeds that of the previous article and which considers Banach manifold structure on the resulting ∞-groupoids”
I saw this comment again when I reworked the entry now, but I noticed that I forgot why I had put it there. Somebody had told me about some coomplaint about false attribution of originality. But I forget the details. Maybe we should just remove it.
Urs?
Ahm, Zoran?
In 2 and 3 Zoran and David are asking you what is the meaning of strange sentence that the origin’s of Henriques paper from 2004 predate the originćs of 2002 Getzler’s paper.
And I replied:
I forgot why I had put it there. Somebody had told me about some coomplaint about false attribution of originality. But I forget the details. Maybe we should just remove it.
By the way, I added now to Lie infinity-groupoid in the section Lie group: differential coefficients a discussion of the general abstract mechanism underlying the Getzler-Henriques prescription for integration of oo-Lie algebras:
the claim is that for an -Lie group
the object is essentially given by the sheaf of flat -valued forms, for the corresponding -algebra; (and this is demonstrated inm the entry)
moreover the object is (in the notation of the entry) i.e. is the Getzler-Henriques-prescription extended to simplicial presheaves in the evident way.
This is (in somewhat different notation) that old observation of mine that we should be thinking of the Getzler-Henriques prescription as forming the path oo-groupoid of the sheaf of -algebra valued forms.
And indeed, this is evidently true for the evident naive model of the path -groupoid: if for a sheaf I write
for the simplicial presheaf whose k-cells are -dimensional path in , then for we have the ordinary pushout
in the category of simplicial presheaves.
So this all looks like it should look. Unfortunately, I have still to fully understand if and why the naive model in fact does model the correct left derived functor that defines in this case: because the formula for that which I have is like this , but much thicker, with various cofibrant replacements thrown in. I still cannot show that it may be modeled by when applied to 0-truncated simplicial sheaves.
That’s been a stumbling block for me for quite some time now.
am working on the entry Lie integration
Here is what I did so far:
moved the discussion of references from the introduction to a References-section at the end and polished slightly.
created a Definition-section with two subsections:
first is the Sullivan-Hinich-Getztler integration to a “bare oo-groupoid” (no smooth structure),
second is the integration to -Lie groupoids.
I have now expanded the (currently) three Examples-sections at Lie integration:
integration of Lie algebras to Lie groups
integration to line/circle Lie n-groups;
integration of Lie 2-algebras to Lie 2-groups.
There is considerably more to be said. But I am running out of steam.
did some polishing of the exposition at Lie integration, following a list of comments by Jim Stasheff
I tried to polish the discussion of forms on simplices that have sitting instants a bit. But it is still not really good.
didn’t find much time over the weekend, but tried to work a bit on material related to Lie integration.
I have now typed a detailed proof of the claim that for the Lie -algebra its Lie integration to a smooth -group is indeed .
That’s in the section Integration to line n-groups.
I had gone through the trouble of preparing an SVG graphics, displayed there, that is supposed to illustrate the idea of how to identify smooth forms with sitting instants on the -simplex with smooth forms on the -ball. This was the first time I used the SVG editor, but we haven’t become friends yet. (And by the way: the version linked to from within the nLab edit pages does not work for me (Firefox on Win). It appears with duplicated menu items that don’t react properly to mouse clicks. I used the corresponding version found elsewhere on the web.)
Your SVG works for me (Firefox 3.5.5 on Windows - this is work’s setup) - and looks very pretty I might add!
Your SVG works for me (Firefox 3.5.5 on Windows - this is work’s setup)
Oh, for me, too. What I meant as that the editor didn’t work! When I open an nLab page, hit “edit”, click on a point in the edit pane such that the “create an SVG”-button appears, then click on that button, what I get is a window that tries to display the SVG editor properly but fails, and which does not accept any mouse click input. But the same SVG editor can be found elsewhere on the web, and that works for me.
and looks very pretty I might add!
Okay. I was very dissatisfied, as it is has a large amount of free hand drawing and I didn’t really have the nerve for that. I didn’t figure out how to create a copy of some element, for instance. And Is there a way to invoke a grid such as to facilitate drawing well-aligned lines?
(Just asking. If the answer is: no, but you can use any of the one hundred other SVG editors out there, that’s fine with me.)
I have further polished the proof at integration to line n-group (now the use of symbols might even be consistent…) and have tried – following a suggestion by Domenico – to indicate better how we are essentially just invoking the de Rham theorem but need to be careful to do it properly in smooth families.
added an argument to pass from a single -form to a smooth family.
Thanks, Domenico. That looks of course like a more elegant/powerful/better argument. Hm, I still need to think about this. But maybe not tonight. But this should also give the result nicely for extension of closed -forms from to .
yes, it should: the argument picks a solution of once it is known that is exact. So on a -sphere it applies to any closed -form, and to closed -forms whose integral over vanishes.
Okay, good. That then gives a nice elegant proof that also without the truncation. (One can show it with my original style of argument, too, but by far not as elegantly.)
okay, i have now fully boosted up statement and proof at Lie integration to line n-groups using Domenico’s argument.
I have now typed a detailed proof of the claim that for the Lie -algebra its Lie integration to a smooth -group is indeed .
I always expected that this should be a corollary of a relation between two model structures, responsible for two nonabelian cohomology theories – for Lie groups and Lie algebras; or corresponding infinity categories. Is this too far from the present understanding ?
Right, I think it is a little subtle:
consider the non-smooth case, the -topos just over bare dgc-algebras. There is then the kind of inclusion of dg-algebras discussed at function algebras on infinity-stacks which gives a right Quillen functor (roughly)
that is given by the “Lie integration”-formula
where on the right we have the standard polynomial differential forms on the simplex.
The fibrant objects in are cofibrant in hence in particular semi-free hence may be thought of as CE-algebras of -algebras.
So that’s good. And we can generalize this general situation to a smooth setup, as Herman Stel has done in his thesis (master thesis Stel (schreiber)).
However, what I am still unfortunately lacking is an understanding of the relation of the Spec-functor as obtained there, to the formula for smooth Lie integration with smooth forms on the simplex. I can guess how it should all be related, but I cannot prove it yet. Maybe it’s easy and I am just being dense, of course.
But for the present purpose I like to adopt a slightly different perspective anyway. From general abstract reasoning in cohesive -toposes, one finds that “exponentiated -Lie algebras” are objects that are sent by to the point. One can show that smooth Lie integration produces such objects in and then just take it as a machine that acts as a source for examples of some objects. Then you can work backwards and check if that machine sends an -algebra to the smooth -groupoid that you would expect to be associated it, and the currentl proofs at Lie integration serve to confirm that.
There is yet another issue: even in the non-smooth case the Spec functor is not necessarily doing what you would think it does. That’s because its right derived functor involves fibrant replacement. Now is fibrant in , for for instance a general non-abelian Lie algebra is not. It’s not clear that is indeed equivalent to what we are calling here , because it is for some fibrant replacement .
I think there are different ways here in which -algebras map into -stacks, and it is important so keep them sorted out.
For instance there is yet another way where we don’t apply or but realized the -algebras directly as “infinitesimal -groupoids”. After some back and forth I am now thinking that this is described by the discussion at cohesive oo-topos – Infinitesimal cohesion.
(sorry, I am writing all this in a bit of a haste, this really deserves to be discussed in more detail)
(sorry, I am writing all this in a bit of a haste
It is still a fantastic answer!
lacking is an understanding of the relation of the Spec-functor as obtained there, to the formula for smooth Lie integration with smooth forms on the simplex. I can guess how it should all be related, but I cannot prove it yet.
It looks very optimistic conceptually being squeezed to somewhat lower level technical question! Thanks for sharing the state of the art.
I have worked a bit more on the Idea section at Lie integration, expanded it, tried to make it read more smoothly, and added more pointers to the references.
I have worked on further polishing and streamlining the entry. Have collected all the discussion of -valued differential forms on simplices into a new subsection Higher dimensional paths in an infinity-Lie algebroid.
Today’s reference
insereted into Lie integration, without comments.
Thanks! Pavol told me about this result a few weeks back when he visited Prague. That’s neat.
added statement of Vincent Braunack-Mayer’s result that higher Lie integration as defined in FSS 12 is right Quillen as a functor to smooth -groupoids (here):
There is a Quillen adjunction
between
the projective local model structure on simplicial presheaves over CartSp, regarded as a site via the good open cover coverage (i.e. presenting smooth ∞-groupoids);
the opposite projective model structure on connective dgc-algebras over the real numbers
given by nerve and realization with respect to the functor of smooth differential forms on simplices from this Def.:
the right adjoint sends a dgc-algebra to the simplicial presheaf which in degree is the set of dg-algebra-homomorphism form into the dgc-algebras of smooth differential forms on simplices (this Def.):
the left adjoint is the Yoneda extension of the functor assigning dgc-algebras of smooth differential forms on simplices from this Def.,
hence which acts on a simplicial presheaf , expanded via the co-Yoneda lemma as a coend of representables, as
I think something is the wrong way around. You have, in the adjunction, written as going from presheaves to algebras.
Thanks for catching this. Fixed now.
The big question now is whether this Quillen adjunction exhibits R-cohomology localization, as in section 3 of function algebras on infinity-stacks. It must come at least close….
Isn’t this a particular instance of the nerve-realization adjunction? Shouldn’t it be indicated as such?
Yes, it does say so:
…given by nerve and realization with respect to the functor of smooth differential forms on simplices from this Def.:…
Indeed, somehow I didn’t notice it originally.
Integration from Lie algebroids to groupoids is also studied in the dual language and generality of integration of Lie-Reinhart algebras and commutative Hopf algebroids,
added pointer to:
Some questions I didn’t find answers to in Cech cocycles or algebra connections or on this page (maybe for lack of a thorough search):
Do we know if satisfies homotopy descent over cartesian spaces?
Given a Lie group , and its tangent algebra , we have a canonical map . Can we say when this map is a weak equivalence? We know that it is when is a simply connected Lie group for example (or the other cases listed on this page). What can be said about general Lie groups and Lie groups?
On the second question:
For a Lie group and its Lie algebra, it will be the 1-truncation which is weakly equivalent to .
The higher truncations of will pick up higher stacky homotopy groups from the ordinary homotopy groups of .
For simply connected Lie groups we can equivalently take . This is modeled by and this is for instance made use of in constructing the stacky refinement of as a map of simplicial presheaves out of .
Regarding the first question:
This is a good question, which, I am afraid, I had never really discussed. But one can make some progress using the recognition Lemma for local fibrancy over which we more recently we proved with Dmitri Pavlov, recorded on pp. 134 in our “Equivariant Principal -bundles”. This gives that , being isomorphic to the of the sheaf of groups , is locally fibrant on .
1 to 40 of 40