Lagrangian Algebra: Structures & Applications

• Lagrangian algebra is a framework that derives algebraic structures from Lagrangian data, linking invariant polynomials, Floer homology, and gauge symmetries.
• In higher-dimensional gravity, invariant-polynomial algebras on Lorentz Lie algebras generate Lovelock terms with fixed coefficients, connecting gravitational dynamics to topological invariants.
• In symplectic topology and gauge theory, Lagrangian algebra underpins quantum products, Floer and deformation algebras, and categorical structures that inform both theory and computation.

“Lagrangian algebra” is not a single universally fixed term in contemporary mathematical physics. Across the literature it denotes algebraic structures generated by Lagrangian data, algebraic constraints that determine admissible Lagrangians, or algebraic categories whose morphisms are Lagrangian objects. In current arXiv usage, the phrase ranges from the invariant-polynomial algebra underlying Lovelock gravity to the ring, module, $A_\infty$, Maurer–Cartan, $L_\infty$, PROP, and bialgebraic structures attached to Lagrangian submanifolds, gauge systems, ribbon graphs, and symplectic relations (Verwimp, 2021, 0708.4221, Louis-Martinez, 2011, Ciaglia et al., 2021, Booth et al., 2024, Kleptsyn et al., 2014).

1. Scope and recurrent meaning

The documented usages share a common pattern: a Lagrangian object is not treated merely as a variational density or submanifold, but as the source of a structured algebraic apparatus. In higher-dimensional gravity, the admissible Lagrangians are generated from invariant polynomials on $\mathfrak{so}(1,D-1)$ via the Weil homomorphism. In symplectic topology, a Lagrangian submanifold carries quantum product, module, Frobenius, and Maurer–Cartan structures. In constrained mechanics and local field theory, the Lagrangian gives rise to gauge structure functions or an $L_\infty$-algebra of local observables. In graphical and combinatorial settings, Lagrangian relations and Lagrangian subspaces themselves form dagger-compact PROPs or bialgebras (Verwimp, 2021, 0708.4221, Delgado, 2018, Booth et al., 2024, Kleptsyn et al., 2014).

This suggests that “Lagrangian algebra” is best understood as a family of algebraic formalisms attached to Lagrangian data rather than as a single doctrine. A common misconception is to identify the phrase exclusively with Floer-theoretic “algebras of Lagrangians.” The published uses instead span gravity, gauge theory, symplectic topology, combinatorics, and operator-algebraic approaches to quantum mechanics (0708.4221, Louis-Martinez, 2011, Ciaglia et al., 2021, Booth et al., 2024).

2. Invariant-polynomial algebras in higher-dimensional gravity

In higher-dimensional gravity, the phrase acquires a precise meaning through the Lovelock construction. For a $D$-dimensional spacetime with orthonormal coframe $e^a$ and curvature $R^{ab}$, the $p$-th Lovelock term is

$$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$

and the full Lovelock Lagrangian is the sum over $p\le \lfloor D/2\rfloor$. The higher-curvature densities are not arbitrary: they arise from invariant polynomials on the Lorentz Lie algebra $L_\infty$0, fed through the Weil homomorphism (Verwimp, 2021).

The relevant algebra is the graded commutative algebra $L_\infty$1 of Ad-invariant polynomials on $L_\infty$2, equivalently the algebra $L_\infty$3 of symmetric invariant multilinear maps. For a principal $L_\infty$4-bundle with connection $L_\infty$5, curvature $L_\infty$6, and the $L_\infty$7-valued $L_\infty$8-form $L_\infty$9, the paper evaluates a degree-$\mathfrak{so}(1,D-1)$0 invariant $\mathfrak{so}(1,D-1)$1 on

$\mathfrak{so}(1,D-1)$2

Its multilinear expansion generates, in even dimension $\mathfrak{so}(1,D-1)$3, the entire Lovelock tower together with topological characteristic terms. The coefficients are algebraically fixed: $\mathfrak{so}(1,D-1)$4 In that formulation, the non-topological Lovelock densities appear as the mixed terms with $\mathfrak{so}(1,D-1)$5 curvature factors and $\mathfrak{so}(1,D-1)$6 factors of $\mathfrak{so}(1,D-1)$7, while the pure-curvature terms yield the Euler density $\mathfrak{so}(1,D-1)$8 and, when $\mathfrak{so}(1,D-1)$9 is even, the top Pontryagin form $L_\infty$0 (Verwimp, 2021).

The central invariant is built from the Pfaffian

$L_\infty$1

together with a degree-$L_\infty$2 invariant $L_\infty$3 from the characteristic polynomial, assembled into $L_\infty$4, and then passed to the symmetric multilinear form $L_\infty$5. The same $L_\infty$6 thus controls both dynamical gravitational terms and characteristic classes. This is the sense in which an underlying algebra of invariant polynomials governs higher-dimensional gravity (Verwimp, 2021).

3. Symplectic topology: quantum, Floer, and deformation algebras of Lagrangians

In symplectic topology, “Lagrangian algebra” often refers to algebraic structures carried by a Lagrangian submanifold itself. In the monotone setting of Biran–Cornea, a closed connected monotone Lagrangian $L_\infty$7 with minimal Maslov number $L_\infty$8 is assigned the pearl complex

