Pith. sign in

REVIEW 3 major objections 4 minor 25 references

A Darboux-Theorem-Based Derivation of Geometric Structures in Various Non-Abelian Gauge Theories

T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For each of four non-Abelian gauge theories, a single Darboux-based procedure recovers the full Hamiltonian and Lagrangian gauge structure, including higher-stage reducibility.

desk verdict A clean Faddeev–Jackiw treatment of standard non-Abelian gauge theories with a genuinely new reducibility analysis for a nonlinear BF-type model; the main caveat is that the Lagrangian gauge structure rests on Dirac's conjecture for an open algebra without an independent Noether check. read the letter →

arxiv 2607.27417 v1 pith:FCPUJPXH submitted 2026-07-29 hep-th

Eugen-Mihaita Cioroianu , Stefan-Sabin Manolescu This is my paper · ORCID
classification hep-th MSC 37J0670H3370S0581S10
keywords Faddeev-JackiwapproachDarbouxtheoremnon-AbeliangaugetheoryFreedman-TownsendmodelYang-MillsBFreducibilitycoisotropicconstraints
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to show that the Faddeev-Jackiw approach, justified by the Darboux theorem, is enough to extract the complete Hamiltonian and Lagrangian gauge structure of four non-Abelian theories: Freedman-Townsend, Yang-Mills, non-Abelian BF, and a nonlinear BF-type model. For each theory it determines the phase space, the symplectic structure, the coisotropic constraint surface, and the Hamiltonian, then uses the Dirac conjecture to reconstruct covariant Lagrangian gauge transformations and their reducibility relations. The result is a unified derivation: Freedman-Townsend and BF constraints are on-shell (D-3)-stage reducible, the nonlinear model is (D-2)-stage reducible, and Yang-Mills is irreducible. A reader should care because the method reduces a multi-step Dirac-Bergmann analysis to a single geometric procedure that also reaches nonlinear, open-algebra theories where standard treatments are heavier.

What carries the argument

The central object is the presymplectic Darboux theorem, applied to the exterior derivative of the kinetic one-form in a first-order action. It guarantees local canonical coordinates (q, p) along the symplectic directions and null directions that split into auxiliary variables and Lagrange multipliers. Eliminating the auxiliary variables puts the action in the form p_i q-dot^i - h(q,p) - u^a G_a(q,p), with first-class constraints G_a. This canonical form carries the entire argument: it yields the phase space, Poisson brackets, coisotropic surface, Hamiltonian, and constraint reducibility directly, and it is the starting point for the Dirac-conjecture reconstruction of Lagrangian gauge transf

What would settle it

