Field theory of mathfrak{su}(n): the absence of non-zero scatterings
Pith reviewed 2026-06-29 19:09 UTC · model grok-4.3
The pith
Homological perturbation theory applied to su(n) forms shows no scattering amplitudes from trivalent tree-level diagrams except the interaction vertex.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Relying on homological perturbation theory, we show that there are no scattering amplitudes with trivalent tree-level diagrams, except for the interaction vertex, thus extending a known argument to arbitrary n. In contrast to this, we show how to obtain non-trivial higher products when transferring to a larger space of fields.
What carries the argument
Homological perturbation theory applied directly to the finite-dimensional su(n) forms, which isolates the vanishing of all but the three-point vertex in tree-level diagrams.
If this is right
- Only the three-point interaction vertex contributes to tree-level scattering; all other trivalent diagrams cancel.
- The perturbative expansion of the theory remains minimal at tree level for every value of n.
- Transferring the algebraic structure to an enlarged field space produces non-trivial higher-order operations that were absent in the original space.
- The same su(n) algebra yields different interaction content depending on the dimension of the field space chosen.
Where Pith is reading between the lines
- The vanishing result could be checked by direct low-order calculations for small n to confirm consistency with the general argument.
- Similar transfer techniques might be applied to other finite-dimensional Lie algebra models to generate controlled higher interactions.
- If the pattern holds, it suggests that enlarging the field space is a systematic way to introduce complexity without changing the underlying algebra.
- The absence of extra tree diagrams may simplify numerical or symbolic checks of the model for arbitrary n.
Load-bearing premise
Homological perturbation theory applies directly to the finite-dimensional su(n) forms without additional hidden assumptions that would alter the vanishing result for tree-level diagrams.
What would settle it
An explicit computation of any trivalent tree-level scattering amplitude for a chosen n greater than 3 that yields a non-zero value would falsify the vanishing claim.
read the original abstract
We inspect $\mathfrak{su}(n)$ forms, providing greater detail for $n=2,3$, as a toy model for a field theory in finite dimensions and with gauge symmetries. Relying on homological perturbation theory, we show that there are no scattering amplitudes with trivalent tree-level diagrams, except for the interaction vertex, thus extending a known argument of Cattaneo--Mn\"{e}v to arbitrary $n$. In contrast to this, we show how to obtain non-trivial higher products when transferring to a larger space of fields.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that homological perturbation theory applied to finite-dimensional su(n) forms yields vanishing of all non-trivial trivalent tree-level scattering amplitudes except the basic interaction vertex itself. This extends the Cattaneo-Mněv argument to arbitrary n, with explicit algebraic checks provided for n=2 and n=3; the authors further contrast the vanishing result with the appearance of non-trivial higher products after transfer to an enlarged field space.
Significance. If the central derivation holds, the work supplies a clean algebraic demonstration that tree-level scattering vanishes in this finite-dimensional gauge-theoretic toy model, crediting the direct application of the homological perturbation lemma for a parameter-free result that generalizes prior work. The explicit low-n verifications and the controlled contrast with the enlarged space strengthen the claim by showing how the vanishing depends on the choice of field space.
minor comments (1)
- [Sections detailing n=2,3 checks] The explicit computations for n=2 and n=3 would benefit from a short table listing the chosen basis elements for the su(n) forms and the resulting differential and product maps, to make the verification steps fully reproducible from the text alone.
Simulated Author's Rebuttal
We thank the referee for their accurate summary of our manuscript and for the positive assessment leading to a recommendation of minor revision. No specific major comments or requests for changes were provided in the report.
Circularity Check
No significant circularity; extends external prior argument
full rationale
The manuscript applies homological perturbation theory directly to finite-dimensional su(n) forms, deriving the vanishing of non-trivial trivalent tree-level scattering amplitudes (except the basic vertex) for general n via algebraic computation, with explicit verification for n=2,3 and contrast to the non-vanishing case after field-space transfer. The central claim is framed as an explicit extension of the external Cattaneo-Mněv argument rather than a self-referential fit, renormalization, or self-citation chain. No step reduces by construction to its own inputs, and the derivation remains self-contained against the stated external benchmark.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Homological perturbation theory can be applied to su(n) forms to compute scattering amplitudes.
Reference graph
Works this paper leans on
-
[1]
Factorization Algebras in Quantum Field The- ory,
K. Costello and O. Gwilliam, “Factorization Algebras in Quantum Field The- ory,” Cambridge University Press, 2021, ISBN 978-1-316-67866-4, 978-1-107-16315-7 doi:10.1017/9781316678664
-
[2]
Lectures on Batalin-Vilkovisky formalism and its applications in topological quantum field theory
P. Mnëv, “Lectures on Batalin-Vilkovisky formalism and its applications in topological quan- tum field theory,” [arXiv:1707.08096 [math-ph]]
work page internal anchor Pith review Pith/arXiv arXiv
-
[3]
Batalin–Vilkovisky quantization of fuzzy field theories,
H. Nguyen, A. Schenkel and R. J. Szabo, “Batalin–Vilkovisky quantization of fuzzy field theories,” Lett. Math. Phys.111(2021) no.6, 149 doi:10.1007/s11005-021-01490-2 [arXiv:2107.02532 [hep-th]]
-
[4]
Cohomology theory of Lie groups and Lie algebras
C. Chevalley and S. Eilenberg “Cohomology theory of Lie groups and Lie algebras”, Trans. Am. Math. Soc, 63(1), (1948) pp. 85–124. doi:10.1090/s0002-9947-1948-0024908-8
-
[5]
Symmetry Factors of Feynman Diagrams and the Ho- mological Perturbation Lemma,
C. Sämann and E. Sfinarolakis, “Symmetry Factors of Feynman Diagrams and the Ho- mological Perturbation Lemma,” JHEP12(2020), 088 doi:10.1007/JHEP12(2020)088 [arXiv:2009.12616 [hep-th]]
-
[6]
𝐿∞-Algebras of Classical Field The- ories and the Batalin-Vilkovisky Formalism,
B. Jurčo, L. Raspollini, C. Sämann and M. Wolf, “𝐿∞-Algebras of Classical Field The- ories and the Batalin-Vilkovisky Formalism,” Fortsch. Phys.67(2019) no.7, 1900025 doi:10.1002/prop.201900025 [arXiv:1809.09899 [hep-th]]
-
[7]
Fieldtheoryandmechanicsfromhomologyandhomotopy,
L’.Ravas,“Fieldtheoryandmechanicsfromhomologyandhomotopy,”MasterThesis(2025), Comenius university Bratislava
2025
-
[8]
Notes from the winter school Geometry and Physics
C. Sämann, “Notes from the winter school Geometry and Physics”, Srní (2020), at this url
2020
-
[9]
Quantum Field Theory and the Jones Polynomial,
E. Witten, “Quantum Field Theory and the Jones Polynomial,” Commun. Math. Phys.121 (1989), 351-399 doi:10.1007/BF01217730
-
[10]
On the perturbation lemma, and deformations
M. Crainic, “On the perturbation lemma, and deformations,” [arXiv:math/0403266 [math.AT]]
work page internal anchor Pith review Pith/arXiv arXiv
-
[11]
Real homotopy theory of Kähler manifolds,
P. Deligne, P. Griffiths, J. Morgan, D. Sullivan, “Real homotopy theory of Kähler manifolds,” Inventiones mathematicae,29(1975), 245-274 doi:10.1007/BF01389853 . 23 Field theory ofsu(𝑛): the absence of non-zero scatteringsEugenia Boffo
-
[12]
New N=2 Superconformal Field Theories in Four Dimensions
P.C.Argyres,M.R.Plesser,N.SeibergandE.Witten,“NewN=2superconformalfieldtheories in four-dimensions,” Nucl. Phys. B461(1996), 71-84 doi:10.1016/0550-3213(95)00671-0 [arXiv:hep-th/9511154 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(95)00671-0 1996
-
[13]
RelativisticSMatrixofDynamicalSystemswithBosonand FermionConstraints,
I.A.BatalinandG.A.Vilkovisky,“RelativisticSMatrixofDynamicalSystemswithBosonand FermionConstraints,”Phys.Lett.B69(1977),309-312doi:10.1016/0370-2693(77)90553-6
-
[14]
LagrangianRelationsandQuantum𝐿 ∞ Algebras,
B.Jurčo,J.PulmannandM.Zika,“LagrangianRelationsandQuantum𝐿 ∞ Algebras,”Com- mun.Math.Phys.406(2025)no.6,143doi:10.1007/s00220-025-05290-w[arXiv:2401.06110 [math-ph]]
-
[15]
Loop Amplitudes and Quantum Homotopy Algebras,
B. Jurčo, T. Macrelli, C. Sämann and M. Wolf, “Loop Amplitudes and Quantum Homotopy Algebras,”JHEP07(2020),003doi:10.1007/JHEP07(2020)003[arXiv:1912.06695[hep-th]]
-
[16]
Algebraic operads,
J.-L. Loday, and B. Vallette, “Algebraic operads," Berlin, (2012) Springer
2012
-
[17]
Ein Satz über die Wirkungsräume geschlossener Liescher Grup- pen,
H. Hopf and H. Samelson, “Ein Satz über die Wirkungsräume geschlossener Liescher Grup- pen,”CommentariimathematiciHelvetici,13(1940/41)240-251http://eudml.org/doc/ 138771
1940
-
[18]
How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism,
O. Gwilliam and T. Johnson-Freyd, “How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism,” [arXiv:1202.1554 [math-ph]]
-
[19]
Remarks on Chern-Simons invariants
A. S. Cattaneo and P. Mnëv, “Remarks on Chern-Simons invariants,” Commun. Math. Phys. 293(2010), 803-836 doi:10.1007/s00220-009-0959-1 [arXiv:0811.2045 [math.QA]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-009-0959-1 2010
-
[20]
Renormalization and Effective Field Theory,
K. Costello, “Renormalization and Effective Field Theory,” (2011), doi:10.1090/surv/170
-
[21]
Transferring A∞ (strongly homotopy associative) structures,
M. Markl “Transferring A∞ (strongly homotopy associative) structures,” Proceedings of the 25th Winter School ”Geometry and Physics”. (2006),http://dml.cz/dmlcz/701773
2006
-
[22]
Which homotopy algebras come from transfer?,
M. Markl and C. L. Rogers, “Which homotopy algebras come from transfer?,” Proc. Amer. Math. Soc. 150 (2022), 975-990 doi:10.1090/proc/15710 [arxiv:2006.00072]
-
[23]
Clifford Algebras and Lie Theory,
E. Meinrenken, “Clifford Algebras and Lie Theory,” Springer Berlin, Heidelberg (2013), doi:10.1007/978-3-642-36216-3
-
[24]
The Partition Function of Degenerate Quadratic Functional and Ray-Singer Invariants,
A. S. Schwarz, “The Partition Function of Degenerate Quadratic Functional and Ray-Singer Invariants,” Lett. Math. Phys.2(1978), 247-252 doi:10.1007/BF00406412
-
[25]
Young tableaux and homotopy commutative algebras
M.Dubois-VioletteandT.Popov,“YoungTableauxandHomotopyCommutativeAlgebras,”Lie Theory and Its Applications in Physics. Springer Proceedings in Mathematics and Statistics, vol 36. Springer [arxiv:1202.2230 [math.QA]]
work page internal anchor Pith review Pith/arXiv arXiv
-
[26]
Transferring homotopy commutative algebraic structures
X. Z. Cheng and E. Getzler, “Transferring homotopy commutative algebraic structures”, Journal of Pure and Applied Algebra 212, 2535 (2008) [arXiv:math/0610912 [math.AT]]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[27]
Hochschild-Pirashvili homology on suspensions and representations of $Out(F_n)$
V. Turchin and T. Willwacher, “Hochschild-Pirashvili homology on suspensions and repre- sentationsof𝑂𝑢𝑡(𝐹 𝑛),”Ann.Sci.ÉcoleNorm.Sup.52,761(2019)doi:10.24033/asens.2396 [arXiv:1507.08483 [math.AT]] 24 Field theory ofsu(𝑛): the absence of non-zero scatteringsEugenia Boffo
work page internal anchor Pith review Pith/arXiv arXiv doi:10.24033/asens.2396 2019
-
[28]
Deformation theory with homotopy algebra structures on tensor products
D. Robert-Nicoud, “Deformation Theory with Homotopy Algebra Structures on Tensor Prod- ucts,”, Doc. Math. 23, 189 (2018) doi:10.4171/DM/617 [arXiv:1702.02194 [math.QA]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/dm/617 2018
-
[29]
Perturbative aspects of the Chern-Simons topological quantum field theory,
D. Bar-Natan, “Perturbative aspects of the Chern-Simons topological quantum field theory,” Ph.D. thesis Princeton U. (1991) UMI-91-35830
1991
-
[30]
P. Mnëv, “Notes on simplicial BF theory,” Mosc. Math. J.9(2009), 371–410 doi:10.17323/1609-4514-2009-9-2-371-410 [arXiv:hep-th/0610326 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.17323/1609-4514-2009-9-2-371-410 2009
-
[31]
Odd Chern-Simons Theory, Lie Algebra Cohomology and Characteristic Classes
J.QiuandM.Zabzine,“OddChern-SimonsTheory,LieAlgebraCohomologyandCharacter- istic Classes,” Commun. Math. Phys.300(2010), 789-833 doi:10.1007/s00220-010-1102-z [arXiv:0912.1243 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-010-1102-z 2010
-
[32]
The (secret?) homological algebra of the Batalin-Vilkovisky approach
J.Stasheff,“The(Secret?) homologicalalgebraoftheBatalin-Vilkoviskyapproach,”Contemp. Math.219(1998), 195-210 doi:10.1090/conm/219/03076 [arXiv:hep-th/9712157 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/conm/219/03076 1998
-
[33]
Homotopy Algebras in String Field Theory,
I. Sachs, “Homotopy Algebras in String Field Theory,” Fortsch. Phys.67(2019) no.8-9, 1910013 doi:10.1002/prop.201910013 [arXiv:1903.02870 [hep-th]]
-
[34]
Closed String Field Theory: Quantum Action and the BV Master Equation
B.Zwiebach,“Closedstringfieldtheory: QuantumactionandtheB-Vmasterequation,”Nucl. Phys.B390(1993),33-152doi:10.1016/0550-3213(93)90388-6[arXiv:hep-th/9206084[hep- th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(93)90388-6 1993
-
[35]
Perspectives on the pure spinor super- field formalism,
R. Eager, F. Hahner, I. Saberi and B. R. Williams, “Perspectives on the pure spinor super- field formalism,” J. Geom. Phys.180(2022), 104626 doi:10.1016/j.geomphys.2022.104626 [arXiv:2111.01162 [hep-th]]. 25
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.