pith. sign in

arxiv: 2509.19825 · v3 · pith:4ZPK3IOUnew · submitted 2025-09-24 · ❄️ cond-mat.mes-hall

mathbb{Z}₂ topological invariant in three-dimensional PT- and PC-symmetric class CI band structures

Ken Shiozaki This is my paper

Pith reviewed 2026-05-21 21:35 UTC · model grok-4.3

classification ❄️ cond-mat.mes-hall
keywords Z2 topological invariantPT symmetryPC symmetryspin-Chern-Simons actionclass CIthree-dimensional band structureseta-invarianttopological phases
0
0 comments X

The pith

PC symmetry quantizes the spin-Chern-Simons action to yield a Z2 topological invariant for three-dimensional CI band structures.

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

The paper constructs a previously missing Z2 topological invariant for three-dimensional band structures in symmetry class CI, which is defined by the combination of parity-time and parity-particle-hole symmetries. PT symmetry permits definition of a real Berry connection whose eta-invariant produces a spin-Chern-Simons action. PC symmetry restricts that action to the discrete values 0 and 2π while imposing 4π periodicity, so that the action descends to a well-defined Z2 index. The resulting invariant is additive under direct sums, recovers known Z2 indices when a global Takagi factorization exists, and can depend on the choice of spin structure. A sympathetic reader would care because the invariant detects topological distinctions in lattice models that escape all previously known indices for this symmetry class.

Core claim

We construct a previously missing Z2 topological invariant for three-dimensional band structures in symmetry class CI defined by parity-time (PT) and parity-particle-hole (PC) symmetries. PT symmetry allows one to define a real Berry connection and, based on the η-invariant, a spin-Chern-Simons (spin-CS) action. We show that PC symmetry quantizes the spin-CS action to {0,2π} with 4π periodicity, thereby yielding a well-defined Z2 invariant. This invariant is additive under direct sums of isolated band structures, reduces to a known Z2 index when a global Takagi factorization exists, and in general depends on the choice of spin structure. Finally, we demonstrate lattice models in which this Z

What carries the argument

The spin-Chern-Simons action obtained from the eta-invariant of the real Berry connection under PT symmetry; PC symmetry quantizes this action to {0, 2π} with 4π periodicity, producing the Z2 invariant.

If this is right

  • The Z2 invariant is additive under direct sums of isolated band structures.
  • It reduces to a previously known Z2 index whenever a global Takagi factorization exists.
  • In general the invariant depends on the choice of spin structure.
  • Lattice models exist in which the new invariant distinguishes topological phases that cannot be detected by earlier indices.

Where Pith is reading between the lines

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

  • Physical samples may need to fix or average over spin structures to make the invariant observable in transport or spectroscopy.
  • The invariant could be used to predict protected gapless modes on surfaces or interfaces once the bulk-boundary correspondence for this class is worked out.
  • Numerical computation of the eta-invariant on discretized Brillouin zones may become a practical tool for screening candidate materials.

Load-bearing premise

The construction assumes isolated band structures for which a real Berry connection and eta-invariant are well-defined, and that the dependence on spin structure does not invalidate the topological distinction in physical realizations.

What would settle it

A concrete lattice model or material in which two phases that are indistinguishable by all prior topological indices for class CI nevertheless exhibit different values of the proposed Z2 invariant computed from the quantized spin-Chern-Simons action.

read the original abstract

We construct a previously missing $\mathbb{Z}_2$ topological invariant for three-dimensional band structures in symmetry class CI defined by parity-time (PT) and parity-particle-hole (PC) symmetries. PT symmetry allows one to define a real Berry connection and, based on the $\eta$-invariant, a spin-Chern--Simons (spin-CS) action. We show that PC symmetry quantizes the spin-CS action to $\{0,2\pi\}$ with $4\pi$ periodicity, thereby yielding a well-defined $\mathbb{Z}_2$ invariant. This invariant is additive under direct sums of isolated band structures, reduces to a known $\mathbb{Z}_2$ index when a global Takagi factorization exists, and in general depends on the choice of spin structure. Finally, we demonstrate lattice models in which this newly introduced $\mathbb{Z}_2$ invariant distinguishes topological phases that cannot be detected by the previously known topological indices.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs a new Z2 topological invariant for three-dimensional band structures in symmetry class CI with PT and PC symmetries. PT symmetry enables a real Berry connection and an eta-invariant-based spin-Chern-Simons (spin-CS) action; PC symmetry is shown to quantize this action to the set {0, 2π} with 4π periodicity, yielding the Z2 invariant. The invariant is additive under direct sums of isolated band structures, reduces to a known Z2 index when a global Takagi factorization exists, depends on the choice of spin structure, and is demonstrated in lattice models to distinguish topological phases undetectable by prior indices.

