Pith. sign in

REVIEW 2 major objections 4 minor 33 references

$\eta$ invariant of massive Wilson Dirac operator and the index

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The massless chiral zero-mode count of the continuum Dirac operator can be recovered from the eta invariant of the massive Wilson Dirac operator on a finite lattice.

desk verdict A useful K-theory reframing of the lattice index theorem, but the proceedings version states its hypotheses too loosely and leans on the companion paper for the full proof. read the letter →

arxiv 2501.02873 v2 pith:4N2JLHK6 submitted 2025-01-06 hep-lat cond-mat.str-elhep-thmath.KT

Shoto Aoki , Hidenori Fukaya , Mikio Furuta , Shinichiroh Matsuo , Tetsuya Onogi , Satoshi Yamaguchi This is my paper · ORCID
classification hep-latcond-mat.str-elhep-thmath.KT
keywords etainvariantWilsonDiracoperatorlatticeindextheoremK-theorysuspensionisomorphismoverlapGinsparg-Wilsonrelationspectralflow
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 claims that gauge-field topology on a lattice is fully captured by the massive Wilson Dirac operator, without any need for the overlap construction or exact lattice chiral symmetry. Its main theorem states that, on a flat torus and for sufficiently small lattice spacing $a

What carries the argument

The central object is the eta invariant $\eta(H)=\operatorname{Tr}\operatorname{sgn}(H)$ of the massive Wilson Dirac operator $H=\gamma(D_W-M)$, together with the $K$-theory suspension isomorphism that identifies the $K^0$ class of the massless chiral Dirac operator with the $K^1(I,\partial I)$ class of a one-parameter family of massive operators. The argument is carried by the combined operator $\hat D$ in Eq. (18), whose invertibility on the closed path in the two-parameter space $(m,t)$ is the sufficient condition for the continuum and lattice $K^1$ classes to coincide. The spectral-flow picture makes the mechanism concrete: as the mass $m$ runs from $-M$ to $+M$, chiral modes cross zero with a sign equal to their chirality, and counting zero-crossing lines is equivalent to computing the index.

What would settle it

Construct a family of link variables on $T^2$ obeying only the two stated conditions whose limiting gauge field is not smooth, and compute $-\tfrac12\operatorname{Tr}\operatorname{sgn}(\gamma(D_W-M))$ for decreasing lattice spacings; if it does not converge to the continuum index, the theorem's claimed scope over 'any gauge field background' fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is the equality $\operatorname{Ind} D_{\mathrm{cont.}} = -\tfrac12 \eta(\gamma(D_W - M))$ for every gauge background determined by link variables with $U(x,x)=1$ and $U(y,x)=U(x,y)^{-1}$, for all lattice spacings below a finite threshold $a_0$. The proof constructs the continuum-lattice combined operator $\hat D$ of Eq. (18) and proves, by contradiction, that it is invertible along the rectangular path $(m,t)=(-M,0)\to(-M,1)\to(+M,1)\to(+M,0)$. Invertibility along this path is the sufficient condition for the continuum and lattice operators to represent the same class in $K^1(I,\partial I)$, and since $\eta(\gamma(D_W+M))=0$ for $M>0$, the Wilson eta invariant at negative mass reproduces the continuum index. The equality is not a numerical coincidence but a direct manifestation of the suspension isomorphism $K^0(\mathrm{point})\cong K^1(I,\partial I)$.

Load-bearing premise

The proof assumes that every family of link variables satisfying $U(x,x)=1$ and $U(y,x)=U(x,y)^{-1}$ yields a smooth continuum connection through the limiting formula (14), and that the interpolating maps $f_a$ make $\hat D$ invertible below some $a_0$; the paper states no explicit smoothness or cocycle condition on $U(x,y)$.

Editorial extensions

