pith. sign in

arxiv: 2606.30630 · v1 · pith:BEUVKLVYnew · submitted 2026-06-29 · ✦ hep-th · gr-qc· math-ph· math.MP

Poisson bracket and L_infty algebras

Pith reviewed 2026-06-30 04:43 UTC · model grok-4.3

classification ✦ hep-th gr-qcmath-phmath.MP
keywords Poisson bracketL∞ algebrasLagrangian field theoryPeierls formulasymplectic structurehomological algebrap-adic string theory
0
0 comments X

The pith

The Poisson bracket in L∞ algebra descriptions of Lagrangian field theories equals the Peierls formula when the proposed symplectic structure is used.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the Poisson bracket of fields in a Lagrangian theory, when formulated via L∞ algebras, follows from the recently proposed symplectic structure through the standard Peierls construction. This identification holds in the algebraic setting and extends to cases with extra structure such as p-adic string theory. The authors also recast the inverse relation between the bracket and the symplectic form as a statement in homological algebra.

Core claim

In the L∞ algebra formulation of a Lagrangian field theory, the proposed symplectic structure implies that the associated Poisson bracket is computed through the Peierls formula. This holds even in cases like p-adic string theory with additional complications, and the inverse relation between Poisson bracket and symplectic structure admits an elegant homological algebra interpretation.

What carries the argument

The symplectic structure on the L∞ algebra, which makes the Poisson bracket obtainable via the Peierls formula.

Load-bearing premise

The recently proposed symplectic structure on the L∞ algebra is the correct one for the given Lagrangian field theory and the Peierls formula applies directly in this algebraic setting.

What would settle it

Explicit computation of the Poisson bracket for a simple scalar field theory using both the L∞ symplectic structure and the classical Peierls formula, checking whether the two expressions agree.

Figures

Figures reproduced from arXiv: 2606.30630 by Atakan Hilmi F{\i}rat, Igor Khavkine, Theodore Erler, Vin\'icius Bernardes.

