pith. sign in

arxiv: 2407.15287 · v4 · submitted 2024-07-21 · 🧮 math-ph · math.DG· math.MP· math.RA

Poisson bundles over unordered configurations

Alessandra Frabetti , Olga Kravchenko , Leonid Ryvkin This is my paper

Pith reviewed 2026-05-23 22:59 UTC · model grok-4.3

classification 🧮 math-ph math.DGmath.MPmath.RA
keywords Poisson algebra bundleunordered configuration spaceCauchy tensor productHadamard tensor productPeierls bracketclassical field theorymultilocal observables2-monoidal category
0
0 comments X

The pith

A Poisson algebra bundle over unordered configuration spaces is constructed so its distributional sections represent multilocal observables in classical field theory.

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

The authors build a Poisson algebra bundle on vector bundles over the unordered configuration space of a manifold M. They equip these bundles with a 2-monoidal category structure using the usual Hadamard tensor product and a newly defined Cauchy tensor product, which symmetrizes the external tensor product. Symmetric algebras are formed with respect to each product, and their combination defines a Poisson structure. This construction is designed to reproduce the Peierls bracket that arises from the causal propagator in field theory. The resulting bundle's sections are intended to serve as multilocal observables, with explicit applications planned for a follow-up paper.

Core claim

We construct a Poisson algebra bundle whose distributional sections are suitable to represent multilocal observables in classical field theory. To do this, we work with vector bundles over the unordered configuration space of a manifold M and consider the structure of a 2-monoidal category given by the usual (Hadamard) tensor product of bundles and a new (Cauchy) tensor product which provides a symmetrized version of the usual external tensor product of vector bundles on M. We use the symmetric algebras with respect to both products to obtain a Poisson 2-algebra bundle mimicking the construction of Peierls bracket from the causal propagator in field theory. The explicit description of the 2-

What carries the argument

The Cauchy tensor product, a symmetrized version of the external tensor product of vector bundles, which with the Hadamard tensor product forms a 2-monoidal category whose symmetric algebras yield the Poisson 2-algebra structure.

If this is right

  • Distributional sections of the Poisson algebra bundle represent multilocal observables in classical field theory.
  • The Poisson structure on the bundle reproduces the Peierls bracket derived from the causal propagator.
  • Vector bundles over unordered configuration spaces carry a natural 2-monoidal structure for defining Poisson algebras.
  • The framework provides a geometric setting for field theory observables that respects the unordered nature of point configurations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction may allow field observables to be defined without artificially ordering spacetime points.
  • The 2-algebra could serve as a starting point for deforming the Poisson bracket into a star product for quantization.
  • Similar techniques might apply to other algebraic structures in field theory on curved backgrounds.
  • Direct verification on low-dimensional manifolds such as the circle would test whether the bracket matches known cases.

Load-bearing premise

The symmetrized Cauchy tensor product combined with the Hadamard product yields symmetric algebras whose Poisson structure correctly reproduces the Peierls bracket construction from the causal propagator.

What would settle it

An explicit computation for a free scalar field on Minkowski space that shows the bracket induced by the bundle's Poisson structure differs from the standard Peierls bracket would falsify the construction.

read the original abstract

In this paper we construct a Poisson algebra bundle whose distributional sections are suitable to represent multilocal observables in classical field theory. To do this, we work with vector bundles over the unordered configuration space of a manifold $M$ and consider the structure of a $2$-monoidal category given by the usual (Hadamard) tensor product of bundles and a new (Cauchy) tensor product which provides a symmetrized version of the usual external tensor product of vector bundles on $M$. We use the symmetric algebras with respect to both products to obtain a Poisson 2-algebra bundle mimicking the construction of Peierls bracket from the causal propagator in field theory. The explicit description of observables from this Poisson algebra bundle will be carried out in a forthcoming paper.

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

1 major / 0 minor

Summary. The paper constructs a Poisson algebra bundle over the unordered configuration space of a manifold M. Vector bundles are equipped with a 2-monoidal structure given by the Hadamard tensor product together with a new symmetrized Cauchy tensor product (a symmetrized version of the external tensor product). Symmetric algebras are formed with respect to both products to produce a Poisson 2-algebra bundle whose distributional sections are intended to represent multilocal observables in classical field theory by mimicking the Peierls bracket induced by the causal propagator. The explicit description of observables is deferred to a forthcoming paper.

