Pith. sign in

REVIEW 4 major objections 5 minor 24 references

Free to Interacting Map for Crystalline SPT Phases: Equivariance vs Crystalline Equivalence

T0 review · 4 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read Crystalline SPT phases are classified by non-Borel equivariant invertible field theories, and the natural free-to-interacting map points to this conclusion.

desk verdict A serious proposal for a fully equivariant Freed–Hopkins ansatz, with a real hit against the Borel-style extension, but the central claim remains conditional on an unproved generalization and missing computations. read the letter →

arxiv 2607.28811 v1 pith:I5Y2EYCO submitted 2026-07-30 math-ph cond-mat.str-elmath.ATmath.MP

Daniel Sheinbaum , Omar Antolín-Camarena This is my paper
classification math-phcond-mat.str-elmath.ATmath.MP MSC 55N9155P9119L4781T45
keywords symmetry-protectedtopologicalphasescrystallinesymmetriesfree-to-interactingmapequivarianthomotopytheoryKitaevconjectureBorelcohomologyinvertiblefieldtheoriesK-theory
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

The paper argues that for materials with symmorphic crystalline symmetries, the correct classification of interacting symmetry-protected topological (SPT) phases is a fully equivariant version of the standard invertible-field-theory ansatz, not the Borel-type extension that treats spatial symmetries as internal. It motivates this through a crystalline version of Kitaev's conjecture, which forces the spectrum to be equivariant with respect to the point-group action on the unit-cell torus. The paper then shows that the Borel-style extension has a natural free-to-interacting map that lands in the wrong free-fermion group, a twisted Borel version rather than genuine equivariant K-theory. It constructs an alternative equivariant ansatz and a natural equivariant free-to-interacting map, concluding that full equivariance should replace the crystalline equivalence principle.

What carries the argument

The central object is the equivariant Freed–Hopkins style spectrum Ω_{H(s),P}^{d+2}(X) = [X ∧ MT H(s)_P, Σ^{d+2} IZ]^P, where MT H(s)_P is the equivariant Madsen–Tillmann spectrum for finite point groups. The identity that carries the argument is the equivariant Atiyah–Bott–Shapiro map φ_P: MT H(s)_P → Σ^s KO_P, combined with Anderson self-duality IZ(KO_P) ≃ Σ^4 KO_P, to assemble the equivariant free-to-interacting map FTI_P: KO_P^{d+s-2}(T^d) → Ω_{H(s),P}^{d+2}(T^d). The crystalline Kitaev conjecture π0(S_d(H,G)) = D(H)^d_P(T^d) is the principle that forces non-Borel equivariance.

What would settle it

A concrete computation would settle the matter: for d=2 and a point group P like a single reflection, compute the group Ω_{H(s),P}^{4}(T^2) and the image of FTI_P. If this group equals the Borel-type classification, or if FTI_P factors through a Borel theory, the paper's central claim collapses. Alternatively, finding an explicit element in the Borel ansatz that is spurious (not in the image of the actual free-fermion group) and showing it does not appear in the equivariant classification would confirm the distinction.

Watch

Extended reading notes

Core claim

The discovery is that the free-to-interacting map from free-fermion phases to interacting invertible field theories, when extended to crystalline symmetries, must be equivariant with respect to the point group P: the domain is KO_P^{d+s-2}(T^d), and a natural map to the interacting classification requires a spectrum Ω_{H(s),P}^{d+2} built from the equivariant Madsen–Tillmann spectrum, not the homotopy-orbit (Borel) construction. This leads to the proposal π0(S_d(H(s),G)) = Ω_{H(s),P}^{d+2}(T^d), which does not satisfy the crystalline equivalence principle. The paper claims this is mathematically and physically more natural than the earlier Borel extension, even though explicit computations o

Load-bearing premise

The whole argument rests on the crystalline Kitaev conjecture (eq 4)—that interacting SPT phases with crystalline symmetries are classified by a P-equivariant generalized cohomology theory—which is assumed rather than derived; if this conjecture fails, the preference for non-Borel equivariance loses its foundation.

Editorial extensions