Check the nonlinear model directly: compute the commutator [δ_ε, δ_ε'] acting on A^a_μ and compare with equation (4.39); if the equation-of-motion term proportional to δS_NL/δH^e_μ does not match exactly, the reconstructed gauge transformations do not generate the symmetries of the action (4.34).

Watch

Extended reading notes

Core claim

The paper's central claim is that the Faddeev-Jackiw prescription, applied after casting each Lagrangian into first-order form, determines in one pass the phase-space coordinates, the non-degenerate Poisson bracket, the coisotropic constraint submanifold, and the first-class Hamiltonian for the Freedman-Townsend, Yang-Mills, and non-Abelian BF models, as well as for a nonlinear BF-type theory governed by a Poisson structure on its target space. In each case the constraint set's reducibility is obtained directly from the form of the Lagrangian, and the Dirac conjecture then converts the Hamiltonian constraints into the corresponding Lagrangian gauge transformations; requiring invariance of th

Load-bearing premise

The load-bearing premise is the Dirac conjecture, namely that every first-class constraint generates a genuine gauge symmetry, and this is not established for the nonlinear, open gauge algebra of the BF-type model; if it fails, the reconstructed transformations could be incomplete or contain non-gauge transformations.

Editorial extensions

If this is right

  • In Freedman-Townsend theory, the Hamiltonian constraint algebra is Abelian and on-shell (D-3)-stage reducible; the reconstructed Lagrangian gauge transformations inherit the same reducibility, and the model propagates N physical degrees of freedom per spatial point independently of the spacetime dimension.
  • In Yang-Mills theory, a first-order reformulation produces constraints that reproduce the Lie algebra, the gauge algebra is irreducible and closes off-shell, and the model propagates (D-2)N physical degrees of freedom.
  • In non-Abelian BF theory, the canonical Hamiltonian vanishes and there are no local physical degrees of freedom, yet the gauge algebra closes off-shell while remaining on-shell (D-3)-stage reducible, showing that off-shell closure and on-shell reducibility are independent properties.
  • In the nonlinear BF-type model, the constraint algebra is coisotropic and field-dependent, the gauge algebra closes only on-shell, and the gauge transformations are on-shell (D-2)-stage reducible, confirming the method works beyond Lie-algebraic models.
  • The paper's procedure yields both Hamiltonian and Lagrangian gauge structures in one framework, bypassing the full Dirac-Bergmann algorithm for these theories.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same Darboux-based route should apply to other first-order topological theories, such as Courant sigma models or higher gauge theories; if it does, it would give a uniform derivation of their open gauge algebras and reducibility orders.
  • The reducibility orders D-3 and D-2 look like a pattern tied to the form-degree of the tensor fields; a natural test is to run the procedure on p-form gauge theories and check whether the reducibility order becomes D-p-1.
  • The Dirac conjecture is the fragile step: applying the procedure to a model with tertiary first-class constraints would show whether the reconstructed Lagrangian transformations capture all symmetries or only those generated by primary constraints.
  • Extending the analysis to curved backgrounds, as the paper itself suggests, would test whether the coisotropic and reducibility statements survive background geometry.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper applies the Faddeev–Jackiw (FJ) procedure, justified via the presymplectic Darboux theorem, to four non-Abelian gauge theories on D-dimensional Minkowski spacetime: Freedman–Townsend, Yang–Mills, non-Abelian BF, and a nonlinear BF-type model with a target-space Poisson structure. For each model the paper identifies the phase space, symplectic/Poisson structure, first-class constraints and coisotropic surface, Hamiltonian, and the on-shell reducibility order of the constraint set. It then invokes Dirac's conjecture to reconstruct the corresponding Lagrangian gauge transformations and their reducibility structure, claiming an open, on-shell (D−2)-stage reducible gauge algebra for the nonlinear model and an on-shell (D−3)-stage reducible structure for the Freedman–Townsend and BF models.

Significance. If correct, the paper provides a unified FJ-based derivation of both Hamiltonian and Lagrangian gauge structures for several non-Abelian theories, including higher-stage reducibility and an open gauge algebra. Strengths of the manuscript include the absence of free parameters or fitted structures, the explicit derivation of constraints from the Lagrangians, and the treatment of general spacetime dimension. The Freedman–Townsend, Yang–Mills, and BF sections are internally consistent and reproduce known results: N local degrees of freedom for Freedman–Townsend, (D−2)N for Yang–Mills, and zero for BF. The main added value is pedagogical and unifying rather than a new physical result. The principal risk is the nonlinear section, where the reconstruction of Lagrangian gauge symmetry depends on Dirac's conjecture for an open algebra and lacks an independent Noether check.

major comments (3)
  1. [Section 4, Eqs. (4.27)–(4.38)] The Lagrangian gauge transformations for the nonlinear model are obtained by invoking Dirac's conjecture and then 'requiring the gauge invariance of the action'. For an open, field-dependent gauge algebra, Dirac's conjecture is not a theorem and can fail. The paper does not provide the promised direct verification that (4.35)–(4.38) are Noether symmetries of S_NL; the closure relations (4.39)–(4.42) are modulo the equations of motion and do not by themselves establish invariance. This is load-bearing for the paper's central claim. Please supply an explicit check of δS_NL=0 (or the corresponding Noether identities) for the nonlinear model.
  2. [Section 4, Eqs. (4.39)–(4.42), (4.56)–(4.59)] The key identities are asserted as 'direct computations' with only skeleton derivations. In particular, the step from the Hamiltonian reducibility of the constraints (4.19)–(4.26) to the Lagrangian reducibility of the gauge generators (4.52)–(4.59) is stated but not demonstrated. Given the index-heavy formulas and field-dependent structure functions, this is not a minor omission: the claimed on-shell (D−2)-stage reducibility of the Lagrangian gauge structure cannot be checked from the text. Please expand the derivations or provide an appendix with the intermediate steps.
  3. [Section 3.1, Eqs. (3.9)–(3.11), (3.19)–(3.22)] The reducibility relations are labelled 'on-shell', but the first-stage relation (3.9), when contracted with G^b_mn = (1/2)F^b_mn, appears to be an off-shell Bianchi identity D_[j F_{kl}] = 0. The manuscript should clarify whether 'on-shell' refers to the full set of constraints (including the auxiliary-field equations), and should ensure the index placements in (Z^a_{jkl})^{mn}_b and the later covariant versions are consistent with the antisymmetrization convention. As written, the distinction between off-shell and on-shell reducibility is confusing and affects the interpretation of the Hamiltonian results.
minor comments (4)
  1. [Eq. (4.41)] The last line appears to be missing a '+' between the two terms involving ∂abeWcd, making the formula unreadable. Please correct the typo and verify the index structure.
  2. [Section 2] The FJ procedure is formulated for a finite-dimensional system, but it is applied directly to field theories. A remark on the functional-analytic setting, or a statement that the field-theoretic extension is formal, would be helpful.
  3. [References] The Introduction claims the FJ approach has been applied 'primarily to toy models and linear field theories', but reference [9] is a prior work by the same authors on fermionic fields. The novelty claim should be qualified accordingly.
  4. [Notation] Covariant derivative conventions differ in sign between (3.4), (4.6), and later equations. Please unify the notation and define the action of derivatives on Lie-algebra valued objects once, to avoid sign ambiguities in the reducibility identities.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the constraints and brackets are direct from the stated Lagrangians; Dirac's conjecture is an external assumption; self-citation [9] is motivational only.

full rationale

The derivation chain is self-contained. For each model, the phase space, symplectic structure, auxiliary variables, and constraint functions are obtained by directly substituting the Euler–Lagrange equations of auxiliary fields into explicitly written first-order Lagrangians (e.g., (3.3)–(3.6), (3.25)–(3.27), (3.39), (4.4)–(4.5)). The Poisson brackets (3.7), (3.28), and (4.7) are read off from the kinetic one-form; the constraint algebras (3.13), (3.30), (3.42), and (4.10)–(4.13) are direct bracket computations; and the reducibility identities (3.9)–(3.11), (3.19)–(3.22), (4.18)–(4.26), and (4.52)–(4.59) are Bianchi-type identities in the corresponding covariant derivatives, with right-hand sides proportional to constraints or equations of motion. The step from Hamiltonian constraints to Lagrangian gauge transformations invokes the Dirac conjecture, citing [25]; this is an external standard assumption, explicitly stated as such, not a fitted parameter and not a result of the present authors. The only self-citation, [9], supports a motivational observation about the prior scope of the Faddeev–Jackiw method; it is not used to establish any of the four models' gauge structures, so it is not load-bearing. No prediction is reduced to an input by construction: the Lagrange-multiplier transformations are completed by requiring invariance of the action, which is a constructive check rather than a fitted result. Therefore no circular step is exhibited, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical parameters are fitted to data; the Lie algebra data and the Poisson tensor W are model inputs. No new particles, forces, or conserved quantities are introduced. The Dirac conjecture and the first-class reduction step are the principal unproved inputs, and both are acknowledged or asserted inside the paper.

assumptions (5)
  • standard math Presymplectic Darboux theorem: a closed 2-form of constant rank 2k can be locally written in canonical form.
    Used in Section 2 to justify the Faddeev-Jackiw parametrization (q,p,Q).
  • domain assumption The finite-dimensional Darboux argument transfers to infinite-dimensional field theory without residual subtleties.
    Section 2 presents the method for finitely many degrees of freedom and then applies it to fields in Section 3 without regularity discussion.
  • domain assumption After eliminating auxiliary variables, the remaining constraints can be taken to be first class.
    Section 2, after Eq. (2.6), asserts this without proof; it is verified model by model in Sections 3-4.
  • domain assumption Dirac conjecture: first-class constraints generate the full gauge algebra.
    Section 2 final paragraph; this is the bridge used to reconstruct Lagrangian transformations in every model.
  • domain assumption The target-space bivector W^{ab} satisfies the Jacobi identity and defines a Poisson structure.
    Eq. (4.3) defines the input data for the nonlinear BF-type model; the paper does not derive W from anything deeper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Darboux-Theorem-Based Derivation of Geometric Structures in Various Non-Abelian Gauge Theories." pith.science (2026). https://pith.science/paper/FCPUJPXH

@misc{pith2026260727417,
  author       = {Pith},
  title        = {Pith review of: A Darboux-Theorem-Based Derivation of Geometric Structures in Various Non-Abelian Gauge Theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FCPUJPXH}},
  note         = {Machine review of arXiv:2607.27417}
}
read the original abstract

