Green's operator and weighted \(L^2\)-estimates for fibred cones (Q2069928)

In this technical paper, the author studies by the aid of separation of variables Green operators for Laplacian-type second order elliptic operators over manifolds having a single fibered conical end (this is a space which is the product of a cone over a closed manifold with another closed manifold). More precisely, let \(Y, S\) be closed manifolds of arbitrary dimensions, let \(\mathrm{Cone}(Y):=(0,+\infty)\times Y\) denote the \textit{cone over \(Y\)} and take the product \(\mathrm{Cone}(Y)\times S\). Let \(E_Y\), \(E_S\) be complex Hermitian or real metric vector bundles over \(Y,S\) respectively and write \(E_Y\otimes E_S\) for the tensor product of their pullbacks to \(\mathrm{Cone}(Y)\times S\). Consider the so-called \textit{partially rescaling invariant operator} acting on the space of sections of \(E_Y\otimes E_S\) and being defined as \[ L_{m,B}:=\frac{\partial^2}{\partial r^2}+ \frac{m}{r}\frac{\partial}{\partial r}-\frac{B}{r^2}-\Delta_S \] where \(r\in (0,+\infty)\) is the radial coordinate along \(\mathrm{Cone}(Y)\) and \(m\) is a real parameter moreover \(B, \Delta_S\) are formally self-adjoint at most second order elliptic operators acting on the sections of \(E_Y\) and \(E_S\) respectively such that they have at most finitely many non-positive eigenvalues. (Note that this operator is the generalization of the usual Laplace-Beltrami operator acting on functions.) The author's heavy technical results can be roughly summarized as follows: along sections over the asymptotic region of \(\mathrm{Cone}(Y)\times S\) which are slicewise perpendicular to the eigenspaces of non-positive eigenvalues of \(\Delta_S\) in certain weighted Sobolev spaces \(W\) (the appropriate completions of \(C^\infty(E_Y\otimes E_S)\)), there exists a Green's function for \(L_{m,B}\) (that is an operator \(G\) which satisfies \(L_{m,B}G=\mathrm{Id}_W\)) obeying expected estimates. Moreover mildly growing harmonic sections in fact decay exponentially. For the more precise statement see Theorem 1.2 in the paper.