Multi-loop stability of the anomalous Gauss-law commutator in chiral gauge theory: is the Schwinger term one-loop exact, with the descent form $\omega_3^2$ persisting to all orders?

In an anomalous chiral gauge theory, the equal-time commutator of two Gauss-law generators acquires a one-loop anomalous Schwinger term, which Kobayashi, Seo and Sugamoto (1986) computed perturbatively and matched to the descent form $\omega_3^2$ derived from the non-Abelian chiral anomaly. The open question addressed here concerns the behavior of this term at multi-loop order: for the fully interacting 3+1-dimensional anomalous theory with a dynamical gauge field, it is not known whether genuine multi-loop corrections to the anomalous Gauss-law commutator arise, or whether one-loop exactness — an Adler–Bardeen-type non-renormalization theorem for the Hamiltonian commutator anomaly — holds. The exact results available cover only two-dimensional models or chiral fermions in external gauge backgrounds.

Background

In a chiral gauge theory, fermions couple asymmetrically to the left- and right-handed components of the gauge field, and after quantization the effective action can fail to be invariant under gauge transformations even though the classical action is: this breaking is the chiral gauge anomaly, a local functional whose form is fixed by the descent procedure — an algebraic step-by-step reduction based on the characteristic polynomial built from the gauge connection in two more spacetime dimensions and on its transgression, the Chern–Simons form, one dimension lower. This anomaly of the gauge variation of the effective action is called the consistent anomaly, to distinguish it from the covariant anomaly carried by the divergence of the gauge-covariant current. The canonical (Hamiltonian) formulation exposes a companion phenomenon, first emphasized by Faddeev (1984): the Gauss law, the constraint $G^a(\mathbf{x})=(D_iE_i)^a(\mathbf{x})-\rho^a(\mathbf{x})$ built from the non-Abelian electric field $E_i^a$ ($D_i$ is the gauge-covariant derivative) and the charge density $\rho^a$, which generates time-independent gauge transformations, acquires an anomalous Schwinger term — an extra $c$-number functional on the right-hand side of the equal-time commutator $[G^a(\mathbf{x}),G^b(\mathbf{y})]$, in the same way that the two-dimensional current algebra of QED is centrally extended. Faddeev, and Faddeev and Shatashvili (1986), identified this term with a group-cohomology 2-cocycle — an antisymmetric functional on pairs of gauge transformations whose appearance in a commutator is consistent only if it satisfies a cocycle identity, two cocycles differing by a coboundary defining the same extension and corresponding to the same physics — and proposed a modified, constrained quantization of anomalous theories in which this cocycle is the central obstruction.

Direct computations of the anomalous commutator were developed in several frameworks: the Bjorken–Johnson–Low (BJL) limit, which extracts equal-time commutators from the short-time behavior of time-ordered products (Jo 1985; Jo 1987); path-integral derivations (Alekseev, Madaichik, Faddeev and Shatashvili 1987; Kieu 1989); and fixed-time gauge-covariant regularizations (Hosono and Seo 1988). Kobayashi, Seo and Sugamoto (1986) gave a formula that simplified the one-loop perturbative evaluation, derived the commutator anomaly directly from the non-Abelian chiral anomaly, and connected the perturbative result to Faddeev's cohomological cocycle: the anomalous term is the second descent form $\omega_3^2$ — the local 3-form reached at the second step of the descent that starts, for a 3+1-dimensional theory, from the five-dimensional Chern–Simons form — which, upon inserting two gauge-transformation parameters and integrating over space, yields the anomalous 2-cocycle. The paper left open: generalization to higher-order cocycles and commutator anomalies beyond two Gauss-law insertions; explicit evaluations beyond four spacetime dimensions and other gauge-group or matter-representation choices; a general criterion for regularization-dependent representatives within the cohomology class (the paper exhibited a coboundary relating its Pauli–Villars-regularized representative — Pauli–Villars being a scheme that cancels divergences against very heavy fictitious fields — to Faddeev's form); and the multi-loop behavior of the anomalous term.

