Pith. sign in

REVIEW 4 major objections 5 minor 108 references

Free phases of Majorana fermions: Tenfold ways compared

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

Pith's one-line read The group of free-fermion SPT phases protected by a real Z2-graded C*-algebra A is isomorphic to the Karoubi K-theory group $K_2(A^{op})$.

desk verdict A serious new K-theory framework for neutral free-fermion SPT phases with a mostly sound central theorem, but the physical bridge is partly conjectural and the central proof has a sign typo that should be corrected. read the letter →

arxiv 2507.08694 v1 pith:75OF2AFF submitted 2025-07-11 math-ph cond-mat.mes-hallmath.ATmath.KTmath.MPmath.OA

classification math-phcond-mat.mes-hallmath.ATmath.KTmath.MPmath.OA MSC 19K3546L8081R15
keywords free-fermionSPTphasesKaroubiK-theoryMajoranafermionstenfoldwaypolarizationsZ2-gradedC*-algebrasMoritaequivalenceneutralfree
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 establishes that the symmetry-protected topological phases of neutral free fermions—Majorana systems with no conserved charge—are exactly computable by a single K-theoretic formula. For any real $\mathbb{Z}/2$-graded $C^*$-algebra $A$ describing the symmetries, the group of free-fermion SPT phases is shown to be isomorphic to the Karoubi K-theory group $K_2(A^{op})$. The shift by two expresses the use of polarizations (operators squaring to $-1$) rather than gradings (squaring to $+1$), which is the natural language of Bogoliubov–de-Gennes Hamiltonians. From this one formula the paper recovers the tenfold way tables in all dimensions, unifies several existing classification frameworks as Morita-equivalent descriptions, and extends the classification to positive spatial dimensions and weak phases.

What carries the argument

The central object is the Karoubi triple with negative squares, i.e. a pair of $A$-symmetric polarizations on a finitely generated projective module, where a polarization is a real orthogonal complex structure $J$ with $J^2=-1$ that commutes or anticommutes with the symmetry algebra according to its $\mathbb{Z}/2$-grading. These triples model flattened gapped Bogoliubov–de-Gennes Hamiltonians. The shift theorem sends a polarization on $A\otimes Cl_{+1}$ to a grading on $A^{op}\otimes Cl_{+1}$, converting the phase group into ordinary Karoubi K-theory, and Bott periodicity moves the result to $K_2(A^{op})$. Morita invariance then reduces every finite-dimensional semisimple symmetry algebra to a sum of the ten real $\mathbb{Z}/2$-graded division algebras, which yields the tenfold way.

What would settle it

Take a symmetry algebra where the retract is doubtful, such as $A = C(S^1)\otimes Cl_1$, and compute both the group of gapped $A$-symmetric BdG Hamiltonians and $K_2(A^{op})$: the theorem predicts they agree, while the known failure of the Atiyah–Bott–Shapiro model for this algebra gives a concrete candidate for a counterexample.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 3.35: the group $\mathrm{SPT}_A$ of free-fermion SPT phases protected by a real $\mathbb{Z}/2$-graded $C^*$-algebra $A$ is isomorphic to $K_2(A^{op})$, the real Karoubi K-theory of the opposite algebra, with the degree shift by two coming from the use of polarizations instead of gradations. A direct consequence is that the various tenfold way classifications in the literature are equivalent because the underlying symmetry algebras are Morita equivalent, and the known periodic tables follow as special cases. In the charge-conserving sector, the same formalism recovers the twisted equivariant K-theory classification after imposing a unit-charge condition.

Load-bearing premise

The entire classification rests on the premise, stated as an expectation and not proven, that flattening a gapped symmetric Hamiltonian to the sign of its spectrum (the polarization) is a deformation retract, so that phase equivalence of Hamiltonians is exactly the same as connectedness of polarizations.

Editorial extensions

If this is right

  • Every neutral free-fermion SPT phase group is a Karoubi K-theory group and therefore computable from the representation theory of the symmetry algebra.
  • The tenfold way tables in any spatial dimension follow from the single formula $K_{2-d}(A^{op})$ together with the crystalline equivalence principle.
  • Different published tenfold way classifications are shown to describe the same phases, because their symmetry algebras are Morita equivalent.
  • With charge conservation restored, the unit-charge phase group coincides with the twisted equivariant K-theory used for charged fermions, and the heuristic that spin-orbit coupling flips the sign of $T^2$ is explained up to Morita equivalence.
  • The group $K_2(A^{op})$ is proposed as the natural domain for the free-to-interacting map, with a concrete construction in $(0+1)$ dimensions.