If this is right

  • If the theorem is correct, the overlap Dirac operator index and the eta invariant of the massive Wilson operator are not merely numerically equal; both compute the same $K^1$ class.
  • The Ginsparg-Wilson relation and exact lattice chiral symmetry are not required for defining gauge-field topology on a periodic square lattice.
  • The equality provides a finite-lattice definition of the continuum Dirac index that is stable under chiral-symmetry breaking, at least on flat tori and sufficiently smooth gauge backgrounds.
  • The same $K$-theoretic reasoning motivates conjectured extensions to domain-wall fermions with boundaries, real Dirac operators with mod-two index, and curved gravitational backgrounds, as the paper explicitly conjectures.

Reading between the lines

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

  • Beyond the paper's stated theorem, the invertibility proof might be sharpened to give an explicit bound on $a_0$ in terms of the gauge-field curvature or the interpolating map $f_a$; the paper does not address such a quantitative bound.
  • A testable extension of the argument would be to non-square lattices or other Wilson-type actions: the $K^1$ formulation suggests the equality should survive as long as the combined operator remains invertible, but that is not proved here.
  • One practical consequence not drawn in the paper is that numerical lattice index computations could replace overlap-spectrum calculations with direct eta-invariant traces on small tori, where the equality should hold as soon as $a<a_0$.
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

2 major / 4 minor

Summary. This LATTICE2024 proceedings contribution argues that the index of the continuum Dirac operator on a flat torus can be obtained from the η invariant of the massive Wilson Dirac operator. The authors identify the Wilson Dirac operator as an element of the K^1(I,∂I) group and use the suspension isomorphism between K^0(point) and K^1(I,∂I) to relate the spectral flow of γ(D_W + m) to the Dirac index. The main theorem, Eq. (19), states that for sufficiently small lattice spacing a < a_0, Ind D_cont = -1/2 η(γ(D_W - M)) for any gauge field background determined by link variables U(x,y) satisfying U(x,x)=1 and U(y,x)=U(x,y)^{-1}. The proof is sketched through an invertibility argument for a combined continuum-lattice operator D_hat in Eq. (18), with the complete proof deferred to the companion paper Ref. [19]. The paper concludes that the Ginsparg-Wilson relation and exact chiral symmetry are not essential for the lattice description of gauge topology and discusses possible extensions to domain-wall fermions, real Dirac operators, and curved backgrounds.

Significance. The conceptual identification of the Wilson Dirac operator as a K^1 element, with the η invariant as its characteristic invariant, is a genuinely interesting reformulation: it explains the old observation that the overlap index equals -1/2 Tr sgn(H_W) and gives a theorem, Eq. (19), that is precise and in principle checkable at finite lattice spacing. There are no fitted parameters or ad hoc normalizations in the central claim, which is a parameter-free identity once M and the lattice are fixed. If the proof in Ref. [19] is correct, the result is significant because it removes the need for exact chiral symmetry in the lattice index theorem and suggests generalizations to real (mod-two) and boundary/domain-wall settings where overlap fermions are problematic. The paper is honest about the division of labor: the present text is a sketch, and the mathematical proof is delegated to a companion paper. The main weakness is that the theorem statement as written is too broad, because the assumptions on the link variables do not ensure that a smooth continuum connection exists or that the lattice links are related to it in the required way.

