Related papers: Lie Calculus
We establish some results about large restricted Lie algebras similar to those known in the Group Theory. As an application we use this group-theoretic approach to produce some examples of restricted as well as ordinary Lie algebras which…
In these lectures notes I discuss the Linearization Theorem for Lie groupoids, and its relation to the various classical linearization theorems for submersions, foliations and group actions. In particular, I explain in some detail the…
A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…
Hom-Lie algebras are non-associative algebras generalizing Lie algebras by twisting the Jacobi identity by an endomorphism. The main examples are algebras of twisted derivations (i.e., linear maps with a generalized Leibniz rule). Such…
The existing constructions of derived Lie and sh-Lie brackets involve multilinear maps that are used to define higher order differential operators. In this paper, we prove the equivalence of three different definitions of higher order…
We survey the concept of multiplicativity from its initial appearance in the theory of Poisson-Lie groups to the far-reaching generalizations, for multivectors and differential forms in the geometry and the generalized geometry of Lie…
The present paper links the representation theory of Lie groupoids and infinite-dimensional Lie groups. We show that smooth representations of Lie groupoids give rise to smooth representations of associated Lie groups. The groups envisaged…
A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from \fun\ to \uqg\ , given by elements of the pure braid group. These operators --- the `reflection matrix' $Y \equiv…
These are notes for a very rapid introduction to the basics of exterior differential systems and their connection with what is now known as Lie theory, together with some typical and not-so-typical applications to illustrate their use.
We give a unified description of morphisms and comorphisms of Lie pseudoalgebras, showing that the both types of morphisms can be regarded as subalgebras of a Lie pseudoalgebra, called the $\psi$-sum. We also provide similar descriptions…
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…
The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
We extend some fundamental definitions and constructions in the established generalisation of Lie theory involving Lie groupoids by reformulating them in terms of groupoids internal to a well-adapted model of synthetic differential…
The calculus of classes and closure operations has proved to be a useful tool in group theory and has led to a deep theory in the study of finite soluble groups. More recently, parallel theories have started to be developed in various…
We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…
The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…
This paper provides a toolbox of para-differential calculus on compact Lie groups. The toolbox is based on representation theory of compact Lie groups and contains exact formulas of symbolic calculus. Para-differential operators are…
We introduce the concept of a higher algebroid, generalizing the notions of an algebroid and a higher tangent bundle. Our ideas are based on a description of (Lie) algebroids as vector bundle comorphisms - differential relations of a…
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.