We introduce differentiable stacks and explain the relationship with Lie groupoids. Then we study $S^1$-bundles and $S^1$-gerbes over differentiable stacks. In particular, we establish the relationship between $S^1$-gerbes and groupoid $S^1$-central extensions. We define connections and curvings for groupoid $S^1$-central extensions extending the corresponding notions of Brylinski, Hitchin and Murray for
$S^1$-gerbes over manifolds. We develop a Chern-Weil theory of characteristic classes in this general setting by presenting a construction of Chern classes and Dixmier-Douady classes in terms of analogues of connections and curvatures. We also describe a prequantization result for both $S^1$-bundles and $S^1$-gerbes extending the well-known result of Weil and Kostant. In particular, we give an explicit construction of $S^1$-central extensions with prescribed curvature-like data.
We study $S^1$-bundles and $S^1$-gerbes over differentiable stacks in terms of Lie groupoids, and construct Chern classes and Dixmier-Douady classes in terms of analogues of connections and curvature.
We study non-abelian differentiable gerbes over stacks using the theory of Lie groupoids. More precisely, we develop the theory of connections on Lie groupoid $G$-extensions, which we call "connections on gerbes", and study the induced connections on various associated bundles. We also prove analogues of the Bianchi identities. In particular, we develop a cohomology theory which measures the existence of connections and curvings for $G$-gerbes over stacks. We also introduce $G$-central extensions of groupoids, generalizing the standard groupoid $S^1$-central extensions. As an example, we apply…
We give a precise and general description of gerbes valued in arbitrary crossed module and over an arbitrary differential stack. We do it using only Lie groupoids, hence ordinary differential geometry. We prove the coincidence with the existing notions by comparing our construction with non-Abelian cohomology.
Résumé. Nous définissons un groupoïde de Fréchet-Lie Map(S^1,X) d'ana-foncteurs du cercle vers un groupoïde de Lie X. Ceci fournit une présentation du Hom-champ Hom(S^1,\cX), où \cX est le champ différentiable associé à X. Nous appliquons cette construction au groupoïde de Lie sous-jacent au `gerbe fibré' d'une variété différentiable M; le résultat est un gerbe fibré au-dessus de l'espace des lacets LM de M. Abstract. We define a Fréchet--Lie groupoid Map(S^1,X) of anafunctors from the circle into a Lie groupoid X. This provides a presentation of the Hom-stack Hom(S^1,\cX), where \cX is the di…
Let $\mathcal{G}$ be a Lie groupoid. The category $B\mathcal{G}$ of principal $\mathcal{G}$-bundles defines a differentiable stack. On the other hand, given a differentiable stack $\mathcal{D}$, there exists a Lie groupoid $\mathcal{H}$ such that $B\mathcal{H}$ is isomorphic to $\mathcal{D}$. Define a gerbe over a stack as a morphism of stacks $F\colon \mathcal{D}\rightarrow \mathcal{C}$, such that $F$ and the diagonal map $Δ_F\colon \mathcal{D}\rightarrow \mathcal{D}\times_{\mathcal{C}}\mathcal{D}$ are epimorphisms. This paper explores the relationship between a gerbe defined above and a Mori…
The theories of strings and $D$-branes have motivated the development of non Abelian cohomology techniques in differential geometry, on the purpose to find a geometric interpretation of characteristic classes. The spaces studied here, like orbifolds are not often smooth. In classical differential geometry, non smooth spaces appear also naturally, for example in the theory of foliations, the space of leaves can be an orbifold with singularities. The scheme to study these structures is identical: classical tools used in differential geometry, like connections, curvature are adapted. The purpose …
An equivariant bundle gerbe à la Meinrenken over a $G$-manifold $M$ is known to be a special type of $S^1$-gerbe over the differentiable stack $[M/G]$. We prove that the natural morphism relating the Cartan and simplicial models of equivariant cohomology in degree 3 maps the Dixmier-Douady class of an equivariant bundle gerbe à la Meinrenken to the Behrend-Xu-Dixmier-Douady class of the corresponding $S^1$-gerbe.
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an étale topological or differentiable stack. We then provide a construction analogous to the étalé space construction in this context, establishing an equivalence of 2-categories between small stacks over an étale stack and local homeomorphisms over it. We go on to characterize small sheaves and gerbes. We show that ineffective data of étale stacks is completely described by the theory of small gerbes. Furthermore, it is shown that étale stacks (and in…
Let $G$ be a Lie group and $G\to\Aut(G)$ be the canonical group homomorphism induced by the adjoint action of a group on itself. We give an explicit description of a 1-1 correspondence between Morita equivalence classes of, on the one hand, principal 2-group $[G\to\Aut(G)]$-bundles over Lie groupoids and, on the other hand, $G$-extensions of Lie groupoids (i.e.\ between principal $[G\to\Aut(G)]$-bundles over differentiable stacks and $G$-gerbes over differentiable stacks). This approach also allows us to identify $G$-bound gerbes and $[Z(G)\to 1]$-group bundles over differentiable stacks, wher…
We review a systematic construction of the 2-stack of bundle gerbes via descent, and extend it to non-abelian gerbes. We review the role of non-abelian gerbes in orientifold sigma models, for the anomaly cancellation in supersymmetric sigma models, and in a geometric description of so-called non-geometric T-duals.
This paper exhibits equivalences of 2-stacks between certain models of $\mathbb{S}^1$-gerbes and differential 3-cocycles. We focus primarily on the model of Dixmier-Douady bundles, and provide an equivalence between the 2-stack of Dixmier-Douady bundles and the 2-stack of differential 3-cocycles of height 1, where the 'height' is related to the presence of connective structure. Differential 3-cocycles of height 2 (resp. height 3) are shown to be equivalent to $\mathbb{S}^1$-bundle gerbes with connection (resp. with connection and curving). These equivalences extend to the equivariant setting o…
Let G be a compact Lie group acting on a smooth manifold M. In this paper, we consider Meinrenken's G-equivariant bundle gerbe connections on M as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe connections on the differential quotient stack associated to M, and isomorphism classes of G-equivariant gerbe connections are classified by degree three differential equivariant cohomology. Finally, we consider the existence and uniqueness of conjugation-equivariant gerbe connections on compact semisimple Lie groups.
In this PhD thesis, we have studied certain geometric structures over Lie groupoids and differentiable stacks. This thesis is based on the work [arXiv:2103.04560, arXiv:2012.08447, arXiv:2012.08442, arXiv:1907.00375]. In [arXiv:1907.00375], we have discussed the correspondence between two notions of a gerbe over a stack. In [arXiv:2012.08447], we have developed the notion of Chern-Weil map for principal bundles over a Lie groupoid when the Lie groupoid is equipped with a connection. In [arXiv:2012.08442], we discuss the notion of connection on the principal bundle over a Deligne Mumford stack …
In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and show that the Grothendieck construction sending these sheaves to stacks has a left adjoint: the functor sending any stack to its diffeological coarse moduli space. As an application, we restrict our attention to differentiable stacks and examine the geometry behind the coarse moduli space construction in terms of Lie groupoids and their principal bundles. With…
We develop a theory of Lie algebroids over differentiable stacks that extends the standard theory of Lie algebroids over manifolds. In particular we show that Lie algebroids satisfy descent for submersions, define the category of Lie algebroids over a differentiable stack, construct a cohomology theory for these objects, and explain the relation to the theory of $\mathcal{LA}$-groupoids. We construct a number of examples.
In this paper we consider deformations of an algebroid stack on an etale groupoid. We construct a differential graded Lie algebra (DGLA) which controls this deformation theory. In the case when the algebroid is a twisted form of functions we show that this DGLA is quasiisomorphic to the twist of the DGLA of Hochschild cochains on the algebra of functions on the groupoid by the characteristic class of the corresponding gerbe.
We construct connections and characteristic forms for principal bundles over groupoids and stacks in the differentiable, holomorphic and algebraic category using Atiyah sequences associated to transversal tangential distributions.
We construct and study general connections on Lie groupoids and differentiable stacks as well as on principal bundles over them using Atiyah sequences associated to transversal tangential distributions.
We construct and analyse models of equivariant cohomology for differentiable stacks with Lie group actions extending classical results for smooth manifolds due to Borel, Cartan and Getzler. We also derive various spectral sequences for the equivariant cohomology of a differentiable stack generalising among others Bott's spectral sequence which converges to the cohomology of the classifying space of a Lie group.
We introduce the notion of Lusternik-Schnirelmann category for differentiable stacks and establish its relation with the groupoid Lusternik-Schnirelmann category for Lie groupoids.
In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β\to K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theory of topological spaces, twisted equivariant $K$-theory, and the twisted $K$-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted $K$-groups can be ex…
This paper introduces the notions of vector field and flow on a general differentiable stack. Our main theorem states that the flow of a vector field on a compact proper differentiable stack exists and is unique up to a uniquely determined 2-cell. This extends the usual result on the existence and uniqueness of flows on a manifold as well as the author's existing results for orbifolds. It sets the scene for a discussion of Morse Theory on a general proper stack and also paves the way for the categorification of other key aspects of differential geometry such as the tangent bundle and the Lie a…
We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to our setting and show that the plus construction yields a 2-stackification for 2-prestacks. Finally we show that, for a 2-stack, the pullback functor along a Morita-equivalence of Lie groupoids is an equivalence of bicategories. Our results have direct applications to gerbes and 2-vector bundles. For instance, they allow to construct equivariant gerbes from loc…
We introduce and study measures and densities (= geometric measures) on differentiable stacks, using a rather straightforward generalization of Haefliger's approach to leaf spaces and to transverse measures for foliations. In general we prove Morita invariance, a Stokes formula which provides reinterpretations in terms of (Ruelle-Sullivan type) algebroid currents, and a Van Est isomorphism. In the proper case we reduce the theory to classical (Radon) measures on the underlying space, we provide explicit (Weyl-type) formulas that shed light on Weinstein's notion of volumes of differentiable sta…
The purpose of this paper is to investigate shifted $(+1)$ Poisson structures in context of differential geometry. The relevant notion is shifted $(+1)$ Poisson structures on differentiable stacks. More precisely, we develop the notion of Morita equivalence of quasi-Poisson groupoids. Thus isomorphism classes of $(+1)$ Poisson stack correspond to Morita equivalence classes of quasi-Poisson groupoids. In the process, we carry out the following programs of independent interests: (1) We introduce a $\mathbb Z$-graded Lie 2-algebra of polyvector fields on a given Lie groupoid and prove that its ho…
This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for stacks. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids. Differentiable stacks are geometric objects which have manifolds and orbifolds as special instances, and can be presented as the transverse geometry of a Lie groupoid. Two Lie groupoids are equivalent if they are presenting the same stack, and proper groupoids are presentations of separated stacks, which by the linearization theorem are locally modeled by l…
We study Riemannian metrics on Lie groupoids in the relative setting. We show that any split fibration between proper groupoids can be made Riemannian, and we use these metrics to linearize proper groupoid fibrations. As an application, we derive rigidity theorems for Lie groupoids, which unify, simplify and improve similar results for classic geometries. Then we establish the Morita invariance for our metrics, introduce a notion for metrics on stacks, and use them to construct stacky tubular neighborhoods and to prove a stacky Ehresmann theorem.
In this paper we relate the study of actions of discrete groups over connected manifolds to that of their orbit spaces seen as differentiable stacks. We show that the orbit stack of a discrete dynamical system on a simply connected manifold encodes the dynamics up to conjugation and inversion. We also prove a generalization of this result for arbitrary discrete groups and non-simply connected manifolds, and relate it to the covering theory of stacks. As applications, we obtain a geometric version of Rieffel's theorem on irrational rotations of the circle, we compute the stack-theoretic fundame…
Stacky Lie groupoids are generalizations of Lie groupoids in which the "space of arrows" of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoids, i.e., actions whose quotients are again differentiable stacks in such a way that the projection onto the quotient is a principal bundle. As an application, we extend the notion of Morita equivalence of Lie groupoids to the realm of stacky Lie groupoids, providing examples tha…
We extend the notion of the cardinality of a discrete groupoid (equal to the Euler characteristic of the corresponding discrete orbifold) to the setting of Lie groupoids. Since this quantity is an invariant under equivalence of groupoids, we call it the volume of the associated stack rather than of the groupoid itself. Since there is no natural measure in the smooth case like the counting measure in the discrete case, we need extra data to define the volume. This data has the form of an invariant section of a natural line bundle over the groupoid. Sections of a square root of this line bundle …
We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie algebroids. Cofoliations on stacks arise from flat connections on groupoids. Connections on groupoids generalize connections on gerbes and bundles in a natural way. A flat connection on a groupoid is an integrable distribution of the morphism space compatible with the groupoid structure and complementary to both source and target fibres. A cofoliation of a stack …
For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fréchet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further show that if \cX is an orbifold, presented by a proper étale Lie groupoid, then Map(M,X) is proper étale and so presents an infinite-dimensional orbifold.
We generalize geometric prequantization of symplectic manifolds to differentiable stacks. Our approach is atlas-independent and provides a bijection between isomorphism classes of principal circle bundles (with or without connections) and second cohomology groups of certain chain complexes.
Lie algebroids can not always be integrated into Lie groupoids. We introduce a new object--``Weinstein groupoid'', which is a differentiable stack with groupoid-like axioms. With it, we have solved the integration problem of Lie algebroids. It turns out that every Weinstein groupoid has a Lie algebroid and every Lie algebroid can be integrated into a Weinstein groupoid.
In this work we introduce the category of multiplicative sections of an $\la$-groupoid. We prove that this category carries natural strict Lie 2-algebra structures, which are Morita invariant. As applications, we study the algebraic structure underlying multiplicative vector fields on a Lie groupoid and in particular vector fields on differentiable stacks. We also introduce the notion of geometric vector field on the quotient stack of a Lie groupoid, showing that the space of such vector fields is a Lie algebra. We describe the Lie algebra of geometric vector fields in several cases, including…
