The Sobolev-Poincaré inequality and the \(L_{q,p}\)-cohomology of twisted cylinders (Q2182234)

Let \((M, g)\) be a Riemannian manifold. The \(L_{q,p}\)-cohomology \(H^k_{q,p}(M)\) is the quotient of the space of closed \(p\)-integrable differential \(k\)-forms by the exterior differentials of \(q\)-integrable \(k\)-forms. If \(p=q\), then \(L_{q,p}\)-cohomology is usually referred to simply as \(L_p\)-cohomology and the index \(p\) is used instead of \(p, p\) in all the notations. A twisted product \(X \times_h Y\) of two Riemannian manifolds \((X, g_X)\) and \((Y, g_Y)\) is the direct product manifold \(X \times_g Y\) endowed with a Riemannian metric of the form : \[ g\equiv g_X+h^2(x,y)g_Y,\tag{1} \] where \(h: X \times Y\longrightarrow\mathbb{R}\) is a smooth positive function. If \(X\) is a half-interval \([a, b[\) then the twisted product \(X \times_h Y\) is called a twisted cylinder. The aim of this paper is to establish a vanishing result for the \(L_{q,p}\)-cohomology (\(q\geq p\)) of a twisted cylinder, which is a generalization of a warped cylinder. The authors base on the methods for proving the \((p,q)\)-Sobolev-Poincaré inequality developed by \textit{L. Shartser} [Theory and semialgebraic geometry. Toronto: University of Toronto (PhD Thesis) (2011); C. R. Math. Acad. Sci., Soc. R. Can. 33, No. 1, 21--32 (2011; Zbl 1230.58003)] and prove some vanishing results for the \(L_{q,p}\)-cohomology of twisted cylinders \([a, b[ \times_h N\) for a positive smooth function \(h : [a, b) \times N \longrightarrow\mathbb{R}\) in the case where the base \(N\) is a closed manifold. If in (1) the function \(h\) depends only on \(x\) then they obtain the familiar notion of a warped product. The main result of the paper states that the \(L_{q,p}\)-cohomology \(H^k_{q,p}(C^h_{a,b}N)\) of the twisted cylinder \(C^h_{a,b}N\) with \(q\geq p>1\), \(\frac{1}{p}-\frac{1}{q}<\frac{q-1}{q(\dim N+1)}\) is zero provided that the de Rham cohomology \(H^k_{DR}(N)\) of the base \(N\) is trivial and some integral conditions on the twisting function involving \(p, q\) and an auxiliary parameter \(p\) are fulfilled. This paper is organized as follows: In Section 2, the authors recall some definitions concerning the \(L_{q,p}\)-cohomology of Riemannian manifolds. Section 3 describes the representations of differential forms on a twisted cylinder and analogous to the representations of forms on a warped product proposed by \textit{V. M. Gol'dshtejn} et al. [Sib. Math. J. 31, No. 5, 716--727 (1990; Zbl 0722.53034); translation from Sib. Mat. Zh. 31, No. 5(183), 10--23 (1990)]. In Section 4, the authors develop a version of the weighted Sobolev-Poincaré inequality for convex sets in \(\mathbb{R}^n\) by introducing a homotopy operator and consider some of its consequences; the exposition is based on the ideas of Shartser suggested in his Thesis mentionned above. In Section 5, they consider a new homotopy operator \(A_\alpha\) on differential forms defined on a convex domain in \(\mathbb{R}^n\) and show that it guarantees the fulfillment of an inequality of Sobolev-Poincaré-type for \(q\geq p\geq1\) and \(\frac{1}{p}-\frac{1}{q}<\frac{1}{n}\). In Section 6, using the ideas of Shartser, the authors glue local homotopy operators on a twisted cylinder to obtain a global homotopy operator. In Section 7, they use this global homotopy operator for proving the above-metioned main result on the triviality of the \(L_{q,p}\)-cohomology of a twisted cylinder, and in Section 8, they extend this result to asymptotic twisted cylinders. Finally, Section 9 deals with some examples.