Sobolev spaces on warped products (Q1655787)

This paper studies the structure of the Sobolev space on metric measure spaces which decompose as warped products with an interval factor. A natural conjecture for the Cartesian product of two metric measure spaces \(X\) and \(Y\) is that \(f\in W^{1,2}(X \times Y )\) if and only if for \(\mathfrak{m}_X\)-a.e. \(x\) the function \(y \mapsto f(x, y)\) is in \(W^{1,2}(Y )\) and for \(\mathfrak{m}_Y\)-a.e. \(y\) the function \(x \mapsto f(x, y)\) is in \(W^{1,2}(X)\). This has been verified in previous work with certain additional assumptions which must hold true for both factors. This paper verifies the conjecture for the case where \(Y\) is an interval, with no restrictions on \(X\) and generalizes to the case of warped products, including the cone on \(X\) and the spherical suspension of \(X\). The paper also considers the properties of being `measured length' and `a.e. locally doubling'. These two quite general properties imply the Sobolev-to-Lipschitz property. While the paper does not directly show that the Sobolev-to-Lipschitz property is inherited by the warped product, it does show that this is the case for the measured length and a.e. locally doubling properties.