Significance. If the quantization step holds, the result supplies a previously missing Z2 diagnostic for 3D class-CI systems, extending the topological classification in the presence of PT and PC symmetries. Credit is due for the symmetry-derived, parameter-free construction, the additivity property, the explicit reduction to known cases, and the lattice-model verification that shows detection of new phases. These elements make the work potentially useful for identifying topological phases in relevant condensed-matter realizations.

major comments (2)
  1. [PC quantization derivation (following the definition of the spin-CS action from the eta-invariant)] The load-bearing quantization claim (PC symmetry forces the spin-CS action S, built from the real Berry connection and eta-invariant, into {0, 2π} mod 4π) requires an explicit transformation law under PC that excludes residual continuous phases or fractional shifts arising from the three-dimensional manifold geometry or spin-structure choice. The manuscript notes dependence on spin structure; if this dependence permits values outside the asserted discrete set, the Z2 invariant is not well-defined. A concrete calculation of the PC action on the eta-invariant, including global factors, is needed to confirm discreteness.
  2. [Lattice model demonstrations] The construction assumes isolated band structures for which the real Berry connection and eta-invariant are well-defined. In the lattice-model section, it must be verified that the models satisfy this isolation (no band touchings) and that the computed invariant remains robust under small perturbations that preserve PT and PC but may alter spin-structure choices.
minor comments (2)
  1. Notation for the spin-CS action and its periodicity should be clarified with an explicit statement of the equivalence relation (mod 4π) early in the text to avoid ambiguity when comparing to standard Chern-Simons forms.
  2. A brief comparison table or paragraph contrasting the new Z2 with existing invariants (e.g., the one obtained from global Takagi factorization) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [PC quantization derivation (following the definition of the spin-CS action from the eta-invariant)] The load-bearing quantization claim (PC symmetry forces the spin-CS action S, built from the real Berry connection and eta-invariant, into {0, 2π} mod 4π) requires an explicit transformation law under PC that excludes residual continuous phases or fractional shifts arising from the three-dimensional manifold geometry or spin-structure choice. The manuscript notes dependence on spin structure; if this dependence permits values outside the asserted discrete set, the Z2 invariant is not well-defined. A concrete calculation of the PC action on the eta-invariant, including global factors, is needed to confirm discreteness.

    Authors: We thank the referee for highlighting the need for greater explicitness in this central step. In the revised manuscript we will insert a dedicated calculation that derives the transformation law of the eta-invariant under PC, including all global phase factors associated with the three-dimensional manifold and the choice of spin structure. This calculation will show that any continuous or fractional contributions cancel, leaving the spin-CS action quantized to the set {0, 2π} with 4π periodicity. We will also clarify that the dependence on spin structure selects which of the two possible Z2 values is realized but does not permit values outside the asserted discrete set for any fixed spin structure; the Z2 invariant therefore remains well-defined. revision: yes

  2. Referee: [Lattice model demonstrations] The construction assumes isolated band structures for which the real Berry connection and eta-invariant are well-defined. In the lattice-model section, it must be verified that the models satisfy this isolation (no band touchings) and that the computed invariant remains robust under small perturbations that preserve PT and PC but may alter spin-structure choices.

    Authors: We agree that explicit verification of band isolation strengthens the presentation. The lattice models were constructed with gapped spectra and no band touchings in the regimes where the invariant is evaluated; we will add a short paragraph in the revised manuscript that states this explicitly and references the dispersion plots. Concerning robustness, the invariant is defined for a chosen spin structure. Small PT- and PC-preserving perturbations that leave the spin structure unchanged leave the invariant invariant, while those that alter the spin structure may switch between the two Z2 values. We will add a brief discussion of this distinction in the revision. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation relies on symmetry-enforced quantization of eta-invariant rather than self-reference or fitted inputs.

full rationale

The paper defines a real Berry connection via PT symmetry and constructs a spin-CS action from the eta-invariant. PC symmetry is then used to constrain this action to discrete values {0, 2π} with 4π periodicity, producing the Z2 index. This quantization step is presented as a direct consequence of the symmetry action on the connection and eta-invariant, without evidence of the result being presupposed in the definitions or obtained by fitting to data. The invariant is shown to be additive under direct sums and to reduce to a known index under global Takagi factorization, indicating independent mathematical content. No load-bearing self-citations, ansatz smuggling, or renaming of known results are identified in the derivation chain from the available text. The construction is self-contained against external benchmarks such as lattice model checks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard assumptions of topological band theory plus the specific symmetry constraints of class CI; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption PT symmetry permits a real Berry connection and a spin-Chern-Simons action based on the eta-invariant
    Stated as the starting point for the invariant construction
  • domain assumption PC symmetry quantizes the spin-CS action to {0,2π} with 4π periodicity
    Central quantization step that produces the Z2 invariant