Significance. If the construction is shown to reproduce the Peierls bracket, the work would supply a geometric 2-monoidal framework for Poisson structures on distributional sections over configuration spaces, offering a potential algebraic tool for multilocal observables in classical field theory. The definition of the Cauchy tensor product constitutes a technical novelty.

major comments (1)
  1. [Abstract] Abstract: the central claim that the symmetric algebras with respect to the Hadamard and Cauchy products yield a Poisson structure that 'mimics' the Peierls bracket is unsupported by any derivation, identity, or explicit verification that the resulting bracket on distributional sections coincides with the standard Peierls bracket induced by the causal propagator.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for highlighting the potential significance of the construction. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that the symmetric algebras with respect to the Hadamard and Cauchy products yield a Poisson structure that 'mimics' the Peierls bracket is unsupported by any derivation, identity, or explicit verification that the resulting bracket on distributional sections coincides with the standard Peierls bracket induced by the causal propagator.

    Authors: We agree that the manuscript provides no explicit derivation or verification that the induced bracket on distributional sections coincides with the Peierls bracket; this verification is explicitly deferred to the forthcoming paper on the description of observables, as stated in the abstract. The present work constructs the 2-monoidal structure on the bundle of vector spaces over the unordered configuration space and forms the symmetric algebras with respect to both tensor products so that the resulting Poisson 2-algebra is set up to reproduce the algebraic features of the Peierls bracket once the observables are identified. The abstract uses the verb 'mimicking' to refer to this structural analogy rather than to a completed identity. To make the scope clearer we will revise the abstract (and the corresponding sentence in the introduction) to state explicitly that the explicit identification with the Peierls bracket and the verification of the bracket identity are reserved for the forthcoming paper. This constitutes a partial revision; the core construction and the definition of the Cauchy tensor product remain unchanged. revision: partial

Circularity Check

0 steps flagged

No significant circularity; direct algebraic construction without reduction to inputs

full rationale

The paper presents an explicit algebraic construction of a Poisson 2-algebra bundle on vector bundles over unordered configuration space, using a newly defined Cauchy tensor product (symmetrized external tensor product) together with the Hadamard product to form symmetric algebras. The abstract states that this 'mimics the construction of Peierls bracket from the causal propagator' but does not claim to derive or prove equality to the standard Peierls bracket via any identity, computation, or reduction; the suitability for multilocal observables is asserted on the basis of the definition itself. No equations, fitted parameters, self-citations, or uniqueness theorems are referenced in the provided text that would make any result equivalent to its inputs by construction. The derivation chain is therefore self-contained as a definitional setup in a 2-monoidal category.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on the existence of a Cauchy tensor product that symmetrizes the external tensor product and on the compatibility of the resulting symmetric algebras with a Poisson bracket that reproduces the Peierls structure; no explicit free parameters or invented entities are named in the abstract.

axioms (2)
  • domain assumption The Cauchy tensor product provides a symmetrized version of the usual external tensor product of vector bundles on M.
    Invoked in the abstract as the key new structure enabling the Poisson 2-algebra.
  • domain assumption Symmetric algebras with respect to both Hadamard and Cauchy products combine to form a Poisson algebra bundle.
    Central step stated without proof details in the abstract.