major comments (2)
  1. [Sec. 4, Eqs. (13)-(14)] The theorem is stated for 'any gauge field background determined by {U(x,y)}' under only the algebraic conditions U(x,x)=1 and U(y,x)=U(x,y)^{-1}. These conditions do not imply that the limit in Eq. (14) exists, because no regularity of U(x,y) in x,y is assumed, and they do not imply that U(x,y) is the parallel transport of a smooth connection A, because no cocycle or Wilson-line compatibility is imposed. Even if U is smooth and has derivative A at coincident points, an arbitrary smooth U can differ from the Wilson line at order a^2, and that difference enters D_W in Eq. (15) and hence can affect η(γ(D_W - M)) at finite a < a_0. The invertibility argument for D_hat in Eq. (18) must control this difference, so the hypotheses of the theorem must be strengthened or the claim 'any gauge field background' must be restricted. Please state explicit regularity and compatibility conditions, or quote the theorem from Ref. [19] with its actual hypotheses.
  2. [Sec. 4, Eq. (18)] The central step is the claim that D_hat is invertible along the path (m,t)=(-M,0)→(-M,1)→(+M,1)→(+M,0) for a < a_0, but the properties of the interpolation map f_a (boundedness, relation f_a^* f_a to the identity, commutator estimates with D_W and D_cont) and the contradiction argument establishing the uniformity of a_0 are not given. These estimates are exactly what is needed to justify that the continuum and lattice K^1 classes coincide, so Eq. (19) rests on unevaluated input. Since the full proof is in Ref. [19], the paper should either state the precise theorem with hypotheses and a reference to the companion proof, or include the key estimate; as written, this is a proof sketch rather than a proof.
minor comments (4)
  1. [Eq. (14)] As printed, the formula is missing the subtraction of the identity in the numerator; it should read A_mu(x) = -lim_{epsilon->0} [phi^{-1}(x) U(x,x+epsilon e_mu) phi(x+epsilon e_mu) - 1]/epsilon. The current expression, taken literally, is divergent rather than a connection.
  2. [Eq. (19) and surrounding text] The quantifiers in Eq. (19) are ambiguous: it should state whether a_0 is uniform in M or depends on M, and whether the condition a < a_0 is required for each fixed background U or uniformly over a class of backgrounds. Please make the order of quantifiers explicit.
  3. [Section 4, proof paragraph] Ref. [19] is a companion paper by the same authors; the text should identify it as such and give the precise theorem number so readers can locate the hypotheses. Also, the phrase 'we prove by contradiction' in Sec. 4 should be accompanied by a statement that the full proof is in Ref. [19].
  4. [Figure 2] The caption says 'modeling the situation with a lattice Dirac operator', but the figure is a schematic; please clarify that it is illustrative and not a numerical computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Eq. (19) is a nontrivial theorem relating independent spectral invariants; the proof is delegated to a same-author companion paper but is not equivalent to its inputs.

full rationale

The paper's central claim, Ind D_cont = -1/2 eta(gamma(D_W - M)), is not an input, a fitted parameter, or a renamed known result. The continuum index and the lattice eta invariant are defined from different operators: D_cont from the limiting gauge field in Eq. (14) and eta from the Wilson Dirac operator constructed from link variables in Eq. (15). The equality follows from the suspension isomorphism of K-theory together with the asserted invertibility of the combined operator D_hat in Eq. (18) along the mass-interpolation path, which is a substantive analytic condition rather than a definitional identity. No parameter is fitted to the target quantity, and no ansatz is imposed whose content is the result. The full proof is delegated to the same-author companion paper [19] (Section 4: 'See the full mathematical proof given in Ref. [19]'), but this is a citation to a separate mathematical derivation with stated assumptions, not a circular reduction; self-citation alone is not circularity. The main caveat is that the proof sketch assumes the continuum limit in Eq. (14) exists for link variables satisfying only U(x,x)=1 and U(y,x)=U(x,y)^{-1}; this is a rigor/domain issue, not a circularity issue, and does not make the central equality definitional.

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

No numerical parameters are fitted; M is an arbitrary positive mass scale and a0 is an existential lattice-spacing bound. The central claim rests on standard K-theory facts and on domain assumptions about how lattice link variables represent a smooth continuum gauge field, plus the behavior of interpolation maps.