This paper illustrates the straightforward application of the Faddeev--Jackiw approach to several non-Abelian gauge theories, namely, the Freedman--Townsend, Yang--Mills, and non-Abelian BF models, as well as a nonlinear theory of BF type. For each theory, the procedure determines the phase space and its symplectic structure, the coisotropic constraint submanifold, the Hamiltonian, and the reducibility properties of the constraints. By combining these results with the Dirac conjecture, one reconstructs through direct computation the corresponding Lagrangian gauge transformations and their reducibility structure. The analysis provides a unified and efficient derivation of the principal Hamiltonian and Lagrangian gauge structures of these non-Abelian theories.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 6 canonical work pages

  1. [9]

    Cioroianu and S.S

    E.M. Cioroianu and S.S. Manolescu, Geometric Structures and Gauge Symmetries for Various Fermionic Fields from a Faddeev–Jackiw–Dirac Argument,Symmetry17(2025) 1953,https://doi.org/10.3390/sym17111953

    work page doi:10.3390/sym17111953 2025

  2. [1]

    Faddeev and R

    L.D. Faddeev and R. Jackiw, Hamiltonian reduction of unconstrained and constrained systems,Phys. Rev. Lett.60(1988) 1692–1694, https://doi.org/10.1103/PhysRevLett. 60.1692

    doi:10.1103/physrevlett 1988

  3. [2]

    Berezin, General concept of quantization,Commun

    F.A. Berezin, General concept of quantization,Commun. Math. Phys.40(1975) 153–174, https://doi.org/10.1007/BF01609397

    work page doi:10.1007/bf01609397 1975

  4. [3]

    Libermann and C.M

    P. Libermann and C.M. Marle,Symplectic Geometry and Analytical Mechanics, (D. Reidel, Dordrecht, The Netherlands, 1986). 14

    1986

  5. [4]

    (Constrained) Quantization Without Tears

    R. Jackiw,(Constrained) Quantization without tears, (preprint, arxiv: hep-th/9306075), https://doi.org/10.48550/arXiv.hep-th/9306075

    work page Pith review arXiv doi:10.48550/arxiv.hep-th/9306075

  6. [5]

    Govaerts, Hamiltonian reduction of first-order actions,Int

    J. Govaerts, Hamiltonian reduction of first-order actions,Int. J. Mod. Phys. A5(1990) 3625–3640,https://doi.org/10.1142/S0217751X90001574

    work page doi:10.1142/s0217751x90001574 1990

  7. [6]

    Barcelos-Neto and C

    J. Barcelos-Neto and C. Wotzasek, Symplectic quantization of constrained systems,Mod. Phys. Lett. A7(1992) 1737–1747,https://doi.org/10.1142/S0217732392001439

    work page doi:10.1142/s0217732392001439 1992

  8. [7]

    Barcelos-Neto and C

    J. Barcelos-Neto and C. Wotzasek, Faddeev–Jackiw quantization and constraints,Int. J. Mod. Phys. A7(1992) 4981–5003,https://doi.org/10.1142/S0217751X9200226X

    doi:10.1142/s0217751x9200226x 1992

