pith. sign in

arxiv: 2606.31322 · v1 · pith:GRB6AUMLnew · submitted 2026-06-30 · 🧮 math.OA · math.KT

Analytic index theory and spectral flow in real Hilbert C^*-modules

Chris Bourne , Alan L. Carey , Koen van den Dungen , Adam Rennie This is my paper

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

classification 🧮 math.OA math.KT
keywords analytic indexspectral flowreal K-theoryHilbert C*-modulesVan Daele K-theoryRobbin-Salamon theoremFredholm operatorsKKR-theory
0
0 comments X

The pith

A real version of the Robbin-Salamon theorem equates spectral flow to a Fredholm index for operators on real Hilbert C*-modules.

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

The paper develops an analytic index theory and spectral flow for Fredholm operators on Hilbert C*-modules equipped with real structures, with values landing in real K-theory groups of σ-unital C*-algebras. It gives explicit definitions of the analytic index for Clifford anti-linear skew-adjoint operators and for self-adjoint odd operators, and it defines spectral flow for Wahl-continuous paths of such operators. The central result is a real analogue of the Robbin-Salamon theorem that identifies this spectral flow with a Fredholm index. A sympathetic reader cares because the construction uses Van Daele K-theory to treat all eight real K-theory groups and the two complex groups uniformly. The argument rests on a systematic collection of isomorphisms between Kasparov's KKR-theory and Van Daele K-theory, which are laid out in the appendix.

Core claim

We prove a real version of the Robbin-Salamon theorem relating the spectral flow to a Fredholm index. The analytic index and spectral flow take values in the real K-theory group of a σ-unital C*-algebra. Using Van Daele K-theory we provide a general definition of the analytic index for Clifford anti-linear and skew-adjoint Fredholm operators as well as self-adjoint and odd Fredholm operators. Our definition of spectral flow and its basic properties are valid for Wahl-continuous paths of Fredholm operators on a real Hilbert C*-module. We also provide an analytic approach to the spectral flow as a decomposition into a finite sum of relative indices. Our description relies on various isomorphis

What carries the argument

Van Daele K-theory, which unifies the eight real and two complex K-theory groups, together with the real Robbin-Salamon theorem that equates spectral flow along Wahl-continuous paths to a Fredholm index.

If this is right

  • Spectral flow is defined and satisfies its basic properties for Wahl-continuous paths of Fredholm operators on real Hilbert C*-modules.
  • The analytic index is defined for Clifford anti-linear skew-adjoint Fredholm operators and for self-adjoint odd Fredholm operators, taking values in real K-theory.
  • Spectral flow admits an analytic decomposition into a finite sum of relative indices.
  • The real Robbin-Salamon theorem holds once the appendix isomorphisms between KKR-theory and Van Daele K-theory are in place.

Where Pith is reading between the lines

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

  • The uniform Van Daele framework may simplify calculations that mix several of the eight real K-theory groups in a single problem.
  • The appendix isomorphisms could be reused in other contexts where real structures appear on C*-algebras that are not necessarily σ-unital.
  • The decomposition of spectral flow into relative indices supplies an explicit computational route once a path is given.

Load-bearing premise

The isomorphisms between Kasparov's KKR-theory and Van Daele K-theory hold for the real structures and σ-unital C*-algebras under consideration.

What would settle it

A concrete Wahl-continuous path of real Fredholm operators on a Hilbert C*-module for which the spectral flow computed via the decomposition into relative indices differs from the Fredholm index in the corresponding real K-theory group.

read the original abstract