pith-pipeline@v0.9.0 · 5691 in / 1256 out tokens · 37102 ms · 2026-05-21T21:35:08.835036+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    Altland and M

    A. Altland and M. R. Zirnbauer, Physical Review B55, 1142 (1997)

    work page 1997

  2. [2]

    A. P. Schnyder, S. Ryu, A. Furusaki, and A. W. W. Ludwig, Physical Review B78, 195125 (2008). 10Locally, the frame of positive-energy states can be taken as˜Φ(+) k,θ =CΦ ∗ k,−θ. Taking into account the orientation reversal under (k, θ)7→(k,−θ), one finds tr [( ˜F (+) k,θ )2] =−tr [(F k,−θ)2]. Since the total Berry curvature vanishes, ˜Fk,θ + ˜F (+) k,θ = ...

    work page 2008

  3. [3]

    Kitaev, AIP Conference Proceedings1134, 22 (2009)

    A. Kitaev, AIP Conference Proceedings1134, 22 (2009)

    work page 2009

  4. [4]

    J. C. Y. Teo and C. L. Kane, Physical Review B82, 115120 (2010)

    work page 2010

  5. [5]

    S. Ryu, A. P. Schnyder, A. Furusaki, and A. W. W. Ludwig, New Journal of Physics12, 065010 (2010)

    work page 2010

  6. [6]

    Shiozaki and M

    K. Shiozaki and M. Sato, Physical Review B90, 165114 (2014)

    work page 2014

  7. [7]

    Y. X. Zhao, A. P. Schnyder, and Z. D. Wang, Physical Review Letters116, 156402 (2016)

    work page 2016

  8. [8]

    Takahashi and T

    R. Takahashi and T. Ozawa, Physical Review Research6, 033192 (2024)

    work page 2024

  9. [9]

    J.-X. Dai, K. Wang, S. A. Yang, and Y. X. Zhao, Physical Review B104, 165142 (2021)

    work page 2021

  10. [10]

    Classical Chern-Simons on manifolds with spin structure

    J. A. Jenquin, “Classical Chern-Simons on manifolds with spin structure,” (2005), arXiv:math/0504524

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  11. [11]

    M. F. Atiyah, V. K. Patodi, and I. M. Singer, Mathematical Proceedings of the Cambridge Philo- sophical Society77, 43 (1975)

    work page 1975

  12. [12]

    J. Ahn, S. Park, D. Kim, Y. Kim, and B.-J. Yang, Chinese Physics B28, 117101 (2019)

    work page 2019

  13. [13]

    A Discrete Formulation of Second Stiefel-Whitney Class for Band Theory,

    K. Shiozaki and J.-Y. Chen, “A Discrete Formulation of Second Stiefel-Whitney Class for Band Theory,” (2024), arXiv:2412.18796 [cond-mat]

    work page arXiv 2024

  14. [14]

    M. A. Metlitski, A. Vishwanath, and C. Xu, Physical Review B95, 205137 (2017)

    work page 2017

  15. [15]

    C´ ordova, P.-S

    C. C´ ordova, P.-S. Hsin, N. Seiberg, and P.-S. Hsin, SciPost Physics4, 021 (2018)

    work page 2018

  16. [16]

    Dijkgraaf and E

    R. Dijkgraaf and E. Witten, Communications in Mathematical Physics129, 393 (1990)

    work page 1990

  17. [17]

    Y. Lee, K. Ohmori, and Y. Tachikawa, SciPost Physics10, 061 (2021)

    work page 2021

  18. [18]

    Gu and M

    Z.-C. Gu and M. Levin, Physical Review B89, 201113 (2014)

    work page 2014

  19. [19]

    Kapustin, R

    A. Kapustin, R. Thorngren, A. Turzillo, and Z. Wang, Journal of High Energy Physics2015, 1 (2015)

    work page 2015

  20. [20]

    Dahl, Topology and its Applications118, 345 (2002)

    M. Dahl, Topology and its Applications118, 345 (2002)

    work page 2002

  21. [21]

    Putrov, J

    P. Putrov, J. Wang, and S.-T. Yau, Annals of Physics384, 254 (2017)

    work page 2017

  22. [22]

    M. Guo, K. Ohmori, P. Putrov, Z. Wan, and J. Wang, Communications in Mathematical Physics 376, 1073 (2020)

    work page 2020

  23. [23]

    Mimura, H

    M. Mimura, H. Toda, and M. Mimura,Topology of Lie Groups, I and II, 2nd ed., Translations of Mathematical Monographs No. 91 (American Mathematical Society, Providence, RI, 2000)

    work page 2000

  24. [24]

    X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Physical Review B78, 195424 (2008). 17

    work page 2008