Lie Algebra Action Mapping

• Lie Algebra-Based Action Mapping is a framework that rigorously encodes and classifies symmetries through structure-preserving actions on algebraic, geometric, and categorical entities.
• It integrates classical, higher, and categorified actions, employing techniques such as invariant connections, L∞-morphisms, and homotopy lifts to extend traditional Lie algebra structures.
• The approach has practical applications in numerical integration, moduli space analysis, and quantum field theory, uniting diverse areas in mathematics and physics.

Lie Algebra-Based Action Mapping is a collection of advanced mathematical frameworks and concrete constructions by which Lie algebras, and their higher and generalized variants, act on algebraic, geometric, or categorical objects by structure-preserving transformations. This encompasses classical actions on sets and manifolds, actions on categories, graded and differential graded objects, and homotopy-theoretic lifts, as well as new paradigms such as partial actions, S-expansions, and higher Lie (e.g., $L_\infty$ and Lie 2-) algebra actions. The area systematically encodes, manipulates, and classifies symmetries within algebraic geometry, differential geometry, representation theory, operator algebras, and mathematical physics.

1. Classical Lie Algebra Actions and Their Algebraic Prolongations

The classical infinitesimal action of a Lie algebra $\mathfrak{g}$ on a manifold $M$ is a Lie algebra homomorphism $\rho : \mathfrak{g} \to \mathfrak{X}(M)$ such that $\rho([\xi,\eta]) = [\rho(\xi), \rho(\eta)]$. This gives rise to the action algebroid $A = \mathfrak{g} \times M \to M$, which features a canonical flat and torsionful invariant connection encoding the Lie algebra structure in its torsion tensor ($T^\nabla(\xi, \eta) = -[\xi,\eta]_\mathfrak{g}$, $R^\nabla \equiv 0$) (Munthe-Kaas et al., 2019).

These basic structures extend to:

• Lie algebra crossed modules (strict Lie 2-algebras), acting on Lie algebroids via maps $(\mu_0, \mu_{-1})$ that intertwine Lie-type brackets, module structures, and anchor maps, with the action described both in classical terms and by morphisms of NQ-manifolds (Zambon et al., 2010).
• Differential graded Lie algebra (dgla) actions, relevant for field theory and BRST/BV quantization, are encoded as maps $$\rho : \mathfrak{g}^* \to \operatorname{Der}(\mathfrak{h}^*)$$ satisfying compatibility with differentials and brackets, enabling systematic lifts of symmetry to gauge transformations and field functionals (Grady, 16 Sep 2025).
• Partial actions and their universal governing algebraic objects, such as Lie inverse semialgebras $E(L)$, which extend group partial action theory and provide a precise control structure for "partially defined" Lie algebraic actions on non-associative and associative algebras (Dokuchaev et al., 6 May 2025).

2. Higher and Homotopy Lie Algebra Actions

The notion of "action" is dramatically generalized via $L_\infty$ algebra actions, where higher brackets encapsulate homotopy relations:

• $L_\infty$-algebra actions on graded manifolds correspond to curved $L_\infty$-morphisms or, equivalently, to homological vector fields $Q_\mathrm{tot}$ on $\mathfrak{g}[1] \times M$. These encode both the original algebraic action and all higher (non-strict) relations between multibrackets and the geometric data on $M$ (Mehta et al., 2012, Brahic et al., 2017).
• Lie 2-algebra and $n$-plectic geometry: On multisymplectic or $n$-plectic manifolds, the symmetry algebra of observables is itself a Lie 2- or $L_\infty$-algebra, and moment maps, or "homotopy moment maps," are $L_\infty$-morphisms from symmetry algebras into the observable Lie 2-algebra, subject to higher analogues of the Hamiltonian conditions and compatible with cocycle obstructions in Chevalley-Eilenberg cohomology (Mammadova et al., 2019, Bonneau et al., 16 Feb 2026).

These frameworks encapsulate derived symmetries, up-to-homotopy actions, and semidirect products of $L_\infty$-algebras via homological vector field techniques (Mehta et al., 2012).

3. Categorical and Geometric Lie Algebra Actions

A significant development is the passage from classical to "categorified" actions:

• Geometric categorical Lie algebra actions provide data (often via Fourier–Mukai kernels) that realize the representations of $\mathfrak{g}$ inside derived categories of coherent sheaves $D^b(\mathrm{Coh} Y(\lambda))$, explicitly producing functors $E_i, F_i$ satisfying categorified Chevalley and Serre relations. The resulting equivalences, after a categorified "Seidel–Thomas" twist construction, generate braid group actions associated to $\mathfrak{g}$, with explicit geometric instantiations for flag varieties (Cautis et al., 2010).
• Actions on quantum/categorified groups and link homology: Actions of continuum Lie algebras (e.g., the positive Witt algebra $W^+$) on categorified quantum groups, implemented via planar diagram calculus and 2-representations, control foam and current algebra actions that underlie link homology invariants. These actions extend via functorial foamations to $n$-foams and are compatible with trace decategorification (Grlj et al., 2 Jul 2025).

4. Lie Algebra Actions on Complex and Higher Structures

