Pith. sign in

REVIEW 2 major objections 3 minor 33 references

The electroweak scalar field can live on exactly 11 target manifolds, and the choice changes whether strings, monopoles, instantons, or textures exist.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 07:11 UTC pith:YVLMUJPS

load-bearing objection A correct and useful classification of electroweak scalar manifolds; the main completeness worry dissolves on inspection, leaving only minor fixes before publication. the 2 major comments →

arxiv 2601.20940 v2 pith:YVLMUJPS submitted 2026-01-28 hep-ph hep-th

Catalog of electroweak scalar manifolds

Juan Carlos Criado This is my paper
classification hep-ph hep-th
keywords Higgs effective field theoryscalar manifold topologycohomogeneity-one group actionselectroweak symmetry breakingtopological defectshomotopy groupsscalar field spaceclassification of manifolds
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Local measurements around the electroweak vacuum cannot fix the global shape of the scalar-field space. The paper argues that if the electroweak symmetry group acts smoothly on a connected 4-dimensional scalar manifold that looks like R×S^3 near the vacuum, the manifold is one of 11 possibilities. The argument uses the theory of group actions in which almost every orbit is a 3-sphere, with only a few exceptional orbits: fixed points, 2-spheres, or projective 3-spaces. Each of the 11 manifolds has a different spectrum of topologically protected defects—strings, monopoles, instantons, textures—and a different number of points where electroweak symmetry is restored. All 11 are compatible with current data, so the differences are a genuinely open experimental question.

Core claim

The paper's central claim is that Table II is complete: under smooth SU(2)_L×U(1)_Y action, with the diagonal U(1) as principal isotropy and Lagrangian singularities removed, the scalar manifold is one of 11 topologies. An initial reduction turns this into an SU(2) action on the same manifold whose generic orbits are 3-spheres and whose singular orbits are fixed points, 2-spheres, or projective 3-spaces. The orbit space is then S^1, R, a ray, or an interval. A ray yields RP^4\{*}, CP^2\{*}, or R^4; an interval yields RP^4#RP^4, RP^4#CP^2, RP^4, CP^2#CP^2, CP^2, or S^4; adding S^1×S^3 and R×S^3 completes the list. Each manifold has 0, 1, or 2 fixed points, and its homotopy groups fix which st

What carries the argument

The central machinery is a cohomogeneity-one group action: a compact Lie group action in which the generic orbit has codimension one. The paper uses the standard result that the orbit space is then one of S^1, R, [0,∞), or [0,1], and that the whole manifold is reconstructed from the orbit space together with the principal and singular isotropy groups. The key reduction step claims that every electroweak action with principal isotropy U(1)_em yields an SU(2) action on the same manifold with trivial principal isotropy; because the singular isotropy groups of SU(2) that are spheres are just Z_2, U(1), and SU(2), the orbit-space data reduce to a small list. The reconstruction then produces exact

Load-bearing premise

The load-bearing premise is that every smooth electroweak action with principal isotropy U(1)_em reduces to an SU(2) action, and every reduced action listed lifts back to the full electroweak group under 'mild conditions' that the paper never states or verifies; if this correspondence is not bijective, the 11-manifold list is incomplete or contains unphysical entries.

What would settle it

Try to construct a smooth action of SU(2)_L×U(1)_Y on a connected 4-manifold with principal isotropy U(1)_em whose orbit space is a ray or interval but whose singular isotropy is not one of Z_2, U(1), or SU(2). A single such example, or an explicit proof that the RP^4#RP^4 row cannot be lifted to an action of the full electroweak group, would settle the completeness question.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The eleven manifolds are all viable bottom-up EFTs: each admits an invariant potential and metric that can reproduce current data near the vacuum.
  • Local data cannot identify the manifold; distinguishing the theories requires global probes, such as cosmological defect networks or measurements that sample field values far from the vacuum.
  • Depending on the manifold, the electroweak symmetry is fully restored at 0, 1, or 2 fixed points, and at S^2 orbits it is partially restored so that the Z and photon become massless while the W bosons stay massive.
  • Stable strings carry charges in Z, Z_2, or the infinite dihedral group; the D_∞ case is the only non-Abelian example and gives strings that cannot pass through each other.
  • The homotopy table assigns monopoles, instantons, and spacetime textures only to manifolds with the corresponding non-zero homotopy groups, so each choice of manifold has a distinct global-defect fingerprint.