assumptions (5)
  • standard math Suspension isomorphism K0(point) ≅ K1(I,∂I) for Fredholm operators.
    Used in Sections 2 and 3 to reinterpret the massless index as the spectral flow of a one-parameter family of massive Dirac operators. This is a standard result in K-theory.
  • standard math Atiyah-Singer index theorem for the continuum Dirac operator on a flat torus.
    Provides the reference value Ind D_cont that the lattice eta invariant is compared to; invoked implicitly in Section 4.
  • domain assumption The link variables U(x,y) satisfying U(x,x)=1 and U(y,x)=U(x,y)^(-1) determine a smooth continuum gauge field uniquely up to gauge transformation via Eq. (14).
    This is an input about the regularity of the background field. The paper does not state an explicit smoothness or cocycle condition, yet the continuum gauge field in Eq. (14) is derived from these link variables. Section 4, Eqs. (13)-(14).
  • domain assumption The interpolation maps f_a from the lattice Hilbert space to the continuum Hilbert space, and their adjoints, give a well-defined difference class between continuum and lattice operators.
    The combined operator D_hat in Eq. (18) assumes these maps behave well at small lattice spacing. The proof of their necessary properties is deferred to Ref [19].
  • domain assumption The Wilson Dirac operator in Eq. (15) with Wilson coefficient unity is the correct lattice approximation for the K-theory comparison.
    The specific choice of Wilson term and the forward-backward difference operator is assumed; other Wilson coefficients might alter the finite-spacing behavior. Section 4, Eq. (15).

how reviews work

0 comments
Cite this review

Pith. "Pith review of $\eta$ invariant of massive Wilson Dirac operator and the index." pith.science (2026). https://pith.science/paper/4N2JLHK6

@misc{pith2026250102873,
  author       = {Pith},
  title        = {Pith review of: $\eta$ invariant of massive Wilson Dirac operator and the index},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4N2JLHK6}},
  note         = {Machine review of arXiv:2501.02873}
}
abstract

We revisit the lattice index theorem in the perspective of $K$-theory. The standard definition given by the overlap Dirac operator equals to the $\eta$ invariant of the Wilson Dirac operator with a negative mass. This equality is not coincidental but reflects a mathematically profound significance known as the suspension isomorphism of $K$-groups. Specifically, we identify the Wilson Dirac operator as an element of the $K^1$ group, which is characterized by the $\eta$-invariant. Furthermore, we prove that, at sufficiently small but finite lattice spacings, this $\eta$-invariant equals to the index of the continuum Dirac operator. Our results indicate that the Ginsparg-Wilson relation and the associated exact chiral symmetry are not essential for understanding gauge field topology in lattice gauge theory.

Figures

Figures reproduced from arXiv: 2501.02873 by the authors.