pith-pipeline@v0.9.0 · 5659 in / 1359 out tokens · 28948 ms · 2026-05-23T22:59:53.778089+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

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    Aguiar and S

    M. Aguiar and S. Mahajan. Monoidal functors, species and Hopf algebras , volume 29 of CRM Monogr. Ser. Providence, RI: American Mathematical Society (AMS), 2010

    work page 2010

  2. [2]

    Blohmann

    C. Blohmann. Lagrangian field theory. https://people.mpim-bonn.mpg.de/blohmann/Lagrangian _Field_ Theory.pdf, 2023

    work page 2023

  3. [3]

    F. J. Bloore. Configuration spaces of identical particle s. In Differential geometrical methods in mathematical physics, Proc. Conf. Aix-en-Provence and Salamanca 1979, L ect. Notes Math. , number 836, pages 1–8, 1980

    work page 1979

  4. [4]

    R. E. Borcherds. Renormalization and quantum field theor y. Algebra and Number Theory , 5(5):627–658, December 2011

    work page 2011

  5. [5]

    Bourbaki

    N. Bourbaki. Elements of mathematics. Algebra I. Chapters 1–3. Translat ion from the French . Springer Berlin, Heidelberg, 1989

    work page 1989

  6. [6]

    C. Brouder. Quantum field theory meets hopf algebra. Mathematische Nachrichten , 282(12):1664–1690, 2009

    work page 2009

  7. [7]

    Brouder, B

    C. Brouder, B. Fauser, A. Frabetti, and R. Oeckl. Quantum field theory and hopf algebra cohomology. Journal of Physics A: Mathematical and General , 37(22):5895–5927, 2004

    work page 2004

  8. [8]

    Brunetti, K

    R. Brunetti, K. Fredenhagen, and R. Verch. The generally covariant locality principle – a new paradigm for local quantum field theory. Commun. Math. Phys. , 237(1-2):31–68, 2003

    work page 2003

  9. [9]

    F. R. Cohen, R. L. Cohen, N. J. Kuhn, and J. L. Neisendorfer . Bundles over configuration spaces. Pac. J. Math., 104:47–54, 1983

    work page 1983

  10. [10]

    Eilenberg and S

    S. Eilenberg and S. MacLane. On the groups H(Π,n ). I. Ann. Math. (2) , 58:55–106, 1953

    work page 1953

  11. [11]

    Forger and S

    M. Forger and S. V. Romero. Covariant poisson brackets i n geometric field theory. Communications in Mathematical Physics, 256:375–410, 2005

    work page 2005

  12. [12]

    Fox and L

    R. Fox and L. Neuwirth. The braid groups. Mathematica Scandinavica, 10:119, 1962

    work page 1962

  13. [13]

    Frabetti, O

    A. Frabetti, O. Kravchenko, and L. Ryvkin. Poisson bund les and multilocal observables in field theory. in preparation, 2024

    work page 2024

  14. [14]

    I. M. Gelfand and S. V. Fomin. Calculus of variations . Prentice-Hall, Inc., Englewood Cliffs, NJ, english edition, 1963

    work page 1963

  15. [15]

    M. J. Gotay, J. Isenberg, J. E. Marsden, and R. Montgomer y. Momentum maps and classical relativistic fields. part 1: Covariant field theory. e-Print: arXiv:physics/9801019v2, 1998

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  16. [16]

    Grosser, M

    M. Grosser, M. Kunzinger, M. Oberguggenberger, and R. S teinbauer. Geometric theory of generalized func- tions with applications to general relativity , volume 537 of Math. Appl., Dordr. Dordrecht: Kluwer Academic Publishers, 2001

    work page 2001

  17. [17]

    Herscovich

    S. Herscovich. Renormalization in quantum field theory (after R. Borcherds ), volume 412 of Ast´ erisque. Paris: Soci´ et´ e Math´ ematique de France (SMF), 2019. 28

    work page 2019

  18. [18]

    A. Joyal. Foncteurs analytiques et esp` eces de structu res. (Analytic functors and species of structures). In Combinatoire ´ enum´ erative, Proc. Colloq., Montr´ eal/Can. 1985, Lect. Notes Math. , number 1234, pages 126– 159, 1986

    work page 1985

  19. [19]

    S. Kallel. Configuration spaces of points: A user’s guid e. https://arxiv.org/abs/2407.11092, 2024

    work page arXiv 2024

  20. [20]

    J. Lurie. Higher Algebra. Harvard University, 2017

    work page 2017

  21. [21]

    Mac Lane

    S. Mac Lane. Categories for the working mathematician. , volume 5 of Grad. Texts Math. Springer New York, 2nd ed edition, 1998

    work page 1998

  22. [22]

    J. P. May. The geometry of iterated loop spaces , volume 271 of Lect. Notes Math. Springer, Cham, 1972

    work page 1972

  23. [23]

    Norledge

    W. Norledge. Species-theoretic foundations of pertur bative quantum field theory. https://arxiv.org/abs/ 2009.09969, 2020

    work page arXiv 2009

  24. [24]

    R. E. Peierls. The commutation laws of relativistic fiel d theory. Proc. Roy. Soc. London A , 214:143–157, 1952

    work page 1952

  25. [25]

    K. Rejzner. Perturbative Algebraic Quantum Field Theory. An Introduct ion for Mathematicians , volume 412 of Mathematical Physics Studies . Springer Cham, 2016

    work page 2016

  26. [26]

    E. Wu. Pushforward and smooth vector pseudo-bundles. Pacific Journal of Mathematics, 322(1):195–2019, 2023. 29

    work page 2019