Prolongations of Lie algebras and applications
Paul-Andi Nagy
TL;DR
The paper computes the skew-symmetric prolongation ${\Lambda^3V \cap (\Lambda^1V \otimes \mathfrak{g})}$ for orthogonal representations, establishing a dichotomy: for a proper irreducible $(\mathfrak{g},V)$ the prolongation vanishes unless $(\mathfrak{g},V)$ is the adjoint of a compact simple Lie algebra, in which case it is 1-dimensional and generated by the Cartan 3-form. This framework yields wide-ranging results: uniqueness of metric connections with totally skew-symmetric torsion, holonomy classifications for flat connections with 3-form torsion (Killing frames), a Plücker-type embedding program linked to $k$-Lie algebras, and a detailed study of metric $n$-Lie algebras. The authors also classify holonomy representations for connections with vectorial torsion, via invariant 4-forms and Casimir operators, and derive dimension-specific phenomena, notably a Spin(7)–related structure in dimension $8$. Altogether, the work blends Lie algebra prolongations, Berger algebras, and $G$-structure methods to advance geometric classification problems related to torsionful connections and their holonomy.
Abstract
We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $Λ^3 \cap (Λ^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness results for connections with skew-symmetric torsion and also the proof of the Euclidean version of a conjecture posed in \cite{ofarill} concerning a class of Plücker-type embeddings. We also derive a classification of the metric k-Lie algebras (or Filipov algebras), in positive signature and finite dimension. Prolongations of Lie algebras can also be used to finish the classification, started in \cite{datri}, of manifolds admitting Killing frames, or equivalently flat connections with 3-form torsion. Next we study specific properties of invariant 4-forms of a given metric representation and apply these considerations to classify the holonomy representation of metric connections with vectorial torsion, that is with torsion contained in $Λ^1 \subseteq Λ^1 \otimes Λ^2$.
