Related papers: Higher-Dimensional Algebra VI: Lie 2-Algebras
Recent work applying higher gauge theory to the superstring has indicated the presence of `higher symmetry'. Infinitesimally, this is realized by a `Lie 2-superalgebra' extending the Poincare superalgebra in precisely the dimensions where…
An enhanced Leibniz algebra is an algebraic struture that arises in the context of particular higher gauge theories describing self-interacting gerbes. It consists of a Leibniz algebra $(\mathbb{V},[ \cdot, \cdot ])$, a bilinear form on…
A real Lie algebra with a compatible Hilbert space structure (in the sense that the scalar product is invariant) is called a Hilbert-Lie algebra. Such Lie algebras are natural infinite-dimensional analogues of the compact Lie algebras; in…
It is shown that any Lie affgebra, that is an algebraic system consisting of an affine space together with a bi-affine bracket satisfying affine versions of the antisymmetry and Jacobi identity, is isomorphic to a Lie algebra together with…
We first recall two equivalent definitions of Lie $2$-algebras, categorification of Lie algebras and $2$-term $L_\infty$-algebras. Then we present four different kinds of Lie $2$-algebras from $2$-plectic manifolds, Courant algebroids,…
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the…
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…
A "2-group" is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representations on "2-vector spaces", which are categories analogous to…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step…
During the last decades algebraization of space turned out to be a promising tool at the interface between Mathematics and Theoretical Physics. Starting with works by Gel'fand-Kolmogoroff and Gel'fand-Naimark, this branch developed as from…
Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…
The paper presents the complete classification of Automorphic Lie Algebras based on $\mathfrak{sl}_n (\mathbb{C})$, where the symmetry group $G$ is finite and the orbit is any of the exceptional $G$-orbits in $\overline{\mathbb{C}}$. A key…
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…
Let $\mathscr N$ be a 2-step nilpotent Lie algebra endowed with non-degenerate scalar product $\langle.\,,.\rangle$ and let $\mathscr N=V\oplus_{\perp}Z$, where $Z$ is the centre of the Lie algebra and $V$ its orthogonal complement with…
On Lie algebras, we study commutative 2-cocycles, i.e., symmetric bilinear forms satisfying the usual cocycle equation. We note their relationship with antiderivations and compute them for some classes of Lie algebras, including…
This work pioneers the systematic study and classification (up to Lie algebra automorphisms) of finite-dimensional coboundary Lie bialgebras through Grassmann algebras. Several mathematical structures on Lie algebras, e.g. Killing forms or…
We construct a flat (and fake-flat) 2-connection in the configuration space of $n$ indistinguishable particles in the complex plane, which categorifies the $sl(2,C)$-Knizhnik-Zamolodchikov connection obtained from the adjoint representation…
By definition, a quadratic Lie superalgebra is a Lie superalgebra endowed with a non-degenerate supersymmetric bilinear form which satisfies the even and invariant properties. In this paper we calculate all of the second cohomology group of…
In this paper, we study Lie 2-bialgebras, with special attention to coboundary ones, with the help of the cohomology theory of $L_\infty$-algebras with coefficients in $L_\infty$-modules. We construct examples of strict Lie 2-bialgebras…