Related papers: The functorial semantics of Lie theory

We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…

In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…

Groupoids are mathematical structures able to describe symmetry properties more general than those described by groups. They were introduced (and named) by H. Brandt in 1926. Around 1950, Charles Ehresmann used groupoids with additional…

We demonstrate that the notions of derivative representation of a Lie algebra on a vector bundle, of semi-linear representations of a Lie group on a vector bundle, and related concepts, may be understood in terms of representations of Lie…

Two Lie algebroids are presented that are linked to the construction of the linearizing output of an affine in the input nonlinear system. The algorithmic construction of the linearizing output proceeds inductively, and each stage has two…

We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors…

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…

In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifically, we construct a contravariant functor from the…

We develop a theory of Lie algebroids over differentiable stacks that extends the standard theory of Lie algebroids over manifolds. In particular we show that Lie algebroids satisfy descent for submersions, define the category of Lie…

We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the…

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…

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…

Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting…

Automorphic Lie Algebras arise in the context of reduction groups introduced in the late 1970s in the field of integrable systems. They are subalgebras of Lie algebras over a ring of rational functions, defined by invariance under the…

We construct an algebra of smooth functions over the tangent groupoid associated to any Lie groupoid. This algebra is a field of algebras over the closed interval [0, 1] which fiber at zero is the algebra of Schwartz functions over the Lie…

We describe Lie-Rinehart algebras in the tensor category $\mathcal{LM}$ of linear maps in the sense of Loday and Pirashvili and construct a functor from Lie-Rinehart algebras in $\mathcal{LM}$ to Leibniz algebroids.

Alain Connes introduced the use of Lie groupoids in noncommutative geometry in his pioneering work on the index theory of foliations. In the present paper, we recall the basic notion involved: groupoids, their C*-algebras, their…

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…

We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and, subsequently, to the integration of partial differential…

We categorify the theory of Lie algebras beginning with a new notion of categorified vector space, or `2-vector space', which we define as an internal category in Vect, the category of vector spaces. We then define a `semistrict Lie…