$L_\infty$9

whose differential counts strings of $D$0-holomorphic disks connected by negative gradient trajectories. Its homology $D$1 is a unital, generally non-commutative ring under a quantum product defined by three-point disk configurations, and it is also a module over the ambient quantum homology $D$2. The same framework yields augmentation, duality, and a Frobenius pairing; after extension to $D$3, it recovers Lagrangian Floer homology $D$4 (0708.4221).

A differential-forms model due to Fukaya–Oh–Ohta–Ono, as regularized by Solomon–Tukachinsky and developed further in recent work, constructs analogous structures on $D$5 from operations

$D$6

For a bounding pair $D$7, the Floer differential is $D$8, the product is represented by $D$9, and $e^a$0 becomes a unital graded algebra with unit $e^a$1. The same paper defines a left action

$e^a$2

via moduli spaces with geodesic constraints, proves that this makes $e^a$3 into a unital graded algebra over $e^a$4, constructs the closed–open map

$e^a$5

and shows that the direct action and the closed–open-induced action coincide: $e^a$6 For the $e^a$7-dimensional Clifford torus in $e^a$8, the generator of $e^a$9 acts by multiplication by a Novikov coefficient $R^{ab}$0 (Bar-Lev, 2024).

A more global geometry–algebra dictionary is developed through exact Lagrangian cobordism categories. There, immersed exact Lagrangians with markings and perturbation data form a cobordism category $R^{ab}$1; after quotienting by cabling equivalence one obtains a triangulated category

$R^{ab}$2

A triangulated functor

$R^{ab}$3

restricts on embedded objects to a triangulated equivalence with the derived Fukaya category $R^{ab}$4. Surgery cobordisms realize mapping cones and exact triangles, and immersed Lagrangians provide geometric representatives for derived objects; the paper presents this as a tautological proof that objects and structure of the derived Fukaya category can be represented through immersed Lagrangians (Biran et al., 2020).

The deformation theory of a single Lagrangian furnishes yet another meaning. If $R^{ab}$5 is the filtered $R^{ab}$6-algebra of an unobstructed compact graded Lagrangian, and $R^{ab}$7 is a formal degree-$R^{ab}$8 element, the Maurer–Cartan equation

$R^{ab}$9

defines obstruction series $p$0. The Maurer–Cartan algebra is

$p$1

and the paper identifies it with the degree-zero cohomology of the Koszul dual dga of $p$2: $p$3 When $p$4 is dual to $p$5, $p$6 is naturally isomorphic to a suitable subspace of the completion of $p$7. In mirror-symmetry terms, it gives a local rigid-analytic chart associated with $p$8 (Hong, 2020).

4. Gauge systems, local field theory, and groupoid formulations

For singular Lagrangian systems with first-class constraints, “Lagrangian algebra” refers to the algebra of gauge transformations of configuration-space variables. If

$p$9

has Hessian $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$0 of rank $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$1, null vectors $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$2 generate gauge transformations

$$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$3

Their commutator closes as

$$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$4

where $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$5 and $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$6 are second-order Lagrangian structure functions; higher Jacobi-type relations introduce third- and fourth-order tensors $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$7 and $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$8. The paper shows that these Lagrangian structure functions can be expressed entirely in terms of Hamiltonian first-class constraints $$\mathcal{L}_p = \frac{1}{(D-2p)!}\, \epsilon_{a_1\cdots a_D}\, R^{a_1a_2}\wedge\cdots\wedge R^{a_{2p-1}a_{2p}}\wedge e^{a_{2p+1}}\wedge\cdots\wedge e^{a_D},$$9, the first-order Hamiltonian structure functions $p\le \lfloor D/2\rfloor$0, and their derivatives, with

$p\le \lfloor D/2\rfloor$1

Closed Lie-type gauge algebras, open algebras, and higher structure functions are thereby organized in a single Lagrangian hierarchy (Louis-Martinez, 2011).

A different field-theoretic usage appears in the ind/pro approach to local Lagrangian field theory. Infinite jet bundles $p\le \lfloor D/2\rfloor$2 are treated as pro-finite-dimensional manifolds, and the Poincaré–Cartan form yields a local pre-multisymplectic form $p\le \lfloor D/2\rfloor$3. From $p\le \lfloor D/2\rfloor$4 one constructs an $p\le \lfloor D/2\rfloor$5-algebra of local observables whose multibrackets are given by iterated contraction with $p\le \lfloor D/2\rfloor$6. The resulting homotopy Lie algebra depends only on the cohomology class of the Lagrangian, since adding horizontal exact terms does not change the induced $p\le \lfloor D/2\rfloor$7-structure up to equivalence (Delgado, 2018).

In a groupoid reformulation of Schwinger’s picture of quantum mechanics, a q-Lagrangian is a real function $p\le \lfloor D/2\rfloor$8 on a kinematical groupoid $p\le \lfloor D/2\rfloor$9. It defines an action on the groupoid of histories,

$L_\infty$00

