Searcharxiv⌕ Search

arXiv · math/0212239

An index formula on manifolds with fibered cusp ends

Abstract

We consider a compact manifold whose boundary is a locally trivial fiber bundle and an associated pseudodifferential algebra that models fibered cusps at infinity. Using trace-like functionals that generate the 0-dimensional Hochschild cohomology groups, we express the index of a fully elliptic fibered cusp operator as the sum of a local contribution from the interior and a term that comes from the boundary. This answers the index problem formulated by Mazzeo and Melrose. We give a more precise answer in the case where the base of the boundary fiber bundle is the circle. In particular, for Dirac operators associated to a "product fibered cusp metric", the index is given by the integral of the Atiyah-Singer form in the interior minus the adiabatic limit of the eta invariant of the restriction of the operator to the boundary.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Robert Lauter, Sergiu Moroianu. 2002-12-17. An index formula on manifolds with fibered cusp ends. https://doi.org/10.1007/bf02922196

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

KEEP EXPLORING

Related papers

A generalization of the Perelman gluing theorem and applications

We extend a positive Ricci curvature gluing theorem of Perelman to a range of positive intermediate curvature conditions, ranging from positive scalar curvature up to (and including) positive sectional curvature. As an application of this, we demonstrate that the observer moduli space of metrics with positive intermediate Ricci curvatures can have non-trivial higher homotopy groups. Further applications include deriving a sufficient condition for the existence of a metric with positive intermediate Ricci curvature and totally geodesic boundary.

math.DG↗

Covariant derivatives in the representation-valued Bott-Shulman-Stasheff and Weil complex

For a Lie groupoid $G$, the differential forms on its nerve comprise a double complex. A natural question is if this statement extends to forms with values in a representation $V$ of $G$. In this paper, we research two types of covariant derivatives which commute with the simplicial differential, yielding two types of curved double complexes of forms with coefficients in $V$. The naive approach is to consider a linear connection $\nabla$ on $V$, in which case $d^\nabla$ commutes with the simplicial differential if and only if $\nabla$ satisfies a certain (restrictive) invariance condition. The heart of this paper focuses on another, more compelling approach: using a multiplicative Ehresmann connection for a bundle of ideals. In this case, we obtain a geometrically richer curved double complex, where the cochain map is given by the horizontal exterior covariant derivative $D$, which generalizes the well-known operator from the theory of principal bundles. Moreover, both differential operators $d^\nabla$ and $D$ are researched in the infinitesimal setting of Lie algebroids, as well as their relationship with the van Est map. We conclude by using the operator $D$ to study the curvature of an (infinitesimal) multiplicative Ehresmann connection.

math.DG↗

Montel's theorem and tautness in calibrated geometry

We relate the hyperbolicity of a calibrated manifold $(X, ϕ)$ to the analytic properties of the space of Smith immersions $\mathrm{SmIm}(B^k, X)$ from the Poincare $k$-ball into $X$. In particular, we establish the following calibrated analogue of a theorem of Royden: if $X$ is $ϕ$-saturated, then $R_ϕ$- and $K_ϕ$-hyperbolicity coincide, and either implies the equicontinuity of $\mathrm{SmIm}(B^k, X)$ with respect to the $ϕ$-distance. This yields a Montel theorem for compact $ϕ$-saturated calibrated manifolds as an immediate corollary. Our primary technical tool is a new Schwarz lemma for Smith immersions from $B^k$ into $X$, which is of independent interest. In a similar spirit, we also prove a calibrated analogue of Kiernan's theorem to the effect that the $K_ϕ$-hyperbolicity of $X$ is almost equivalent to $\mathrm{SmIm}(B^k, X)$ being a normal family. Finally, we prove that bounded domains in flat euclidean space are $R_ϕ$-hyperbolic for any calibration $ϕ$, and we investigate the hyperbolicity of products and discrete quotients.

math.DG↗