pith. sign in

arxiv: 2607.01183 · v1 · pith:ZWQZBLUKnew · submitted 2026-07-01 · 🧮 math-ph · math.MP· math.OA

A scheme for topological phases of the Weyl C^*-algebra

Giuseppe De Nittis , Santiago G. Rendel This is my paper

Pith reviewed 2026-07-02 04:04 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.OA
keywords topologicalalgebraclassificationphasesstatespureschemeunder
0
0 comments X

The pith

A classification scheme for topological phases is defined via homotopy classes of sections of pure-state fiber bundles over the Weyl C*-algebra, recovering K-theory results for symmetry classes A and AI.

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

This paper develops a mathematical way to group different topological phases in quantum systems. It uses the space of pure states from the Weyl C*-algebra, a structure that models certain quantum operators with lattice symmetry. Phases are identified by continuous deformations of these states, captured through sections of fiber bundles and their homotopy classes. When restricted to states unchanged by lattice shifts, the method reproduces the known K-theory labels for insulators in classes A and AI. The goal is to extend the idea of topological classification using tools from operator algebras.

Core claim

Applying this classification procedure on states of the Weyl C*-algebra that are invariant under translations by a lattice, we recover the K-theoretic classification of gapped spectral projectors for topological insulators of types A and AI, thus essentially generalizing this notion.

Load-bearing premise

The premise that topological phases of matter are captured precisely by homotopy classes of sections of fiber bundles constructed from the space of pure states of the model C*-algebra.

read the original abstract

In this work, we introduce a classification scheme for topological phases of matter based on the topology of the space of pure states of a model $C^*$-algebra. Under it, topological phases are described by homotopy classes of sections of certain fiber bundles of (pure) states. Applying this classification procedure on states of the Weyl $C^*$-algebra that are invariant under translations by a lattice, we recover the $K$-theoretic classification of gapped spectral projectors for topological insulators of types A and AI, thus essentially generalizing this notion.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The scheme rests on standard properties of C*-algebras and their state spaces together with a new topological construction; no free parameters or additional invented physical entities are indicated in the abstract.

axioms (1)
  • domain assumption The space of pure states of the Weyl C*-algebra admits a natural fiber bundle structure whose sections classify topological phases via homotopy.
    This is the central modeling choice that defines the classification scheme.
invented entities (1)
  • Fiber bundles of pure states no independent evidence
    purpose: To encode topological phases as homotopy classes of their sections
    New construct introduced to implement the classification

pith-pipeline@v0.9.1-grok · 5615 in / 1138 out tokens · 24827 ms · 2026-07-02T04:04:01.666878+00:00 · methodology

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