Figure 3.1
Figure 3.1. Figure 3.1: The retarded propagator ∆R Φ creates a solution which vanishes in the distant past, while the advanced propagator ∆A Φ creates a solution which vanishes in the distant future, in response to a force fΦ. which is annihilated by QΦ on account of (3.2) QΦ∆ causal Φ = 0 . (3.6) The causal propagator is not an inverse for QΦ, but the terminology is standard. The causal propagator is cyclic on account of (3.4)… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Advanced and retarded propagators for the nonrelativistic particle. [PITH_FULL_IMAGE:figures/full_fig_p014_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: The blue dots represent the poles of the propagator in [PITH_FULL_IMAGE:figures/full_fig_p017_4_2.png] view at source ↗
read the original abstract

We describe the Poisson bracket of a Lagrangian field theory expressed in the framework of $L_\infty$ algebras. We show that the recently proposed symplectic structure implies that the associated Poisson bracket can be computed through the Peierls formula. We consider Poisson brackets in $p$-adic string theory, where interesting complications arise. In addition we give an elegant interpretation of the inverse relation between the Poisson bracket and symplectic structure in the language of homological algebra, extending some ideas in the mathematical physics literature.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript describes the Poisson bracket of a Lagrangian field theory within the L_∞-algebra framework. It shows that a recently proposed symplectic structure on the L_∞ algebra implies that the associated Poisson bracket can be obtained via the Peierls formula. The authors examine the construction in p-adic string theory, where complications arise, and provide a homological-algebra interpretation of the inverse relation between the Poisson bracket and the symplectic structure, extending prior ideas in the mathematical-physics literature.

Significance. If the central implication holds, the work supplies a concrete link between L_∞ structures and the classical Poisson bracket of Lagrangian field theory, which may prove useful for symmetry analysis and deformation quantization in theories with higher brackets. The explicit appeal to the Peierls formula and the homological-algebra reading of the inverse relation are strengths that connect the algebraic setting to standard field-theory tools. The p-adic example is handled with appropriate caution, illustrating both applicability and limitations without overclaiming generality.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'interesting complications arise' in the p-adic case is left unspecified; a single sentence indicating the nature of the difficulty (e.g., convergence or locality issues) would improve readability without lengthening the abstract.
  2. The homological-algebra interpretation of the inverse relation is presented as extending existing literature, but the precise prior references and the exact extension (e.g., which functor or resolution is newly employed) are not cross-referenced in the visible text; adding one or two explicit citations would strengthen the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as the recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper's central claim is that a given symplectic structure on an L_infty algebra implies the Poisson bracket is recoverable via the Peierls formula. No equations, fitted parameters, or self-citations are exhibited in the provided material that reduce the implication to a definition or prior input by construction. The p-adic example is presented as an application with noted complications rather than a load-bearing step. Absent any quoted reduction of the form 'Eq. X equals input Y by construction' or a uniqueness theorem imported solely via self-citation, the derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.1-grok · 5619 in / 1008 out tokens · 37404 ms · 2026-06-30T04:43:22.795170+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

37 extracted references · 23 canonical work pages · 12 internal anchors

  1. [1]

    Covariant phase space andL ∞ algebras,

    V. Bernardes, T. Erler and A. H. Fırat, “Covariant phase space andL ∞ algebras,” JHEP09, 057 (2025) [arXiv:2506.20706 [hep-th]]

  2. [2]

    Conserved charges and $L_\infty$ algebras

    V. Bernardes, T. Erler and A. H. Fırat, “Conserved charges andL ∞ algebras,” [arXiv:2606.26224 [hep-th]]

  3. [3]

    $L_{\infty}$ Algebras and Field Theory

    O. Hohm and B. Zwiebach, “L ∞ Algebras and Field Theory,” Fortsch. Phys.65, no.3-4, 1700014 (2017) [arXiv:1701.08824 [hep-th]]

  4. [4]

    L∞-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism,

    B. Jurˇ co, L. Raspollini, C. S¨ amann and M. Wolf, “L∞-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism,” Fortsch. Phys.67, no.7, 1900025 (2019) [arXiv:1809.09899 [hep-th]]

  5. [5]

    Covariant description of canonical formalism in geometrical theories,

    C. Crnkovi´ c and E. Witten, “Covariant description of canonical formalism in geometrical theories,” inThree hundred years of gravitation, eds. S. W. Hawking and W. Israel (Cambridge University Press, Cambridge, 1987) pp. 676–684

  6. [6]

    Symplectic Geometry of the Covariant Phase Space, Superstrings and Super- space,

    C. Crnkovi´ c, “Symplectic Geometry of the Covariant Phase Space, Superstrings and Super- space,” Class. Quant. Grav.5, 1557-1575 (1988). 24

  7. [7]

    Action Principles and Global Geometry,

    G. J. Zuckerman, “Action Principles and Global Geometry,” Conf. Proc. C8607214, 259-284 (1986) Print-89-0321 (Yale)

  8. [8]

    Local symmetries and constraints,

    J. Lee and R. M. Wald, “Local symmetries and constraints,” J. Math. Phys.31, 725-743 (1990)

  9. [9]

    String Field Theory: A Modern Introduction,

    H. Erbin, “String Field Theory: A Modern Introduction,” Lect. Notes Phys.980, 1-421 (2021) 2021, ISBN 978-3-030-65320-0, 978-3-030-65321-7 [arXiv:2301.01686 [hep-th]]

  10. [10]

    Four Lectures on Closed String Field Theory,

    T. Erler, “Four Lectures on Closed String Field Theory,” Phys. Rept.851, 1-36 (2020) [arXiv:1905.06785 [hep-th]]

  11. [11]

    Four lectures on analytic solutions in open string field theory,

    T. Erler, “Four lectures on analytic solutions in open string field theory,” Phys. Rept.980, 1-95 (2022) [arXiv:1912.00521 [hep-th]]

  12. [12]

    String Field Theory: A Review,

    A. Sen and B. Zwiebach, “String Field Theory: A Review,” [arXiv:2405.19421 [hep-th]]

  13. [13]

    Symplectic structure in open string field theory. Part I. Rolling tachyons,

    V. Bernardes, T. Erler and A. H. Fırat, “Symplectic structure in open string field theory. Part I. Rolling tachyons,” JHEP02, 063 (2026) [arXiv:2511.03777 [hep-th]]

  14. [14]

    Symplectic structure in open string field theory. Part II. Sliding lump,

    V. Bernardes, T. Erler and A. H. Fırat, “Symplectic structure in open string field theory. Part II. Sliding lump,” JHEP02, 064 (2026) [arXiv:2511.15781 [hep-th]]

  15. [15]

    Symplectic structure in open string field theory III: Electric field

    V. Bernardes, T. Erler and A. H. Fırat, “Symplectic structure in open string field theory. Part III. Electric field,” JHEP06, 052 (2026) [arXiv:2604.01273 [hep-th]]

  16. [16]

    D-brane tension as central charge,

    V. Bernardes, T. Erler and A. H. Fırat, “D-brane tension as central charge,”to appear

  17. [17]

    The Commutation laws of relativistic field theory,

    R. E. Peierls, “The Commutation laws of relativistic field theory,” Proc. Roy. Soc. Lond. A 214, 143-157 (1952)

  18. [18]

    Covariant Poisson Brackets in Geometric Field Theory

    M. Forger and S. V. Romero, “Covariant Poisson brackets in geometric field theory,” Commun. Math. Phys.256(2005) 375–410, [math-ph/0408008]

  19. [19]

    Covariant phase space, constraints, gauge and the Peierls formula

    I. Khavkine, “Covariant phase space, constraints, gauge and the Peierls formula,” Int. J. Mod. Phys. A29, no.5, 1430009 (2014) [arXiv:1402.1282 [math-ph]]

  20. [20]

    The BEF Symplectic Form: A Lagrangian Perspective

    M. Ali and G. Stettinger, “The BEF Symplectic Form: A Lagrangian Perspective,” [arXiv:2604.07334 [hep-th]]

  21. [21]

    Covariant theory of asymptotic symmetries, conservation laws and central charges

    G. Barnich and F. Brandt, “Covariant theory of asymptotic symmetries, conservation laws and central charges,” Nucl. Phys. B633, 3-82 (2002) [arXiv:hep-th/0111246 [hep-th]]

  22. [22]

    Nonarchimedean String Dynamics,

    L. Brekke, P. G. O. Freund, M. Olson and E. Witten, “Nonarchimedean String Dynamics,” Nucl. Phys. B302, 365-402 (1988)

  23. [23]

    Secondary Calculus and the Covariant Phase Space

    L. Vitagliano, “Secondary Calculus and the Covariant Phase Space,” J. Geom. Phys.59, 426-447 (2009) [arXiv:0809.4164 [math.DG]]. 25

  24. [24]

    DeWitt,The Global Approach to Quantum Field Theory, Vols

    B. DeWitt,The Global Approach to Quantum Field Theory, Vols. I & II, Oxford University Press, 2003

  25. [25]

    Algebra of diffeomorphism-invariant observables in Jackiw- Teitelboim gravity,

    D. Harlow and J. q. Wu, “Algebra of diffeomorphism-invariant observables in Jackiw- Teitelboim gravity,” JHEP05, 097 (2022) [arXiv:2108.04841 [hep-th]]

  26. [26]

    Dynamics with Infinitely Many Derivatives: The Initial Value Problem

    N. Barnaby and N. Kamran, “Dynamics with infinitely many derivatives: The Initial value problem,” JHEP02, 008 (2008) [arXiv:0709.3968 [hep-th]]

  27. [27]

    The Problem of Nonlocality in String Theory,

    D. A. Eliezer and R. P. Woodard, “The Problem of Nonlocality in String Theory,” Nucl. Phys. B325, 389 (1989)

  28. [28]

    Initial value problem in string-inspired nonlocal field theory,

    H. Erbin, A. H. Fırat and B. Zwiebach, “Initial value problem in string-inspired nonlocal field theory,” JHEP01, 167 (2022) [arXiv:2111.03672 [hep-th]]

  29. [29]

    Models of free quantum field theories on curved backgrounds

    M. Benini, C. Dappiaggi, “Models of free quantum field theories on curved backgrounds.” In: R. Brunetti, C. Dappiaggi, K. Fredenhagen, J. Yngvason (eds.),Advances in Algebraic Quantum Field Theory. Springer (2015). [arXiv:1505.04298[math-ph]]

  30. [30]

    Wald,Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics, Uni- versity Of Chicago Press, Chicago, IL, (1994)

    R. Wald,Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics, Uni- versity Of Chicago Press, Chicago, IL, (1994)

  31. [31]

    B¨ ar, N

    C. B¨ ar, N. Ginoux, and F. Pfl¨ affle,Wave equations on Lorentzian Manifolds and Quantization, European Mathematical Society, 2007

  32. [32]

    Green-hyperbolic operators on globally hyperbolic spacetimes

    C. B¨ ar, “Green-hyperbolic operators on globally hyperbolic spacetimes,” Commun. Math. Phys.333, 1585 (2015) [arXiv:1310.0738[math-ph]]

  33. [33]

    Green Hyperbolic Complexes on Lorentzian Mani- folds,

    M. Benini, G. Musante and A. Schenkel, “Green Hyperbolic Complexes on Lorentzian Mani- folds,” Commun. Math. Phys.403, no.2, 699-744 (2023) [arXiv:2207.04069 [math-ph]]

  34. [34]

    Weibel,An introduction to homological algebra, Cambridge University Press, Cambridge, (1994)

    C. Weibel,An introduction to homological algebra, Cambridge University Press, Cambridge, (1994)

  35. [35]

    As- pects of (quantum) field theory on curved spacetimes, particularly in the presence of bound- aries,

    I. Khavkine,MathOverflowquerryDensity of Laplace image, MO208985; U. Lupo, “As- pects of (quantum) field theory on curved spacetimes, particularly in the presence of bound- aries,” Ph.D. Thesis, Theorem 5.2.3

  36. [36]

    E. H. Spanier,Algebraic Topology, McGraw-Hill, New York, 1966

  37. [37]

    Local BRST cohomology in gauge theories

    G. Barnich, F. Brandt, M. Henneaux, “Local BRST cohomology in gauge theories,” Physics Reports338, 439 (2000). [arXiv:hep-th/0002245 [hep-th]]. 26