arXiv research

Generalizes Lie supergroups to Lie superheaps.

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

It is known that there exists a natural functor $Φ$ from Lie supergroups to super Harish-Chandra pairs. A functor going backwards, that associates a Lie supergroup with each super Harish-Chandra pair, yielding an equivalence of categories, was found by Koszul [18]; this result was later extended by other authors, to di…

The Morse complex is shown to be an infinite functor.

We show how the fundamental cocycles on current Lie algebras and the Lie algebra of symmetries for the sigma model are obtained via the current algebra functors. We present current group extensions integrating some of these current Lie algebra extensions.

Study cohomology of Lie algebroids over algebraic spaces using derived functors and Čech cohomology.

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

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 …

Lie algebras of quotient groups defined under specific conditions.

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham coh…

The Deligne groupoid is a functor from nilpotent differential graded Lie algebras concentrated in positive degrees to groupoids; in the special case of Lie algebras over a field of characteristic zero, it gives the associated simply connected Lie group. We generalize the Deligne groupoid to a functor gamma from L-infin…

Abstract: New geometric incarnation of isomonodromy functors.

We analyze a functor from cyclic operads to chain complexes first considered by Getzler and Kapranov and also Markl. This functor is a generalization of the graph homology considered by Kontsevich, which was defined for the three operads Comm, Assoc, and Lie. More specifically we show that these chain complexes have a …

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

Unified Lie structures in homotopy and isotopy calculus.

Establishes Morita equivalence for Nijenhuis structures and proves invariance of modular class.

Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the a…

Defines Lie and Courant algebroids over Lie groupoids using homological vector fields.

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.

This is the second paper in a series of papers aimed at providing a geometric construction of modular functors and topological quantum field theories from conformal field theory building on the constructions in [TUY] and [KNTY]. We give a geometric construct of a modular functor for any simple Lie-algebra and any level…

Study infinitesimal deformations of Lie algebroid pairs.

We define symmetric bundles as vector bundles in the category of symmetric spaces; it is shown that this notion is the geometric analog of the one of a representation of a Lie triple system. We show that such a bundle has an underlying reflection space, and we investigate the corresponding forgetful functor both from t…

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…

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…

The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H. Gloeckner and K.-H. Neeb), without any restriction on the dimension or on the cha…

Functor connects Lie groupoid algebras to bornological structures.

We define the transgression functor which associates to a (higher-dimensional) Courant algebroid on a manifold a Lie algebroid on the shifted tangent bundle of the manifold.

Categorifies Chern-Weil theory for infinite local systems.

Introduces Lie semiheaps and their relation to Lie groups and bundles.

New type of spaces with tangent structures for analysis.

Let $q$ be a $2N$th root of unity where $N$ is odd. Let $U_q(sl_2)$ denote the quantum group with large center corresponding to the lie algebra $sl_2$ with generators $E,F,K$, and $K^{-1}$. A semicyclic representation of $U_q(sl_2)$ is an $N$-dimensional irreducible representation $ρ:U_q(sl_2)\rightarrow M_N(\mathbb{C}…

A homogeneous space is a manifold on which a Lie group acts transitively. Super generalization of this concept is also studied in [2] and [4]. In this paper we explicitly show that super Lie group GL(m|n) acts transitively on supergrassmannian G_{k|l}(m|n). In this regard, by using functor of point approach, this actio…

New geometric objects generalize Lie groupoids, with nontrivial tangent bundle properties.

In this paper, we investigate representations of $\operatorname{At}(N)$, the Atiyah algebroids of a holomorphic line bundles $N$ over a complex manifold $Y$. In particular, we relate $\operatorname{At}(N)$-modules with logarithmic connections through two functors. On the one hand, we use these functors to the define in…

In the $3$-gauge theory, a $3$-connection is given by a $1$-form $A$ valued in the Lie algebra $\mathfrak g$, a $2$-form $B$ valued in the Lie algebra $\mathfrak h$ and a $3$-form $C$ valued in the Lie algebra $\mathfrak l$, where $(\mathfrak g,\mathfrak h, \mathfrak l)$ constitutes a differential $2$-crossed modu…

Frolicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless the conceptual meaning of their discovery has been obscured by the messy techniques they exploited. The principal objective in this paper is…

We introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category of symplectic manifolds where morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the cotangent functor to the structure maps of a Lie groupoid. We show that such object…

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

We study differential cohomology on categories of globally hyperbolic Lorentzian manifolds. The Lorentzian metric allows us to define a natural transformation whose kernel generalizes Maxwell's equations and fits into a restriction of the fundamental exact sequences of differential cohomology. We consider smooth Pontry…

Lie $\infty$-groupoids are simplicial Banach manifolds that satisfy an analog of the Kan condition for simplicial sets. An explicit construction of Henriques produces certain Lie $\infty$-groupoids called `Lie $\infty$-groups' by integrating finite type Lie $n$-algebras. In order to study the compatibility between this…

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

Novel construction of Bauer--Furuta invariant using sheaves of spectra.

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…

VB-groupoids and algebroids are vector bundle objects in the categories of Lie groupoids and Lie algebroids respectively, and they are related via the Lie functor. VB-groupoids and algebroids play a prominent role in Poisson and related geometries. Additionally, they can be seen as models for vector bundles over singul…

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…

We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms of weak 2-functors from the Cech groupoid to weak Lie 2-groups. As is demonstrat…

We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and their duals, Harish-Chandra pairs and Zuckermann functors. As an application, w…

We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several exampl…