Where Pith is reading between the lines

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

  • If the classification is correct, detecting a D_∞ string would identify the scalar manifold as RP^4#RP^4, while a Z_2 string would narrow the choice to manifolds whose fundamental group is Z_2.
  • Because the 'mild conditions' on the reduction are never stated, the most direct way to close the remaining gap is to write out the full SU(2)_L×U(1)_Y action on each row, especially RP^4#RP^4; that is a finite computation.
  • The same orbit-space enumeration could be applied to other scalar sectors—extra singlets, larger gauge groups, or different vacuum manifolds—to produce analogous finite catalogs of target spaces.
  • The S^2 singular orbit, where only the W bosons stay massive, offers a distinctive local signature that could be searched for in models built on CP^2-based manifolds.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper presents a classification of possible four-dimensional target manifolds for the scalar fields in the Higgs Effective Field Theory (HEFT), under the assumptions that the electroweak group SU(2)_L × U(1)_Y acts smoothly and with principal isotropy U(1)_em, that the principal orbits are the vacuum 3-spheres, and that singular points of the Lagrangian have been removed. Using the theory of cohomogeneity-one group actions, the author derives a list of eleven manifolds (Table II), including products S^1×S^3, R×S^3, punctured projective spaces, and connected sums such as RP^4#RP^4 and CP^2#CP^2. For each manifold the associated group action is described (Appendix A), the low homotopy groups are computed (Table III and Appendix B), and physical consequences for strings, monopoles, instantons, and spacetime textures are discussed. A worked UV completion with target S^4 is given in Appendix C. The central claim is that Table II is exhaustive under the stated assumptions.

Significance. If the completeness claim is correct, the paper provides a useful and non-obvious geometric classification of scalar manifolds in the HEFT, with direct implications for topological defects and for model building beyond the Standard Model. The internal mathematical derivations are consistent: the orbit-space cases, the use of K_i/H being a sphere, and the connected-sum constructions reproduce Table II, and the homotopy-group entries in Table III agree with standard sphere and projective-space computations. The paper also offers explicit constructions for the actions in Appendix A and a concrete UV example in Appendix C, which are valuable checks. The main weakness is that the equivalence between electroweak-group actions and the reduced SU(2) actions is asserted rather than proved, and the cited classification theorems are not matched to the non-simply-connected rows.

major comments (2)
  1. [Section II.C] The completeness of Table II rests on the paragraph beginning 'The results of Ref. [17] imply...'. The asserted reduction from SU(2)_L × U(1)_Y actions with principal isotropy U(1)_em to SU(2) actions with trivial principal isotropy is not proved, and the 'mild conditions' for the converse lift are never stated. Since U(1)_em is not a normal subgroup of the electroweak group, one cannot simply quotient; the natural route is to restrict to the SU(2)_L factor, for which the principal isotropy becomes trivial. The paper should state this as a lemma with explicit hypotheses, prove it (or give a precise reference), and verify that the hypotheses hold for every row in Table II. As written, a reader cannot rule out that some electroweak action is missed or that some reduced action has no lift to U(1)_Y.
  2. [Table II] The classification includes non-simply-connected manifolds: RP^4\{*}, RP^4#RP^4, and RP^4. The cited external results (Mostert [15], Parker [16], Hoelscher [17]) are invoked as black boxes, but it is not stated whether they cover non-simply-connected manifolds or only simply connected ones. If, for example, Hoelscher's theorem assumes simple connectivity, then the completeness of those rows is unsupported. Please identify explicitly which theorem or direct construction justifies each row, especially the non-simply-connected entries, or provide a self-contained proof for them.
minor comments (3)
  1. [Table II] The row with orbit space [0,1] and isotropies (Z2, U(1)) lists the manifold as 'RP^2#CP^2'. This is inconsistent with Eq. (4) and the surrounding text, which give 'RP^4#CP^2'. Since a connected sum requires the two summands to have the same dimension, this appears to be a typo.
  2. [Section II.C] The sentence 'The subset of compact manifolds has been computed before in Ref. [16]' is slightly imprecise, since Table II also contains non-compact manifolds. It would be helpful to state explicitly which rows are new and which are covered by [16] and [17].
  3. [Appendix A] The construction of the CP^2\{*} action uses the identification (0,n)~(0, e^{iθ}gn) for (g,e^{iθ}) ∈ U(1)^2_max. It would aid the reader to spell out why this identification is well-defined and why the resulting space is diffeomorphic to CP^2 with a point removed, in analogy with the RP^4 case.

Circularity Check

0 steps flagged

No significant circularity: the classification is carried by external mathematical theorems (Mostert, Parker, Hoelscher), and the cited self-work is not load-bearing.

full rationale

