Related papers: Rigidity results for Lie algebras admitting a post…
We say that a hypercomplex nilpotent Lie algebra is $\mathbb{H}$-solvable if there exists a sequence of $\mathbb{H}$-invariant subalgebras $\mathfrak{g}_1^{ \mathbb{H}}\supset\mathfrak{g}_2^{…
We make several observations relating the Lie algebra $\mathfrak{g}_2 \subset \mathfrak{so}(7)$, associative $3$-planes, and $\mathfrak{so}(4)$ subalgebras. Some are likely well-known but not easy to find in the literature, while other…
We prove vanishing results for Lie groups and algebraic groups (over any local field) in bounded cohomology. The main result is a vanishing below twice the rank for semi-simple groups. Related rigidity results are established for…
Let $\mathfrak{g}$ be a real semisimple Lie algebra with Iwasawa decomposition $\mathfrak{k} \oplus \mathfrak{a} \oplus \mathfrak{n}$. We show that, except for some explicit exceptional cases, every derivation of the nilpotent subalgebra…
For the semi simple and deployed Lie algebra $\mathfrak g=\mathfrak{sl}(n, \R)$, we give an explicit construction of an overalgebra $\mathfrak g^+=\mathfrak g\rtimes V$ of $\mathfrak g$, where $V$ is a finite dimensional vector space. In…
We consider pairs of Lie algebras $g$ and $\bar{g}$, defined over a common vector space, where the Lie brackets of $g$ and $\bar{g}$ are related via a post-Lie algebra structure. The latter can be extended to the Lie enveloping algebra…
Let $\mathfrak{g}$ be a simple complex Lie algebra and let $\mathfrak{t} \subset \mathfrak{g}$ be a toral subalgebra of $\mathfrak{g}$. As a $\mathfrak{t}$-module $\mathfrak{g}$ decomposes as \[\mathfrak{g} = \mathfrak{s} \oplus…
Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance…
Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…
Let $J$ be an almost complex structure on a 4-dimensional and unimodular Lie algebra $\mathfrak{g}$. We show that there exists a symplectic form taming $J$ if and only if there is a symplectic form compatible with $J$. We also introduce…
In this paper we prove that whenever $G$ is hyperbolic relative to a family of exact, ressidually finite subgroups $\{H_1, \ldots, H_n\}$, the corresponding von Neumann algebra $\mathcal L(G)$ is solid relative to the family of subalgebras…
We prove that the celebrated It\^{o}'s theorem for groups remains valid at the level of Leibniz algebras: if $\mathfrak{g}$ is a Leibniz algebra such that $\mathfrak{g} = A + B$, for two abelian subalgebras $A$ and $B$, then $\mathfrak{g}$…
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…
An LR-structure on a Lie algebra is a bilinear product, satisfying certain commutativity relations, and which is compatible with the Lie product. LR-structures arise in the study of simply transitive affine actions on Lie groups. In…
We determine the structure of the semisimple group algebra of certain groups over the rationals and over those finite fields where the Wedderburn decompositions have the least number of simple components. We apply our work to obtain similar…
All results concern characteristic 2. Two procedures that to every simple Lie algebra assign simple Lie superalgebras, most of the latter new, are offered. We prove that every simple finite-dimensional Lie superalgebra is obtained as the…
We investigate the notion of real form of complex Lie superalgebras and supergroups, both in the standard and graded version. Our functorial approach allows most naturally to go from the superalgebra to the supergroup and retrieve the real…
For every finite dimensional Lie supergroup $(G,\mathfrak g)$, we define a $C^*$-algebra $\mathcal A:=\mathcal A(G,\mathfrak g)$, and show that there exists a canonical bijective correspondence between unitary representations of…
From the theory of finite dimensional Lie algebras it is known that every finite dimensional Lie algebra is decomposed into a semidirect sum of semisimple subalgebra and solvable radical. Moreover, due to work of Mal'cev the study of…
Let $M$ be a finite volume analytic pseudo-Riemannian manifold that admits an isometric $G$-action with a dense orbit, where $G$ is a connected non-compact simple Lie group. For low-dimensional $M$, i.e. $\dim(M) < 2\dim(G)$, when the…