An index formula on manifolds with fibered cusp ends (Q2577090)

Let \(X\) be a compact manifold whose boundary is the total space of a fiber bundle over some manifold \(Y\). Then the authors give an abstract answer to the index problem for a fully elliptic \(\Phi\)-pseudodifferential operator \(A\) on \(X\); this index problem was formulated by \textit{R. Mazzeo} and \textit{R. B. Melrose} [Asian J. Math. 2, No.~4, 833--866 (1998; Zbl 1125.58304)]. The index formula involves a local contribution from the interior of \(X\) and a term that comes from the boundary. The \(\Phi\)-pseudodifferential operators are induced, according to \textit{R. B. Melrose} [Proc. Int. Congr. Math., Kyoto/Japan 1990, Vol. I, 217--234 (1991; Zbl 0743.58033)], by the Lie algebra \(\mathcal{V}_\Phi(X)\) of fibered-cusp vector fields, also called \(\Phi\)-vector fields, which are defined as follows. Let \(x:X\to\overline{\mathbb{R}}_+\) be a defining function of \(\partial X\); i.e., \(\partial X=\{x=0\}\) and \(dx\) does not vanish on \(\partial X\). Then a smooth vector field \(V\) on \(X\) is fibered-cusp when it is tangent to the fibers of the projection \(\partial X\to Y\) and satisfies \(Vx\in x^2\,C^\infty(X)\). The index formula becomes more precise and very nice when \(Y=\mathbb{S}^1\) (with angle parameter \(\theta\)) and \(A\) is a Dirac operator associated to a metric of the form \(g^X=\frac{dx^2}{x^4}+\frac{d\theta^2}{x^2}+g^F\) near \(\partial X\) with twisting bundle \(T\) (\(g^F\) is a smooth family of metrics over the fibers): \[ \text{index}(A)=\int_X\widehat{A}(X)\,\text{ch}(T)-\frac{\lim_a(A| _{\partial X})}{2}, \] where \(\lim_a(A| _{\partial X})\) is the adiabatic limit of the \(\eta\)-invariant of the restriction of the operator to the boundary, which was studied by the second author [Math. Z. 246, No. 3, 441--471 (2004; Zbl 1054.58015)].