The paper's central claim is a mathematical classification of possible 4-dimensional scalar target manifolds for HEFT under stated assumptions of smooth group action, principal isotropy U(1)_em, and cohomogeneity one. The derivation is explicitly grounded in external classification theorems: Mostert [15] for cohomogeneity-one orbit structure, Parker [16] for compact 4-manifolds with 3-dimensional orbits, and Hoelscher [17] for low-dimensional cohomogeneity-one classifications. The potentially load-bearing reduction step — 'The results of Ref. [17] imply that every such action gives rise to an action on the same manifold M of the group G=SU(2) with trivial principal isotropy H={1}, and the same principal orbit G/H ∼= S3' — is an appeal to an external theorem, not to the paper's own prior results or to a fitted input. The statement 'Under mild conditions, a reduced action does also generate an action of the original group' is admittedly not fully specified, but that is a rigor/completeness gap, not a circularity-by-construction: the paper does not define the reduced action in terms of the desired conclusion, nor does it fit any parameter to the target list. No equations in the paper equate the input assumptions to the output list; Table II follows from the orbit-space cases (S^1, R, [0,∞), [0,1]) and the allowed singular isotropy groups, exactly as in the U(1) toy example. The self-citations, [27] and [31], are used only as contextual references for domain walls and skyrmions, respectively, and do not support the completeness claim. There are no fitted parameters, no data selection, and no prediction that reduces to an input. The main vulnerability is the unproven bijectivity of the reduction/lift correspondence between SU(2)_L × U(1)_Y actions and SU(2) actions, which the paper delegates to Ref. [17]; if that theorem does not cover all cases, the list could be incomplete or contain spurious entries. That is a correctness risk, not circularity, and is not the kind of self-referential reduction that this analysis is designed to flag.

Axiom & Free-Parameter Ledger

3 free parameters · 5 axioms · 0 invented entities

The central classification rests on external classification theorems (Mostert/Parker/Hoelscher) and two domain assumptions (vacuum ≅ S^3; smooth, connected, cohomogeneity-one M with singular points removed), plus the standard HEFT existence argument (free V(h), g(h)). No new particles, forces, or dimensions are postulated; the singular orbits (fixed points, S^2, RP^3) are properties of group actions, not new entities. The only hand-fitted numbers (μ, θ, u) live in the Appendix C example and do not enter the classification.

free parameters (3)
  • θ (vacuum misalignment angle, Appendix C example) = cosθ > 0.997; example θ = 0.05
    Chosen in the S^4 UV-completion example so that v = u sinθ = 246 GeV and the Higgs couplings to gauge bosons match measurements. Does not enter the central classification.
  • μ (Higgs mass scale, Appendix C example) = μ sinθ = 125 GeV; example μ ≈ 2.5 TeV
    Fixed to reproduce the measured Higgs mass in the example. Does not affect the central claim.
  • u (radial scale, Appendix C example) = ≈ 5 TeV (example)
    Chosen consistently with the above constraints in the illustrative UV completion. No role in the classification.
axioms (5)
  • standard math Mostert's classification of cohomogeneity-one actions: the orbit space M/G is S^1, R, [0,∞), or [0,1], and K_i/H ≅ S^n for some n (Mostert 1957, Ref [15])
    Used throughout Section II to reduce the classification to (orbit space, principal isotropy H, endpoint isotropies K_0, K_1).
  • standard math Parker's and Hoelscher's classifications of 4-manifolds with 3-dimensional orbits (Refs [16,17]), including the reduction of SU(2)_L×U(1)_Y actions with principal isotropy U(1)_em to SU(2) actions with trivial principal isotropy
    Section II.C: the completeness of Table II is inherited from these theorems; the 'mild conditions' for the lift are not stated in the paper.
  • domain assumption The vacuum submanifold is diffeomorphic to S^3, per CCWZ for spontaneous breaking SU(2)_L×U(1)_Y → U(1)_em; other 3-manifolds allowed by infinitesimal transformation properties are excluded because they hamper fermion masses (footnote 1, citing Ref [7])
    Restricts the classification to principal orbits S^3; if the vacuum could be a non-S^3 3-manifold, the catalog would not be exhaustive.
  • domain assumption M is connected, smooth, and the electroweak action is cohomogeneity-one; singular points of the HEFT Lagrangian are removed from M (footnote 3 and Section I)
    Defines the class of manifolds classified; disconnected M would add arbitrary disjoint unions, and removing singular points is what produces the punctured manifolds RP^4\{*} and CP^2\{*}.
  • domain assumption A bottom-up EFT can be built on any of the listed manifolds because invariant potentials V(h) and metrics g(h) exist on cohomogeneity-one manifolds (Ref [18]) and can be chosen to match data near the vacuum
    Used in Section II.D to argue that all 11 manifolds are compatible with current knowledge of electroweak interactions; UV completions are left open except for the S^4 example.