Show all 25 references
  1. [8]

    Long and B

    Z.W. Long and B. Liu, A new method to deal with constraints in the context of Faddeev– Jackiw method to treat constrained systems,Europhys. Lett.58(2002) 1–6, https://doi. org/10.1209/epl/i2002-00598-7

    2002 doi

  2. [10]

    Freedman and P.K

    D.Z. Freedman and P.K. Townsend, Antisymmetric Tensor Gauge Theories and Non- linear Sigma Models,Nucl. Phys. B177(1981) 282–296, https://doi.org/10.1016/ 0550-3213(81)90392-8

    1981

  3. [11]

    Yang and R.L

    C.N. Yang and R.L. Mills, Conservation of Isotopic Spin and Isotopic Gauge Invariance, Phys. Rev.96(1954) 191–195,https://doi.org/10.1103/PhysRev.96.191

    1954 doi

  4. [12]

    Weinberg, A model of leptons,Phys

    S. Weinberg, A model of leptons,Phys. Rev. Lett.19(1967) 1264–1266, https://doi.org/ 10.1103/PhysRevLett.19.1264

    1967 doi

  5. [13]

    Gross and F

    D.J. Gross and F. Wilczek, Ultraviolet behavior of non-Abelian gauge theories,Phys. Rev. Lett.30(1973) 1343–1346,https://doi.org/10.1103/PhysRevLett.30.1343

    1973 doi

  6. [14]

    Politzer, Reliable perturbative results for strong interactions?Phys

    H.D. Politzer, Reliable perturbative results for strong interactions?Phys. Rev. Lett.30 (1973) 1346–1349,https://doi.org/10.1103/PhysRevLett.30.1346

    1973 doi

  7. [15]

    Blau and G

    M. Blau and G. Thompson, Topological gauge theories of antisymmetric tensor fields,Ann. Phys.205(1991) 130–172,https://doi.org/10.1016/0003-4916(91)90240-9

    1991 doi

  8. [16]

    Horowitz, Exactly soluble diffeomorphism-invariant theories,Commun

    G.T. Horowitz, Exactly soluble diffeomorphism-invariant theories,Commun. Math. Phys. 125(1989) 417–437,https://doi.org/10.1007/BF01218410

    1989 doi

  9. [17]

    Baez, Four-dimensional BF theory as a topological quantum field theory,Lett

    J.C. Baez, Four-dimensional BF theory as a topological quantum field theory,Lett. Math. Phys.38(1996) 129–143,https://doi.org/10.1007/BF00398315

    1996 doi

  10. [18]

    Plebański, On the separation of Einsteinian substructures, J

    J.F. Plebański, On the separation of Einsteinian substructures, J. Math. Phys.18(1977) 2511–2520,https://doi.org/10.1063/1.523215

    1977 doi

  11. [19]

    Birmingham, M

    D. Birmingham, M. Blau, M. Rakowski, G. Thompson, Topological field theory,Phys. Rept. 209(1991) 129–340,https://doi.org/10.1016/0370-1573(91)90117-5

    1991 doi

  12. [20]

    Ikeda, Two-Dimensional Gravity and Nonlinear Gauge Theory,Ann

    N. Ikeda, Two-Dimensional Gravity and Nonlinear Gauge Theory,Ann. Phys.235(1994) 435–464,https://doi.org/10.1006/aphy.1994.1104

    1994

  13. [21]

    Schaller and T

    P. Schaller and T. Strobl, Poisson Structure Induced (Topological) Field Theories,Mod. Phys. Lett. A9(1994) 3129–3136,https://doi.org/10.1142/S0217732394002951 15

    1994 doi

  14. [22]

    A. S. Cattaneo and G. Felder, A Path Integral Approach to the Kontsevich Quantiza- tion Formula,Commun. Math. Phys.212(2000) 591–611, https://doi.org/10.1007/ s002200000229

    2000

  15. [23]

    Roytenberg, AKSZ-BV Formalism and Courant Algebroid-Induced Topological Field Theories,Lett

    D. Roytenberg, AKSZ-BV Formalism and Courant Algebroid-Induced Topological Field Theories,Lett. Math. Phys.79(2007) 143–159, https://doi.org/10.1007/ s11005-006-0134-y

    2007

  16. [24]

    Alexandrov and A

    M. Alexandrov and A. Schwarz and O. Zaboronsky and M. Kontsevich, The Geometry of the Master Equation and Topological Quantum Field Theory,Int. J. Mod. Phys. A12 (1997) 1405–1429,https://doi.org/10.1142/S0217751X97001031

    1997 doi

  17. [25]

    Henneaux and C

    M. Henneaux and C. Teitelboim,Quantization of Gauge Systems(Princeton University Press, Princeton, USA, 1992). 16

    1992

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.