Abstract:Let $\Gamma$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $\Gamma$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $\Gamma\to \hat{M}\to \hat{M}/\Gamma$ is a Galois covering of a compact manifold with boundary. Let $(D^+ (\theta))_{\theta\in T}$ be a $\Gamma$-equivariant family of Dirac-type operators. Under the assumption that the boundary family is $L^2$-invertible, we define an index class in the K-theory of the cross-product algebra, $K_0 (C^0 (T)\rtimes_r \Gamma)$. If, in addition, $\Gamma$ is of polynomial growth, we define higher indeces by pairing the index class with suitable cyclic cocycles. Our main result is then a formula for these higher indeces: the structure of the formula is as in the seminal work of Atiyah, Patodi and Singer, with an interior geometric contribution and a boundary contribution in the form of a higher eta invariant associated to the boundary family. Under similar assumptions we extend our theorem to any $G$-proper manifold, with $G$ an étale groupoid. We employ this generalization in order to establish a higher Atiyah-Patodi-Singer index formula on certain foliations with boundary. Fundamental to our work is a suitable generalization of Melrose $b$-pseudodifferential calculus as well as the superconnection proof of the index theorem on $G$-proper manifolds recently given by Gorokhovsky and Lott.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish the higher - order Atiyah - Patodi - Singer (APS) index theorem on G - proper manifolds with boundaries. Specifically, the authors focus on a fibration structure under the action of a discrete finitely generated group \(\Gamma\), and assume that the fiber is a manifold \(Z\) with boundaries of a fixed dimension. They define a \(\Gamma\)-equivariant family of Dirac - type operators, and under the assumption that the boundary family is \(L^2\)-invertible, they define an index class in \(K_0(C_0(T)\rtimes_r\Gamma)\).
If \(\Gamma\) is of polynomial growth, then higher - order indices can be defined by pairing with appropriate cyclic homology classes. The main result of this paper is a formula for calculating these higher - order indices, whose structure is similar to the classical work of Atiyah, Patodi and Singer, including the internal geometric contribution and the boundary contribution, with the latter appearing in the form of the higher - order eta invariants of the boundary family.
In addition, the authors also generalize this theory to proper manifolds over more general étale groupoids and apply it to certain foliated structures with boundaries, thereby proving the higher - order Atiyah - Patodi - Singer index theorem.
In summary, the core problems of the paper are:
1. Define and study the higher - order indices of Dirac - type operators on G - proper manifolds with boundaries.
2. Generalize the classical Atiyah - Patodi - Singer index theorem to more extensive geometric structures.
3. Provide specific calculation methods, especially by introducing higher - order eta invariants to describe the boundary contribution.
Expressed in a formula, for a Dirac - type operator \(D\), its higher - order index can be expressed as:
\[ \text{Ind}_\Phi(D)=\int_M\hat{A}(M,\nabla^{LC})\wedge\omega_\Phi-\frac{1}{2}\langle\tilde{\eta}^{\langle e\rangle}(D_0),\Phi\rangle \]
where \(\hat{A}(M,\nabla^{LC})\) is the \(\hat{A}\) - class of the manifold \(M\), \(\omega_\Phi\) is a smooth differential form, \(\tilde{\eta}^{\langle e\rangle}(D_0)\) is the higher - order eta invariant of the boundary family, and \(\Phi\) is a closed graded trace.
The solutions to these problems not only deepen our understanding of index theory on manifolds with boundaries, but also provide new tools for the study of non - commutative geometry and foliated structures.