Analytic continuation and high energy estimates for the resolvent of the Laplacian on forms on asymptotically hyperbolic spaces (Q728247)

Let \((X,g)\) be an \(n\)-dimensional asymptotically hyperbolic space with an even metric in the sense of \textit{C. Guillarmou} [Duke Math. J. 129, No. 1, 1--37 (2005; Zbl 1099.58011)]. That is, \(g\) is Riemannian on \(X,\) \(X\) has a compactification \(\overline{X}\) with boundary defining function \(x,\) and there is a neighborhood \(U=[0,\varepsilon)_x\times \partial X\) of \(\partial X\) on which \(g\) is of the warped product form \(\frac{dx^2+h}{x^2},\) with \(h=h(x,\cdot)\) a smooth family of symmetric \(2\)-cotensors on \(\partial X\) whose Taylor series at \(x=0\) is even, and \(h(x,\cdot)\) is positive definite. Set \(\Delta_k\) for the Laplacian on \(k\)-forms on the complete Riemannian manifold \((X,g).\) The operator \(\Delta_k\) with domain \(C^\infty_c(X;\Lambda^kX)\) is essentially self-adjoint, and is non-negative. In particular, \((\Delta_k-\lambda)^{-1}\) exists for \(\lambda\in \mathbb{C}\setminus[0,\infty).\) The author proves analytic continuation of the resolvent of \(\Delta_k\) on \((X,g),\) including high energy estimates in strips. Precisely, it is proved that the operators \[ \delta d\big(\Delta_k-\sigma^2-(n-2k-1)^2/4\big)^{-1},\quad d\delta \big(\Delta_k-\sigma^2-(n-2k+1)^2/4\big)^{-1} \] have a meromorphic continuation from \(\text{Im\,}\sigma \gg1\) to \(\mathbb{C}\) with finite rank poles and with non-trapping, resp. mildly trapping, high energy estimates in strips \(|\text{Im\,}\sigma|<C\) if \(g\) is a non-trapping, resp. mildly trapping, metric. The result is achieved by placing the spectral family of the Laplacian within the framework developed, and applied to scalar problems by the author in [Math. Sci. Res. Inst. Publ. 60, 487--528 (2013; Zbl 1316.58016); Invent. Math. 194, No. 2, 381--513 (2013; Zbl 1315.35015)]. Roughly speaking, the approach relies on extending the problem across the boundary of \(\overline{X}\) in a suitable manner. The main novelty is that the non-scalar nature of the operator is dealt with by relating it to a problem on an asymptotically Minkowski space to motivate the choice of the extension across the conformal boundary.