\(L_{p,q}\)-cohomology of some warped cylinders (Q951693)

The \(L_{p,q}\)-cohomology for a Riemannian manifold \(M\) is defined as follows: For \(1\leq p\leq\infty\) and a positive continuous function \(\sigma:M\rightarrow \mathbb R\), let \(L^j_p(M,\sigma)\) denote the Banach space of measurable forms of degree \(j\) on \(M\) with finite norm: \[ \|\omega\|_{L^j_p(M,\sigma)}=\left\{\int_M|\omega(x)|^p\sigma^p(x)\,dx\right\}^{1/p}, \] if \(1\leq p<\infty\), and \(\|\omega\|_{L^j_p(M,\sigma)}=\text{ess}\, \sup_{x\in M}|\omega(x)|\sigma(x)\), if \(p=\infty\). For \(p,q\in [1,\infty]\), \(W_{p,q}^j(M,\sigma_j,\sigma_{j+1})=\{\omega\in L_p^j(M,\sigma_j)|d\omega\in L_q^{j+1}(M,\sigma_{j+1})\}\). This space is endowed with the norm \[ \|\omega\|_{W_{p,q}^j(M,\sigma_j,\sigma_{j+1})}= \|\omega\|_{L^j_p(M,\sigma_j)}+\|d\omega\|_{L_q^{j+1}(M,\sigma_{j+1})}. \] Let \(D^j(M)=C^{\infty,j}_0(M)\) denote the space of smooth forms of degree \(j\) on \(M\) having compact support contained in \(In M\), and let \(V^j_{p,q}(M,\sigma_j,\sigma_{j+1})\) be the closure of \(D^j(M)\) in the norm of \(W^j_{p,q}(M,\sigma_j,\sigma_{j+1})\). Given an arbitrary subset \(A\subset M\), let \(W^j_{p,q}(M,A,\sigma_j,\sigma_{j+1})\) be the closure in \(W^j_{p,q}(M,\sigma_j,\sigma_{j+1})\) of the subspace spanned by all forms \(\omega \in W^j_{p,q}(M,A,\sigma_j,\sigma_{j+1})\) vanishing on some neighborhood of \(A\) (depending on \(\omega\)). Let \(Z^j_q(M,\sigma_j)\) be the subspace in \(L^j_q(M,\sigma_j)\) that consists of all forms \(\omega\) such that \(d\omega=0\), and let \(B^j_{p,q}(M,\sigma_{j-1},\sigma_j)=\{\theta\in L^j_q(M,\sigma_j)|\theta=d\psi\) for some \(\psi\in L^{j-1}_p(M,\sigma_{j-1})\}\). The spaces \(H^j_{p,q}(M,\sigma_{j-1},\sigma_j)=Z^j_q(M,\sigma_j)/ B^j_{p,q}(M,\sigma_{j-1},\sigma_j)\) and \(\overline{H}^j_{p,q}(M,\sigma_{j-1},\sigma_j)= Z^j_q(M,\sigma_j)/\overline{B}^j_{p,q}(M,\sigma_{j-1},\sigma_j)\), where \(\overline{B}^j_{p,q}(M,\sigma_{j-1},\sigma_j)\) is the closure of \(B^j_{p,q}(M,\sigma_{j-1},\sigma_j)\) in \(L^j_q(M,\sigma_j)\), form the \(j\)th \(L_{p,q}\)-cohomology and the \(j\)th reduced \(L_{p,q}\)-cohomology of the Riemannian manifold \(M\) with weights \(\sigma_{j-1}\) and \(\sigma_j\), respectively. The quotient space \(T^j_{p,q}(M,\sigma_{j-1},\sigma_j)=\overline{B}^j_{p,q} (M,\sigma_{j-1},\sigma_j)/B^j_{p,q}(M,\sigma_{j-1},\sigma_j)\) is called \(L_{p,q}\)-torsion of \(M\) with the given weights. This space is isomorphic to the closure of the zero element in \(H^j_{p,q}(M,\sigma_{j-1},\sigma_j)\). Moreover, \(T^j_{p,q}(M,\sigma_{j-1},\sigma_j)=0\) if and only if the exterior differential is a normally solvable operator from \(L^{j-1}_p(M,\sigma_{j-1})\) into \(L^j_q(M,\sigma_j)\). Given a subset \(A\subset M\), the relative \(L_{p,q}\)-cohomology spaces \(H^j_{p,q}(M,A,\sigma_{j-1},\sigma_j)\) and \(\overline{H}^j_{p,q}(M,A,\sigma_{j-1},\sigma_j)\) are defined likewise. The spaces \(W_{p,q}\) and \(L_{p,q}\)-cohomology were introduced in the early 1980's by \textit{V. M. Gol'dshtein, V. I. Kuz'minov} and \textit{I. A. Shvedov} [Sib. Mat. Zh. 23, No.~2, 16--30 (1982; Zbl 0522.58001); Sib. Mat. Zh. 23, No.~5, 63--79 (1982; Zbl 0522.58002); Sib. Mat. Zh. 24, No.~5, 31--42 (1983; Zbl 0547.58003)], who obtained many results concerning \(W_{p,q}\)-forms and especially \(L_p\)-cohomology. The author is himself one of the authors who have previously studied this subject [Arch. Math. 89, No. 1, 87--96 (2007; Zbl 1130.58003)]. In the present paper, the author, following other recent articles of \textit{V. M. Gol'dshtein, V. I. Kuz'minov} and \textit{I. A. Shvedov} [Sib. Mat. Zh. 31, No.~5, 10--23 (1990; Zbl 0722.53034); Sib. Mat. Zh. 31, No.~6, 55--63 (1990; Zbl 0732.53029)], looks for conditions for the nontriviality of the \(L_{p,q}\)-cohomology and \(L_{p,q}\)-torsion of warped cylinders, a class of warped products of Riemannian manifolds (and, in particular, the \(L_{p,q}\)-torsion of a surface of revolution in Euclidean space). (Here a warped product \(X\times_f Y\) of two Riemannian manifolds \((X,g_X)\) and \((Y,g_Y)\) with warping function \(f:X\rightarrow \mathbb R_+\) is the product manifold \(X\times Y\) endowed with the metric \(g_X+f^2(x)g_Y\). If \(X=[a,b[\) is a half-interval on the real line, then \(X\times_f Y\) is called a warped cylinder). From among results of the paper we mention the following two theorems. Theorem 1. If \(v_0\) and \(v_1\) are positive continuous function on \([a,b[\) and \(1<p,q<\infty\), then {\parindent6mm \begin{itemize}\item[(1)] \(H_{p,q}^1([a,b[,{a},v_0,v_1)=0\Leftrightarrow \chi _{p,q}(a,b,v_0,v_1)<\infty;\) \item[(2)] \(H^1_{p,q}([a,b[,v_0,v_1)=0\Leftrightarrow\chi _{p,q}(a,b,v_0,v_1)<\infty\) or \(\chi_{p,q}(b,a,v_0,v_1)<\infty\) where \(\chi _{p,q}(a,b,v_0,v_1)\) is the so called \textit{Hardy constant}. \end{itemize}} Theorem 5. Let \(M\) be a surface of revolution in \(\mathbb R^{n+2}\) defined by the equation: \(f^2(x_1)=x_2^2+x_3^2+...+x_{n+1}^2\), \(x_1\geq 0\). Suppose that \(1<p<\infty\), \(1<q<\infty\), \(\frac{1}{q}-\frac{1}{p}<\frac{1}{n+1}\), and \(j\in\{1,n+1\}\). If \(T^j_{p,q}(M)=0\), then \(\lim_{x\rightarrow\infty}f(x)=0\) and \(vol M<\infty\).