If this is right

  • If the proposal is correct, interacting crystalline SPT classifications must be computed with P-equivariant cohomology, and the crystalline equivalence principle fails for interacting phases, not just free fermions.
  • The kernel of FTI_P identifies which symmorphic crystalline free-fermion phases are killed by interactions, and the cokernel identifies interaction-enabled crystalline phases.
  • The Borel-style ansatz admits spurious free phases—elements in its domain that are not genuine free-fermion phases—whose images would falsely appear in the interacting classification.
  • The framework motivates developing computational tools for equivariant homotopy theory to make the new groups explicitly computable.
  • For non-symmorphic or mixed internal/spatial symmetries, the equivariant spectrum would require twisting, pointing to a broader de-Borelianization program.

Reading between the lines

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

  • A concrete next step is to compute Ω_{H(s),P}^{d+2}(T^d) for a simple case (e.g., d=2, P a reflection or a cyclic group) and compare with the Borel ansatz; any discrepancy would confirm the paper's central distinction.
  • The failure of the crystalline equivalence principle for weak free fermions, previously observed, may be a symptom of a general rule: spatial symmetries always require full equivariance, and the Borel approximation only works when the point group acts trivially enough to be invisible.
  • If full equivariance is adopted, existing classifications based on the Borel-style ansatz may need revisiting for all space groups, not just the symmorphic ones considered here.
  • The existence of a natural equivariant FTI map suggests that the Atiyah–Bott–Shapiro map should be regarded as an equivariant construction, which could have implications for the topology of Dirac operators on orbifolds.
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

4 major / 5 minor

Summary. The manuscript proposes a fully point-group-equivariant version of the Freed–Hopkins ansatz for symmorphic crystalline SPT phases. It argues that the crystalline equivalence principle (CEP) used in Freed–Hopkins's spatial-symmetry extension [2] is unnatural, because for free fermions the correct classification is non-Borel equivariant KO, and the natural Atiyah–Bott–Shapiro-based free-to-interacting map into the [2] spectrum lands in a twisted Borel group rather than KO_P. The paper defines a genuinely equivariant Freed–Hopkins spectrum Ω_{H(s),P}^{d+2} using the equivariant Madsen–Tillmann spectrum of Galatius–Szűcs, posits π0(S_d(H,G)) = Ω_{H(s),P}^{d+2}(T^d) (eq 18), and constructs an equivariant FTI map (eq 22). The authors explicitly acknowledge in §7 that they do not prove that the CEP fails and that they provide no computations of the proposed groups.

Significance. If the proposed framework were established, it would be a significant conceptual correction: interacting crystalline SPT phases would be classified by genuinely equivariant, non-Borel cohomology theories, and the Freed–Hopkins spatial-symmetry ansatz would have a naturality defect. The paper is transparent about its limitations, builds on published mathematical work (equivariant cobordism [21], Anderson duality [23]), and has no fitted parameters or circular predictions. Its main value is in articulating a concrete naturality criterion and a research programme for comparing CEP-based and fully equivariant classifications. However, the central conclusions are currently not proven: eq (4) is underdetermined, eq (20) is asserted rather than demonstrated, and eq (18) is a conjecture. The paper is therefore more a position/proposal paper than a proof of the non-CEP interacting classification.

major comments (4)
  1. [§3, Eq. (4)] The crystalline Kitaev conjecture as stated does not force a non-Borel P-equivariant extension. For any spectrum D(H), the Borel construction D(H)^d_P(X) := D(H)^d(X ×_P EP) also satisfies eq (4), and the group-cohomology case (eqs 7–9) illustrates exactly this. Free fermions select KO_P by first-principles physics, not by eq (4). The jump from 'free fermions are non-Borel' to 'the interacting spectrum should be non-Borel' is an extrapolation. To make this load-bearing, the authors need either an interacting model that selects a non-Borel extension or a theorem showing no Borel extension can satisfy eq (4) together with other naturality conditions. As written, eq (18) is a conjecture whose evidence is naturality, not derivation.
  2. [§6, Eq. (20)] The equivariant FTI map (22) depends on an equivariant ABS map φ_P : MT H(s)_P → Σ^s KO_P that is asserted without proof. The cited reference [22] concerns higher coherences for equivariant K-theory and does not obviously construct a map from the equivariant Madsen–Tillmann spectrum with H(s)-tangential structure. Since eq (22) is advertised as a main result in the abstract ('we show there is a natural equivariant FTI map'), the construction of φ_P, as well as the P-equivariant Anderson self-duality eq (21), must be supplied in detail or explicitly marked as a conjecture.
  3. [§4, Eqs. (13)–(15)] The 'wrong FTI map' argument is not conclusive, and the text concedes this: 'we have not shown conclusively that such a map from the ansatz in [2] does not exist.' The argument shows that the specific ABS-based map (13) targets a twisted Borel group, not that every natural FTI map to E^{hP}(T^d) must do so. As a result, the title and abstract overstate the case: the CEP-based ansatz is not shown to be wrong, only that one natural construction fails. Either prove uniqueness/naturality of the FTI map or soften the claims accordingly.
  4. [§5, Eq. (18)] The identification π0(S_d(H,G)) = Ω_{H(s),P}^{d+2}(T^d) is posited, not derived. The passage from the equivariant cobordism category of [21] to a spectrum MT H(s)_P that classifies reflection-positive invertible field theories with P-action is not demonstrated. In particular, the role of Anderson duality in imposing reflection positivity in the presence of a nontrivial P-action is asserted rather than proved. Without a proof or at least a detailed spectral construction, eq (18) remains a conjecture; this is also acknowledged in §7 as the biggest drawback.
