Related papers: Lie Pseudogroups \`a la Cartan
In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…
The process of complexification is used to classify a Lie algebra and identify its Cartan subalgebra. However, this method does not distinguish between real forms of a complex Lie algebra, which can differ in signature. In this paper, we…
A multiplicatively closed, horizontal $n$-plane field $D$ on a Lie groupoid $G$ over $M$ generalizes to intransitive geometry the classical notion of a Cartan connection. The infinitesimalization of the connection $D$ is a Cartan connection…
In Part I of this series we presented the general ideas of applying group-algebraic methods for describing quantum systems. The treatment was there very "ascetic" in that only the structure of a locally compact topological group was used.…
$k$-symplectic manifolds are a convenient framework to study classical field theories and they are a generalization of polarized symplectic manifolds. This paper focus on the existence and the properties of left invariant $k$-symplectic…
We show that the 2d Poisson Sigma Model on a Poisson groupoid arises as an effective theory of the 3d Courant Sigma Model associated to the double of the underlying Lie bialgebroid. This field-theoretic result follows from a Lie-theoretic…
The purpose of this short notice is to present an elementary summary of a few recent results obtained through the application of the formal theory of systems of partial differential equations and Lie pseudo groups to engineering (elasticity…
This paper is a continuation of [5]. Using the root categories, we define the compact real forms of the complex semisimple Lie algebras, and maximal compact subgroups of the Chevalley groups over $\mathbb{C}$. In [7], Lusztig used the…
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
We present a framework for the reduction of various geometric structures extending the classical coisotropic Poisson reduction. For this we introduce constraint manifolds and constraint vector bundles. A constraint Serre-Swan theorem is…
Using the adjoint representations of Lie algebras, we classify all Jacobi structures on real two- and three-dimensional Lie groups. Also, we study Jacobi-Lie systems on these real low-dimensional Lie groups. Our results are illustrated…
We present systems of parabosons and parafermions in the context of Lie algebras, Lie superalgebras, $\mathbf{{\mathbb Z}_2\ \times {\mathbb Z}_2}$-graded Lie algebras and $\mathbf{{\mathbb Z}_2\ \times {\mathbb Z}_2}$-graded Lie…
An algorithm for embedding finite dimensional Lie algebras into Lie algebras of vector fields (and Lie superalgebras into Lie superalgebras of vector fields) is offered in a way applicable over ground fields of any characteristic. The…
There is renewed interest in the coideal subalgebras used to form quantum symmetric pairs because of recent discoveries showing that they play a fundamental role in the representation theory of quantized enveloping algebras. However, there…
Any graded restricted simple Lie algebra of Cartan type contains a subalgebra isomorphic to the Witt algebra over a field of prime characteristic. As some analogue of study on branching rules for restricted non-classical Lie algebras, it is…
Our goal is to find classes of convolution semigroups on Lie groups $G$ that give rise to interesting processes in symmetric spaces $G/K$. The $K$-bi-invariant convolution semigroups are a well-studied example. An appealing direction for…
A Dirac structure is a Lagrangian subbundle of a Courant algebroid, $L\subset\mathbb{E}$, which is involutive with respect to the Courant bracket. In particular, $L$ inherits the structure of a Lie algebroid. In this paper, we introduce the…
In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular,…
Lie bialgebra structures on $e(2)$ are classified. For two Lie bialgebra structures which are not coboundaries (i.e. which are not determined by a classical $r$-matrix) we solve the cocycle condition, find the Lie-Poisson brackets and…
We prove the existence of Cartan subrings, i.e., self-normalizing nilpotent subrings in soluble ranked Lie rings.