arXiv research

This thesis bridges Lie theory and sketch theory using tangent categories.

Lie algebroids and curved Lie algebras are equivalent categories.

Introduces Lie categories and their properties, including Lie groupoids and algebroids.

Study abelianization of Lie algebroids and groupoids, providing conditions for existence.

Using crossed homomorphisms, we show that the category of weak representations (resp. admissible representations) of Lie-Rinehart algebras (resp. Leibniz pairs) is a left module category over the monoidal category of representations of Lie algebras. In particular, the corresponding bifunctor of monoidal categories is e…

We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fi…

A Lie 2-group $G$ is a category internal to the category of Lie groups. Consequently it is a monoidal category and a Lie groupoid. The Lie groupoid structure on $G$ gives rise to the Lie 2-algebra $\mathbb{X}(G)$ of multiplicative vector fields, see (Berwick-Evans -- Lerman). The monoidal structure on $G$ gives rise to…

Solves open problem on Lie groupoids equivalence.

It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of mark…

A new category of Lie algebras, called generalized Lie algebras, is presented such that classical Lie algebras and Lie-Rinehart algebras are objects of this new category. A new philosophy over generalized Lie algebroids theory is presented using the notion of generalized Lie algebra and examples of objects of the categ…

In this paper, we relate Lie algebroids to Costello's version of derived geometry. For instance, we show that each Lie algebroid $L$-and the natural generalization to dg Lie algebroids-provides an (essentially unique) $L_\infty$ space. More precisely, we construct a faithful functor from the category of Lie algebroids …

We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in classical Lie theory is replaced by an identity similar to the Yang-Baxter equation. Every classical Lie algebroid has the structure of an …

Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$. We show that the following categories are naturally equivalent. The category $\mathsf{Mod}(C(G))$, of sufficiently smooth modules over the DG-algebra of singular chains on $G$. The category $\mathsf{Rep}(Tg)$ of representations of the DG-Lie algeb…

To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present article we consider functorial aspects of these construction principles. The first …

This paper extends a category equivalence to an A-infinity quasi-equivalence for compact Lie groups.

Lie groupoid equivariant neural networks are a new type of neural network.

We show that the category of Lie triple systems is equivalent to the category of Lie algebras graded by Z/(2Z) such that the odd component generates the algbera and the second graded cohomology group coefficients in any trivial module is zero. As a corollary we obtain an analogous result for symmetric spaces and Lie gr…

Abstract: Tangent categories get a Cartan calculus with scalar multiplication by a commutative ring.

Studies modules over a category of Jacobi diagrams in handlebodies.

We show that the path construction integration of Lie algebroids by Lie groupoids is an actual equivalence from the category of integrable Lie algebroids and complete Lie algebroid comorphisms to the category of source 1-connected Lie groupoids and Lie groupoid comorphisms. This allows us to construct an actual symplec…

We define and make initial study of Lie groupoids equipped with a compatible homogeneity (or graded bundle) structure, such objects we will refer to as weighted Lie groupoids. One can think of weighted Lie groupoids as graded manifolds in the category of Lie groupoids. This is a very rich geometrical theory with numero…

In this work we deal with coverings and actions of Lie group- groupoids being a sort of the structured Lie groupoids. Firstly, we define an action of a Lie group-groupoid on some Lie group and the smooth coverings of Lie group-groupoids. Later, we show the equivalence of the category of smooth actions of Lie group-grou…

Lie groupoids and their orbit spaces are linked through equivalence classes.

New categories help understand knot algebra.

Frölicher spaces form a cartesian closed category which contains the category of smooth manifolds as a full subcategory. Therefore, mapping groups such as C^\infty(M,G) or \Diff(M), but also projective limits of Lie groups are in a natural way objects of that category, and group operations are morphisms in the category…

Any etale Lie groupoid G is completely determined by its associated convolution algebra C_c(G) equipped with the natural Hopf algebroid structure. We extend this result to the generalized morphisms between etale Lie groupoids: we show that any principal H-bundle P over G is uniquely determined by the associated C_c(G)-…

Lie n-algebroids and Lie infinity algebroids are usually thought of exclusively in supergeometric or algebraic terms. In this work, we apply the higher derived brackets construction to obtain a geometric description of Lie n-algebroids by means of brackets and anchors. Moreover, we provide a geometric description of mo…

The abstract generalizes a construction for splitting supermanifolds and studies Lie supergroup cases.

We introduce the notion of Lusternik-Schnirelmann category for differentiable stacks and establish its relation with the groupoid Lusternik-Schnirelmann category for Lie groupoids.

The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$-modules, the Atiyah class $α_{L/A}$ being its Lie bracket. In this note, we describe the universal enveloping algebra of the L…

Abstract Lie algebroids generalize Lie algebroids to abstract categories.

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" defi…

Study first-order locally convex Lie algebroids in Bastiani calculus.

We discuss two generalizations of Lie groupoids. One consists of Lie $n$-groupoids defined as simplicial manifolds with trivial $π_{k\geq n+1}$. The other consists of stacky Lie groupoids $\cG\rra M$ with $\cG$ a differentiable stack. We build a 1-1 correspondence between Lie 2-groupoids and stacky Lie groupoids up to …

This work defines a categorical notion of principal bundles.

A classical theorem of Drinfel'd states that the category of simply connected Poisson Lie groups H is isomorphic to the category of Manin triples (d, g, h), where h is the Lie algebra of H. In this paper, we consider Dirac Lie groups, that is, Lie groups H endowed with a multiplicative Courant algebroid A and a Dirac s…

New manifolds help understand group actions on complex chains.

We define two categories of Dirac manifolds, i.e. manifolds with complex Dirac structures. The first notion of maps I call \emph{Dirac maps}, and the category of Dirac manifolds is seen to contain the categories of Poisson and complex manifolds as full subcategories. The second notion, \emph{dual-Dirac maps}, defines a…

Study of gauge theory and parallel transport in Lie 2-group bundles over Lie groupoids.

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 v…

In this paper we discuss the question of integrating differential graded Lie algebras (DGLA) to differential graded Lie groups (DGLG). We first recall the classical problem of integration in the context, and present the construction for (non-graded) differential Lie algebras. Then, we define the category of differentia…

Presentations of smooth symmetry groups of differentiable stacks are studied within the framework of the weak 2-category of Lie groupoids, smooth principal bibundles, and smooth biequivariant maps. It is shown that principality of bibundles is a categorical property which is sufficient and necessary for the existence o…

Constructs 2-representations and 2-vector bundles for Lie 2-groups.

The abstract discusses new 3-manifold invariants and ETQFTs from Lie superalgebra representations.

The category of generalized Lie algebroids is presented. We obtain an exterior differential calculus for generalized Lie algebroids. In particular, we obtain similar results with the classical and modern results for Lie algebroids. So, a new result of Maurer-Cartan type is presented. Supposing that any vector subbundle…

Introduces fat Lie theory for Lie groupoids and algebroids.

Generalizes van Est map to geometric stacks and homotopy theory.

In this paper we aim to understand the category of stable-Yetter-Drinfeld modules over enveloping algebra of Lie algebras. To do so, we need to define such modules over Lie algebras. These two categories are shown to be isomorphic. A mixed complex is defined for a given Lie algebra and a stable-Yetter-Drinfeld module o…