Related papers: A Synthetic Version of Lie's Second Theorem
Homotopy Lie algebras are a generalization of differential graded Lie algebras encoding both the kinematics and dynamics of a given field theory. Focusing on kinematics, we show that these algebras provide a natural framework for the…
We consider complex manifolds that admit actions by holomorphic transformations of classical simple real Lie groups and classify all such manifolds in a natural situation. Under our assumptions, which require the group at hand to be…
We construct a infinite-dimensional manifold structure adapted to analytic Lie pseudogroups of infinite type. More precisely, we prove that any isotropy subgroup of an analytic Lie pseudogroup of infinite type is a regular…
Starting with some motivating examples (classical atlases for a manifold, space of leaves of a foliation, group orbits), we propose to view a Lie groupoid as a generalized atlas for the "virtual structure" of its orbit space, the…
We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
Weil prolongations of a Lie group are naturally Lie groups. It is not known in the theory of infinite-dimensional Lie groups how to construct a Lie group with a given Lie algebra as its Lie algebra or whether there exists such a Lie group…
This paper is devoted to the development and applications of some (new) basic concepts in Lie theory, both from `computational" and "observability" viewpoint. We specify set of all "G-equivariant" maps from a given Lie group G to the…
The main result of this work is a new proof and generalization of Lazard's comparison theorem of locally analytic group cohomology with Lie algebra cohomology for K-Lie groups, where K is a finite extension of the p-adic numbers. We show…
We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…
We introduce the notion of a bicocycle double cross product (resp. sum) Lie group (resp. Lie algebra), and a bicocycle double cross product bialgebra, generalizing the unified products. On the level of Lie groups the construction yields a…
We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…
The problem of reduction of multisymplectic manifolds by the action of Lie groups is stated and discussed, as a previous step to give a fully covariant scheme of reduction for classical field theories with symmetries.
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…
In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category…
Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of…
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…
We bring a linkage from representation theory of Lie groups to homotopy theory for maps between flag manifolds. As applications we derive from representation theory abundant families of homotopy classes of maps between flag manifolds whose…
Quantum field theory allows more general symmetries than groups and Lie algebras. For instance quantum groups, that is Hopf algebras, have been familiar to theoretical physicists for a while now. Nowdays many examples of symmetries of…
We prove a generalization of one of Lie's Theorems in the context of Lie-like algebras$^{2-nd}$.