Reading between the lines

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

  • If the classification survives the passage to interacting systems, the same K-theory group may index invertible topological field theories for symmetry algebras beyond the ten division algebras.
  • The deformation-retract premise can be stress-tested on algebras such as $C(S^1)\otimes Cl_1$, where the known discrepancy between Atiyah–Bott–Shapiro and Karoubi K-theory makes the predicted isomorphism $K_2(A^{op})$ suspect if the retract fails.
  • The polarization-versus-grading shift by two may serve as a dictionary between BdG Hamiltonians and mass-term Lagrangians, potentially making the free-to-interacting map explicit in higher dimensions.
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 paper proposes a K-theoretic classification of symmetry-protected topological (SPT) phases of neutral free fermions. The phase group SPT_A is defined as the stabilized group of path components of pairs of A-symmetric polarizations on finitely generated projective modules over a real Z/2-graded C*-algebra A (Definition 3.7). The main result, Theorem 3.35, identifies SPT_A with the real Karoubi K-theory group K_2(A^op). The paper then treats symmetry groups via fermionic group C*-algebras, extends the formalism to positive spatial dimensions by Fourier analysis, compares the charged setting with Freed–Moore K-theory under unit-charge and spin-1/2 restrictions, and shows that the ten graded division algebras reproduce the tenfold-way tables. Section 7 sketches a map to interacting SPT phases.

Significance. If the physical bridge is supplied, this would be a valuable unifying and rigorous framework: it derives the tenfold-way classifications from a single algebraic theorem rather than fitting them, and it clarifies convention-dependent differences between existing approaches. The proof of Theorem 3.35 is self-contained at the level of the definitions, and the reproduction of the ten groups is explicit. The main caveats are that the physical interpretation rests on an unproved deformation-retract expectation, that the charged comparison is partly built into the definitions via unit-charge and spin-1/2 restrictions, and that one sign in the proof of the central theorem is printed incorrectly. These issues do not appear to invalidate the mathematical core, but they must be addressed before the paper can claim a complete classification of physical neutral free-fermion phases.

major comments (4)
  1. [Remark 3.3 / Definition 3.7] The central claim, as stated in the abstract and Theorem 1.1, is a statement about physical SPT phases. In the body, SPT_A is defined on stabilized path components of A-symmetric polarizations, and the bridge from gapped A-symmetric BdG Hamiltonians to polarizations is the deformation retract asserted in Remark 3.3. This retract is not proved for bounded Hamiltonians, unbounded Hamiltonians, or Hilbert A^ev-modules. Consequently, Theorem 3.35 is presently a theorem about the mathematical invariant SPT_A; the identification with physical free-fermion phases remains an unproved expectation. Please prove the retract, cite a proof covering the needed generality, or state Theorem 1.1 conditionally with this gap explicitly flagged.
  2. [Theorem 3.35] In the proof of Theorem 3.35, the operator \bar{T} := T \circ \epsilon_M is said to be a grading because \bar{T}^2 = -1. Definition 3.12 defines gradings by square +1, so the displayed sign is inconsistent with the conclusion. Direct computation using T \epsilon = -\epsilon T (which follows from skew-linearity for the odd Clifford generator) gives (T\epsilon)^2 = +1. Please correct this sign; the rest of the argument is coherent, but as printed it does not establish membership in Grad_{A^op \otimes Cl_{+1}}(M).
  3. [Sections 5.3–5.5] The recovery of the charged tenfold-way and Freed–Moore classifications is partly by construction. Theorem 5.19 states an isomorphism between Freed–Moore K-theory and unit-charge SPT phases, but the latter are defined by restricting to the unit-charge representation sector in Definition 5.4 and Definition 5.13. This makes the theorem a translation between two definitions rather than an independent derivation of the physical unit-charge condition. A similar comment applies to the spin-1/2 restriction in Section 5.5. Please separate what is derived from what is assumed, and give the physical justification for these restrictions in the context of the claimed reproduction of known results.
  4. [Section 4.5 / Proposition 4.28] The extension to positive spatial dimensions uses the identification C^*(R^d) with C_0(R^d)^\tau and the crystalline equivalence principle, but the latter is invoked without proof and the physical content again depends on the deformation retract from Remark 3.3. If the paper claims a rigorous classification in positive dimensions, the crystalline equivalence step and the resulting statement should be given the same level of precision as the zero-dimensional theorem.
minor comments (5)
  1. [Remark 3.8] The restriction to finitely generated modules is physically important because one-particle Hilbert spaces are typically infinite rank over the symmetry algebra; please state explicitly which known result justifies the claimed isomorphism with the infinite-rank setting.
  2. [Lemma 5.7 / Section 5.2] The notation |a| is used both for the Z2-degree and for absolute values in Hilbert-module identities; using \deg(a) for the degree would avoid ambiguity.
  3. [Example 5.10] The phrase 'Z-worth of complex irreducible representations' should be rephrased, for example as 'a Z-indexed family of complex irreducible representations'.
  4. [Remark 5.18(2)] The claim that Freed–Moore's definition of trivial Z2-graded modules has a 'minor pitfall' is stated without proof; if it affects Definition 5.17, a proof or reference should be supplied.
  5. [Section 7] The low-energy TQFT construction is explicitly deferred to future work, which is acceptable for an outlook, but the abstract's statement that K_2(A^op) is the 'natural domain' for the Freed–Hopkins map should be marked as a conjecture at that point.

Circularity Check

