⚛️ high-energy theory

Poisson bracket and $L_\infty$ algebras

This paper establishes a connection between the Poisson bracket of Lagrangian field theory and $L_\infty$ algebras by demonstrating that a proposed symplectic structure yields the Peierls formula, interpreting the inverse relation between these structures via homological algebra, and applying these concepts to the complexities of $p$ -adic string theory.

Original authors: Vinícius Bernardes, Theodore Erler, Atakan Hilmi Fırat, Igor Khavkine

Published 2026-06-30

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Vinícius Bernardes, Theodore Erler, Atakan Hilmi Fırat, Igor Khavkine

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the rules of a giant, invisible game played by the universe. In physics, this game is usually described by two main tools: a map (which tells you how things move) and a rulebook (which tells you how different moves affect each other).

This paper is about connecting those two tools in a very specific, high-level way, using a new mathematical language called $L_\infty$ algebras. Here is the breakdown of what the authors are doing, explained simply.

1. The Big Picture: The Map and the Rulebook

In physics, there is a "map" called the Symplectic Structure. Think of this as a giant, invisible grid that defines the shape of the game board. It tells you how the state of the universe is organized.

Then, there is the "rulebook" called the Poisson Bracket. This is the rule that says, "If I push this button here, what happens over there?" It calculates how one physical quantity (like energy) changes when you tweak another (like position).

Usually, physicists know how to draw the map and how to write the rulebook separately. But they are actually two sides of the same coin. The paper's main goal is to show exactly how to turn the Map into the Rulebook.

2. The Magic Tool: The "Causal Propagator"

To flip the map into the rulebook, the authors use a tool called the Causal Propagator.

Imagine you drop a stone in a pond.

The Retarded Propagator is the ripple that moves forward in time from where you dropped the stone.
The Advanced Propagator is a weird, hypothetical ripple that moves backward in time to meet the stone exactly when you drop it.

The Causal Propagator is the difference between these two. It's like a "time-slicer" that knows exactly how a disturbance travels from the past to the future without getting confused. The paper proves that if you use this "time-slicer," you can mathematically invert the Map to get the Rulebook. This confirms a famous idea from the 1960s (by a physicist named Peierls) but does it using this new, modern mathematical language.

3. The Two-Way Street: Observables and Symmetries

The paper highlights a beautiful two-way street in physics:

From Rule to Action: If you have a physical quantity you can measure (an "observable"), you can use the Causal Propagator to find a "symmetry" (a way to move the system without changing the physics).
From Action to Rule: Conversely, if you find a symmetry (like rotating a system), you can use the same tools to find the physical quantity that stays constant (a "conserved charge").

It's like saying: "If I know how to dance without changing the music, I can figure out the rhythm. If I know the rhythm, I can figure out the dance."

4. The Examples: A Bouncing Ball and a Weird String

The authors test their ideas with two examples:

The Bouncing Ball (Galilean Algebra): They look at a simple non-relativistic particle (like a ball). They show that their new math correctly predicts the "Galilean symmetry" (how the ball moves when you change your speed). Crucially, they show that the "mass" of the ball appears as a special "central charge" in the math, which is a known fact in physics. This proves their new method works for simple things.
The Weird String (p-adic String Theory): They try to apply this to a very strange, theoretical version of string theory. Here, they hit a snag. The math produces an infinite number of "poles" (mathematical singularities) that go off to infinity in weird directions.
- The Problem: Because these poles go everywhere, you can't draw a clean line to separate "past" from "future." Without that separation, you can't define the "Advanced" and "Retarded" ripples properly.
- The Conclusion: In this specific weird theory, the Rulebook (Poisson bracket) might not exist unless you throw away the most unstable, weird parts of the theory. The paper doesn't say this is a solution; it just says the math gets broken here.

5. The Deep Dive: The "Peierls Complex"

In the final section, the authors get very technical (using "homological algebra," which is like advanced accounting for shapes and holes). They build a structure they call the Peierls Complex.

Think of this as a safety net.

Usually, the "Causal Propagator" (the time-slicer) isn't perfectly invertible because it has "holes" (gauge symmetries) where information gets lost.
The authors build a complex mathematical net (a sequence of spaces) that catches these holes.
They show that inside this net, the "Map" and the "Rulebook" are perfectly inverses of each other. They even provide a specific formula (a "contracting homotopy") that acts like a zipper, pulling the two concepts together and proving they are mathematically identical in this framework.

Summary

This paper is a mathematical proof that connects the shape of the universe (Symplectic structure) to the rules of interaction (Poisson bracket) using a "time-slicer" tool (Causal Propagator).

What works: It perfectly explains simple physics (like a particle) and confirms that mass acts as a central rule.
What's tricky: It struggles with very complex, unstable theories (like p-adic strings) where the "time-slicer" breaks down.
The Big Win: It provides a rigorous, elegant mathematical framework (the Peierls Complex) that unifies these concepts, showing that in the right mathematical setting, the map and the rulebook are just two sides of the same coin.

Technical Summary: Poisson Bracket and $L_\infty$ Algebras

Problem Statement
The paper addresses the formulation of Hamiltonian mechanics for field theories that may be nonlocal or possess higher-derivative terms, where the standard canonical formalism (relying on a finite number of derivatives and a well-defined phase space at a fixed time) breaks down. Specifically, the authors aim to describe the Poisson bracket of a Lagrangian field theory within the framework of $L_\infty$ algebras. A central challenge is to invert the symplectic structure $\Omega$ to define the Poisson bracket without reference to the derivative structure of the Lagrangian, thereby accommodating theories where the causal structure is complex or non-standard.