The subsequent literature built an extensive structure on this foundation: the discovery of Jacobi-identity violation in the electric-field commutator (Jo 1985) and of nonassociative electric-field algebras (Semenoff 1988); the consistent-versus-covariant classification of commutator anomalies (Nishikawa and Tsutsui 1988; Dunne and Trugenberger 1990; Kelnhofer 1991); regularization-free derivations of Schwinger terms from the anomaly (Schwiebert 1990); cancellation by Wess–Zumino terms, i.e., functionals of an added chiral field that cancel the anomaly (Percacci and Rajaraman 1988; Kieu 1989); and the modern mathematical reinterpretation of the cocycle — the Faddeev–Mickelsson–Shatashvili anomaly, the obstruction to lifting the action of the gauge group on the bundle of fermionic Fock spaces from a projective to an honest representation — in operator theory and in the language of bundle gerbes — geometric objects that classify exactly such lifting obstructions — (Mickelsson and Rajeev 1988; Langmann and Mickelsson 1994; Carey, Mickelsson and Murray 2000; Hekmati, Murray, Stevenson and Vozzo 2013).

Problem Statement

For a chiral gauge theory in 3+1 spacetime dimensions with a dynamical non-Abelian gauge field, determine the loop-order structure of the equal-time commutator of two Gauss-law generators $[G^a(\mathbf{x}),G^b(\mathbf{y})]$, where $G^a=(D_iE_i)^a-\rho^a$ is built from the electric field and the charge density, for two representation classes of the matter fermions: an anomalous theory, whose representation content makes the consistent chiral anomaly nonzero, and an anomaly-free theory, whose representation content cancels it. The two parts below address these two classes independently; both are required, and neither implies the other. Specifically:

(a) For the anomalous theory (nonzero consistent anomaly), prove or refute that no genuine local multi-loop (two-loop and higher) contributions to this anomalous commutator arise; equivalently, establish whether the identification of the anomalous term with the second descent form $\omega_3^2$ of the consistent anomaly — the local 3-form reached at the second step of the descent from the five-dimensional Chern–Simons form, which yields the Schwinger-term cocycle when two gauge-transformation parameters are inserted and a spatial integration is performed; the relation proven at one loop and at first order in $\hbar$ by Barnich — persists at all orders of the loop expansion, up to coboundaries. In a specified renormalization scheme or algebraic framework, show either that every candidate multi-loop term is a coboundary — removable by local counterterms or by redefinition of the Gauss-law generators — or exhibit a concrete theory, regularization, and computed multi-loop local term that modifies the one-loop cocycle and is nontrivial in the Faddeev cohomology (the group cohomology of the time-independent gauge transformations defined in the background).

(b) For the anomaly-free theory (one-loop cancellation of the consistent chiral anomaly), decide whether an Adler-Bardeen-type non-renormalization theorem holds for the Hamiltonian commutator anomaly: whether that one-loop cancellation suffices to make the Gauss-law algebra close without anomalous Schwinger terms at every order in perturbation theory.

The question must be answered for the interacting theory (dynamical gauge field), not only for chiral fermions in external gauge backgrounds, and in 3+1 dimensions, where equal-time operator products remain singular after normal ordering; the two-dimensional exact results do not transfer. Since an anomalous chiral gauge theory has no unitary S-matrix, the commutator algebra is to be understood as an object of perturbation theory within a fixed framework.

References