minor comments (5)
  1. [§4, Eqs. (14)–(15)] The displayed exponents appear inconsistent: eq (14) uses S^V while eq (15) uses S^{-V}, and Σ^{s-2} in eq (14) becomes Σ^{-2} in eq (15). Please check the Atiyah-duality and suspension calculations; as written, the chain is not transparent.
  2. [Introduction] Minor typo: 'classifies interacting SPTS' should be 'SPTs'.
  3. [References] References [3] and [13] appear to be the same paper ('Failure of the crystalline equivalence principle for weak free fermions') listed twice with slightly different page data; consolidate.
  4. [§4–§5] The notation 'hP' is defined as homotopy orbits, but the text later says 'homotopy fixed points becomes a Borel construction.' Please use consistent terminology (fixed points vs. orbits) to avoid confusion.
  5. [§6] Eq (21) states I_Z(KO_P) ≃ Σ^4 KO_P, while §4 uses I_Z(KO) ≃ Σ^{-4} KO. These are equivalent under 8-periodicity of KO, but the relation should be stated explicitly to avoid apparent contradiction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proposal is an explicit ansatz; the FTI map is assembled from external theorems; the paper honestly disclaims proof of CEP failure.

full rationale

The paper's derivation chain is not circular. Equation (18) is a proposed definition (ansatz) for the interacting classification, not a quantity derived from the free-fermion input. Equation (22) is constructed by composing the equivariant ABS map (eq. 20), Anderson self-duality (eq. 21), and crystalline T-duality, all cited to independent external work (Galatius–Szűcs, Joachim, Joachim–Lück). The self-citations to [3]/[13] (failure of CEP for weak free fermions) and [11] (weak FTI map) are separately published, independent results; they are used as motivation and template, not as a way to force the conclusion. The crystalline Kitaev conjecture (eq. 4) is an unproved premise, and the paper explicitly admits (Sec. 3 and Sec. 7) that Borel extensions can also satisfy it and that 'our arguments do not prove conclusively that the CEP should fail in the interacting case.' This is an honest statement of underdetermination, not a circular reduction. The limitations flagged in Sec. 7 — the lack of explicit computations and the lack of a concrete example of spurious phases — are evidence against the strength of the conclusions, but they are not circularity. No fitted parameter is relabeled as a prediction; no theorem is derived by assuming its own conclusion; self-citations are not load-bearing in a circular sense.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The ledger is clean: no free parameters are fitted. The main axioms are external theorems plus the authors' unproved crystalline Kitaev conjecture, which is the most fragile input. One new spectrum is introduced, but it lacks independent evidence because no examples are computed.

assumptions (4)
  • domain assumption Crystalline Kitaev conjecture: π0(S_d(H,G)) = D(H)^d_P(T^d) for some P-equivariant generalized cohomology theory (eq 4).
    Introduced in §3 as a natural generalization of Kitaev's conjecture. The paper's preference for non-Borel equivariance rests on this conjecture, but it is not proven.
  • domain assumption The equivariant ABS map extends to a twisted map φ_P: M T H(s)_P → Σ^s KO_P (eq 20).
    The paper cites [22] and [1, §9.22] for this extension but does not prove it in detail. This map is load-bearing for the natural FTI map (22).
  • standard math P-equivariant K-theory is Anderson self-dual: I^Z(KO_P) ≃ Σ^4 KO_P (eq 21).
    Cited from Joachim–Lück; treated as an external theorem.
  • standard math The Galatius–Szűcs construction provides a non-Borel equivariant Madsen–Tillmann spectrum M T H(s)_P for finite P.
    The paper relies on [21] for existence and non-Borel behavior; this restricts the current proposal to finite point groups and symmorphic symmetries.