Methodology
The authors utilize the covariant phase space formalism combined with the algebraic structure of $L_\infty$ algebras. The formalism is built upon a vector space $H$ containing classical fields, equipped with a Batalin-Vilkovisky (BV) inner product $\omega$ and an Euler-Lagrange state $q_\Phi$ . The dynamics are governed by a kinetic operator $Q_\Phi$ (the variation of $q_\Phi$ ).

Key methodological steps include:

Symplectic Structure Definition: The symplectic form is defined as $\Omega = \frac{1}{2}\omega(\delta\Phi, [Q_\Phi, \sigma]\delta\Phi)$ , where $\sigma$ is a "sigmoid" operator interpolating between 0 and 1 at temporal infinity.
Propagator Construction: The authors define retarded ( $\Delta^R_\Phi$ ) and advanced ( $\Delta^A_\Phi$ ) propagators as inverses of $Q_\Phi$ on specific subspaces of fields vanishing in the past or future, respectively. The causal propagator is defined as $\Delta^{\text{causal}}_\Phi = \Delta^R_\Phi - \Delta^A_\Phi$ .
Observable-Symmetry Duality: The paper establishes a correspondence between on-shell observables and symmetries of the symplectic structure. An observable $F$ with characteristic state $f_\Phi$ generates a Hamiltonian vector field $\xi_F = \Delta^{\text{causal}}_\Phi f_\Phi$ . Conversely, a symmetry $\xi$ generates an observable with characteristic state $f_\Phi = [Q_\Phi, \sigma]\xi_\Phi$ .
Homological Algebra: To rigorously handle the inverse relation between the Poisson bracket and the symplectic structure, the authors construct the "Peierls complex," an exact sequence involving the causal propagator and the operator $[Q_\Phi, \sigma]$ . They explicitly construct a contracting homotopy for this complex using the sigmoid and propagators.

Key Contributions and Results

Peierls Formula in $L_\infty$ Framework: The authors demonstrate that the Poisson bracket for on-shell observables $F$ and $G$ (with characteristic states $f_\Phi$ and $g_\Phi$ ) is given by the Peierls formula:
$[F, G] = \omega(f_\Phi, \Delta^{\text{causal}}_\Phi g_\Phi).$
This confirms that the symplectic structure defined in their previous work is inverted by the causal propagator, consistent with the covariant phase space formalism.
Symmetry Algebra and Central Charges: The paper derives the algebra of conserved charges associated with symmetries. It shows that the Poisson bracket of two charges $F_\xi$ and $F_\gamma$ yields the charge of the Lie bracket of the symmetries plus a central charge $C_{\xi,\gamma}$ :
$[F_\xi, F_\gamma] + F_{[\xi,\gamma]} = C_{\xi,\gamma}.$
The central charge is explicitly given by a boundary term involving the generating parameters and the sigmoid operator.
Application to Galilean Particle: As a verification, the formalism is applied to a nonrelativistic particle. The calculation of the Poisson bracket between momentum and Galilean boost generators successfully reproduces the Bargmann algebra, with the particle's mass appearing as the central extension.
Analysis of $p$ -adic String Theory: The authors investigate the definition of the Poisson bracket in $p$ -adic string theory around the unstable vacuum. They identify a significant obstruction: the kinetic operator possesses an infinite set of poles with unbounded imaginary parts (representing higher-derivative instabilities). This prevents the existence of a contour for the advanced propagator that lies above all poles, making a consistent definition of the Poisson bracket for all solutions impossible. The paper argues that a Poisson bracket may only be defined if the higher-derivative modes are discarded, though the consistency of this truncation in the interacting theory remains unclear.
The Peierls Complex: A major theoretical contribution is the construction of the "Peierls complex," an exact sequence that unifies the treatment of gauge symmetries and the inversion of the causal propagator. By introducing a contracting homotopy $\Omega$ (a matrix operator involving $\sigma$ , $\Delta^R$ , and $\Delta^A$ ), the authors prove that $[Q_\Phi, \sigma]$ and $\Delta^{\text{causal}}_\Phi$ are mutually inverse on cohomology. This provides a homological algebra interpretation of the inverse relation between the symplectic structure and the Poisson bracket.

Significance
The paper claims to provide a rigorous, covariant definition of the Poisson bracket for field theories formulated in $L_\infty$ algebras, extending the applicability of Hamiltonian mechanics to nonlocal theories where standard canonical methods fail. By establishing the Peierls formula as the inverse of the symplectic structure within this algebraic framework, the work bridges the gap between the covariant phase space formalism and homological algebra.

The authors highlight that the construction of the Peierls complex and the explicit contracting homotopy simplifies and generalizes previous work on the subject, particularly in the context of gauge symmetries. The analysis of $p$ -adic string theory serves as a critical test case, revealing that while the formalism is powerful, the existence of a well-defined Poisson bracket is contingent on the spectral properties of the kinetic operator (specifically the behavior of poles in the complex plane). The paper concludes that the inverse relation between the Poisson bracket and symplectic structure can be realized as the differential of an exact sequence, offering a new perspective relevant to algebraic quantum field theory in curved spacetime.