pith-pipeline@v1.3.0-alltime-deepseek · 12231 in / 29916 out tokens · 284388 ms · 2026-08-03T07:11:33.469853+00:00 · methodology

0 comments
read the original abstract

The local structure of the Higgs sector around the vacuum does not uniquely determine its global properties. Most of the current experimental data provides only local information, which allows for a rich variety of global features, including several distinct topologies of the scalar manifold, and the existence of zero, one, or two fixed points of the symmetry transformations. Here, I provide, under general conditions, a complete classification of realizations of the electroweak symmetry with minimal field content -- the three would-be Goldstone bosons and the Higgs -- and outline some of their physical consequences.

Figures

Figures reproduced from arXiv: 2601.20940 by Juan Carlos Criado.

Figure 1
Figure 1. Figure 1: The seven possible actions of U(1) on 2-dimensional surfaces. Samples of the circle (S 1 ) principal orbits are shown as thicker blue lines, while the fixed points are displayed as red dots. The red circles correspond to singular circle orbits in which opposite points should be identified. Some actions of the electroweak symmetry group on 4- dimensional surfaces can be obtained by replacing the principal o… view at source ↗
Figure 2
Figure 2. Figure 2: Schematic representation of closed paths (in gray) with topological charge [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗

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

33 extracted references · 16 linked inside Pith

  1. [1]

    Feruglio, The Chiral approach to the electroweak interactions, Int

    F. Feruglio, The Chiral approach to the electroweak interactions, Int. J. Mod. Phys. A8, 4937 (1993), arXiv:hep-ph/9301281

    Pith/arXiv arXiv 1993

  2. [2]

    Alonso, M

    R. Alonso, M. B. Gavela, L. Merlo, S. Rigolin, and J. Yepes, The Effective Chiral Lagrangian for a Light Dynamical ”Higgs Particle”, Phys. Lett. B 722, 330 (2013), [Erratum: Phys.Lett.B 726, 926 (2013)], arXiv:1212.3305 [hep-ph]

    Pith/arXiv arXiv 2013

  3. [3]

    Buchalla, O

    G. Buchalla, O. Cat` a, and C. Krause, Complete Electroweak Chiral Lagrangian with a Light Higgs at NLO, Nucl. Phys. B880, 552 (2014), [Erratum: Nucl.Phys.B 913, 475–478 (2016)], arXiv:1307.5017 [hep-ph]

    Pith/arXiv arXiv 2014

  4. [4]

    Brivio and M

    I. Brivio and M. Trott, The Standard Model as an Effective Field Theory, Phys. Rept.793, 1 (2019), arXiv:1706.08945 [hep-ph]

    Pith/arXiv arXiv 2019

  5. [5]

    S. R. Coleman, J. Wess, and B. Zumino, Structure of phenomenological Lagrangians. 1., Phys. Rev.177, 2239 (1969)

    1969

  6. [6]

    C. G. Callan, Jr., S. R. Coleman, J. Wess, and B. Zu- mino, Structure of phenomenological Lagrangians. 2., Phys. Rev.177, 2247 (1969). 10

    1969

  7. [7]

    Gripaios and O

    B. Gripaios and O. Randal-Williams, Topology of electroweak vacua, Phys. Lett. B782, 94 (2018), arXiv:1610.05623 [hep-th]

    Pith/arXiv arXiv 2018

  8. [8]

    Aadet al.(ATLAS), Observation of a new parti- cle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC, Phys

    G. Aadet al.(ATLAS), Observation of a new parti- cle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC, Phys. Lett. B716, 1 (2012), arXiv:1207.7214 [hep-ex]

    Pith/arXiv arXiv 2012

  9. [9]

    Chatrchyanet al.(CMS), Observation of a New Boson at a Mass of 125 GeV with the CMS Exper- iment at the LHC, Phys

    S. Chatrchyanet al.(CMS), Observation of a New Boson at a Mass of 125 GeV with the CMS Exper- iment at the LHC, Phys. Lett. B716, 30 (2012), arXiv:1207.7235 [hep-ex]

    Pith/arXiv arXiv 2012

  10. [10]

    Alonso, E

    R. Alonso, E. E. Jenkins, and A. V. Manohar, A Geometric Formulation of Higgs Effective Field The- ory: Measuring the Curvature of Scalar Field Space, Phys. Lett. B754, 335 (2016), arXiv:1511.00724 [hep-ph]

    Pith/arXiv arXiv 2016

  11. [11]

    Alonso, E

    R. Alonso, E. E. Jenkins, and A. V. Manohar, Geometry of the Scalar Sector, JHEP08, 101, arXiv:1605.03602 [hep-ph]

    Pith/arXiv arXiv

  12. [12]

    Falkowski and R

    A. Falkowski and R. Rattazzi, Which EFT, JHEP 10, 255, arXiv:1902.05936 [hep-ph]

    Pith/arXiv arXiv 1902

  13. [13]

    Alonso and M

    R. Alonso and M. West, Roads to the Stan- dard Model, Phys. Rev. D105, 096028 (2022), arXiv:2109.13290 [hep-ph]

    Pith/arXiv arXiv 2022

  14. [14]

    Montgomery and L

    D. Montgomery and L. Zippin, A theorem of Lie groups, Bull. Am. Math. Soc.48, 448 (1942)

    1942

  15. [15]

    P. S. Mostert, On a compact lie group acting on a manifold, Annals of Mathematics65, 447 (1957)

    1957

  16. [16]

    Parker, 4-dimensional G-manifolds with 3- dimensional orbits, Pacific Journal of Mathematics 125, 187 (1986)

    J. Parker, 4-dimensional G-manifolds with 3- dimensional orbits, Pacific Journal of Mathematics 125, 187 (1986)

    1986

  17. [17]

    C. A. Hoelscher, Classification of cohomogeneity one manifolds in low dimensions, Pacific Journal of Mathematics246, 129 (2010)

    2010

  18. [18]

    Galaz-Garc ´ ıa and M

    F. Galaz-Garc ´ ıa and M. Zarei, Cohomogeneity one topological manifolds revisited, Mathematische Zeitschrift288, 829 (2018)

    2018

  19. [19]

    N. S. Manton, ACP 2 SMEFT, JHEP04, 180, arXiv:2411.09521 [hep-ph]

    Pith/arXiv arXiv

  20. [20]

    Agashe, R

    K. Agashe, R. Contino, and A. Pomarol, The Mini- mal composite Higgs model, Nucl. Phys. B719, 165 (2005), arXiv:hep-ph/0412089

    Pith/arXiv arXiv 2005

  21. [21]

    Contino, L

    R. Contino, L. Da Rold, and A. Pomarol, Light cus- todians in natural composite Higgs models, Phys. Rev. D75, 055014 (2007), arXiv:hep-ph/0612048

    Pith/arXiv arXiv 2007

  22. [22]

    G. D. Mostow,Equivariant embeddings in Euclidean space(Mathematics Division, Office of Scientific Re- search, US Air Force, 1957)

    1957

  23. [23]

    T. W. B. Kibble, Topology of Cosmic Domains and Strings, J. Phys. A9, 1387 (1976)

    1976

  24. [24]

    Vilenkin, Cosmic Strings and Domain Walls, Phys

    A. Vilenkin, Cosmic Strings and Domain Walls, Phys. Rept.121, 263 (1985)

    1985

  25. [25]

    N. S. Manton, Topology in the Weinberg-Salam The- ory, Phys. Rev. D28, 2019 (1983)

    2019

  26. [26]

    F. R. Klinkhamer and N. S. Manton, A Saddle Point Solution in the Weinberg-Salam Theory, Phys. Rev. D30, 2212 (1984)

    1984

  27. [27]

    Alonso, J

    R. Alonso, J. C. Criado, R. Houtz, and M. West, Walls, bubbles and doom — the cosmology of HEFT, JHEP05, 049, arXiv:2312.00881 [hep-ph]

    Pith/arXiv arXiv

  28. [28]

    Finkelstein, KINKS, J

    D. Finkelstein, KINKS, J. Math. Phys.7, 1218 (1966)

    1966

  29. [29]

    T. H. R. Skyrme, A Nonlinear field theory, Proc. Roy. Soc. Lond. A260, 127 (1961)

    1961

  30. [30]

    G. S. Adkins, C. R. Nappi, and E. Witten, Static Properties of Nucleons in the Skyrme Model, Nucl. Phys. B228, 552 (1983)

    1983

  31. [31]

    J. C. Criado, V. V. Khoze, and M. Spannowsky, Electroweak skyrmions in the HEFT, JHEP12, 026, arXiv:2109.01596 [hep-ph]

    Pith/arXiv arXiv

  32. [32]

    Hatcher,Algebraic Topology, Algebraic Topology (Cambridge University Press, 2002)

    A. Hatcher,Algebraic Topology, Algebraic Topology (Cambridge University Press, 2002)

    2002

  33. [33]

    Navaset al.(Particle Data Group), Review of particle physics, Phys

    S. Navaset al.(Particle Data Group), Review of particle physics, Phys. Rev. D110, 030001 (2024)

    2024