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.

A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)

A Groupoid Construction of Functional Integrals: Brownian Motion and Some TQFTs

A Canonical Quantization of Poisson Manifolds: a 2-Groupoid Scheme

On an Axiomatization of Path Integral Quantization and its Equivalence to Berezin's Quantization

A Formal Equivalence of Deformation Quantization and Geometric Quantization (of Higher Groupoids) and Non-Perturbative Sigma Models

Feynman path integrals on compact Lie groups with bi-invariant Riemannian metrics and Schrödinger equations

Riemannian foliations and geometric quantization

Integral-integral affine geometry, geometric quantization, and Riemann-Roch

One-Loop Integrals from Spherical Projections of Planes and Quadrics

Noncommutative integration, quantum mechanics, Tannaka's theorem for compact groupoids and examples

A Derivation of Geometric Quantization via Feynman's Path Integral on Phase Space

Riemannian Geometry of the Contactomorphism Group

Poly-Poisson sigma models and their relational poly-symplectic groupoids

Geometric Quantization Without Polarizations

Symplectic Groupoids and Poisson Electrodynamics

Quantum inverse scattering for the 20-vertex model up to Dynkin automorphism: crossing probabilities, 3D Poisson structure, triangular height functions, weak integrability

Symmetries of quantization of finite groupoids

Isometric Lie 2-group actions on Riemannian groupoids

Quantum groupoids from moduli spaces of $G$-bundles

Integral quantization based on the Heisenberg-Weyl group

Etale Groupoids, eta invariants and index theory