We consider the analytic index and spectral flow of Fredholm operators on Hilbert $C^*$-modules. Our spaces and algebras are equipped with a real structure, so the analytic index and spectral flow takes value in the real $K$-theory group of a $\sigma$-unital $C^*$-algebra. We use Van Daele $K$-theory, which allows us to treat the eight real $K$-theory groups and the two complex groups on an equal footing. We provide a general definition of the analytic index for Clifford anti-linear and skew-adjoint Fredholm operators as well as self-adjoint and odd Fredholm operators. Our definition of spectral flow and its basic properties are valid for Wahl-continuous paths of Fredholm operators on a real Hilbert $C^*$-module. We also provide an analytic approach to the spectral flow as a decomposition into a finite sum of relative indices. Furthermore, we prove a real version of the Robbin-Salamon theorem, relating the spectral flow to a Fredholm index. Our description of the index and spectral flow relies on various isomorphisms between Kasparov's $KKR$-theory and Van Daele $K$-theory, which we systematically describe in the Appendix.

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

1 major / 0 minor

Summary. The paper develops an analytic index theory and spectral flow for Fredholm operators on real Hilbert C*-modules over σ-unital C*-algebras equipped with real structures. It employs Van Daele K-theory to treat the eight real K-theory groups and two complex groups uniformly, defines the analytic index for Clifford anti-linear skew-adjoint Fredholm operators as well as self-adjoint odd ones, introduces spectral flow for Wahl-continuous paths with an analytic decomposition into relative indices, and proves a real analogue of the Robbin-Salamon theorem equating spectral flow to a Fredholm index. All identifications route through isomorphisms between Kasparov's KKR-theory and Van Daele K-theory that are systematically described in the Appendix.

Significance. If the central identifications hold, the work supplies a unified analytic framework for index and spectral flow that incorporates real structures on an equal footing with the complex case, extending prior results on Hilbert C*-modules to the real setting. The use of Van Daele K-theory to handle all ten K-theory groups uniformly and the analytic decomposition of spectral flow are notable strengths; the real Robbin-Salamon theorem would furnish a concrete link between spectral flow and index in real K-theory with potential applications in real index theory.

major comments (1)
  1. [Appendix] Appendix: The manuscript states that the isomorphisms between Kasparov's KKR-theory and Van Daele K-theory hold for the eight real cases on σ-unital C*-algebras with real structures and are used to identify spectral flow with the Fredholm index in the real Robbin-Salamon theorem, but supplies no self-contained verification, explicit intertwining of the real involution or Clifford action, or external reference confirming these maps remain isomorphisms when the algebra is merely σ-unital rather than unital. This step is load-bearing for the equality asserted in the main theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and positive assessment of the paper's contributions to real index theory and spectral flow. We address the major comment on the Appendix below.

read point-by-point responses

  1. Referee: [Appendix] Appendix: The manuscript states that the isomorphisms between Kasparov's KKR-theory and Van Daele K-theory hold for the eight real cases on σ-unital C*-algebras with real structures and are used to identify spectral flow with the Fredholm index in the real Robbin-Salamon theorem, but supplies no self-contained verification, explicit intertwining of the real involution or Clifford action, or external reference confirming these maps remain isomorphisms when the algebra is merely σ-unital rather than unital. This step is load-bearing for the equality asserted in the main theorem.

    Authors: We agree that providing explicit verification or a reference for these isomorphisms in the σ-unital setting is important for the rigor of the main theorem. The Appendix systematically describes the isomorphisms, but we acknowledge that a full proof of their validity for σ-unital algebras, including the intertwining properties with the real structure and Clifford actions, is not self-contained. In the revised manuscript, we will expand the Appendix to include a self-contained verification of these isomorphisms, adapting the standard arguments from the unital case to the σ-unital setting. This will ensure the load-bearing step is fully justified. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation is self-contained via Appendix isomorphisms.

full rationale

The paper's central result (real Robbin-Salamon theorem equating spectral flow to Fredholm index) routes both quantities through isomorphisms between KKR-theory and Van Daele K-theory. These maps are not imported via self-citation but are instead 'systematically describe[d] in the Appendix' of the present paper for the eight real and two complex cases on σ-unital C*-algebras. No equations reduce a prediction to a fitted input by construction, no uniqueness theorem is invoked from prior self-work as an external fact, and no ansatz is smuggled via citation. The derivation therefore remains independent of the target result and does not exhibit any of the enumerated circularity patterns. The provided text contains no load-bearing self-citations that collapse the argument.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background results in K-theory and C*-algebras plus the assumption that the listed isomorphisms between KKR and Van Daele K-theory are valid for the real structures considered.