invented entities (1)
  • Equivariant Madsen–Tillmann spectrum M T H(s)_P
    purpose: Classifies deformation classes of reflection-positive invertible field theories with a finite point-group action; defines Ω_{H(s),P}^{d+2}(T^d).
    Constructed by invoking [21], but no explicit group computation or comparison with known SPT classifications is given, so the entity has no falsifiable handle inside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Free to Interacting Map for Crystalline SPT Phases: Equivariance vs Crystalline Equivalence." pith.science (2026). https://pith.science/paper/I5Y2EYCO

@misc{pith2026260728811,
  author       = {Pith},
  title        = {Pith review of: Free to Interacting Map for Crystalline SPT Phases: Equivariance vs Crystalline Equivalence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I5Y2EYCO}},
  note         = {Machine review of arXiv:2607.28811}
}
read the original abstract

Freed and Hopkins developed an ansatz for classifying interacting SPT phases using invertible field theories with a natural Free to Interacting (FTI) map from free fermion phases. This ansatz has been generalized to include crystalline phases and a crystalline equivalence principle (CEP). However, motivated by failure of the CEP for weak free fermions and the FTI, here we generalize the original Freed and Hopkins ansatz to a fully equivariant version for symmorphic crystallographic symmetries and show there is a natural equivariant FTI map from symmorphic crystalline weak free fermions. We further discuss why this equivariant ansatz is both mathematically and physically more natural than the spatial symmetry extension by Freed and Hopkins and why full equivariance should hold over the CEP.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

24 extracted references · 4 linked inside Pith

  1. [2]

    Invertible phases of matter with spatial symmetry.arXiv preprint arXiv:1901.06419, 2019

    Daniel S Freed and Michael J Hopkins. Invertible phases of matter with spatial symmetry.arXiv preprint arXiv:1901.06419, 2019

    arXiv 1901

  2. [21]

    The equivariant cobordism category

    Søren Galatius and Gergely Sz˝ ucs. The equivariant cobordism category. Journal of Topology, 14(1):215–257, 2021

    2021

  3. [23]

    Topological k–(co) homology of clas- sifying spaces of discrete groups.Algebraic & Geometric Topology, 13(1):1– 34, 2013

    Michael Joachim and Wolfgang L¨ uck. Topological k–(co) homology of clas- sifying spaces of discrete groups.Algebraic & Geometric Topology, 13(1):1– 34, 2013

    2013

  4. [22]

    Higher coherences for equivariant k-theory.Structured ring spectra, 315:87–114, 2004

    Michael Joachim. Higher coherences for equivariant k-theory.Structured ring spectra, 315:87–114, 2004

    2004

  5. [1]

    Reflection positivity and invertible topological phases.Geometry & Topology, 25(3):1165–1330, 2021

    Daniel S Freed and Michael J Hopkins. Reflection positivity and invertible topological phases.Geometry & Topology, 25(3):1165–1330, 2021

    2021

  6. [3]

    Failure of the crystalline equivalence principle for weak free fermions.Phys

    Daniel Sheinbaum and Omar Antol ´ ın Camarena. Failure of the crystalline equivalence principle for weak free fermions.Phys. Rev. B, 111:L081118, Feb 2025

    2025

  7. [4]

    Periodic table for topological insulators and superconduc- tors.AIP conference proceedings, May 2009

    Alexei Kitaev. Periodic table for topological insulators and superconduc- tors.AIP conference proceedings, May 2009

    2009

  8. [5]

    Freed and G

    D. Freed and G. Moore. Twisted Equivariant Matter.Annales Henri Poincar´ e, 14(8):1927–2023, 2013

    1927

