We compute the index of a Callias-type operator with APS boundary condition on a manifold with compact boundary in terms of combination of indexes of induced operators on a compact hypersurface. Our result generalizes the classical Callias-type index theorem to manifolds with compact boundary.
We study the index of the APS boundary value problem for a strongly Callias-type operator D on a complete Riemannian manifold $M$. We show that this index is equal to an index on a simpler manifold whose boundary is a disjoint union of two complete manifolds $N_0$ and $N_1$. If the dimension of $M$ is odd we show that the latter index depends only on the restrictions $A_0$ and $A_1$ of $D$ to $N_0$ and $N_1$ and thus is an invariant of the boundary. We use this invariant to define the relative eta-invariant $eta(A_1,A_0)$. We show that even though in our situation the eta-invariants of $A_1$ and $A_0$ are not defined, the relative eta-invariant behaves as if it was the difference $eta(A_1)-eta(A_0)$.
We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index of our previous paper. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes.
We propose a non-perturbative formulation of the Atiyah-Patodi-Singer(APS) index in lattice gauge theory, in which the index is given by the $eta$ invariant of the domain-wall Dirac operator. Our definition of the index is always an integer with a finite lattice spacing. To verify this proposal, using the eigenmode set of the free domain-wall fermion, we perturbatively show in the continuum limit that the curvature term in the APS theorem appears as the contribution from the massive bulk extended modes, while the boundary $eta$ invariant comes entirely from the massless edge-localized modes.
We study the Cauchy data spaces of the strongly Callias-type operators using maximal domain on manifolds with non-compact boundary, with the aim of understanding the Atiyah-Patodi-Singer index and elliptic boundary value problems.
Let $Gamma$ be a finitely generated discrete group satisfying the rapid decay condition. We give a new proof of the higher Atiyah-Patodi-Singer theorem on a Galois $Gamma$-coverings, thus providing an explicit formula for the higher index associated to a group cocycle $cin Z^k (Gamma;mathbb{C})$ which is of polynomial growth with respect to a word-metric. Our new proof employs relative K-theory and relative cyclic cohomology in an essential way.