Schreiber L-∞ algebras of local observables from higher prequantum bundles

An article that we have written:

on L-∞ algebraic aspects of the generalization of prequantum field theory to higher geometry.

The companion article

provides more background and context. The followup

shows how classical field theory in its local de Donder-Weyl theory-formulation is naturally formulated in terms of these higher L L_\infty-algebras of observables.


The second author has defined a class of L-∞ algebras that are naturally associated with manifolds equipped with closed higher-degree differential forms, and that reduce to Poisson bracket Lie algebras in the case of symplectic manifolds. Here we demonstrate that these L-∞ algebras of local observables are the infinitesimal autoequivalences of higher prequantum bundles covering Hamiltonian symplectomorphisms. Hence, these algebras fit into a robust theory of higher geometric prequantization. We exhibit an explicit dg-Lie algebra model of such infinitesimal autoequivalences and a homotopy equivalence of this with the L-∞ algebra of local observables. By truncation of the connection data for the higher prequantum bundle, this produces higher analogues of the Lie algebra of sections of the Atiyah Lie algebroid and of the Lie 2-algebra of sections of the Courant Lie 2-algebroid. Finally we exhibit the L-∞ cocycle that realizes the L-∞ algebras of local observables as Kostant-Souriau-type L L_\infty-extension of the Hamiltonian vector fields. When restricted along a Hamiltonian action this yields L L_\infty-analogs of the Heisenberg Lie algebras and of their classifying cocycle, in particular recovering the string Lie 2-algebra of a semisimple Lie algebra as well as the 3-cocycle that classifies it.

Last revised on March 14, 2023 at 14:02:47. See the history of this page for a list of all contributions to it.