Equivariant Spectral Flow and Equivariant $η$-invariants on Manifolds With Boundary

Johnny Lim,Hang Wang
DOI: https://doi.org/10.1142/S0129167X2450006X
2024-05-18
Abstract:In this article, we study several closely related invariants associated to Dirac operators on odd-dimensional manifolds with boundary with an action of the compact group $H$ of isometries. In particular, the equality between equivariant winding numbers, equivariant spectral flow, and equivariant Maslov indices is established. We also study equivariant $\eta$-invariants which play a fundamental role in the equivariant analog of Getzler's spectral flow formula. As a consequence, we establish a relation between equivariant $\eta$-invariants and equivariant Maslov triple indices in the splitting of manifolds.
Differential Geometry
What problem does this paper attempt to address?
This paper aims to explore the equivalence relations of several invariants related to the Dirac operator on odd - dimensional manifolds with boundaries and under the action of a compact group H. Specifically, the author studies the equivalence among equivariant winding numbers, equivariant spectral flow, and equivariant Maslov indices, and also studies equivariant η - invariants, which play a central role in the equivariant Getzler spectral flow formula. In addition, the author also establishes the relationship between equivariant η - invariants and equivariant Maslov triple indices when the manifold is split. ### Background of the Paper - **Atiyah - Patodi - Singer (APS) Index Theorem**: In the 1970s, Atiyah, Patodi, and Singer established the well - known index theorem for the Dirac operator on even - dimensional compact manifolds with boundaries. Compared with closed manifolds, this theorem contains a boundary correction term, namely the η - invariant and the kernels of certain tangential operators. - **Donnelly's Generalization**: Soon after, Donnelly generalized the APS index theorem to the case of compact group actions. - **The Work of Dai and Zhang**: Approximately thirty years later, Dai and Zhang proposed a version similar to the APS index theorem. They considered certain variants of Toeplitz operators on odd - dimensional manifolds with boundaries and proved an index formula. - **Equivariant Generalization**: The goal of this paper is to establish an equivariant generalization of the work of Dai and Zhang, that is, the equivariant Toeplitz index theorem on odd - dimensional manifolds with boundaries. To this end, the author introduces some new concepts, such as equivariant DZ η - invariants, equivariant spectral flow, and equivariant Maslov triple indices. ### Main Contributions 1. **Definition and Properties of Equivariant Spectral Flow**: - The author adopts Phillips' method to simplify the calculation of spectral flow by meshing and generalizes it to the equivariant case. - It is proved that the equivariant spectral flow is well - defined in the sense of trace and is an isomorphic mapping. 2. **Equivariant Maslov Indices**: - The equivariant Maslov index is defined and its relationship with the equivariant spectral flow is studied. - The equivalence between the equivariant spectral flow and the equivariant Maslov index is proved. 3. **Equivariant η - Invariants**: - The role of equivariant η - invariants in the equivariant Getzler spectral flow formula is explored. - The relationship between equivariant η - invariants and equivariant Maslov triple indices is established. 4. **Other Related Invariants**: - The generalization of the ζ - function and its derivatives in the equivariant case is discussed. - The equivariant ζ - determinant is introduced and its application in the equivariant Scott - Wojciechowski theorem is explored. ### Conclusion This paper provides a unified framework for the equivariant index theory on odd - dimensional manifolds with boundaries by studying equivariant spectral flow, equivariant Maslov indices, and equivariant η - invariants. These results not only deepen the understanding of these invariants but also lay the foundation for further research.