Show all 24 references
  1. [6]

    X. Chen, Z. C. Gu, X. Liu, , and X. G. Wen. Symmetry protected topolog- ical orders and the group cohomology of their symmetry group.Physical Review B, 87(15):155114, 2013. 8

    2013

  2. [7]

    Fermionic symmetry protected topological phases and cobordisms.Journal of High Energy Physics, 2015(12):1–21, 2015

    Anton Kapustin, Ryan Thorngren, Alex Turzillo, and Zitao Wang. Fermionic symmetry protected topological phases and cobordisms.Journal of High Energy Physics, 2015(12):1–21, 2015

    2015

  3. [8]

    Gaiotto and T

    D. Gaiotto and T. Johnson-Freyd. Symmetry protected topological phases and generalized cohomology.Journal of High Energy Physics, 2019(5):7, 2019

    2019

  4. [9]

    C. Xiong. Minimalist approach to the classification of symmetry protected topological phases.Journal of Physics A: Mathematical and Theoretical, 51(44):445001, 2018

    2018

  5. [10]

    Stable homotopy theory of invertible gapped quantum spin systems i: Kitaev’sω-spectrum.arXiv preprint arXiv:2503.12618, 2025

    Yosuke Kubota. Stable homotopy theory of invertible gapped quantum spin systems i: Kitaev’sω-spectrum.arXiv preprint arXiv:2503.12618, 2025

    2025

  6. [11]

    Weak topologi- cal phases in the presence of interactions.arXiv preprint arXiv:2410.10031, 2024

    Omar Antol ´ ın-Camarena, Arun Debray, Cameron Krulewski, Natalia Pacheco-Tallaj, Daniel Sheinbaum, and Luuk Stehouwer. Weak topologi- cal phases in the presence of interactions.arXiv preprint arXiv:2410.10031, 2024

    2024 arXiv

  7. [12]

    Gauging spatial symmetries and the classification of topological crystalline phases.Physical Review X, 8(1):011040, 2018

    Ryan Thorngren and Dominic V Else. Gauging spatial symmetries and the classification of topological crystalline phases.Physical Review X, 8(1):011040, 2018

    2018

  8. [13]

    Failure of the crys- talline equivalence principle for weak free fermions.Physical Review B, 111(8):L081118, 2025

    Daniel Sheinbaum and Omar Antol ´ ın Camarena. Failure of the crys- talline equivalence principle for weak free fermions.Physical Review B, 111(8):L081118, 2025

    2025

  9. [14]

    Homotopy-theoretic approach to spt phases in action: Z16 classification of three-dimensional superconductors

    Alexei Kitaev. Homotopy-theoretic approach to spt phases in action: Z16 classification of three-dimensional superconductors. InSymmetry and Topology in Quantum Matter Workshop, 2015

    2015

  10. [15]

    Hatcher.Algebraic Topology

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

    2002

  11. [16]

    Equivariant stable homotopy theory

    John PC Greenlees and J Peter May. Equivariant stable homotopy theory. Handbook of algebraic topology, 277:323, 1995

    1995

  12. [17]

    Invertible phases for mixed spatial symmetries and the fermionic crystalline equivalence principle.arXiv preprint arXiv:2102.02941, 2021

    Arun Debray. Invertible phases for mixed spatial symmetries and the fermionic crystalline equivalence principle.arXiv preprint arXiv:2102.02941, 2021

    2021

  13. [18]

    A generalized crystalline equivalence principle.arXiv preprint arXiv:2508.10978, 2025

    Devon Stockall and Matthew Yu. A generalized crystalline equivalence principle.arXiv preprint arXiv:2508.10978, 2025

    2025 arXiv

  14. [19]

    Unraveling the bott spiral.arXiv preprint arXiv:2605.00316, 2026

    Arun Debray, Cameron Krulewski, and Luuk Stehouwer. Unraveling the bott spiral.arXiv preprint arXiv:2605.00316, 2026

    2026 arXiv

  15. [20]

    Crystallographic t-duality.Journal of Geometry and Physics, 139:50–77, 2019

    Kiyonori Gomi and Guo Chuan Thiang. Crystallographic t-duality.Journal of Geometry and Physics, 139:50–77, 2019. 9

    2019

  16. [24]

    Twisted crystallo- graphic t-duality via the baum–connes isomorphism.International Journal of Mathematics, 32(10):2150078, 2021

    Kiyonori Gomi, Yosuke Kubota, and Guo Chuan Thiang. Twisted crystallo- graphic t-duality via the baum–connes isomorphism.International Journal of Mathematics, 32(10):2150078, 2021. 10

    2021

Pith tools

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