1 steps flagged · score 2.0 of 10

Neutral classification is a self-contained derivation; the charged 'reproduction' of known tables is partly built in by the unit-charge and spin-1/2 restrictions.

  1. fitted input called prediction [Section 5.3, Example 5.10 and Example 5.14; see also Remark 4.35]
    "So we will get back to a more conventional classification by enforcing representations to have charge ±1. ... If D is a real Z2-graded division algebra over R such that Dev = C, then by construction the unit charge group algebra of the resulting Freed–Moore group S(D) is C∗uc(S(D)) = D. Therefore, SPT phases protected by the Freed–Moore group U (1) recover the usual classification of class A phases."

    The paper advertises in the abstract that the framework 'reproduces known results in the presence of charge.' But the charged comparison is not obtained by evaluating the neutral classification on charged data; it is engineered by first imposing the unit-charge restriction (and later the spin-1/2 restriction) precisely so that the symmetry algebra collapses to the division algebra D whose K-theory is the conventional table. Example 5.14 says the collapse holds 'by construction,' and Remark 4.35 says the K-theory is 'cut down' to the usual classification. Hence the reproduction is an input built into the definition of C∗u, not an independent prediction; this affects only the charged extension, not the central neutral theorem.

full rationale

The central theorem, Theorem 3.35, is not circular: SPT_A is defined in Definition 3.7 as stabilized pairs of A-symmetric polarizations, Karoubi K-theory in Definition 3.15 as pairs of gradings, and the proof exhibits an explicit correspondence between the two spaces. The tenfold-way tables in Section 3.5 and the higher-dimensional computations in Section 4.5 are direct calculations of the resulting K-groups, not fits to the tables. No load-bearing argument relies on the author's own prior work; self-citations occur only in remarks and outlook. Two caveats are flagged rather than counted as circularity: the physical identification of gapped BdG Hamiltonians with polarizations is stated as an expectation, not proved (Remark 3.3), and the charged-sector comparison is achieved by explicitly imposing unit-charge (Section 5.3) and spin-1/2 (Section 5.5) restrictions, so it should be read as a consistency check by construction, not as an independent verification. Also, the proof of Theorem 3.35 writes T^2 = -1 for an object claimed to be a grading, while Definition 3.12 requires gradings to square to +1; this appears to be a sign typo that should be corrected, but it is a correctness issue rather than a circularity issue.

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

The central theorem is a mathematical derivation from definitions, so the ledger contains no fitted scalar parameters. The load-bearing assumptions are the modeling choices that connect the C*-algebraic objects to physical phases: the pair-of-polarizations definition of SPT phases, the deformation-retract expectation, the crystalline equivalence principle, and the unit-charge / spin-1/2 restrictions needed to match established classifications. Standard K-theory and operator algebra background is listed as standard axioms.

assumptions (5)
  • domain assumption Physical SPT phases are modeled by stabilized equivalence classes of pairs of A-symmetric polarizations (Definition 3.7).
    This is the paper's mathematical definition of a free-fermion SPT phase; its physical validity is assumed, not derived.
  • domain assumption Gapped A-symmetric BdG Hamiltonians deformation retract onto A-symmetric polarizations (Remark 3.3).
    Used throughout to replace Hamiltonians by complex structures; explicitly stated as an expectation, not proven.
  • domain assumption Crystalline equivalence: lattice SPT phases in dimension d are classified via C^*(Z^d) tensor A (Section 4.5, Definition 4.27).
    Invoked to extend the 0-dimensional classification to higher dimensions and weak phases; taken from the physics literature [96] without proof.
  • ad hoc to paper Unit-charge (Definition 5.4) and spin-1/2 (Section 5.5) restrictions are imposed when recovering charged and spinful classifications.
    These cuts are physically motivated by the spin-charge relation, but they are selective constraints introduced so that the framework reproduces the standard tenfold way tables; without them the classifications differ (Remark 4.35).
  • standard math Standard facts about real Z2-graded C*-algebras, Hilbert modules, Karoubi K-theory, Bott periodicity, and the Peter-Weyl theorem (Appendices A and B).
    Background mathematical tools used without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Free phases of Majorana fermions: Tenfold ways compared." pith.science (2026). https://pith.science/paper/75OF2AFF

@misc{pith2026250708694,
  author       = {Pith},
  title        = {Pith review of: Free phases of Majorana fermions: Tenfold ways compared},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/75OF2AFF}},
  note         = {Machine review of arXiv:2507.08694}
}
abstract

We provide a mathematically rigorous classification of symmetry-protected topological (SPT) phases of neutral free fermions. Our approach utilizes Karoubi triples with negative squares, thought of as polarizations. We prove that neutral free fermion SPT phases protected by a symmetry algebra $A$ are classified by the real $K$-theory group $K_2(A^{op})$, and demonstrate how our classification reproduces known results in the presence of charge. Our formalism also allows for symmetries described by groups, potentially with time-reversal, using the formalism of fermionic groups and their fermionic group $C^*$-algebras. Our classification extends to positive spatial dimensions and includes weak phases using the crystalline equivalence principle. Our approach clarifies and unifies various existing tenfold way classifications by establishing their equivalence through Morita equivalences of symmetry algebras. We expect our classification to be the natural domain for the free-to-interacting map proposed by Freed and Hopkins.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