Figure 1
Figure 1. Eigenvalue spectrum of the massive Dirac operator 𝐻(𝑚) as a function of 𝑚. rigorous equivalence was established [21]. But as far as we know, the mathematical relevance of the Wilson Dirac operator as the element of the 𝐾 group has not been discussed. What happens when a chiral symmetry breaking regularization is employed (on a lattice)? The spectrum will be deformed like [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Eigenvalue spectrum of the massive Dirac operator 𝐻(𝑚) with chiral symmetry breaking effect, modeling the situation with a lattice Dirac operator. We regularize the torus 𝑇 2𝑛 by a square lattice with a lattice spacing 𝑎. Note that the fiber vector space is kept continuous. There is some ambiguity in defining the link variables from continuum theory. The standard approach is to define the continuum gauge field first… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 15 canonical work pages

  1. [19]

    S. Aoki, H. Fukaya, M. Furuta, S. Matsuo, T. Onogi and S. Yamaguchi,The index of lattice Dirac operators and𝐾-theory, 2407.17708

    arXiv

  2. [1]

    Atiyah and I.M

    M.F. Atiyah and I.M. Singer,The Index of elliptic operators. 1,Annals Math.87 (1968) 484

    work page 1968

  3. [2]

    Nielsen and M

    H.B. Nielsen and M. Ninomiya,Absence of Neutrinos on a Lattice. 1. Proof by Homotopy Theory,Nucl. Phys. B185 (1981) 20

    work page 1981

  4. [3]

    Nielsen and M

    H.B. Nielsen and M. Ninomiya,No Go Theorem for Regularizing Chiral Fermions,Phys. Lett. B105 (1981) 219

    work page 1981

  5. [4]

    Nielsen and M

    H.B. Nielsen and M. Ninomiya,Absence of Neutrinos on a Lattice. 2. Intuitive Topological Proof, Nucl. Phys. B193 (1981) 173

    work page 1981

  6. [5]

    Neuberger,Exactly massless quarks on the lattice, Phys

    H. Neuberger,Exactly massless quarks on the lattice, Phys. Lett. B417 (1998) 141 [hep-lat/9707022]

    arXiv 1998

  7. [6]

    Hasenfratz, V

    P. Hasenfratz, V. Laliena and F. Niedermayer,The Index theorem in QCD with a finite cutoff, Phys. Lett. B427 (1998) 125 [hep-lat/9801021]

    arXiv 1998

  8. [7]

    Ginsparg and K.G

    P.H. Ginsparg and K.G. Wilson,A Remnant of Chiral Symmetry on the Lattice,Phys. Rev. D 25 (1982) 2649

    work page 1982

Show all 33 references
  1. [8]

    Luscher,Exact chiral symmetry on the lattice and the Ginsparg-Wilson relation,Phys

    M. Luscher,Exact chiral symmetry on the lattice and the Ginsparg-Wilson relation,Phys. Lett. B428 (1998) 342 [hep-lat/9802011]

    1998 arXiv

  2. [9]

    Wilson,Quarks and strings on a lattice, inNew Phenomena in Subnuclear Physics, Part A, A

    K.G. Wilson,Quarks and strings on a lattice, inNew Phenomena in Subnuclear Physics, Part A, A. Zichichi, ed., p. 69, Plenum Press, 1977

    1977

  3. [10]

    Atiyah, V.K

    M.F. Atiyah, V.K. Patodi and I.M. Singer,Spectral asymmetry and Riemannian Geometry 1, Math. Proc. Cambridge Phil. Soc.77(1975) 43

    1975

  4. [11]

    Karoubi,Algèbres de Clifford et opèrateurs de Fredholm, C

    M. Karoubi,Algèbres de Clifford et opèrateurs de Fredholm, C. R. Acad. Sci. Paris Sér. A-B 267 (1968) A305

    1968

  5. [12]

    Atiyah and I.M

    M.F. Atiyah and I.M. Singer,Index theory for skew-adjoint Fredholm operators,Inst. Hautes Études Sci. Publ. Math.(1969) 5

    1969

  6. [13]

    Yamashita,A Lattice Version of the Atiyah–Singer Index Theorem, Commun

    M. Yamashita,A Lattice Version of the Atiyah–Singer Index Theorem, Commun. Math. Phys. 385 (2021) 495 [2007.06239]

    2021 arXiv

  7. [14]

    Kubota,The Index Theorem of Lattice Wilson–Dirac Operators via Higher Index Theory, Annales Henri Poincare23(2022) 1297 [2009.03570]

    Y. Kubota,The Index Theorem of Lattice Wilson–Dirac Operators via Higher Index Theory, Annales Henri Poincare23(2022) 1297 [2009.03570]

    2022 arXiv

  8. [15]

    Fukaya, T

    H. Fukaya, T. Onogi and S. Yamaguchi,Atiyah-Patodi-Singer index from the domain-wall fermion Dirac operator, Phys. Rev. D96(2017) 125004 [1710.03379]

    2017 arXiv

  9. [16]

    Fukaya, M

    H. Fukaya, M. Furuta, S. Matsuo, T. Onogi, S. Yamaguchi and M. Yamashita,The Atiyah–Patodi–Singer Index and Domain-Wall Fermion Dirac Operators,Commun. Math. Phys. 380 (2020) 1295 [1910.01987]. 9 𝜂 invariant of massive Wilson Dirac operator and the index Hidenori Fukaya

    2020 arXiv

  10. [17]

    Fukaya, M

    H. Fukaya, M. Furuta, Y. Matsuki, S. Matsuo, T. Onogi, S. Yamaguchi et al.,Mod-two APS index and domain-wall fermion,Lett. Math. Phys.112(2022) 16 [2012.03543]

    2022 arXiv

  11. [18]

    Fukaya,Understanding the index theorems with massive fermions,Int

    H. Fukaya,Understanding the index theorems with massive fermions,Int. J. Mod. Phys. A36 (2021) 2130015 [2109.11147]

    2021 arXiv

  12. [20]

    S. Itoh, Y. Iwasaki and T. Yoshie,The U(1) Problem and Topological Excitations on a Lattice,Phys. Rev. D36 (1987) 527

    1987

  13. [21]

    Adams,Axial anomaly and topological charge in lattice gauge theory with overlap Dirac operator, Annals Phys.296 (2002) 131 [hep-lat/9812003]

    D.H. Adams,Axial anomaly and topological charge in lattice gauge theory with overlap Dirac operator, Annals Phys.296 (2002) 131 [hep-lat/9812003]

    2002 arXiv

  14. [22]

    Kaplan,A Method forsimulating chiral fermions onthe lattice,Phys

    D.B. Kaplan,A Method forsimulating chiral fermions onthe lattice,Phys. Lett. B288(1992) 342 [hep-lat/9206013]

    1992 arXiv

  15. [23]

    Furman and Y

    V. Furman and Y. Shamir,Axial symmetries in lattice QCD with Kaplan fermions,Nucl. Phys. B439 (1995) 54 [hep-lat/9405004]

    1995 arXiv

  16. [24]

    Shamir,Chiral fermions from lattice boundaries,Nucl

    Y. Shamir,Chiral fermions from lattice boundaries,Nucl. Phys. B406 (1993) 90 [hep-lat/9303005]

    1993 arXiv

  17. [25]

    Luscher,The Schrodinger functional in lattice QCD with exact chiral symmetry,JHEP 05 (2006) 042 [hep-lat/0603029]

    M. Luscher,The Schrodinger functional in lattice QCD with exact chiral symmetry,JHEP 05 (2006) 042 [hep-lat/0603029]

    2006 arXiv

  18. [26]

    Witten,An SU(2) Anomaly,Phys

    E. Witten,An SU(2) Anomaly,Phys. Lett. B117 (1982) 324

    1982

  19. [27]

    Aoki and H

    S. Aoki and H. Fukaya,Curved domain-wall fermions,PTEP 2022 (2022) 063B04 [2203.03782]

    2022 arXiv

  20. [28]

    Aoki and H

    S. Aoki and H. Fukaya,Curved domain-wall fermion and its anomaly inflow, PTEP 2023 (2023) 033B05 [2212.11583]

    2023 arXiv

  21. [29]

    Kaplan,Chiral Gauge Theory at the Boundary between Topological Phases, Phys

    D.B. Kaplan,Chiral Gauge Theory at the Boundary between Topological Phases, Phys. Rev. Lett. 132 (2024) 141603 [2312.01494]

    2024 arXiv

  22. [30]

    Kaplan and S

    D.B. Kaplan and S. Sen,Weyl Fermions on a Finite Lattice,Phys. Rev. Lett.132 (2024) 141604 [2312.04012]

    2024 arXiv

  23. [31]

    S. Aoki, H. Fukaya and N. Kan,A Lattice Formulation of Weyl Fermions on a Single Curved Surface, PTEP 2024(2024) 043B05 [2402.09774]

    2024 arXiv

  24. [32]

    Aoki,Study of Curved Domain-wall Fermions on a Lattice, Ph.D

    S. Aoki,Study of Curved Domain-wall Fermions on a Lattice, Ph.D. thesis, Osaka U., 2024. 10.18910/96380

    2024 doi

  25. [33]

    Kaplan and S

    D.B. Kaplan and S. Sen,Regulating chiral gauge theory at𝜃 = 0, 2412.02024. 10

    arXiv

Pith tools

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