axioms (1)
  • domain assumption Isomorphisms between Kasparov's KKR-theory and Van Daele K-theory hold for the real structures and σ-unital C*-algebras under consideration
    Invoked throughout the definitions and the proof of the real Robbin-Salamon theorem; catalogued in the Appendix

pith-pipeline@v0.9.1-grok · 5754 in / 1244 out tokens · 53578 ms · 2026-07-01T02:45:42.293677+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

66 extracted references · 4 canonical work pages · 1 internal anchor

  1. [1]

    Alldridge, C

    A. Alldridge, C. Max and M. R. Zirnbauer.Bulk-boundary correspondence for disordered free- fermion topological phases. Comm. Math. Phys.,377(2020), no. 3, 1761–1821

    2020

  2. [2]

    Altland and M

    A. Altland and M. R. Zirnbauer.Nonstandard symmetry classes in mesoscopic normal- superconducting hybrid structures. Phys. Rev. B,55(1997), no. 2, 1142–1161

    1997

  3. [3]

    M. F. Atiyah.K-theory and reality. Quart. J. Math. Oxford (2),17(1966), 367–86

    1966

  4. [4]

    M. F. Atiyah, R. Bott, and A. Shapiro.Clifford modules. Topology,3(1964), no. suppl. 1, 3–38

    1964

  5. [5]

    M. F. Atiyah, V. K. Patodi, and I. M. Singer.Spectral asymmetry and Riemannian geometry, III. Math. Proc. Cambridge Philos. Soc.79(1976), 71–99

    1976

  6. [6]

    M. F. Atiyah and I. M. Singer.Index theory for skew-adjoint Fredholm operators. Inst. Hautes ´Etudes Sci. Publ. Math. (1969), no. 37, 5–26

    1969

  7. [7]

    M. F. Atiyah and I. M. Singer.The index of elliptic operators. V.Ann. of Math. (2),93(1971), 139–149

    1971

  8. [8]

    Avron, R

    J. Avron, R. Seiler, and B. Simon.The index of a pair of projections. J. Funct. Anal.120 (1994), no. 1, 220–237

    1994

  9. [9]

    Azzali and C

    S. Azzali and C. Wahl.Spectral flow, index and the signature operator. J. Topol. Anal.03 (2001), no. 01, 37–67

    2001

  10. [10]

    Baaj and P

    S. Baaj and P. Julg.Th´ eorie bivariante de Kasparov et op´ erateurs non born´ es dans lesC ∗- modules hilbertiens. C. R. Acad. Sci. Paris S´ er. I Math,296(1983), no. 21, 875–878

    1983

  11. [11]

    Benemeur, A

    M-T. Benemeur, A. Carey, J. Phillips, A. Rennie, F. Sukochev and K. Wojciechowski.An analytic approach to spectral flow in von Neumann algebras. Analysis, Geometry and Topology of Elliptic Operators – Papers in Honour of K. P. Wojciechowski, 297–352, World Scientific, Singapore (2006)

    2006

  12. [12]

    Blackadar.K-theory for operator algebras

    B. Blackadar.K-theory for operator algebras. Second edition. Mathematical Sciences Research Institute Publications,5. Cambridge University Press, Cambridge (1998). xx+300 pp

    1998

  13. [13]

    J. L. Boersema.RealC ∗-algebras, unitedK-theory and the K¨ unneth formula.K-theory,26 (2002), 345–402

    2002

  14. [14]

    J. L. Boersema and T. A. Loring.K-theory for realC ∗-algebras via unitary elements with symmetries. New York J. Math.,22(2016), 1139–1220

    2016

  15. [15]

    Bourne.Interfaces of discrete systems – spectral and index properties

    C. Bourne.Interfaces of discrete systems – spectral and index properties. J. Math. Phys.,67 (2026), no. 4, 043505

    2026

  16. [16]

    Bourne, A

    C. Bourne, A. L. Carey, M. Lesch and A. Rennie.The KO-valued spectral flow for skew-adjoint Fredholm operators.J. Topol. Anal.,14(2022), no. 2, 505–556

    2022

  17. [17]

    Bourne, J

    C. Bourne, J. Kellendonk and A. Rennie.The Cayley transform in complex, real and graded K-theory. Internat. J. Math.,31(2020), no. 9, 2050074, 50 pp

    2020

  18. [18]

    Bunke, M

    U. Bunke, M. Joachim and S. Stolz.Classifying spaces and spectra representing theK-theory of a gradedC ∗-algebra. High-dimensional manifold topology, 80–102, World Sci. Publ., River Edge, NJ (2003)

    2003

  19. [19]

    A. L. Carey, J. Phillips, and H. Schulz-Baldes,Spectral flow for skew-adjoint Fredholm oper- ators, J. Spectr. Theory,9(2019), no. 1, 137–170

    2019

  20. [20]

    Dai and W

    X. Dai and W. Zhang.Higher spectral flow. Math. Res. Lett.,3(1996), no. 1, 93–102

    1996

  21. [21]

    Dai and W

    X. Dai and W. Zhang.Higher spectral flow. J. Funct. Anal.,157(1998), no. 2, 432–469

    1998

  22. [22]

    N. Doll, H. Schulz-Baldes.Skew localizer andZ 2-flows for real index pairings. Adv. Math.,392 (2021), Paper No. 108038, 42 pp. analytic index theory and spectral flow in real hilbert c ∗-modules83

    2021

  23. [23]

    N. Doll, H. Schulz-Baldes and N. Waterstraat.Spectral flow–a functional analytic and index- theoretic approach. De Gruyter Studies in Mathematics, 94. De Gruyter, Berlin (2023). xvii+440 pp

    2023

  24. [24]

    van den Dungen.The index of generalised Dirac-Schr¨ odinger operators

    K. van den Dungen.The index of generalised Dirac-Schr¨ odinger operators. J. Spectr. Theory 9 (2019), no. 4, 1459–1506

    2019

  25. [25]

    van den Dungen.Generalised Dirac-Schr¨ odinger operators and the Callias theorem

    K. van den Dungen.Generalised Dirac-Schr¨ odinger operators and the Callias theorem. Forum Math. Sigma,13(2025), Paper No. e11, 29 pp

    2025

  26. [26]

    van den Dungen.Dirac-Schr¨ odinger operators, index theory, and spectral flow

    K. van den Dungen.Dirac-Schr¨ odinger operators, index theory, and spectral flow. J. Lond. Math. Soc. (2),112(2025), no. 4, Paper No. e70301, 43 pp

    2025

  27. [27]

    Exel.A Fredholm operator approach to Morita equivalence.K-Theory,7(1993), no

    R. Exel.A Fredholm operator approach to Morita equivalence.K-Theory,7(1993), no. 3, 285–308

    1993

  28. [28]

    J. M. Gracia-Bond´ ıa, J. C. V´ arilly and H. Figueroa.Elements of noncommutative geometry. Birkh¨ auser, Boston (2001). xviii+685 pp

    2001

  29. [29]

    Higson and J

    N. Higson and J. Roe.AnalyticK-homology, Oxford University Press, Oxford (2000)

    2000

  30. [30]

    Joachim.Unbounded Fredholm operators andK-theory

    M. Joachim.Unbounded Fredholm operators andK-theory. High-dimensional manifold topo- logy, 177–199, World Sci. Publ., River Edge, NJ (2003)

    2003

  31. [31]

    C. M. Joseph and R. Meyer.Geometric construction of classes in Van Daele’s K-theory. J. Math. Phys.,64(2023), no. 5, Paper No. 053504, 21 pp

    2023

  32. [32]

    Kaad and M

    J. Kaad and M. Lesch.Spectral flow and the unbounded Kasparov product, Adv. Math.,248 (2013), 495–530

    2013

  33. [33]

    J. Kaad, R. Nest, A. Rennie,KK-theory and spectral flow in von Neumann algebras, J.K- Theory,10(no. 2) (2012), 241–277

    2012

  34. [34]

    V. A. Kasimov.A property of Hilbert modules and Fredholm operators over C*-algebras. AMS Transl. (2),136(1987), 143–147

    1987

  35. [35]

    G. G. Kasparov.HilbertC ∗-modules: theorems of Stinespring and Voiculescu. J. Operator Theory,4(1980), no. 2, 133–150

    1980

  36. [36]

    G. G. Kasparov.The operatorK-functor and extensions ofC ∗-algebras. Math. USSR Izv., 16(1981), 513–572

    1981

  37. [37]

    Kato.Perturbation theory for linear operators

    T. Kato.Perturbation theory for linear operators. Reprint of the 1980 edition. Classics in Mathematics. Springer-Verlag, Berlin (1995). xxii+619 pp

    1980

  38. [38]

    Kellendonk.On theC ∗-algebraic approach to topological phases for insulators

    J. Kellendonk.On theC ∗-algebraic approach to topological phases for insulators. Ann. Henri Poincar´ e,18(2017), no. 7, 2251–2300

    2017

  39. [39]

    Kellendonk.Cyclic cohomology for gradedC ∗,r-algebras and its pairings with Van Daele K-theory

    J. Kellendonk.Cyclic cohomology for gradedC ∗,r-algebras and its pairings with Van Daele K-theory. Comm. Math. Phys.,368(2019), no. 2, 467–518

    2019

  40. [40]

    Kellendonk and T

    J. Kellendonk and T. Stoiber.The role of self-adjoint extensions in the bulk-edge correspond- ence. arXiv:2510.01368 (2025)

    work page arXiv 2025

  41. [41]

    Kennedy and M

    R. Kennedy and M. R. Zirnbauer.Bott periodicity forZ 2-symmetric ground states of gapped free-fermion systems. Comm. Math. Phys.,342(2016), no. 3, 909–963

    2016

  42. [42]

    Kubota.Notes on twisted equivariant K-theory forC ∗-algebras

    Y. Kubota.Notes on twisted equivariant K-theory forC ∗-algebras. Internat. J. Math.,27 (2016), no. 6, 1650058, 28 pp

    2016

  43. [43]

    arXiv preprint arXiv:2503.12618 , year=

    Y. Kubota.Stable homotopy theory of invertible gapped quantum spin systems I: Kitaev’sΩ- spectrum. arXiv:2503.12618 (2025)

    work page arXiv 2025

  44. [44]

    E. C. Lance.HilbertC ∗-modules. A toolkit for operator algebraists. London Mathematical Society Lecture Note Series, 210. Cambridge University Press, Cambridge (1995). x+130 pp

    1995

  45. [45]

    Leichtnam and P

    E. Leichtnam and P. Piazza.Dirac index classes and the noncommutative spectral flow, J. Funct. Anal..200(2003), 348–400. 84C. Bourne, A. Carey, K. van den Dungen, A. Rennie

    2003

  46. [46]

    H. B. Lawson, Jr. and M.-L. Michelsohn.Spin geometry. Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ (1989)

    1989

  47. [47]

    Mingo.K-theory and multipliers of stableC ∗-algebras, Trans

    J. Mingo.K-theory and multipliers of stableC ∗-algebras, Trans. Amer. Math. Soc.,299(1987), no. 1, 397–411

    1987

  48. [48]

    A. S. Miˇ sˇ cenko and A. T. Fomenko.The index of elliptic operators overC ∗-algebras. Math. USSR Izv.,15(1980), no. 1, 87–112

    1980

  49. [49]

    P. W. Ng, A. Sutradhar and Cangyuan Wang.On spectral flow for operator algebras. arXiv:2312.12061 (2023)

    work page arXiv 2023

  50. [50]

    P. W. Ng, A. Sutradhar and Cangyuan Wang.On analytic spectral flow for operator algebras. Studia Math.,284(2025), no. 2, 101–146

    2025

  51. [51]

    Phillips.Self-adjoint Fredholm operators and spectral flow

    J. Phillips.Self-adjoint Fredholm operators and spectral flow. Canad. Math. Bull.,39(1996), no. 4, 460–467

    1996

  52. [52]

    Phillips.Spectral flow in type I and II factors—a new approach

    J. Phillips.Spectral flow in type I and II factors—a new approach. Cyclic cohomology and noncommutative geometry (Waterloo, ON, 1995), 137–153, Fields Inst. Commun., 17, Amer. Math. Soc., Providence (1997)

    1995

  53. [53]

    Prodan.Topological lattice defects by groupoid methods and Kasparov’sK K-theory

    E. Prodan.Topological lattice defects by groupoid methods and Kasparov’sK K-theory. J. Phys. A,54(2021), no. 42, Paper No. 424001, 18 pp

    2021

  54. [54]

    Robbin and D

    J. Robbin and D. Salamon,The spectral flow and the Maslov index, Bull. London Math. Soc. 27(1995), no. 1, 1–33

    1995

  55. [55]

    Roe.Paschke duality for real and gradedC ∗-algebras

    J. Roe.Paschke duality for real and gradedC ∗-algebras. Q. J. Math.,55(2004), no. 3, 325–331

    2004

  56. [56]

    Scaglione.Comparison between two approaches to classify topological insulators usingK- theory

    L. Scaglione.Comparison between two approaches to classify topological insulators usingK- theory. J. Math. Phys.,65(2024), no. 8, Paper No. 081904, 26 pp

    2024

  57. [57]

    Schr¨ oder.K-theory for realC ∗-algebras and applications

    H. Schr¨ oder.K-theory for realC ∗-algebras and applications. Pitman Research Notes in Math- ematics Series, 290. Longman Scientific & Technical, Harlow (1993). xiv+162 pp

    1993

  58. [58]

    G. C. Thiang.On spectral flow and Fermi arcs. Comm. Math. Phys.,385(2021), no. 1, 465– 493

    2021

  59. [59]

    E. V. Troitskii.Classifying spaces for aK-functor connected with aC ∗-algebra. (Russian) Vestnik Moskov. Univ. Ser. I Mat. Mekh. (1985), no. 1, 96–98

    1985

  60. [60]

    Van Daele.K-theory for graded Banach algebras

    A. Van Daele.K-theory for graded Banach algebras. I. Quart. J. Math. Oxford Ser. (2),39 (1988), no. 154, 185–199

    1988

  61. [61]

    Van Daele.K-theory for graded Banach algebras

    A. Van Daele.K-theory for graded Banach algebras. II. Pacific J. Math.,134(1988), no. 2, 377–392

    1988

  62. [62]

    On the noncommutative spectral flow

    C. Wahl.On the noncommutative spectral flow. J. Ramanujan Math. Soc.,22(2007), 135–187. arXiv:math/0602110

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  63. [63]

    C. Wahl.A new topology on the space of unbounded selfadjoint operators,K-theory and spectral flow.C ∗-algebras and elliptic theory II, 297–309, Trends Math., Birkh¨ auser, Basel (2008)

    2008

  64. [64]

    N. E. Wegge-Olsen.K-theory andC ∗-algebras, a friendly approach. Oxford Science Publica- tions. The Clarendon Press, Oxford University Press, New York (1993). xii+370 pp

    1993

  65. [65]

    Wood.Banach algebras and Bott periodicity

    R. Wood.Banach algebras and Bott periodicity. Topology,4(1965/66), 371–389

    1965

  66. [66]

    Wu.Noncommutative spectral flow

    F. Wu.Noncommutative spectral flow. Preprint (1996)

    1996