Search arXivSearch

arXiv · math/0308184

Etale Groupoids, eta invariants and index theory

Abstract

Let $Γ$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $Γ$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $Γ\to \hat{M}\to \hat{M}/Γ$ is a Galois covering of a compact manifold with boundary. Let $(D^+ (θ))_{θ\in T}$ be a $Γ$-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 Γ)$. If, in addition, $Γ$ 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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eric Leichtnam, Paolo Piazza. 2003-08-19. Etale Groupoids, eta invariants and index theory. https://arxiv.org/abs/math/0308184

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the topology of manifolds with nonnegative Ricci curvature and linear volume growth

Understanding the relationships between geometry and topology is a central theme in Riemannian geometry. We establish two results on the fundamental groups of open (complete and noncompact) $n$-manifolds with nonnegative Ricci curvature and linear volume growth. First, we show that the fundamental group of such a manifold contains a subgroup $\mathbb{Z}^k$ of finite index, where $0\le k\le n-1$. Second, we prove that if the Ricci curvature is positive everywhere, then the fundamental group is finite. The proofs are based on an analysis of the equivariant asymptotic geometry of successive covering spaces and a plane/halfplane rigidity result for RCD spaces.

math.DG

K-polystability of Asymptotically Conical Kähler-Ricci Shrinkers

Recently, Sun-Zhang have developed an algebraic theory for Kähler-Ricci shrinkers showing that they admit the structure of a polarized Fano fibration $(π: X \to Y, ξ)$. In particular, they conjecture that existence of a Kähler-Ricci shrinker metric is equivalent to a notion of K-stability. We prove one direction of this conjecture, namely that existence of a Kähler-Ricci shrinker metric $g$ implies K-polystability of $(π: X \to Y, ξ)$, in the case that the Ricci curvature of $g$ decays at infinity. As an application, we give a non-existence result: if $M$ is the blowup of a six-dimensional quadric along a two-dimensional subquadric, then the total space $X$ of the cube root of $K_M$ is a polarized Fano fibration not admitting a Kähler-Ricci shrinker.

math.DG

Observações sobre funções potenciais de variedades quase-Einstein não compactas

Neste artigo, estudamos o conjunto de funções potenciais em variedades quase Einstein não compactas. Mostramos que o espaço de todas as funções potenciais positivas em uma variedade tridimensional não compacta quase-Einstein tem dimensão no máximo dois, e que a igualdade vale se e somente se a variedade for isométrica a um produto $B\times\mathbb{R}$, onde $B$ é uma superfície $λ$-Einstein ou um dos exemplos obtidos por L. Berard Bergery e descritos no livro de Besse. Além disso, provamos que qualquer variedade quase-Einstein assintoticamente plana $n$-dimensional com $λ=0$ é necessariamente Ricci-plana.

math.DG