• Partial and compatible action mappings: In certain contexts, compatibility of mutual Lie algebra actions is codified by "Peiffer products," and universal properties are realized in crossed module categories. Lie algebra actions constructed as mutually compatible on each other correspond precisely to crossed module pairs over a common base, and their Peiffer product is characterized as the coproduct in the category of crossed modules, with explicit examples provided (Micco, 2019).
• S- and Lie algebra expansions: Systematic expansions (such as the S-expansion) of Lie algebras by semigroups yield new symmetry algebras tailored for non-relativistic and other contraction limits (e.g., Bargmann, Galilean, Carrollian). The methodology translates Lie algebraic structure constants and invariants to the expanded algebra, underlying the construction of new invariant actions—e.g., for non-relativistic gravity—and their associated gauge fields and curvature tensors (Bergshoeff et al., 2019, Kasikci et al., 2021).

5. Lie Algebra Actions in Operator Algebras and Noncommutative Geometry

• Derivations and resolvent algebras: The action $\delta: X\to\mathrm{Der}(A_0)$ of a real Lie algebra $X$ on a $C^*$-algebra $A$, together with the almost-inner property, realizes unbounded generators $G_f$ satisfying Lie-type commutation relations $[G_f,G_g] = i\sigma(f,g)1$, ultimately generating a central extension of $X$ governed by a nondegenerate symplectic form. These structures culminate in the construction of the universal resolvent algebra $\mathcal{R}(X,\sigma)$, pivotal in the $C^*$-algebraic formulation of quantum mechanics (Buchholz et al., 2012).

6. Lie Algebra Actions in Dirac and Courant Geometries

• Dirac actions and generalized momentum mapping: Dirac actions, extending the structure of Poisson actions, operate within the Courant algebroid context $(A\to H, E\subset A)$. Actions are encoded as morphisms both at the groupoid and infinitesimal levels, often guided by Dirac–Manin triple data. These actions admit a precise matched-pair construction with extension to homogeneous spaces classified by Harish-Chandra pairs and Lagrangian subalgebras, generalizing Drinfeld's Poisson homogeneous space theory. The mapping $\rho: g \to \Gamma(P)$, with $P$ a Dirac algebroid, enables transfer of Lie algebra data onto generalized tangent and cotangent structures $(TM\oplus T^*M)$ (Meinrenken, 2014).

7. Applications: Numerical Analysis, Geometric Representation, and Physics

• Numerical integration: Lie algebra-based action mapping provides canonical invariant connections whose algebraic properties (flatness, torsion) exactly encode the underlying symmetry of the problem. These connections underpin the algebraic construction of Butcher and Lie–Butcher series, central to the theory of geometric numerical integrators (Munthe-Kaas et al., 2019).
• Moduli and algebraic cycles: Lie algebra actions (e.g., Looijenga–Lunts–Verbitsky) on Chow rings of moduli spaces (Hilbert schemes of points, etc.) enable the rigorous control of algebraic cycles and facilitate proofs of key geometric conjectures by producing explicit, representation-theoretic bases for the rings under study (Oberdieck, 2019).
• Physics and gravity: Dgla and $L_\infty$ actions orchestrate the symmetry reduction of field theories. In Palatini–Cartan gravity, these actions ensure the imposition of global constraints on the geometry, such as forcing spherically symmetric solutions or flatness, with deep implications for the structure and physical properties (e.g., ADM mass) of solutions (Grady, 16 Sep 2025).

• (Cautis et al., 2010): “Braiding via geometric Lie algebra actions”
• (Zambon et al., 2010): “Higher Lie algebra actions on Lie algebroids”
• (Mehta et al., 2012): “L-infinity algebra actions”
• (Buchholz et al., 2012): “Lie Algebras of Derivations and Resolvent Algebras”
• (Meinrenken, 2014): “Dirac actions and Lu's Lie algebroid”
• (Brahic et al., 2017): “$L_{\infty}$-actions of Lie algebroids”
• (Mammadova et al., 2019): “Lie 2-algebra moment maps in multisymplectic geometry”
• (Munthe-Kaas et al., 2019): “Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds”
• (Bergshoeff et al., 2019): “Lie Algebra Expansions and Actions for Non-Relativistic Gravity”
• (Micco, 2019): “Compatible actions of Lie algebras”
• (Oberdieck, 2019): “A Lie algebra action on the Chow ring of the Hilbert scheme of points of a K3 surface”
• (Kasikci et al., 2021): “Lie Algebra Expansions, Non-Relativistic Matter Multiplets and Actions”
• (Lee, 30 Jan 2025): “Four bases for the Onsager Lie algebra related by a $\mathbb{Z}_2 \times \mathbb{Z}_2$ action”
• (Dokuchaev et al., 6 May 2025): “Inverse semialgebras and partial actions of Lie algebras”
• (Grlj et al., 2 Jul 2025): “Action of the Witt algebra on categorified quantum groups”
• (Grady, 16 Sep 2025): “DGLA Actions: An Application in GR”
• (Bonneau et al., 16 Feb 2026): “Actions of Lie 2-algebras and comomentum maps”