108 extracted references · 72 canonical work pages

  1. [1]

    Bulk- boundary correspondence for disordered free-fermion topological phases

    Alexander Alldridge, Christopher Max, and Martin R Zirnbauer. Bulk- boundary correspondence for disordered free-fermion topological phases. Communications in Mathematical Physics , pages 1–61, 2019

  2. [2]

    Nonstandard symmetry classes in mesoscopic normal-superconducting hybrid structures

    Alexander Altland and Martin R Zirnbauer. Nonstandard symmetry classes in mesoscopic normal-superconducting hybrid structures. Phys- ical Review B , 55(2):1142, 1997

  3. [3]

    Araminta Amabel, Arun Debray, and Peter J. Haine. Differential coho- mology: Categories, characteristic classes, and connections. arXiv preprint arXiv:2109.12250, 2021

  4. [4]

    Functoriality of Rief- fel’s generalised fixed-point algebras for proper actions

    Astrid an Huef, Iain Raeburn, and Dana Williams. Functoriality of Rief- fel’s generalised fixed-point algebras for proper actions. In Superstrings, geometry, topology, and C ∗-algebras, volume 81 of Proc. Sympos. Pure Math., pages 9–25. Amer. Math. Soc., Providence, RI, 2010

  5. [5]

    On quasifree states of the canon- ical commutation relations (i)

    Huzihiro Araki and Masafumi Shiraishi. On quasifree states of the canon- ical commutation relations (i). Publications of the Research Institute for Mathematical Sciences, 7(1):105–120, 1971

  6. [6]

    K-theory and reality

    Michael Atiyah. K-theory and reality. Quart. J. Math. Oxford Ser. (2) , 17:367–386, 1966

  7. [7]

    Clifford modules

    Michael F Atiyah, Raoul Bott, and Arnold Shapiro. Clifford modules. Topology, 3:3–38, 1964

  8. [8]

    Quan- tization of conductance in gapped interacting systems

    Sven Bachmann, Alex Bols, Wojciech De Roeck, and Martin Fraas. Quan- tization of conductance in gapped interacting systems. In Annales Henri Poincar´ e, volume 19, pages 695–708. Springer, 2018

