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.

Equivariant topological complexity

Equivariant parametrized topological complexity

Equivariant topological complexities

Group actions, sectional category related invariants and sequential topological complexity of fibre bundle

Equivariant embedding theorems and topological index maps

Sequential topological complexity of aspherical spaces and sectional categories of subgroup inclusions

Generalized topological complexity and its monoidal version

Effectual topological complexity

Equivariant formality in complex-oriented theories

Proper topological complexity

Equivariant Topological T-Duality

On the topological complexity of maps

Equivariant embedding of finite-dimensional dynamical systems

Equivariant enumerative geometry

Equivariant characteristic forms in the Cartan model and Borel equivariant cohomology

Analog category and complexity

Equivariant Movability of Topological Groups

Farber's conjecture and beyond

Etale Groupoids, eta invariants and index theory

Equivariant Seiberg-Witten theory

Equivariant Lefschetz and Fuller indices via topological intersection theory