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.

The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

Picard and Brauer groups of $K(n)$-local spectra via profinite Galois descent

Bounding the $K(p-1)$-local exotic Picard group at $p>3$

On Hopkins' Picard group

Invertible objects in Franke's comodule categories

The Picard group in equivariant homotopy theory via stable module categories

Descent and Cyclotomic Redshift for Chromatically Localized Algebraic K-theory

On The Telescopic Picard Group

Relative Cartier divisors and K-theory

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Convergence of the Eilenberg-Moore spectral sequence for generalized cohomology theories

Comparing Dualities in the $K(n)$-local Category

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

Etale Groupoids, eta invariants and index theory

Gromov-Witten invariants in complex and Morava-local $K$-theories

Topological cyclic homology of local fields

Cohomology of p-adic fields and Local class field theory

On the motivic description of truncated fundamental group rings

Equivariant Poincaré-Hopf theorem

Brauer-Wall Groups and Truncated Picard Spectra of $K$-theory