1. S. L. Adler and W. A. Bardeen, 'Absence of higher-order corrections in the anomalous axial-vector divergence equation', Physical Review 182 (1969) 1517-1536. DOI: 10.1103/PhysRev.182.1517. URL: https://doi.org/10.1103/PhysRev.182.1517
2. L. D. Faddeev, 'Operator anomaly for the Gauss law', Physics Letters B 145 (1984) 81-84. DOI: 10.1016/0370-2693(84)90952-3. URL: https://doi.org/10.1016/0370-2693(84)90952-3
3. S.-G. Jo, 'Commutators in an anomalous non-abelian chiral gauge theory', Physics Letters B 163 (1985) 353-359. DOI: 10.1016/0370-2693(85)90295-3. URL: https://doi.org/10.1016/0370-2693(85)90295-3
4. L. D. Faddeev and S. L. Shatashvili, 'Realization of the Schwinger term in the Gauss law and the possibility of correct quantization of a theory with anomalies', Physics Letters B 167 (1986) 225-228. DOI: 10.1016/0370-2693(86)90604-0. URL: https://doi.org/10.1016/0370-2693(86)90604-0
5. Makoto Kobayashi, Koichi Seo and Akio Sugamoto, 'Commutator anomaly for the Gauss law constraint operator', Nuclear Physics B 273 (1986) 607-628. DOI: 10.1016/0550-3213(86)90380-9. URL: https://doi.org/10.1016/0550-3213(86)90380-9
6. A. Yu. Alekseev, Ya. Madaichik, L. D. Faddeev and S. L. Shatashvili, 'Derivation of anomalous commutator in the functional integral formalism', Theoretical and Mathematical Physics 73 (1987) 1149-1151. DOI: 10.1007/BF01017583. URL: https://doi.org/10.1007/BF01017583
7. S.-G. Jo, 'Generalized point-splitting method and Bjorken-Johnson-Low limit for the commutator anomaly', Physical Review D 35 (1987) 3179-3186. DOI: 10.1103/PhysRevD.35.3179. URL: https://doi.org/10.1103/PhysRevD.35.3179
8. J. Mickelsson and S. G. Rajeev, 'Current algebras in d+1-dimensions and determinant bundles over infinite-dimensional Grassmannians', Communications in Mathematical Physics 116 (1988) 365-400. DOI: 10.1007/BF01229200. URL: https://doi.org/10.1007/BF01229200
9. R. Percacci and R. Rajaraman, 'Gauss law commutator in the chirally gauged Wess-Zumino-Witten model', Physics Letters B 201 (1988) 256-260. DOI: 10.1016/0370-2693(88)90224-9. URL: https://doi.org/10.1016/0370-2693(88)90224-9
10. P. Mitra, 'Non-cocyclic anomaly in the Gauss law commutator', Physics Letters B 214 (1988) 105-108. DOI: 10.1016/0370-2693(88)90460-1. URL: https://doi.org/10.1016/0370-2693(88)90460-1
11. Gordon W. Semenoff, 'Nonassociative electric fields in chiral gauge theory: an explicit construction', Physical Review Letters 60 (1988) 680-683. DOI: 10.1103/PhysRevLett.60.680. URL: https://doi.org/10.1103/PhysRevLett.60.680
12. Tadashi Nishikawa and Izumi Tsutsui, 'Consistent and covariant commutator anomalies in gauge theories', Nuclear Physics B 308 (1988) 544-560. DOI: 10.1016/0550-3213(88)90577-9. URL: https://doi.org/10.1016/0550-3213(88)90577-9
13. Shinobu Hosono and Koichi Seo, 'Current commutator anomalies and chiral anomalies in the canonical formalism', Modern Physics Letters A 3 (1988) 691-701. DOI: 10.1142/S0217732388000830. URL: https://doi.org/10.1142/S0217732388000830
14. Shinobu Hosono, 'Algebraic structures of anomalous commutators in general dimensions', Modern Physics Letters A 3 (1988) 901-907. DOI: 10.1142/S0217732388001070. URL: https://doi.org/10.1142/S0217732388001070
15. Shinobu Hosono and Koichi Seo, 'Derivation of chiral anomalies and commutator anomalies in a fixed-time regularization method', Physical Review D 38 (1988) 1296-1309. DOI: 10.1103/PhysRevD.38.1296. URL: https://doi.org/10.1103/PhysRevD.38.1296
16. T. D. Kieu, 'Commutators of Gauss-law operators in chiral gauge theories', Physics Letters B 223 (1989) 72-76. DOI: 10.1016/0370-2693(89)90922-2. URL: https://doi.org/10.1016/0370-2693(89)90922-2
17. G. V. Dunne and C. A. Trugenberger, 'Covariant Gauss law commutator anomaly', Physics Letters B 248 (1990) 305-310. DOI: 10.1016/0370-2693(90)90297-J. URL: https://doi.org/10.1016/0370-2693(90)90297-J
18. Koichi Seo, 'Bjorken-Johnson-Low analysis of commutator anomalies, current-divergence anomalies, and Fujikawa's relation in chiral gauge theories', Physical Review D 42 (1990) 2819-2828. DOI: 10.1103/PhysRevD.42.2819. URL: https://doi.org/10.1103/PhysRevD.42.2819
19. Christian Schwiebert, 'A simple algebraic derivation of Schwinger terms from chiral anomalies', Physics Letters B 241 (1990) 223-228. DOI: 10.1016/0370-2693(90)91283-H. URL: https://doi.org/10.1016/0370-2693(90)91283-H
20. G. Kelnhofer, 'Determination of covariant Schwinger terms in anomalous gauge theories', Zeitschrift für Physik C Particles and Fields 52 (1991) 89-96. DOI: 10.1007/BF01412330. URL: https://doi.org/10.1007/BF01412330
21. Christian Schwiebert, 'Higher cocycles in anomalous gauge theories and their consistency conditions', Zeitschrift für Physik C Particles and Fields 51 (1991) 93-97. DOI: 10.1007/BF01579564. URL: https://doi.org/10.1007/BF01579564
22. G. Barnich, 'Perturbative gauge anomalies in the Hamiltonian formalism: a cohomological analysis', Modern Physics Letters A 9 (1994) 665-673. arXiv: hep-th/9310167. DOI: 10.1142/S0217732394003890. URL: https://arxiv.org/abs/hep-th/9310167
23. Edwin Langmann and Jouko Mickelsson, '(3+1)-dimensional Schwinger terms and non-commutative geometry', Physics Letters B 338 (1994) 241-248. arXiv: hep-th/9407193. DOI: 10.1016/0370-2693(94)91372-2. URL: https://arxiv.org/abs/hep-th/9407193
24. R. A. Bertlmann and Tomáš Sýkora, 'Point-splitting method of the commutator anomaly of Gauss law operators', Physical Review D 56 (1997) 2236-2241. arXiv: hep-th/9707112. DOI: 10.1103/PhysRevD.56.2236. URL: https://arxiv.org/abs/hep-th/9707112
25. J. M. Pawlowski, 'Gauss law operator algebra and double commutators in chiral gauge theories', Physical Review D 57 (1998) 1193-1202. arXiv: hep-th/9701029. DOI: 10.1103/PhysRevD.57.1193. URL: https://arxiv.org/abs/hep-th/9701029
26. Christoph Adam, 'Consistent and covariant commutator anomalies in the chiral Schwinger model', Annals of Physics 265 (1998) 198-218. arXiv: hep-th/9710042. DOI: 10.1006/aphy.1997.5769. URL: https://arxiv.org/abs/hep-th/9710042
27. Alan L. Carey, Jouko Mickelsson and Michael K. Murray, 'Bundle gerbes applied to quantum field theory', Reviews in Mathematical Physics 12 (2000) 65-90. arXiv: hep-th/9711133. DOI: 10.1142/S0129055X00000046. URL: https://arxiv.org/abs/hep-th/9711133
28. Pedram Hekmati, Michael K. Murray, Danny Stevenson and Raymond F. Vozzo, 'The Faddeev-Mickelsson-Shatashvili anomaly and lifting bundle gerbes', Communications in Mathematical Physics 319 (2013) 379-393. arXiv: 1112.1752. DOI: 10.1007/s00220-012-1608-7. URL: https://arxiv.org/abs/1112.1752