The relative \(L^2\) index theorem for Galois coverings (Q1982613)

In this paper, the author proves several important results on ``The relative \(L^2\) index theorem for Galois covering'' and same applications: For small enough \(\varepsilon>0\) the \(\varepsilon\)-spectral projective Dirac operator has finite trace in the Atiyah von Neumann algebra. Some sections from the content: 1) Dirac operators and Atiyah's von Neumann algebra. 2) Von Neumann trace of the spectral \(\varepsilon\)-projection. 3) Relative \(L^2\) index theory. Let \(M\) be a computed Riemannian manifold and \(P\) the spectral projection of \(\widetilde{D}=\) lift of the generalized Dirac operator \(D^2=\nabla^*\nabla+R\), where \(R\) is an explicit zeroth-order operator. Let \(D\) be the generalized Dirac operator and \(\widetilde{D}^2=\) \(\Gamma\)-invariant Laplacian associate with \([0,1]\), \(\Gamma=\) countable group. The author proves several interessant results. Examples: Theorem 1. Assume that there exists \(K_0>0\) such that \(R\ge K_0\text{Id}\) off some compact subspaces of \(M\). Then there exists \(\varepsilon>0\) such that \(P_\varepsilon\) has finite \(\tau\)-trace: \(P_\varepsilon\) is the spectral projection of \(\widetilde{D}\) corresponding to the interval \([-\sqrt{\varepsilon}, +\sqrt{\varepsilon}]\). Theorem 2. Assume that the generalized Dirac operator \(D\) acting on the sections of \(S\) over the complete Riemannian manifold \(M\) is uniformly invertible near infinity. Then, for any Galois \(\Gamma\)-cover \(\widetilde{M}\to M\), there exists \(\varepsilon>0\) such that the spectral projection \(P_\varepsilon\) of the \(\Gamma\)-invariant Laplacian \(\widetilde{D}^2\) associated with the interval \([0,\varepsilon]\) has finite \(\Gamma\)-dimensional range, i.e., \(\tau(P_\varepsilon)<+\infty\). \(M\) is Atiyah semifinite von Neumann algebra of \(\Gamma\)-invariant sections and \(\tau\) denotes the Atiyah trace of \(M\).