Cotangent bundle of a differentiable stack - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T15:21:13Z http://mathoverflow.net/feeds/question/24500 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24500/cotangent-bundle-of-a-differentiable-stack Cotangent bundle of a differentiable stack David Carchedi 2010-05-13T12:57:46Z 2010-05-17T11:57:51Z <p>If you ever wanted to construct the tangent bundle of a differentiable stack, it's relatively simple:</p> <p>First, if <code>$\mathbf{X}$</code> is a stack coming from a Lie groupoid <code>$\mathcal{G}$</code>, you could just say <code>$\mathbf{TX}$</code> is the stack associated to the tangent groupoid <code>$\mathcal{TG}$</code>.</p> <p>A more formal way is the following:</p> <p>Consider the composite</p> <p><code>$\text{Mfd} \stackrel{T}{\rightarrow} \text{VectorBundles} \stackrel{\text{forget}}{\rightarrow} \text{Mfd} \stackrel{\text{yoneda}}{\rightarrow} \text{St}(\text{Mfd}).$</code></p> <p>by restricting its weak left Kan extension to stacks we get a 2-functor (by abuse of notation)</p> <p><code>$\text{St}(\text{Mfd}) \stackrel{T}{\rightarrow} \text{St}(\text{Mfd}).$</code></p> <p>Now, suppose <code>$\mathbf{X}$</code> is a stack coming from a Lie groupoid <code>$\mathcal{G}$</code>. Then <code>$\mathbf{X}$</code> is the weak colimit of the composition</p> <p><code>$\Delta^{\rm op} \stackrel{N(\mathcal{G})}{\rightarrow}Mfd\stackrel{\text{yoneda}}{\rightarrow}\text{St}(\text{Mfd})$</code></p> <p>(in fact even of its 2-truncation.)</p> <p>Since <code>$T$</code> is weak-colimit preserving, it follows that $T \mathbf{X}$ is the weak colimit of</p> <p><code>$\Delta^{\rm op} \stackrel{N(\mathcal{TG})}{\rightarrow}\text{Mfd}\stackrel{\text{yoneda}}{\rightarrow}\text{St}(\text{Mfd})$</code></p> <p>which is in turn just the stack associated to the tangent groupoid <code>$\mathcal{TG}$</code>. So both definitions agree.</p> <p>Now suppose you wanted to define the cotangent stack. The first line of attack, done naively, seems to fail. The cotangent functor <code>$T^*$</code> is contravariant so it doesn't send groupoid objects to groupoid objects. However, less naively, in the literature (for instance here: <a href="http://arxiv.org/PS_cache/arxiv/pdf/0905/0905.4318v2.pdf" rel="nofollow">http://arxiv.org/PS_cache/arxiv/pdf/0905/0905.4318v2.pdf</a>), one can define the cotangent groupoid of <code>$\mathcal{G}$</code> to be a certain symplectic groupoid <code>$\mathcal{T^{*}G}_1 \rightrightarrows \text{Lie}(\mathcal{G})^{*}$</code>, where <code>$\text{Lie}(\mathcal{G})^{*}$</code> is the dual Lie algebroid of <code>$\mathcal{G}$</code>. (Is this invariant under Morita equivalence?)</p> <p>The second way would seem to be:</p> <p>Consider the opposite of the composite</p> <p><code>$\text{Mfd}^{\rm op} \stackrel{T^*}{\rightarrow} \text{VectorBundles} \stackrel{\text{forget}}{\rightarrow} \text{Mfd} \stackrel{\text{yoneda}}{\rightarrow} \text{St}(\text{Mfd}),$</code></p> <p><code>$\text{Mfd} \to \text{St}(\text{Mfd})^{\rm op}$</code></p> <p>and take its weak left Kan extension. (So <code>$\mathbf{T^{*}X}$</code> is the weak limit of <code>$T^{*} M$</code> over all <code>$M \to \mathbf{X}$</code>.)</p> <p>The opposite of this 2-functor goes <code>$\text{St}(\text{Mfd})^{\rm op} \to \text{St}(\text{Mfd})$</code>.</p> <p>How do these two notions of cotangent stack relate to each other? Is either reasonable? Is there a better notion than either of these?</p> <p>I would like, for instance, if you have a Riemannian metric on an orbifold, to get an equivalence between its tangent stack and its cotangent stack.</p> <p>Along these lines, the underlying space of the cotangent bundle of an orbifold is an orbifold (or is it a manifold, like its frame bundle?), so it should be represented by a orbifold groupoid. Is this the same as the cotangent groupoid?</p> <p>Keep in mind, the correct definition of tangent stack should produce the correct notion of differentiable forms on a stack, and the cotangent stack should somehow have a symplectic structure.</p> http://mathoverflow.net/questions/24500/cotangent-bundle-of-a-differentiable-stack/24529#24529 Answer by André Henriques for Cotangent bundle of a differentiable stack André Henriques 2010-05-13T18:09:28Z 2010-05-13T18:09:28Z <p>If your stack comes from an etale groupoid, then you can use the same construction as for the tangent bundle. That's because the cotangent bundle behaves <b>co</b>variantly w.r.t. etale morphisms.</p> http://mathoverflow.net/questions/24500/cotangent-bundle-of-a-differentiable-stack/24562#24562 Answer by Santiago Canez for Cotangent bundle of a differentiable stack Santiago Canez 2010-05-14T00:57:53Z 2010-05-14T01:23:45Z <p>This is a question near and dear to my heart, since it is actually what my thesis will be about. Let me denote the Lie algebroid of a groupoid <code>$G$</code> with base <code>$M$</code> by <code>$A$</code>.</p> <p>If you're viewing the stack presented by <code>$G$</code> as a smooth model for the quotient space <code>$M/G$</code>, then the first proposal doesn't really seem to give the right answer. Namely, the Lie algebroid structure on <code>$A$</code> induces a Poisson structure on <code>$A^*$</code>, and the quotient space of the groupoid <code>$T^*G$</code> you mention is just the space of symplectic leaves for this Poisson structure --- this space doesn't give the cotangent bundle of <code>$M/G$</code> and doesn't have a natural symplectic structure of its own. (Of course, these quotients aren't necessarily smooth, but even if they are you don't get the right answer.) Indeed, if you start with a trivial groupoid <code>$M$</code>, the space you get is just <code>$M$</code>.</p> <p>Probably the underlying question you first have to answer is: in what sense is <code>$T^*$</code> a functor? As Andre says, if all you care about is etale maps there's no problem. In general, you still get something interesting if you change the target category for the <code>$T^*$</code> functor to the so-called symplectic category, where objects are symplectic manifolds, and a morphism <code>$M \to N$</code> is a lagrangian submanifold of <code>$\overline{M} \times N$</code>, where the bar denotes changing the sign of the symplectic structure. (The usual caveat applies: this is not really a category since compositions are not always well-defined, but we'll just ignore this for now.) Composition is just the usual composition of relations.</p> <p>Now to a smooth map <code>$f: X \to Y$</code> you can assign the lagrangian submanifold</p> <p><code>$T^*f := \{ (x, df_x^*\xi, f(x), \xi) \} \subseteq \overline{T^*X} \times T^*Y$</code>,</p> <p>where <code>$df$</code> is the tangent map. This then gives a nice functor from the category of smooth manifolds to the symplectic category. In particular, if <code>$f: X \to Y$</code> is a diffeomorphism (or even just etale), then <code>$T^*f$</code> is in fact the graph of an actual map.</p> <p>The upshot is that if you start with a groupoid, you can apply this functor to everything in sight to get a "groupoid" in the symplectic category. (This idea is due to Alan Weinstein. I'm calling this a "groupoid" since it is not clear in what sense this object is actually a groupoid. In particular, the symplectic category doesn't have fiber products, so the notion of a groupoid object isn't defined.) If your groupoid is etale, this recovers Andre's suggestion. So, you can instead try to formulate the notion of the cotangent stack of a stack in terms of this object. This post has gone on long enough, so I won't go into details here, but numerous examples suggest that this is indeed the right thing (or at least "a" right thing) to consider. In particular, from this point of view the "symplecticness" of cotangent stacks comes from the fact that they live in the symplectic category (this can be made more precise).</p> <p>I should also say that this construction is somehow related to the groupoid structure on <code>$T^*G$</code> you mentioned, but it contains more information that just that.</p> <p>Edit: Here's one example illustrating some of the above. Say $G$ is a group acting smoothly on $M$. Then the action lifts to a Hamiltonian action on <code>$T^*M$</code> with momentum map $\mu$. When the action is free, the resulting symplectic quotient <code>$\mu^{-1}(0)/G$</code> is exactly the cotangent bundle of <code>$M/G$</code>. Even when the action is not free, it makes sense to call the stack <code>$[\mu^{-1}(0)/G]$</code> the cotangent stack of <code>$[M/G]$</code>. The "groupoid" resulting by performing the above construction on the action groupoid <code>$G \times M$</code> indeed encodes this quotient.</p> http://mathoverflow.net/questions/24500/cotangent-bundle-of-a-differentiable-stack/24655#24655 Answer by Urs Schreiber for Cotangent bundle of a differentiable stack Urs Schreiber 2010-05-14T20:07:08Z 2010-05-14T20:07:08Z <p>This here may or may not be what you need, but maybe it deserves to be mentioned anyway:</p> <p>there exists a very general abstract nonsense about what "cotangent bundles" are in great generality.</p> <p>The story begins with the notion of Kähler differentials:</p> <p><a href="http://ncatlab.org/nlab/show/K%C3%A4hler+differential" rel="nofollow">http://ncatlab.org/nlab/show/K%C3%A4hler+differential</a></p> <p>which provide a general recipe for obtaining the cotangent bundles of spaces that are formally dual to algebraic structures. A half-way generalization of this to higher categorical contexts is the notion of cotangent complex</p> <p><a href="http://ncatlab.org/nlab/show/cotangent+complex" rel="nofollow">http://ncatlab.org/nlab/show/cotangent+complex</a></p> <p>This derives the cotangent complex functor and hence gives a recipe for constructing the "cotangent bundle" of "derived spaces", say whose function algebras are simplicial algebras. </p> <p>But the thing is that this construction is still a special case of something much more general: </p> <p>one observes that the assignment of the module of Kähler differentials to a ring is a left adjoint to one of the two forgetful functors $Mod \to CRing$. This fibration may be thought of as the fibered category incarnation of the stack of "algebraic vector bundles" (quasi-coherent sheaves, really). It is an old observation due to Quillen, that this fibration has a more abstract definition: it is the "tangent category" over $CRing$ in the sense described in detail here:</p> <p><a href="http://ncatlab.org/nlab/show/tangent%20category" rel="nofollow">http://ncatlab.org/nlab/show/tangent%20category</a> .</p> <p>Now, this definition of "tangent category" has a very elegant generalization to higher category theory: the "tangent (oo,1)-category"-construction</p> <p><a href="http://ncatlab.org/nlab/show/tangent+(infinity%2C1)-category" rel="nofollow">http://ncatlab.org/nlab/show/tangent+(infinity%2C1)-category</a></p> <p>This achieves the following: for ANY (locally presentable) (oo,1)-category $C$ whose objects you want to think of as generalized spaces (for instance stacks) it provides a notion of the fibration of "generalized vector bundles" over these spaces. And the left adjoint to this fibration is the generalized cotangent complex assignment: it sends each object of $C$ to something that plays the role of the cotangent complex over that $C$.</p> <p>This is developed in Jacob Lurie's "Deformation Theory"</p> <p><a href="http://ncatlab.org/nlab/show/Deformation+Theory" rel="nofollow">http://ncatlab.org/nlab/show/Deformation+Theory</a></p> <p>There it is applied to figuring out what "vector bundles" and cotangent bundles etc over spaces are that are formal duals of E-infinity ring spectra.</p> <p>But the construction is entirely general. In particular you could feed in the locally presentable (oo,1)-category of stacks on some site. </p> <p>Or, possibly better suited for what you might need, one could extend it from a given site to the stacks on that site.</p> http://mathoverflow.net/questions/24500/cotangent-bundle-of-a-differentiable-stack/24992#24992 Answer by Urs Schreiber for Cotangent bundle of a differentiable stack Urs Schreiber 2010-05-17T11:57:51Z 2010-05-17T11:57:51Z <p>Here is a second answer, given that in the secondary comments you now said what you are interested in might be not so much the cotangent stack itself, as the definition of differential forms on a stack. From the classical theory one might expect that knowing one means knowing the other, but maybe for oo-stacks the two notions decouple a bit more.</p> <p>There are useful ways to express differential forms on a stack without (explicitly?) realizing them as sections of a stacky cotangent bundle.</p> <p>The two main approaches are this:</p> <ol> <li><p>Via de Rham stacks</p> <p>One can form the "de Rham stack" of an (oo-)stack, the higher analog of the de Rham space</p> <p><a href="http://ncatlab.org/nlab/show/de%20Rham%20space" rel="nofollow">http://ncatlab.org/nlab/show/de%20Rham%20space</a></p> <p>An insightful discussion of what this means for oo-stacks on algebraic sites is in </p> <p>Carlos Simpson and Constantin Teleman, "de Rham theorem for oo-stacks" <a href="http://math.berkeley.edu/~teleman/math/simpson.pdf" rel="nofollow">http://math.berkeley.edu/~teleman/math/simpson.pdf</a></p> <p>I think their construction has a good analog for more general sites, such as the site of C^oo-rings which one can use to model differentiable oo-stacks. I talk about this in the context of the "infinitesimal path oo-groupoid" here</p> <p><a href="http://ncatlab.org/schreiber/show/path+%E2%88%9E-groupoid" rel="nofollow">http://ncatlab.org/schreiber/show/path+%E2%88%9E-groupoid</a></p> <p>with more details on how it relates to differential forms on oo-stacks here:</p> <p><a href="http://ncatlab.org/schreiber/show/differential+cohomology+in+an+(%E2%88%9E%2C1)-topos" rel="nofollow">http://ncatlab.org/schreiber/show/differential+cohomology+in+an+(%E2%88%9E%2C1)-topos</a></p> <p>Effectivelly what is happening here is the following: given an oo-groupoid/oo-stack, one forms the oo-groupoid/oo-stack of infintiesimal paths in it. Then functions on this infinitesimal path oo-groupoid are differential forms.</p> <p>a very explicit discussion of how this works for ordinary manifolds is here</p> <p><a href="http://ncatlab.org/nlab/show/infinitesimal+object#SpacOfInfSimpl" rel="nofollow">http://ncatlab.org/nlab/show/infinitesimal+object#SpacOfInfSimpl</a></p> <p>The generalization of this to oo-stacks is essentially nothing but the (derived) Yoneda extension.</p></li> <li><p>via derived loop spaces</p> <p>Another route that one can go is to pass from a site of just algebra or C^oo-algebras to one of simplicial algebras / simplicial C^oo-algebras. This leads to some serious magic: when you compute the abstract free loop space object of an ordinary scheme of C^oo-scheme (the latter including smooth manifolds) inside the oo-topos of oo-stacks on such a "derived" site, the resulting "derived loop space" object behaves effectively as the space of infinitesimal loops of the original scheme. Functions on this loop space object encode thhe Hochschild homology of the function algebra of the (C^oo)-scheme. Under mild conditions, this is effectively the algebra of differential forms.</p> <p>The perspective of differential forms on oo-stacks as functions on derived loop space objects is discussed very nicely in</p> <p>David Ben-Zvi, David Nadler, "Loop spaces and connections", <a href="http://arxiv.org/abs/1002.3636" rel="nofollow">http://arxiv.org/abs/1002.3636</a></p> <p>Using the kind of computations on simplicial C^oo-rings that Herman Stel sent around recently in Utrecht, one can generalize these constructions from plain simplicial algebras to simplicial C^oo-rings and hence adapt them to the smooth framework, which also accomodates differentiable stacks.</p></li> </ol>