Recognition: 2 theorem links
· Lean TheoremAnomalies in family unification models from bordism classification
Pith reviewed 2026-05-10 20:13 UTC · model grok-4.3
The pith
Global sigma model anomalies are absent in E7 family unification models because the torsion in their bordism groups vanishes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In family unification models realized as supersymmetric sigma models on E7 coset spaces, global anomalies are encoded in the torsion of the associated bordism groups. Explicit computation of these groups via the Atiyah-Hirzebruch spectral sequence shows that the torsion vanishes, establishing the absence of global sigma model anomalies. When the isotropy subgroup is gauged, the corresponding bordism groups likewise have no torsion, so no additional global anomalies arise.
What carries the argument
The Atiyah-Hirzebruch spectral sequence applied to the bordism groups of E7 coset spaces, where the torsion part classifies possible global sigma model anomalies.
Load-bearing premise
The Atiyah-Hirzebruch spectral sequence converges to the correct bordism groups for these specific E7 coset spaces without errors in the differentials or missed contributions.
What would settle it
An independent computation of one of the relevant bordism groups, for instance by the Adams spectral sequence, that finds non-zero torsion in the degree corresponding to 4d global anomalies would falsify the absence of anomalies.
Figures
read the original abstract
We study anomalies in family unification models within the framework of the bordism classification of invertible field theories. These models are based on four-dimensional $\mathcal{N}=1$ supersymmetric nonlinear sigma models, in which the three generations of quarks and leptons arise as superpartners of the sigma model fields. We focus on models whose target spaces are constructed from the exceptional group $E_{7}$ and its subgroups. For the consistency of the theory, sigma model anomalies must be cancelled. We show the absence of global sigma model anomalies, which are encoded in the torsion part of the relevant bordism groups, by explicitly computing these groups using the Atiyah-Hirzebruch spectral sequence. In constructing family unification models, symmetries acting on the coset spaces are gauged, which may introduce additional anomalies. We identify the relevant bordism groups in this setting and demonstrate that no global anomalies arise when the isotropy subgroup of the coset space is gauged.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that family unification models based on E7 coset spaces in 4d N=1 supersymmetric nonlinear sigma models have no global sigma model anomalies, as shown by explicit computation of the torsion subgroups of the relevant bordism groups via the Atiyah-Hirzebruch spectral sequence; it further claims that gauging the isotropy subgroup introduces no additional global anomalies.
Significance. If the bordism computations are correct, the result supplies a topological obstruction argument confirming consistency of these specific models, extending bordism methods to concrete particle-physics constructions and providing evidence that global anomalies are absent when the isotropy subgroup is gauged.
major comments (1)
- The central claim of vanishing torsion (hence no global anomalies) rests on the Atiyah-Hirzebruch spectral sequence for the E7 coset spaces and gauged versions. The manuscript asserts that all differentials vanish in the relevant degrees and that there are no extension problems producing torsion, but provides neither the input cohomology groups of the cosets, the explicit differentials, the convergence details, nor the resulting bordism groups (e.g., no tables or step-by-step pages of the spectral sequence). Without these, the vanishing cannot be verified and the claim is unsupported.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable feedback on our manuscript. We address the major comment regarding the details of the Atiyah-Hirzebruch spectral sequence computations below. We believe that providing the requested details will strengthen the paper and confirm our results.
read point-by-point responses
-
Referee: The central claim of vanishing torsion (hence no global anomalies) rests on the Atiyah-Hirzebruch spectral sequence for the E7 coset spaces and gauged versions. The manuscript asserts that all differentials vanish in the relevant degrees and that there are no extension problems producing torsion, but provides neither the input cohomology groups of the cosets, the explicit differentials, the convergence details, nor the resulting bordism groups (e.g., no tables or step-by-step pages of the spectral sequence). Without these, the vanishing cannot be verified and the claim is unsupported.
Authors: We appreciate the referee's point that the explicit details of the Atiyah-Hirzebruch spectral sequence (AHSS) computations are necessary to verify the vanishing of the torsion subgroups. In the manuscript, we stated the results of these computations—namely, that the torsion parts of the bordism groups for the E7 coset spaces and their gauged versions are trivial—based on our explicit calculations using the AHSS. However, to facilitate verification, we will include in the revised manuscript an appendix that provides: (1) the input cohomology groups of the relevant coset spaces G/H, computed using the known cohomology rings of E7 and its subgroups; (2) the pages of the AHSS, including the differentials in low degrees relevant to global anomalies (up to dimension 4 or 5); (3) confirmation that all differentials vanish in the relevant range or do not affect the torsion; and (4) the converged bordism groups showing no torsion. These details were part of our internal computations but were summarized in the main text for brevity. We disagree that the claim is unsupported, as the computations were performed, but we agree they should be presented more explicitly for the reader. revision: yes
Circularity Check
No significant circularity in bordism computation via AHSS
full rationale
The paper derives the absence of global sigma model anomalies by explicitly computing the torsion subgroups of the relevant bordism groups for E7 coset spaces and their gauged isotropy subgroups, using the Atiyah-Hirzebruch spectral sequence. This is a direct, self-contained topological calculation that applies standard spectral sequence techniques to the specific spaces and does not reduce to any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. The central claim follows from the computed groups rather than from any input that is restated by construction. No ansatz smuggling, uniqueness theorems from the same authors, or renaming of known results is indicated.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Bordism groups of invertible field theories classify global anomalies in nonlinear sigma models
- standard math The Atiyah-Hirzebruch spectral sequence computes the relevant bordism groups for the E7 coset spaces
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We show the absence of global sigma model anomalies, which are encoded in the torsion part of the relevant bordism groups, by explicitly computing these groups using the Atiyah-Hirzebruch spectral sequence.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the anomaly is classified by the Anderson dual (I_Z Ω^Spin)_{d+2}(X)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Georgi and S
H. Georgi and S. L. Glashow,Gauge theories without anomalies,Phys. Rev. D6(1972) 429
1972
-
[2]
D. J. Gross and R. Jackiw,Effect of anomalies on quasirenormalizable theories,Phys. Rev. D6(1972) 477–493
1972
-
[3]
Alvarez-Gaume and E
L. Alvarez-Gaume and E. Witten,Gravitational Anomalies,Nucl. Phys. B234(1984) 269
1984
-
[4]
Alvarez-Gaume and P
L. Alvarez-Gaume and P. H. Ginsparg,The Structure of Gauge and Gravitational Anomalies,Annals Phys.161(1985) 423. [Erratum: Annals Phys. 171, 233 (1986)]
1985
-
[5]
Fermion Path Integrals And Topological Phases
E. Witten,Fermion Path Integrals And Topological Phases,Rev. Mod. Phys.88(2016) 035001, arXiv:1508.04715 [cond-mat.mes-hall]
work page Pith review arXiv 2016
-
[6]
Anomaly Inflow and theη-Invariant,
E. Witten and K. Yonekura,Anomaly Inflow and theη-Invariant,inThe Shoucheng Zhang Memorial Workshop. 9, 2019. arXiv:1909.08775 [hep-th]
- [7]
-
[8]
Symmetry Protected Topological Phases, Anomalies, and Cobordisms: Beyond Group Cohomology,
A. Kapustin,Symmetry Protected Topological Phases, Anomalies, and Cobordisms: Beyond Group Cohomology,arXiv:1403.1467 [cond-mat.str-el]
-
[9]
Fer mionic Symmetry Protected Topological Phases and Cobordisms,
A. Kapustin, R. Thorngren, A. Turzillo, and Z. Wang,Fermionic Symmetry Protected Topological Phases and Cobordisms,JHEP12(2015) 052, arXiv:1406.7329 [cond-mat.str-el]
- [10]
-
[11]
Yonekura,On the cobordism classification of symmetry protected topological phases, Commun
K. Yonekura,On the cobordism classification of symmetry protected topological phases, Commun. Math. Phys.368(2019) 1121–1173, arXiv:1803.10796 [hep-th]
-
[12]
M. Yamashita and K. Yonekura,Differential models for the Anderson dual to bordism theories and invertible QFT’s. I.,J. Gökova Geom. Topol. GGT16(2023) 1–64, arXiv:2106.09270 [math.AT]
-
[13]
Hsieh,Discrete gauge anomalies revisited,arXiv:1808.02881 [hep-th]
C.-T. Hsieh,Discrete gauge anomalies revisited,arXiv:1808.02881 [hep-th]
-
[14]
I. García-Etxebarria and M. Montero,Dai-Freed anomalies in particle physics,JHEP08 (2019) 003, arXiv:1808.00009 [hep-th]
-
[15]
J. Wang and X.-G. Wen,Nonperturbative definition of the standard models,Phys. Rev. Res.2(2020) 023356, arXiv:1809.11171 [hep-th]
-
[16]
Z. Wan and J. Wang,Higher anomalies, higher symmetries, and cobordisms I: classification of higher-symmetry-protected topological states and their boundary fermionic/bosonic anomalies via a generalized cobordism theory,Ann. Math. Sci. Appl.4 (2019) 107–311, arXiv:1812.11967 [hep-th]
-
[17]
J. Davighi, B. Gripaios, and N. Lohitsiri,Global anomalies in the Standard Model(s) and Beyond,JHEP07(2020) 232, arXiv:1910.11277 [hep-th]
- [18]
- [19]
- [20]
-
[21]
J. Wang,Anomaly and Cobordism Constraints Beyond the Standard Model: Topological Force,arXiv:2006.16996 [hep-th]. 50
-
[22]
J. Wang,Anomaly and Cobordism Constraints Beyond Grand Unification: Energy Hierarchy,arXiv:2008.06499 [hep-th]
-
[23]
J. Wang,Ultra Unification,Phys. Rev. D103(2021) 105024, arXiv:2012.15860 [hep-th]
-
[24]
J. Wang and Y .-Z. You,Gauge enhanced quantum criticality beyond the standard model, Phys. Rev. D106(2022) 025013, arXiv:2106.16248 [hep-th]
- [25]
- [26]
-
[27]
J. Davighi, B. Gripaios, and N. Lohitsiri,Anomalies of non-Abelian finite groups via cobordism,JHEP09(2022) 147, arXiv:2207.10700 [hep-th]
-
[28]
M. Kawasaki and T. T. Yanagida,Dai-Freed anomaly in the standard model and topological inflation,JHEP11(2023) 106, arXiv:2304.10100 [hep-ph]
- [29]
-
[30]
Wang,Topological Quantum Dark Matter via Global Anomaly Cancellation, arXiv:2502.21319 [hep-th]
J. Wang,Topological Quantum Dark Matter via Global Anomaly Cancellation, arXiv:2502.21319 [hep-th]
-
[31]
Wan,Anomaly of 4d Weyl fermion with discrete symmetries, arXiv:2506.19710 [hep-th]
Z. Wan,Anomaly of 4d Weyl fermion with discrete symmetries, arXiv:2506.19710 [hep-th]
-
[32]
How to Build Anomalous (3+1)d Topological Quantum Field Theories
A. Debray, W. Ye, and M. Yu,How to Build Anomalous (3+1)d Topological Quantum Field Theories,arXiv:2510.24834 [math-ph]
- [33]
-
[34]
Yonekura,The absence of global anomalies of CP symmetry, arXiv:2602.11475 [hep-ph]
K. Yonekura,The absence of global anomalies of CP symmetry, arXiv:2602.11475 [hep-ph]
-
[35]
Buchmuller, R
W. Buchmuller, R. D. Peccei, and T. Yanagida,Quarks and Leptons as Quasi Nambu-Goldstone Fermions,Phys. Lett. B124(1983) 67
1983
-
[36]
Buchmuller, R
W. Buchmuller, R. D. Peccei, and T. Yanagida,Quasi Nambu-Goldstone Fermions,Nucl. Phys. B227(1983) 503
1983
-
[37]
Ong,Gauged Supersymmetric Generalized NonlinearσModels for Quarks and Leptons,Phys
C.-L. Ong,Gauged Supersymmetric Generalized NonlinearσModels for Quarks and Leptons,Phys. Rev. D27(1983) 3044. 51
1983
-
[38]
Kugo and T
T. Kugo and T. Yanagida,Unification of Families Based on a Coset Space E7 / SU(5) X SU(3) X U(1),Phys. Lett. B134(1984) 313
1984
-
[39]
Yanagida and Y
T. Yanagida and Y . Yasui,SUPERSYMMETRIC NONLINEAR SIGMA MODELS BASED ON EXCEPTIONAL GROUPS,Nucl. Phys. B269(1986) 575–586
1986
-
[40]
J. Sato and T. Yanagida,Large lepton mixing in a coset space family unification on E(7) / SU(5) x U(1)**3,Phys. Lett. B430(1998) 127–131, arXiv:hep-ph/9710516
-
[41]
Irie and Y
S. Irie and Y . Yasui,SUPERSYMMETRIC NONLINEAR sigma MODEL ON E8 / SO(10) x SU(3) X U(1),Z. Phys. C29(1985) 123
1985
-
[42]
L. E. Ibanez,SUPERSYMMETRIC COSET UNIFIED THEORIES: SUSY GUTs,Phys. Lett. B150(1985) 127–132
1985
-
[43]
Ong,Supersymmetric Models for Quarks and Leptons With Nonlinearly Realized E8 Symmetry,Phys
C.-L. Ong,Supersymmetric Models for Quarks and Leptons With Nonlinearly Realized E8 Symmetry,Phys. Rev. D31(1985) 3271
1985
-
[44]
Buchmuller and O
W. Buchmuller and O. Napoly,Exceptional Coset Spaces and the Spectrum of Quarks and Leptons,Phys. Lett. B163(1985) 161
1985
-
[45]
S. M. Barr,E 8 family unification, mirror fermions, and new low-energy physics,Phys. Rev. D37(1988) 204
1988
-
[46]
T. Yanagida and J. Sato,Large lepton mixing in seesaw models: Coset space family unification,Nucl. Phys. B Proc. Suppl.77(1999) 293–298, arXiv:hep-ph/9809307
-
[47]
T. Watari and T. Yanagida,Higher dimensional supersymmetry as an origin of the three families for quarks and leptons,Phys. Lett. B532(2002) 252–258, arXiv:hep-ph/0201086
-
[48]
S. Hellerman, J. Kehayias, and T. T. Yanagida,Chaotic Inflation from Nonlinear Sigma Models in Supergravity,Phys. Lett. B742(2015) 390–393, arXiv:1411.3720 [hep-ph]
-
[49]
K. Harigaya, T. T. Yanagida, and N. Yokozaki,Seminatural SUSY from theE 7 nonlinear sigma model,PTEP2015(2015) 083B03, arXiv:1504.02266 [hep-ph]
- [50]
- [51]
- [52]
-
[53]
J. Sato,Aiming for unification of L µ−L τ and the standard model gauge group,JHEP07 (2022) 011, arXiv:2106.01520 [hep-ph]
-
[54]
Mizoguchi,F-theory Family Unification,JHEP07(2014) 018, arXiv:1403.7066 [hep-th]
S. Mizoguchi,F-theory Family Unification,JHEP07(2014) 018, arXiv:1403.7066 [hep-th]
-
[55]
S. Mizoguchi and T. Tani,Anomaly-free multiple singularity enhancement in F-theory, PTEP2016(2016) 073B05, arXiv:1508.07423 [hep-th]
-
[56]
C. Vafa,Evidence for F theory,Nucl. Phys. B469(1996) 403–418, arXiv:hep-th/9602022
work page Pith review arXiv 1996
-
[57]
S. Mizoguchi,Large Lepton-flavor Mixings from E8 Kodaira Singularity: Lopsided Texture via F-theory Family Unification,arXiv:1407.1319 [hep-th]
- [58]
-
[59]
R. Kuramochi, S. Mizoguchi, and T. Tani,The magic square and half-hypermultiplets in F-theory,PTEP2022(2022) 033B09, arXiv:2008.09272 [hep-th]
-
[60]
S. Mizoguchi and T. Tani,Matter from multiply enhanced singularities in F-theory,JHEP 03(2025) 187, arXiv:2407.14731 [hep-th]
-
[61]
World-Sheet Corrections Via D-Instantons
E. Witten,World-sheet corrections viaD-instantons.,JHEP02(2000) 030, arXiv:hep-th/9907041
work page Pith review arXiv 2000
- [62]
-
[63]
Kapustin,D-branes in a topologically nontrivial B field,Adv
A. Kapustin,D-branes in a topologically nontrivial B field,Adv. Theor . Math. Phys.4 (2000) 127–154, arXiv:hep-th/9909089
-
[64]
A Note On Some Minimally Supersymmetric Models In Two Dimensions
D. Gaiotto, T. Johnson-Freyd, and E. Witten,A note on some minimally supersymmetric models in two dimensions.2021. arXiv:1902.10249 [hep-th]
work page Pith review arXiv 2021
-
[65]
K. Yonekura,Heterotic global anomalies and torsion Witten index,JHEP10(2022) 114, arXiv:2207.13858 [hep-th]
-
[66]
Choi,Global Anomalies in Sigma Models with Majorana–Weyl Fermions, arXiv:2508.14895 [hep-th]
C. Choi,Global Anomalies in Sigma Models with Majorana–Weyl Fermions, arXiv:2508.14895 [hep-th]
-
[67]
G. W. Moore and P. C. Nelson,Anomalies in NonlinearσModels,Phys. Rev. Lett.53 (1984) 1519
1984
-
[68]
G. W. Moore and P. C. Nelson,The Etiology ofσModel Anomalies,Commun. Math. Phys.100(1985) 83. 53
1985
-
[69]
Yasui,GLOBAL ANOMALIES IN NONLINEAR SIGMA MODELS BASED ON EXCEPTIONAL GROUPS,Prog
Y . Yasui,GLOBAL ANOMALIES IN NONLINEAR SIGMA MODELS BASED ON EXCEPTIONAL GROUPS,Prog. Theor . Phys.76(1986) 238
1986
-
[70]
Buchmuller and W
W. Buchmuller and W. Lerche,Geometry and Anomaly Structure of Supersymmetricσ Models,Annals Phys.175(1987) 159
1987
-
[71]
A. C. W. Kotcheff and G. M. Shore,KahlerσModels From Supersymmetric Gauge Theories,Int. J. Mod. Phys. A4(1989) 4391
1989
- [72]
-
[73]
K. Yonekura,Dai-Freed theorem and topological phases of matter,JHEP09(2016) 022, arXiv:1607.01873 [hep-th]
- [74]
-
[75]
Manohar, G
A. Manohar, G. W. Moore, and P. C. Nelson,A COMMENT ON SIGMA MODEL ANOMALIES,Phys. Lett. B152(1985) 68–74
1985
-
[76]
K. Shiozaki, C. Z. Xiong, and K. Gomi,Generalized homology and Atiyah–Hirzebruch spectral sequence in crystalline symmetry protected topological phenomena,PTEP2023 (2023) 083I01, arXiv:1810.00801 [cond-mat.str-el]
- [77]
-
[78]
P. D. Francesco, P. Mathieu, and D. Sénéchal,Conformal Field Theory. Graduate Texts in Contemporary Physics. Springer-Verlag, New York, 1997
1997
-
[79]
Bando, T
M. Bando, T. Kuramoto, T. Maskawa, and S. Uehara,Structure of Nonlinear Realization in Supersymmetric Theories,Phys. Lett. B138(1984) 94
1984
-
[80]
Bando, T
M. Bando, T. Kuramoto, T. Maskawa, and S. Uehara,Nonlinear Realization in Supersymmetric Theories,Prog. Theor . Phys.72(1984) 313
1984
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.