arXiv research

We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated l…

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 groups, Lie algebroids (integrable or not) one-to-one correspond to a sort of etale L…

Defines duals of higher vector bundles for Lie 2-groupoids.

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, showing that it yields simplicial manifolds if the 2-cells are invertible. Finally, o…

Given a representation up to homotopy of a Lie algebroid on a 2-term complex of vector bundles, we define the corresponding holonomy as a strict 2-functor from a Weinstein path 2-groupoid to the gauge 2-groupoid of the underlying 2-term complex. We construct a corresponding transformation 2-groupoid and we prove that t…

Paper defines PB-groupoids and their relation to VB-groupoids.

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

We establish a functor $Kan$ from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.

We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obta…

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

Formally equates two quantization methods and constructs non-commutative algebras.

We show that for a differential graded Lie algebra $\mathfrak{g}$ whose components vanish in degrees below -1 the nerve of the Deligne 2-groupoid is homotopy equivalent to the simplicial set of $\mathfrak{g}$-valued differential forms introduced by V.Hinich.

Abstract: New geometric incarnation of isomonodromy functors.

We propose a definition of symplectic 2-groupoid which includes integrations of Courant algebroids that have been recently constructed. We study in detail the simple but illustrative case of constant symplectic 2-groupoids. We show that the constant symplectic 2-groupoids are, up to equivalence, in one-to-one correspon…

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 …

Homflypt skein theory and string topology linked via 2-groupoids.

We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrabl…

We identify the 2-groupoid of deformations of a gerbe on a smooth manifold with the Deligne 2-groupoid of a corresponding twist of the DGLA of local Hochschild cochains on infinite jets of smooth functions.

The paper constructs automorphisms of Lie groupoids and applies them to symplectic reductions on orbifolds.

In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids, we use pairs of a Kan fibration and a special acyclic fibration to model principal bundles of higher groupoids, we use inner Kan fibra…

We prove a Darboux theorem for formal deformations of Hamiltonian operators of hydrodynamic type (Dubrovin-Novikov). Not all deformations are equivalent to the original operator: there is a moduli 2-stack of normal forms. The paper utilizes three main concepts: 1) dg Lie algebras concentrated in degrees [-1,\infty) suc…

In the first part of this paper, we work out a perturbative Lagrangian formulation of semistrict higher gauge theory, that avoids the subtleties of the relationship between Lie 2-groups and algebras by relying exclusively on the structure semistrict Lie 2-algebra v and its automorphism 2-group Aut(v). Gauge transformat…

In this paper, we describe an integration of exact Courant algebroids to symplectic 2-groupoids, and we show that the differentiation procedure from [26] inverts our integration.

Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules. They fit into the structure of a 2-category of bundle gerbes, and lead to natural d…

We prove that the groupoid of transformations of rigid structures on surfaces has a finite presentation as a 2-groupoid establishing a result first conjectured by G.Moore and N.Seiberg. An alternative proof was given by B.Bakalov and A.Kirillov Jr. We present some applications to TQFTs. This is also related to recent w…

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in se…

New duality concept for vector spaces and groupoids.

We provide a new perspective on parallel 2-transport and principal 2-group bundles with 2-connection. We define parallel 2-transport as a 2-functor from the thin fundamental 2-groupoid to the 2-category of 2-group torsors. The definition of the 2-category of 2-group torsors is new, and we develop the tools necessary fo…

Lie groups of automorphisms of cotangent bundles of Lie groups are completely characterized and interesting results are obtained. We give prominence to the fact that the Lie groups of automorphisms of cotangent bundles of Lie groups are super symmetric Lie groups. In the cases of orthogonal Lie lgebras, semi-simple Lie…

Characterizes Lie groups with specific structures and finds a correspondence between carrollian and galilean Lie algebras.

The article proves Lie's third theorem for Lie algebroids via singular Lie groupoids.

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 infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration proce…

The paper integrates Lie-Leibniz triples into Lie group-rack triples.

Lie algebroids are like infinitesimal Lie groupoids.

In this paper, we introduce the notion of a (regular) Hom-Lie group. We associate a Hom-Lie algebra to a Hom-Lie group and show that every regular Hom-Lie algebra is integrable. Then, we define a Hom-exponential (Hexp) map from the Hom-Lie algebra of a Hom-Lie group to the Hom-Lie group and discuss the universality of …

The paper connects Lie bialgebras, Rota-Baxter Lie algebras, and their properties.

The paper integrates Rota-Baxter Lie algebras into Lie group structures and geometries.

Constructing $3$-Lie algebroids via connections

Develops a bialgebra theory for post-Lie algebras using geometric interpretations and bilinear forms.

The purpose of this paper is to show how central extensions of (possibly infinite-dimensional) Lie algebras integrate to central extensions of étale Lie 2-groups. In finite dimensions, central extensions of Lie algebras integrate to central extensions of Lie groups, a fact which is due to the vanishing of π_2 for each …

A symplectic Lie group is a Lie group with a left-invariant symplectic form. Its Lie algebra structure is that of a quasi-Frobenius Lie algebra. In this note, we identify the groupoid analogue of a symplectic Lie group. We call the aforementioned structure a \textit{$t$-symplectic Lie groupoid}; the "$t$" is motivated …

In this paper, we present a study on the prolongations of representations of Lie algebras. We show that a tangent bundle of a given Lie algebra attains a Lie algebra structure. Then, we prove that this tangent bundle is algebraically isomorphic to the Lie algebra of a tangent bundle of a Lie group. Using these, we defi…

We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures on a vector bundle A and its dual A* is a double Lie algebroid if and only if (…

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…

Investigate local Lie group structure of bisections over compact manifolds

Lie algebroids and curved Lie algebras are equivalent categories.

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…

Generalizes Lie supergroups to Lie superheaps.