Sobolev mappings between RCD spaces and applications to harmonic maps: a heat kernel approach

From MaRDI portal
Publication:6132317

DOI10.1007/S12220-023-01334-6zbMATH Open1520.53053arXiv2105.08578MaRDI QIDQ6132317FDOQ6132317


Authors: Shouhei Honda, Yannick Sire Edit this on Wikidata


Publication date: 14 July 2023

Published in: The Journal of Geometric Analysis (Search for Journal in Brave)

Abstract: We investigate a Sobolev map f from a finite dimensional RCD space (X,distX,measX) to a finite dimensional non-collapsed compact RCD space (Y,distY,mathcalHN). If the image f(X) is smooth in a weak sense (which is satisfied if fsharpmeasX is absolutely continuous with respect to the Hausdorff measure mathcalHN, or if (Y,distY,mathcalHN) is smooth in a weak sense), then the pull-back fgY of the Riemannian metric gY of (Y,distY,mathcalHN) is well-defined as an L1-tensor on X, the minimal weak upper gradient Gf of f can be written by using fgY, and it coincides with the local slope for measX-almost everywhere points in X when f is Lipschitz. In particular the last statement gives a nonlinear analogue of Cheeger's differentiability theorem for Lipschitz functions on metric measure spaces. Moreover these results allow us to define the energy of f. The energy coincides with the Korevaar-Schoen energy.In order to achieve this, we use a smoothing of gY via the heat kernel embedding Phit:YhookrightarrowL2(Y,mathcalHN), which is established by Ambrosio-Portegies-Tewodrose and the first named author. Moreover we improve the regularity of Phit, which plays a key role. We show also that (Y,distY) is isometric to the N-dimensional standard unit sphere in mathbbRN+1 and f is a minimal isometric immersion if and only if (X,distX,measX) is non-collapsed up to a multiplication of a constant to measX, and f is an eigenmap whose eigenvalues coincide with the essential dimension of (X,distX,measX), which gives a positive answer to a remaining problem from a previous work by the first named author.


Full work available at URL: https://arxiv.org/abs/2105.08578




Recommendations




Cites Work


Cited In (4)





This page was built for publication: Sobolev mappings between RCD spaces and applications to harmonic maps: a heat kernel approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132317)