and hence a Dirac–Feynman-type state on the von Neumann algebra of histories. Passing from the Lie groupoid $L_\infty$01 to its Lie algebroid $L_\infty$02, one defines a c-Lagrangian

$L_\infty$03

When $L_\infty$04 is the pair groupoid of a smooth manifold, the quadratic expansion of $L_\infty$05 recovers classical Lagrangians on $L_\infty$06, of the familiar form

$L_\infty$07

Here “Lagrangian algebra” names the package consisting of the groupoid, its convolution algebra, the q-Lagrangian, and the induced infinitesimal classical theory (Ciaglia et al., 2021).

5. Graphical and combinatorial Lagrangian algebras

In categorical symplectic algebra, the term refers to algebraic theories whose morphisms are Lagrangian relations. For a field $L_\infty$08, linear and affine Lagrangian relations between standard symplectic spaces $L_\infty$09 form dagger-compact PROPs $L_\infty$10 and $L_\infty$11. The paper “Graphical Symplectic Algebra” presents $L_\infty$12 by generators and equations: grey and white spiders labeled by affine and symplectic phases, together with unary boxes encoding symplectic transforms. In scalable notation, vertices may themselves be colored by graphs, yielding compact descriptions of graph states and impedance matrices. The central presentation theorem states that the graphical PROP $L_\infty$13 is isomorphic to $L_\infty$14, while its affine-phase-free fragment $L_\infty$15 presents $L_\infty$16: $L_\infty$17 A discard completion similarly presents affine coisotropic relations (Booth et al., 2024).

The same relation-theoretic idea appears in a purely combinatorial guise for ribbon graphs. To a ribbon graph $L_\infty$18 with $L_\infty$19 edges, one associates a punctured surface $L_\infty$20, relative cycles $L_\infty$21 and $L_\infty$22, and a linear map

$L_\infty$23

from $L_\infty$24 to $L_\infty$25. Its image

$L_\infty$26

is a Lagrangian subspace of $L_\infty$27. For chord diagrams, $L_\infty$28 is exactly the row space of $L_\infty$29, so the construction generalizes the classical intersection matrix. Morse perestroikas and Vassiliev moves become explicit symplectic basis changes $L_\infty$30, $L_\infty$31, and $L_\infty$32 on $L_\infty$33. Taking spans of $L_\infty$34-orbits of all Lagrangian subspaces $L_\infty$35 produces a graded vector space

$L_\infty$36

with multiplication by direct sum and comultiplication by symplectic reduction $L_\infty$37. This yields a commutative, cocommutative bialgebra, and after quotient by 4-term elements one obtains a 4-bialgebra of $L_\infty$38-spaces analogous to the graph 4-bialgebra (Kleptsyn et al., 2014).

6. Extended physical formulations and deformed algebras

A further class of usages concerns algebraically modified Lagrangian dynamics. In viscous fluid mechanics, the metriplectic formulation in Lagrangian variables uses parcel coordinates $L_\infty$39, a canonical-looking Poisson bracket

$L_\infty$40

and a symmetric semidefinite metric bracket $L_\infty$41. The full evolution is

$L_\infty$42

with $L_\infty$43 the Hamiltonian and

$L_\infty$44

the entropy functional. In this setting the entropy is a Casimir of the Poisson algebra because the symplectic sector involves only $L_\infty$45, while $L_\infty$46 belongs to the microscopic degrees of freedom and enters dissipation through the metric bracket (Materassi, 2014).

In magnetostatics with a minimal length, a deformed Heisenberg algebra of Kempf–Mangano–Mann type induces a deformed derivative

$L_\infty$47

and hence a higher-derivative Lagrangian

$L_\infty$48

This is the magnetostatic sector of Abelian Lee–Wick/Podolsky electrodynamics and matches the first-order truncation of the Gaete–Spallucci nonlocal model under $L_\infty$49. The paper also quotes the bound

$L_\infty$50

from the muon gyromagnetic moment (Moayedi et al., 2013).

In another gravitational usage, gauging the Clifford algebra generated by $L_\infty$51 and $L_\infty$52 leads to a gauge field

$L_\infty$53

curvature $L_\infty$54, and quadratic gauge action $L_\infty$55. The resulting gravitational Lagrangian contains the Einstein–Hilbert term, a quadratic curvature term, a cosmological term, and a torsion term. In the weak-field regimes analyzed in the paper—static spherically symmetric fields, isotropic cosmology, and asymptotic rotating sources—no contradiction with General Relativity tests is found (Pansart, 2016).

Taken together, these constructions show that “Lagrangian algebra” can name an invariant-polynomial algebra generating gravitational densities, a quantum or Floer algebra carried by a Lagrangian submanifold, a gauge algebra of Lagrangian symmetries, a homotopy algebra of local observables, a PROP of Lagrangian relations, a bialgebra of Lagrangian subspaces, or an algebraic deformation that dictates the form of a physical Lagrangian. The recurring theme is not terminological uniformity but the systematic extraction of algebraic structure from Lagrangian geometry or from algebraic data that constrain Lagrangian dynamics (Verwimp, 2021, 0708.4221, Louis-Martinez, 2011, Booth et al., 2024).