A relaxation to the post-composition approach to metric-valued Sobolev maps

Abstract

We establish that the definition of Sobolev mappings from metric measure spaces to metric spaces relying on the post-composition approach of Ambrosio-Reshetnyak admits, under certain transparent assumptions on the spaces, an equivalent reformulation that is substantially weaker than the principal version. In detail, the corresponding definition requires for maps of such a kind to be called Sobolev to meet first a ''qualitative'' test and then a ''quantitative'' test. At the same time, our result allows one to draw the relevant conclusion solely based on the ''qualitative'' part. Remarkably, the conditions on the spaces sufficient for this to hold fit entirely into the singular flavor of the subject. More explicitly, such a phenomenon emerges if either the source space is of finite Hausdorff dimension and satisfies the Sobolev-to-Luzin-Lipschitz property or the target space is of finite Hausdorff dimension. All this provides a significant generalization of several earlier achievements on the topic.