Related papers: A Synthetic Version of Lie's Second Theorem
In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular,…
In this thesis, we introduce a new cohomology theory associated to a Lie 2-algebras and a new cohomology theory associated to a Lie 2-group. These cohomology theories are shown to extend the classical cohomology theories of Lie algebras and…
We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…
Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie…
The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…
We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…
In the two papers of this series, we initiate the development of a new approach to implementing the concept of symmetry in classical field theory, based on replacing Lie groups/algebras by Lie groupoids/algebroids, which are the appropriate…
We present a modern formulation of \'Elie Cartan's structure theory for Lie pseudogroups and prove a reduction theorem that clarifies the role of Cartan's systatic system. The paper is divided into three parts. In part one, using notions…
We show how to integrate a weak morphism of Lie algebra crossed-modules to a weak morphism of Lie 2-groups. To do so we develop a theory of butterflies for 2-term L_infty algebras. In particular, we obtain a new description of the…
In this article, we introduce a new cohomology theory associated to a Lie 2-algebras. This cohomology theory is shown to extend the classical cohomology theory of Lie algebras; in particular, we show that the second cohomology group…
We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem…
A Lie 2-algebra is a "categorified" version of a Lie algebra: that is, a category equipped with structures analogous those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the…
We introduce a notion of secondary characteristic classes of Lie algebra extensions. As a spin-off of our construction we obtain a new proof of Lecomte's generalization of the Chern-Weil homomorphism.
We obtain a complete classification of hypercomplex manifolds, on which a compact group of automorphisms acts transitively. The description of the spaces as well as the proofs of our results use only the structure theory of reductive…
A Lie groupoid can be thought of as a generalization of a Lie group in which the multiplication is only defined for certain pairs of elements. From another perspective, Lie groupoids can be regarded as manifolds endowed with a type of…
A classical theorem states that the group of automorphisms of a manifold $M$ preserving a $G$-structure of finite type is a Lie group. We generalize this statement to the category of $cs$ manifolds and give some examples, some of which…
``Pseudo-cohomology'', as a refinement of Lie group cohomology, is soundly studied aiming at classifying of the symplectic manifolds associated with Lie groups. In this study, the framework of symplectic cohomology provides fundamental new…
We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a…
We extend some fundamental definitions and constructions in the established generalisation of Lie theory involving Lie groupoids by reformulating them in terms of groupoids internal to a well-adapted model of synthetic differential…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…