Show all 108 references
  1. [9]

    The tenfold way

    John C Baez. The tenfold way. arXiv preprint arXiv:2011.14234 , 2020

  2. [10]

    Power operations preserve thom classes in twisted equivariant Real K-theory

    Daniel Berwick-Evans and Meng Guo. Power operations preserve thom classes in twisted equivariant Real K-theory. arXiv preprint arXiv:2407.13031, 2024. 69

  3. [11]

    K-theory for operator algebras , volume 5

    Bruce Blackadar. K-theory for operator algebras , volume 5. Cambridge University Press, 1998

  4. [12]

    Locally equivalent quasifree states and index theory

    Chris Bourne. Locally equivalent quasifree states and index theory. Jour- nal of Physics A: Mathematical and Theoretical , 55(10):104004, 2022

  5. [13]

    The classification of symmetry pro- tected topological phases of one-dimensional fermion systems

    Chris Bourne and Yoshiko Ogata. The classification of symmetry pro- tected topological phases of one-dimensional fermion systems. In Forum of Mathematics, Sigma , volume 9, page e25. Cambridge University Press, 2021

  6. [14]

    On Z2-indices for ground states of fermionic chains

    Chris Bourne and Hermann Schulz-Baldes. On Z2-indices for ground states of fermionic chains. Reviews in Mathematical Physics , 32(09):2050028, 2020

  7. [15]

    Tensor products ofC ∗-algebras, operator spaces and Hilbert C ∗-modules

    Franka Miriam Br¨ uckler. Tensor products ofC ∗-algebras, operator spaces and Hilbert C ∗-modules. Mathematical communications, 4(2):257–268, 1999

  8. [16]

    Fermionic matrix product states and one-dimensional topological phases

    Nick Bultinck, Dominic J Williamson, Jutho Haegeman, and Frank Ver- straete. Fermionic matrix product states and one-dimensional topological phases. Physical Review B , 95(7):075108, 2017

  9. [17]

    Weak topological phases in the presence of interactions

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

  10. [18]

    Free and interacting short-range entangled phases of fermions: Beyond the tenfold way

    Yu-An Chen, Anton Kapustin, Alex Turzillo, and Minyoung You. Free and interacting short-range entangled phases of fermions: Beyond the tenfold way. Physical Review B , 100(19):195128, 2019

  11. [19]

    Differential co- homology and topological actions in physics

    Joe Davighi, Ben Gripaios, and Oscar Randal-Williams. Differential co- homology and topological actions in physics. Advances in Theoretical and Mathematical Physics, 27(7):2045–2085, 2024

  12. [20]

    The Arf-Brown TQFT of pin − sur- faces

    Arun Debray and Sam Gunningham. The Arf-Brown TQFT of pin − sur- faces. Topology and Quantum Theory in Interacti , 2018

  13. [21]

    Unraveling the Bott spiral

    Arun Debray, Cameron Krulewski, Natalia Pacheco-Tallaj, and Luuk Ste- houwer. Unraveling the Bott spiral. To appear

  14. [22]

    Quantum Fields and Strings: A Course for Mathematicians: Volume 1 , volume 2

    Pierre Deligne, Pavel Etingof, Daniel S Freed, Lisa C Jeffrey, David Kazh- dan, John W Morgan, David R Morrison, and Edward Witten. Quantum Fields and Strings: A Course for Mathematicians: Volume 1 , volume 2. American Mathematical Society, 1999

  15. [23]

    Global anomalies on the Hilbert space

    Diego Delmastro, Davide Gaiotto, and Jaume Gomis. Global anomalies on the Hilbert space. Journal of High Energy Physics , 2021(11):1–68, 2021. 70

  16. [24]

    J. L. Dorroh. Concerning adjunctions to algebras. Bull. Amer. Math. Soc., 38(2):85–88, 1932

  17. [25]

    The K-theory of twisted group algebras

    Siegfried Echterhoff. The K-theory of twisted group algebras. In C*- algebras and Elliptic Theory II , pages 67–86. Springer, 2008

  18. [26]

    Coarse geometry and topological phases

    Eske Ellen Ewert and Ralf Meyer. Coarse geometry and topological phases. Communications in Mathematical Physics , 366(3):1069–1098, 2019

  19. [27]

    Effects of interactions on the topological classification of free fermion systems

    Lukasz Fidkowski and Alexei Kitaev. Effects of interactions on the topological classification of free fermion systems. Physical Review B—Condensed Matter and Materials Physics , 81(13):134509, 2010

  20. [28]

    Reflection positivity and invertible topological phases

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

  21. [29]

    The odd fermion

    Daniel S Freed, Michael J Hopkins, and Constantin Teleman. The odd fermion. arXiv preprint arXiv:2401.04223 , 2024

  22. [30]

    Twisted equivariant matter

    Daniel S Freed and Gregory W Moore. Twisted equivariant matter. In Annales Henri Poincar´ e, volume 14, pages 1927–2023. Springer, 2013

  23. [31]

    Symmetric and exterior powers of categories

    Nora Ganter and Mikhail Kapranov. Symmetric and exterior powers of categories. Transform. Groups, 19(1):57–103, 2014

  24. [32]

    Dyson’s classification and real division superalgebras

    Roman Geiko and Gregory W Moore. Dyson’s classification and real division superalgebras. Journal of High Energy Physics , 2021(4):1–27, 2021

  25. [33]

    Freed-Moore K-theory

    Kiyonori Gomi. Freed-Moore K-theory. arXiv preprint arXiv:1705.09134, 2017

  26. [34]

    Differential KO -theory via gradations and mass terms

    Kiyonori Gomi and Mayuko Yamashita. Differential KO -theory via gradations and mass terms. Adv. Theor. Math. Phys. , 27(arXiv: 2111.01377):381–481, 2023

  27. [35]

    The geometric cobordism hypothesis

    Daniel Grady and Dmitri Pavlov. The geometric cobordism hypothesis. arXiv preprint arXiv:2111.01095 , 2021

  28. [36]

    Twisted spin cobordism and positive scalar curvature

    Fabian Hebestreit and Michael Joachim. Twisted spin cobordism and positive scalar curvature. Journal of Topology, 13(1):1–58, 2020

  29. [37]

    Symmetry classes of disordered fermions

    Peter Heinzner, A Huckleberry, and Martin R Zirnbauer. Symmetry classes of disordered fermions. Communications in mathematical physics , 257:725–771, 2005

  30. [38]

    A proof of Bott periodicity via Clifford algebras, 2009

    Andr´ e Henriques. A proof of Bott periodicity via Clifford algebras, 2009. Note can be found at http://andreghenriques.com/PDF/BottPer.pdf. 71

  31. [39]

    Constructive Gelfand duality for non-unital commutative C*-algebras

    Simon Henry. Constructive Gelfand duality for non-unital commutative C*-algebras. arXiv preprint arXiv:1412.2009 , 2014

  32. [40]

    SKK groups of manifolds and non-unitary invertible TQFTs

    Renee Hoekzema, Luuk Stehouwer, and Simona Vesel´ a. SKK groups of manifolds and non-unitary invertible TQFTs. arXiv preprint arXiv:2504.07917, 2025

  33. [41]

    Is the group von Neumann algebra construction functorial? MathOverflow

    Matthew Daws (https://mathoverflow.net/users/406/matthew daws). Is the group von Neumann algebra construction functorial? MathOverflow. URL:https://mathoverflow.net/q/15093 (version: 2010-02-12)

  34. [42]

    Projective modules over rings without unit

    Eric Wofsey (https://math.stackexchange.com/users/86856/eric wofsey). Projective modules over rings without unit. Mathematics Stack Exchange. URL:https://math.stackexchange.com/q/1540627 (version: 2015-11-22)

  35. [43]

    Complex geometry: an introduction

    Daniel Huybrechts. Complex geometry: an introduction . Springer Science & Business Media, 2005

  36. [44]

    The super Frobenius–Schur indi- cator and finite group gauge theories on pin − surfaces

    Takumi Ichikawa and Yuji Tachikawa. The super Frobenius–Schur indi- cator and finite group gauge theories on pin − surfaces. Communications in Mathematical Physics , 400(1):417–428, 2023

  37. [45]

    Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

    Asgar Jamneshan and Terence Tao. Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration. Fund. Math., 261(1):1–98, 2023

  38. [46]

    Symmetry protected topological phases, anomalies, and cobordisms: beyond group cohomology

    Anton Kapustin. Symmetry protected topological phases, anomalies, and cobordisms: beyond group cohomology. arXiv preprint arXiv:1403.1467 , 2014

  39. [47]

    Thermal hall conductance and a relative topological invariant of gapped two-dimensional systems

    Anton Kapustin and Lev Spodyneiko. Thermal hall conductance and a relative topological invariant of gapped two-dimensional systems. Physical Review B, 101(4):045137, 2020

  40. [48]

    Fermionic symmetry protected topological phases and cobordisms

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

  41. [49]

    Spin topological field theory and fermionic matrix product states

    Anton Kapustin, Alex Turzillo, and Minyoung You. Spin topological field theory and fermionic matrix product states. Physical Review B , 98(12):125101, 2018

  42. [50]

    On the C ∗-algebraic approach to topological phases for insulators

    Johannes Kellendonk. On the C ∗-algebraic approach to topological phases for insulators. In Annales Henri Poincar´ e, volume 18, pages 2251–2300. Springer, 2017

  43. [51]

    Bott periodicity for Z2 sym- metric ground states of gapped free-fermion systems

    Ricardo Kennedy and Martin R Zirnbauer. Bott periodicity for Z2 sym- metric ground states of gapped free-fermion systems. Communications in Mathematical Physics, 342(3):909–963, 2016. 72

  44. [52]

    Unpaired Majorana fermions in quantum wires

    Alexei Kitaev. Unpaired Majorana fermions in quantum wires. Physics- uspekhi, 44(10S):131, 2001

  45. [53]

    Periodic table for topological insulators and superconduc- tors

    Alexei Kitaev. Periodic table for topological insulators and superconduc- tors. In AIP conference proceedings, volume 1134, pages 22–30. American Institute of Physics, 2009

  46. [54]

    Complexification

    Keith Konrad. Complexification. Expository note can be found at https://kconrad.math.uconn.edu/blurbs/linmultialg/ complexification.pdf

  47. [55]

    Invertible field theo- ries are SKK-manifold invariants

    Matthias Kreck, Stephan Stolz, and Peter Teichner. Invertible field theo- ries are SKK-manifold invariants. unpublished

  48. [56]

    The Spinor Bundle on Loop Space and its Fusion Product

    Peter Kristel. The Spinor Bundle on Loop Space and its Fusion Product . PhD thesis, Universit¨ at Greifswald, 2020

  49. [57]

    The low-energy effective TQFT of the SSH model

    Cameron Krulewski and Luuk Stehouwer. The low-energy effective TQFT of the SSH model. To appear

  50. [58]

    Notes on twisted equivariant K-theory for C ∗-algebras

    Yosuke Kubota. Notes on twisted equivariant K-theory for C ∗-algebras. International Journal of Mathematics , 27(06):1650058, 2016

  51. [59]

    Comparison between two approaches to classify topo- logical insulators using K-theory

    Scaglione Lorenzo. Comparison between two approaches to classify topo- logical insulators using K-theory. arXiv preprint arXiv:2401.15004 , 2024

  52. [60]

    Categories of lagrangian correspondences in super hilbert spaces and fermionic functorial field theory

    Matthias Ludewig et al. Categories of lagrangian correspondences in super hilbert spaces and fermionic functorial field theory. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications , 20:036, 2024

  53. [61]

    Gregory W. Moore. Quantum symmetries and K-theory. Lecture notes,

  54. [62]

    The anomaly of the one-dimensional free fermion

    Lukas M¨ uller and Luuk Stehouwer. The anomaly of the one-dimensional free fermion. To appear

  55. [63]

    Reflection structures and spin statis- tics in low dimensions

    Lukas M¨ uller and Luuk Stehouwer. Reflection structures and spin statis- tics in low dimensions. Reviews in Mathematical Physics , 2024

  56. [64]

    Quasi-particles and gauge invariance in the theory of superconductivity

    Yoichiro Nambu. Quasi-particles and gauge invariance in the theory of superconductivity. Phys. Rev. (2) , 117:648–663, 1960

  57. [65]

    Non-abelian anyons and topological quantum computation

    Chetan Nayak, Steven Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma. Non-abelian anyons and topological quantum computation. Reviews of Modern Physics , 80(3):1083–1159, 2008

  58. [66]

    Strictly amenable representations of reduced group C ∗- algebras

    Chi-Keung Ng. Strictly amenable representations of reduced group C ∗- algebras. International Mathematics Research Notices , 2015(17):7853– 7860, 2015. 73

  59. [67]

    Classification of symmetry protected topological phases in quantum spin chains

    Yoshiko Ogata. Classification of symmetry protected topological phases in quantum spin chains. Current Developments in Mathematics , 2020(1):41– 104, 2020

  60. [68]

    An H 3(G, T)-valued index of symmetry-protected topo- logical phases with on-site finite group symmetry for two-dimensional quantum spin systems

    Yoshiko Ogata. An H 3(G, T)-valued index of symmetry-protected topo- logical phases with on-site finite group symmetry for two-dimensional quantum spin systems. In Forum of Mathematics, Pi , volume 9, page e13. Cambridge University Press, 2021

  61. [69]

    2-d fermionic SPT with CRT symmetry

    Yoshiko Ogata. 2-d fermionic SPT with CRT symmetry. arXiv e-prints , pages arXiv–2212, 2022

  62. [70]

    An invariant of symmetry protected topological phases with on-site finite group symmetry for two-dimensional fermion systems

    Yoshiko Ogata. An invariant of symmetry protected topological phases with on-site finite group symmetry for two-dimensional fermion systems. Communications in Mathematical Physics , 395(1):405–457, July 2022

  63. [71]

    Infinite dimensional groups and algebras in quantum physics, volume 27

    Johnny T Ottesen. Infinite dimensional groups and algebras in quantum physics, volume 27. Springer Science & Business Media, 2008

  64. [72]

    Twisted crossed products of C*- algebras

    Judith A Packer and Iain Raeburn. Twisted crossed products of C*- algebras. Mathematical Proceedings of the Cambridge Philosophical Soci- ety, 106(2):293–311, 1989

  65. [73]

    Twisted crossed products of C*- algebras

    Judith A Packer and Iain Raeburn. Twisted crossed products of C*- algebras. ii. Mathematische Annalen, 287(1):595–612, 1990

  66. [74]

    Unitary quantum symmetries lite

    David Penneys, Giovanni Ferrer, and Kyle Kawagoe. Unitary quantum symmetries lite. Book in progress. Current version can be found at https: //people.math.osu.edu/penneys.2/UQSL/UQSL.html

  67. [75]

    Fragile topology and wannier obstructions

    Hoi Chun Po, Haruki Watanabe, and Ashvin Vishwanath. Fragile topology and wannier obstructions. Physical review letters , 121(12):126402, 2018

  68. [76]

    Williams

    Iain Raeburn and Dana P. Williams. Morita equivalence and continuous- trace C ∗-algebras, volume 60 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 1998

  69. [77]

    A groupoid approach to C*-algebras, volume 793

    Jean Renault. A groupoid approach to C*-algebras, volume 793. Springer, 2006

  70. [78]

    Poincar´ e duality and Spin c structures for complete non- commutative manifolds

    Adam Rennie. Poincar´ e duality and Spin c structures for complete non- commutative manifolds. arXiv preprint math-ph/0107013 , 2001

  71. [79]

    On extensions of locally compact groups

    Marc A Rieffel. On extensions of locally compact groups. American Jour- nal of Mathematics , 88(4):871–880, 1966

  72. [80]

    Relating cut and paste invari- ants and TQFTs

    Carmen Rovi and Matthew Schoenbauer. Relating cut and paste invari- ants and TQFTs. The Quarterly Journal of Mathematics , 73(2):579–607, 2022. 74

  73. [81]

    Functional analysis

    Walter Rudin. Functional analysis. International Series in Pure and Ap- plied Mathematics. McGraw-Hill, Inc., New York, second edition, 1991

  74. [82]

    ICTP lectures on (non-)invertible generalized symmetries

    Sakura Sch¨ afer-Nameki. ICTP lectures on (non-)invertible generalized symmetries. Phys. Rep., 1063:1–55, 2024

  75. [83]

    Classification of topological insulators and superconductors in three spatial dimensions

    Andreas P Schnyder, Shinsei Ryu, Akira Furusaki, and Andreas WW Ludwig. Classification of topological insulators and superconductors in three spatial dimensions. Physical Review B , 78(19):195125, 2008

  76. [84]

    Lectures on condensed mathematics

    Peter Scholze. Lectures on condensed mathematics. Notes available at https://www. math. unibonn. de/people/scholze/Condensed. pdf , 2019

  77. [85]

    Central extensions of smooth 2–groups and a finite-dimensional string 2–group

    Christopher J Schommer-Pries. Central extensions of smooth 2–groups and a finite-dimensional string 2–group. Geometry & Topology, 15(2):609– 676, 2011

  78. [86]

    K-theory for real C ∗-algebras and applications

    Herbert Schr¨ oder and Herbert Schr¨ oder. K-theory for real C ∗-algebras and applications. Longman Scientific & Technical Harlow, 1993

  79. [87]

    Cohomology of topological groups

    Graeme B Segal. Cohomology of topological groups. Symposia Mathemat- ica, 4:377–387, 1973

  80. [88]

    Matrix product states and equivari- ant topological field theories for bosonic symmetry-protected topological phases in (1+ 1) dimensions

    Ken Shiozaki and Shinsei Ryu. Matrix product states and equivari- ant topological field theories for bosonic symmetry-protected topological phases in (1+ 1) dimensions. Journal of High Energy Physics , 2017(4):1– 47, 2017

  81. [89]

    K-theory Classifications for Symmetry-Protected Topo- logical Phases of Free Fermions

    Luuk Stehouwer. K-theory Classifications for Symmetry-Protected Topo- logical Phases of Free Fermions. Master’s thesis, University of Amsterdam, 2018

  82. [90]

    Interacting SPT phases are not Morita invariant

    Luuk Stehouwer. Interacting SPT phases are not Morita invariant. Letters in Mathematical Physics , 112(3):64, 2022

  83. [91]

    Unitary fermionic topological field theory

    Luuk Stehouwer. Unitary fermionic topological field theory . PhD thesis, University of Bonn, 2024

  84. [92]

    What is an elliptic object? London Mathematical Society Lecture Note Series , 308:247, 2004

    Stephan Stolz and Peter Teichner. What is an elliptic object? London Mathematical Society Lecture Note Series , 308:247, 2004

  85. [93]

    Supersymmetric field theories and generalized cohomology

    Stephan Stolz and Peter Teichner. Supersymmetric field theories and generalized cohomology. Mathematical foundations of quantum field theory and perturbative string theory , 83:279–340, 2011

  86. [94]

    Topological phases: isomorphism, homotopy and K- theory

    Guo Chuan Thiang. Topological phases: isomorphism, homotopy and K- theory. International Journal of Geometric Methods in Modern Physics , 12(09):1550098, 2015. 75

  87. [95]

    On the K-theoretic classification of topological phases of matter

    Guo Chuan Thiang. On the K-theoretic classification of topological phases of matter. In Annales Henri Poincar´ e, volume 17, pages 757–794. Springer, 2016

  88. [96]

    Gauging spatial symmetries and the classification of topological crystalline phases

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

  89. [97]

    Fermionic matrix product states and one-dimensional short-range entangled phases with antiunitary symme- tries

    Alex Turzillo and Minyoung You. Fermionic matrix product states and one-dimensional short-range entangled phases with antiunitary symme- tries. Physical Review B , 99(3):035103, 2019

  90. [98]

    K-theory for graded Banach algebras I

    Alfons van Daele. K-theory for graded Banach algebras I. The Quarterly Journal of Mathematics , 39(2):185–199, 1988

  91. [99]

    K-theory for graded Banach algebras II

    Alfons Van Daele. K-theory for graded Banach algebras II. Pacific Journal of Mathematics , 134(2):377–392, 1988

  92. [100]

    A cocycle model for topologi- cal and lie group cohomology

    Friedrich Wagemann and Christoph Wockel. A cocycle model for topologi- cal and lie group cohomology. Transactions of the American Mathematical Society, 367(3):1871–1909, 2015

  93. [101]

    Graded Brauer groups

    Charles Terence Clegg Wall. Graded Brauer groups. Journal f¨ ur die reine und angewandte Mathematik , 1964

  94. [102]

    K-theory and C ∗-algebras

    Niels Erik Wegge-Olsen. K-theory and C ∗-algebras. Oxford university press, 1993

  95. [103]

    Fermionic matrix product operators and topological phases of matter

    Dominic J Williamson, Nick Bultinck, Jutho Haegeman, and Frank Ver- straete. Fermionic matrix product operators and topological phases of matter. arXiv preprint arXiv:1609.02897 , 2016

  96. [104]

    N. M. J. Woodhouse. Geometric quantization . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, second edition, 1992. Oxford Science Publications

  97. [105]

    Fermionic second quantization and the geometry of the restricted Grassmannian

    Tilmann Wurzbacher. Fermionic second quantization and the geometry of the restricted Grassmannian. In Infinite dimensional K¨ ahler manifolds, pages 287–375. Springer, 2001

  98. [106]

    Differential models for the Anderson dual to bordism theories and invertible QFT’s, I

    Mayuko Yamashita and Kazuya Yonekura. Differential models for the Anderson dual to bordism theories and invertible QFT’s, I. Journal of G¨ okova Geometry Topology, 16:1–64, 2023

  99. [107]

    Particle–hole symmetries in condensed matter

    Martin R Zirnbauer. Particle–hole symmetries in condensed matter. Jour- nal of Mathematical Physics , 62(2), 2021. 76

  100. [2014]

    edu/~gmoore/PiTP-LecturesA.pdf

    Lecture notes can be found at https://www.physics.rutgers. edu/~gmoore/PiTP-LecturesA.pdf

Pith tools

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