63 extracted references · 63 canonical work pages

  1. [1]

    : Infinite dimensional Grassmannians

    Abbondandolo, A.; Majer, P. : Infinite dimensional Grassmannians . J. Op. Theory 61 , 19-62 (2009)

    work page 2009

  2. [2]

    : Flat Non-Regular States on Weyl Algebras

    Acerbi, F. : Flat Non-Regular States on Weyl Algebras . In: On Three Levels (eds. Fannes, M.; Maes, C.; Verbeure, A.). NATO ASI Series, vol 324 , p. 417-422, Springer, Boston, 1994

    work page 1994

  3. [3]

    M.; Matthes, R.:

    Alberti, P. M.; Matthes, R.:

    work page

  4. [4]

    arXiv preprint arXiv:2410.19287 , year=

    Artymowicz, A.; Kapustin, A. : A mathematical theory of topological invariants of quantum spin systems .\\ E-print: arXiv:2410.19287v2 (2024)

    work page arXiv 2024

  5. [5]

    F.: K -Theory

    Atiyha, M. F.: K -Theory . CRC Press, 1967

    work page 1967

  6. [6]

    : A many-body index for quantum charge transport

    Bachmann, S.; Bols, A.; De Roeck, W.; Fraas, M. : A many-body index for quantum charge transport . Commun. Math. Phys. 375 , 1249-1272 (2020)

    work page 2020

  7. [7]

    : Homotopical foundations of parametrized quantum spin systems

    Beaudry, A.; Hermele, M.; Moreno, J.; Pflaum, M.J.; Qi, M.; Spiegel, D.D. : Homotopical foundations of parametrized quantum spin systems . Rev. Math. Phys. 36(09), (2024)

    work page 2024

  8. [8]

    : Translation Invariant States in Quantum Mechanics

    Beaume, R.; Manuceau, J.; Pellet, A.; Sirugue, M. : Translation Invariant States in Quantum Mechanics . Commun. math. Phys. 38, 29-45 (1974)

    work page 1974

  9. [9]

    Binz, E.; Honegger, R.; Rieckers, A.: Construction and uniqueness of the C^* -Weyl algebra over a general pre-symplectic space . J. Math. Phys. 47 , 2885-2907 (2004)

    work page 2004

  10. [10]

    o ttcher, A.; Karlovich, Y.; Spitkovsky, I: Convolution operators and factorization of almost periodic matrix functions . Operator Theory: Advances and Applications, 131 . Birkh\

    B\" o ttcher, A.; Karlovich, Y.; Spitkovsky, I: Convolution operators and factorization of almost periodic matrix functions . Operator Theory: Advances and Applications, 131 . Birkh\" a user Verlag, Basel, 2002

    work page 2002

  11. [11]

    Bratteli, O.; Robinson, D. W. : Operator Algebras and Quantum Statistical Mechanics 1. C^* - and W^* -Algebras, Symmetry Groups, Decomposition of States . Springer-Verlag, Berlin-Heidelberg, 1987

    work page 1987

  12. [12]

    Bratteli, O.; Robinson, D. W. : Operator Algebras and Quantum Statistical Mechanics 2. Equilibrium States. Models in Quantum Statistical Mechanics . Springer-Verlag, Berlin-Heidelberg, 1997

    work page 1997

  13. [13]

    C., Smith, H

    Busby, R. C., Smith, H. A. :

    work page

  14. [14]

    Academic Press, San Diego, 1994

    Connes, A.: Noncommutative Geometry . Academic Press, San Diego, 1994

    work page 1994

  15. [15]

    : Continuous fields of C^* -algebras over finite dimensional spaces

    Dadarlat, M. : Continuous fields of C^* -algebras over finite dimensional spaces . Adv. Math. 222 , 1850-1881 (2009)

    work page 2009

  16. [16]

    Davidson, K. R. : C* -Algebras by Example . AMS, Providence, Rhode Island, 1996

    work page 1996

  17. [17]

    Prodanov I.R

    Dikranjan, D.N. ; Prodanov I.R. ; Stoyanov L.N. Topological Groups: Characters, Dualities, and Minimal Group Topologies M. Dekker, 1990

    work page 1990

  18. [18]

    : C^* -Algebras

    Dixmier, J. : C^* -Algebras . North-Holland Publishing Co., Amsterdam, 1977

    work page 1977

  19. [19]

    Dixmier, J.: Quelques propriétés des groupes abéliens localement compacts . Bull. Sci. Math. (2) 81 , 38-48 (1957)

    work page 1957

  20. [20]

    De Nittis, G.: Topological phases of non-interacting systems: A general approach based on states . Lett. Math Phys. 115 , (2025)

    work page 2025

  21. [21]

    De Nittis, G.; Gomi, K.: Classification of Real Bloch-bundles: Topological Quantum Systems of type AI . J. Geom. Phys. 86 , 303-338 (2014)

    work page 2014

  22. [22]

    Available as a preprint on Arxiv

    De Nittis, G.; Gomi, K.; Rendel, S.G.: Hilbert Grassmannians as classifying spaces . Available as a preprint on Arxiv. DOI: https://doi.org/10.48550/arXiv.2503.20051 doi.org/10.48550/arXiv.2503.20051

    work page doi:10.48550/arxiv.2503.20051

  23. [23]

    De Nittis, G.; Rendel, S.G.: Topological description of pure invariant states of the Weyl C^* -algebra . Rev. Math. Phys. 38(05), (2026)

    work page 2026

  24. [24]

    M.: Classifying Hilbert Bundles

    Dupr\'e, J. M.: Classifying Hilbert Bundles . J. Funct. Anal. 15 , 244-278 (1974)

    work page 1974

  25. [25]

    Espinoza, J.; Uribe, B.: Topological properties of the unitary group . JP J. Geom. Topol. 16 , 45-55 (2014)

    work page 2014

  26. [26]

    : On the time evolution automorphisms of the CCR-algebra for quantum mechanics

    Fannes, M.; Verbeure, A. : On the time evolution automorphisms of the CCR-algebra for quantum mechanics . Commun. math. Phys. 35 , 257-264 (1974)

    work page 1974

  27. [27]

    : Universality of the Hall conductivity in interacting electron systems

    Giuliani, A.; Mastropietro, V.; Porta, M. : Universality of the Hall conductivity in interacting electron systems . Commun. Math. Phys. 349 , 1107-1161 (2017)

    work page 2017

  28. [28]

    London Math

    Gruenhage, G.; Pfeffer, W.F.: When Inner Regularity of Borel Measures Implies Regularity J. London Math. Soc. (2), 17 , 165–171 (1978)

    work page 1978

  29. [29]

    : Quantization of Hall conductance for interacting electrons on a torus

    Hastings, M.; Michalakis, S. : Quantization of Hall conductance for interacting electrons on a torus . Commun. Math. Phys. 334 , 433-471 (2015)

    work page 2015

  30. [30]

    : Vector Bundles and K -Theory \\ E-print: https://pi.math.cornell.edu/ hatcher/VBKT/VB.pdf , 2017

    Hatcher, A. : Vector Bundles and K -Theory \\ E-print: https://pi.math.cornell.edu/ hatcher/VBKT/VB.pdf , 2017

    work page 2017

  31. [31]

    Hewitt, E.: Linear Functionals on Almost Periodic Functions. Trans. Am. Math. Soc 74 , 303-322 (1953)

    work page 1953

  32. [32]

    Springer New York, 2012

    Hilton, P.; Stammbach, U.: A Course in Homological Algebra Graduate Texts in Mathematics. Springer New York, 2012

    work page 2012

  33. [33]

    Holm, P.: On the Bohr compactification. Math. Ann. 156 , 34–46 (1964)

    work page 1964

  34. [34]

    Springer-Verlag, New York, 1994

    Husemoller, D.: Fibre bundles . Springer-Verlag, New York, 1994

    work page 1994

  35. [35]

    : The Green-Kubo formula for locally interacting open fermionic systems

    Jaksic, V.; Ogata, Y.; Pillet, C.-A. : The Green-Kubo formula for locally interacting open fermionic systems . Ann. Henri Poincar\' e 8 , 1013-1036 (2006)

    work page 2006

  36. [36]

    AIP Conf

    Kitaev, A.: Periodic table for topological insulators and superconductors . AIP Conf. Proc. 1134 , 22-30 (2009)

    work page 2009

  37. [37]

    arXiv preprint arXiv:2503.12618 , year=

    Kubota, Y.: Stable homotopy theory of invertible gapped quantum spin systems I: Kitaev's -spectrum . Available as a preprint on Arxiv. DOI: https://doi.org/10.48550/arXiv.2503.12618 doi.org/10.48550/arXiv.2503.12618

    work page doi:10.48550/arxiv.2503.12618

  38. [38]

    : The homotopy type of the unitary group of Hilbert space

    Kuiper N. : The homotopy type of the unitary group of Hilbert space . Topology 3 , 19-30 (1965)

    work page 1965

  39. [39]

    : A theorem of Stone and von Neumann

    Mackey, G. : A theorem of Stone and von Neumann . Duke Math. J. 16(2), 313-326 (1949)

    work page 1949

  40. [40]

    : The Smallest C^* -Algebra for Canonical Commutations Relations

    Manuceau, J.; Sirugue, M.; Testard, D.; Verbeure, A. : The Smallest C^* -Algebra for Canonical Commutations Relations . Commun. math. Phys. 32, 231-243 (1973)

    work page 1973

  41. [41]

    : On the set of free homotopy classes and Brown’s construction

    Matumoto, T.; Minami, N.; Sugawara, M. : On the set of free homotopy classes and Brown’s construction . Hiroshima Math. J. 14, 359-369 (1984)

    work page 1984

  42. [42]

    W.; Stasheff, J

    Milnor, J. W.; Stasheff, J. D. Characteristic Classes Princeton University Press, 1974

    work page 1974

  43. [43]

    : Adiabatic currents for interacting electrons on a lattice

    Monaco, D.; Teufel, S. : Adiabatic currents for interacting electrons on a lattice . Rev. Math. Phys. 31, 1950009 (2019)

    work page 2019

  44. [44]

    : C^* -bundles and C_0(X) -algebras

    Nilsen, M. : C^* -bundles and C_0(X) -algebras . Indiana Univ. Math. J. 45 , 463-477 (1996)

    work page 1996

  45. [45]

    Palais, R. S. : Homotopy theory of infinite-dimensional manifolds . Topology 5 , 1-16 (1966)

    work page 1966

  46. [46]

    D.: An Invitation to the Algebra of Canonical Commutation Relations

    Petz. D.: An Invitation to the Algebra of Canonical Commutation Relations . Leuven Notes in Mathematical and Theoretical Physics vol. 2, Series A: Mathematical Physics. Leuven University Press (1990)

    work page 1990

  47. [47]

    K.: C^ -Algebras and Their Automorphism Groups (London Math

    Pedersen, G. K.: C^ -Algebras and Their Automorphism Groups (London Math. Soc

    work page

  48. [48]

    Pontryagin, L.S.: L. S. Pontryagin Selected Works: Topological groups. Volume 2 Gordon and Breach Science Publishers. Classics of Soviet mathematics, Montreux, 1986

    work page 1986

  49. [49]

    Mathematical Physics Studies, Springer, 2016

    Prodan, E.; Schulz-Baldes, H.: Bulk and Boundary Invariants for Complex Topological Insulators: From K-Theory to Physics . Mathematical Physics Studies, Springer, 2016

    work page 2016

  50. [50]

    : On sequential convergence in groups

    Reid, G.A. : On sequential convergence in groups . Math. Z 102 , 227-235 (1967)

    work page 1967

  51. [51]

    In preparation

    Rendel, S.G.: From Symmetries to Topological Phases . In preparation

    work page

  52. [52]

    : Fourier Analysis on Groups

    Rudin, W. : Fourier Analysis on Groups . John Wiley & Sons, Ltd, 1990

    work page 1990

  53. [53]

    : The Unitary Group in Its Strong Topology

    Schottenloher, M. : The Unitary Group in Its Strong Topology . Adv. Pure Math. 8 , 508-515 (2018)

    work page 2018

  54. [54]

    Shubin, M. A. : Remarks on the Topology of the Hilbert Grassmannian . Amer.Math. Soc. Transl. 175 , 191-198 (1996)

    work page 1996

  55. [55]

    : Trace Ideals and Their Applications

    Simon, B. : Trace Ideals and Their Applications . AMS, 2005

    work page 2005

  56. [56]

    : On factor representations and the C^* -algebra of canonical commutation relations

    Slawny, J. : On factor representations and the C^* -algebra of canonical commutation relations . Commun. Math. Phys. 24 , 151-170 (1972)

    work page 1972

  57. [57]

    : On the weak contractibility of the space of pure states J

    Spiegel, D.D.; Pflaum, M.J. : On the weak contractibility of the space of pure states J. Funct. Anal. 288 (06), (2025)

    work page 2025

  58. [58]

    : An Introduction to the Mathematical Structure of Quantum Mechanics

    Strocchi, F. : An Introduction to the Mathematical Structure of Quantum Mechanics. A Short Course for Mathematicians . World Scientific, 2008

    work page 2008

  59. [59]

    : Gauge Invariance and Weyl-polymer Quantization

    Strocchi, F. : Gauge Invariance and Weyl-polymer Quantization . Academic Press, Inc., Lecture Notes in Physics, Springer 904 , 2015

    work page 2015

  60. [60]

    Sait\^ o , K.; Wright, J. D. M. : Monotone Complete C^* -algebras and Generic Dynamics . Academic Press, Inc., Lecture Springer Monographs in Mathematics, Springer, 2015

    work page 2015

  61. [61]

    J.; Kohmoto, M.; Nightingale, M

    Thouless, D. J.; Kohmoto, M.; Nightingale, M. P.; den Nijs, M.: Quantized Hall Conductance in a Two-Dimensional Periodic Potential . Phys. Rev. Lett. 49 , 405-408 (1982)

    work page 1982

  62. [62]

    : Fluctuation bounds for ergodic averages of amenable groups

    Warren, A. : Fluctuation bounds for ergodic averages of amenable groups . Bull. London Math. Soc. 53 , 1816-1833, 2021

    work page 2021

  63. [63]

    P.: Crossed Products of C^ -Algebras , Math

    Williams, D. P.: Crossed Products of C^ -Algebras , Math. Surveys and Monographs, vol. 134, AMS, Providence, 2007

    work page 2007