2025-11-10T02:49:58.742291

Construction of harmonic coordinates for weak immersions

Martino, Rivière
We prove that any weak immersion in the critical Sobolev space $W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d)$ in even dimension $n\geq 4$, has global harmonic coordinates if its second fundamental form is small in the Sobolev space $W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$. This is a generalization to arbitrary even dimension $n\ge 4$ of a famous result of Müller--Sverak \cite{muller1995} for $n=2$. The existence of such coordinates is a key tool used by the authors in \cite{MarRiv20252} for the analysis of scale-invariant Lagrangians of immersions, such as the Graham--Reichert functional. From a purely intrinsic perspective, the proof of the main result leads to a general local existence theorem of harmonic coordinates for general metrics with Riemann tensor in $L^p$ for any $p>n/2$ in any dimension $n\geq 3$.
academic

Construction de coordonnées harmoniques pour les immersions faibles

Informations fondamentales

  • ID de l'article: 2510.10601
  • Titre: Construction of harmonic coordinates for weak immersions
  • Auteurs: Dorian Martino (ETH Zürich), Tristan Rivière (ETH Zürich)
  • Classification: math.DG (géométrie différentielle), math.AP (analyse et équations aux dérivées partielles)
  • Date de publication: 14 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.10601

Résumé

Cet article démontre que pour les dimensions paires n≥4n \geq 4, toute immersion faible appartenant à l'espace de Sobolev critique Wn2+1,2(Rn;Rd)W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d) possède des coordonnées harmoniques globales si sa deuxième forme fondamentale dans l'espace de Sobolev Wn2−1,2(Rn;Rd)W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d) est suffisamment petite. Ceci généralise le résultat célèbre de Müller-Sverak pour le cas n=2n=2 à toute dimension paire n≥4n \geq 4. L'existence de telles coordonnées constitue un outil clé utilisé par les auteurs dans l'analyse des lagrangiens invariants d'échelle pour les immersions (tels que la fonctionnelle de Graham-Reichert). D'un point de vue purement géométrique intrinsèque, la preuve du résultat principal conduit à un théorème d'existence locale de coordonnées harmoniques pour les métriques générales dont le tenseur de Riemann appartient à LpL^p (p>n/2p > n/2).

Contexte et motivation de la recherche

Contexte du problème

  1. Problème classique: Dans l'étude des problèmes analytiques concernant les immersions (tels que les problèmes de régularité ou de compacité), il est d'abord nécessaire de construire des systèmes de coordonnées locaux qui doivent être contrôlés de manière à permettre l'utilisation de la régularité elliptique.
  2. Succès du cas bidimensionnel: En dimension deux, les coordonnées isothermes fournissent un tel système de coordonnées. Via l'équation de Liouville, il suffit de connaître la régularité de la courbure de Gauss pour en déduire la régularité du facteur conforme.
  3. Défis en dimension supérieure: En dimension n≥3n \geq 3, les métriques générales n'admettent pas de coordonnées isothermes, le tenseur de Weyl en étant l'obstruction. Il est donc nécessaire de chercher des alternatives.

Motivation de la recherche

  1. Besoins des problèmes variationnels: Dans les problèmes variationnels impliquant des immersions (tels que les surfaces minimales, les surfaces à courbure moyenne constante ou les surfaces de Willmore), la métrique ne peut pas être supposée a priori continue.
  2. Énergie de Willmore généralisée: Ces fonctionnelles ont d'abord été introduites par Guven en 2005, cherchant à mesurer une énergie conforme invariante de la courbure des sous-variétés de dimension 4. Dans le contexte de la correspondance AdS/CFT, la procédure de renormalisation du volume a conduit à la fonctionnelle de Willmore.
  3. Invariance d'échelle: Pour les dimensions paires, on considère la fonctionnelle invariante d'échelle: En(Φ⃗):=∑i=0n2−1∫Σn∣∇iII⃗Φ⃗∣gΦ⃗ni+1dvolgΦ⃗E_n(\vec{\Phi}) := \sum_{i=0}^{\frac{n}{2}-1} \int_{\Sigma^n} |\nabla^i \vec{II}_{\vec{\Phi}}|^{\frac{n}{i+1}}_{g_{\vec{\Phi}}} \text{dvol}_{g_{\vec{\Phi}}}

Contributions principales

  1. Théorème principal: Démonstration que pour les dimensions paires n≥4n \geq 4, les immersions faibles dans l'espace de Sobolev critique possèdent des coordonnées harmoniques globales lorsque la deuxième forme fondamentale est suffisamment petite.
  2. Innovation technique: Généralisation de la méthode du repère de Coulomb de Hélein au cas de dimensions supérieures, résolvant le problème soulevé par Hélein dans son ouvrage concernant la construction de coordonnées induites par un repère de Coulomb en dimension n≥3n \geq 3.
  3. Théorie des métriques générales: D'un point de vue purement intrinsèque, démonstration de l'existence de coordonnées harmoniques pour les métriques faibles dont le tenseur de Riemann appartient à L(n/2,1)L^{(n/2,1)}.
  4. Régularité critique: Identification de L(n/2,1)L^{(n/2,1)} comme l'échelle de régularité critique pour l'existence de coordonnées harmoniques, ce qui est plus faible que la condition usuelle LpL^p (p>n/2p > n/2).

Détails de la méthode

Définition des immersions faibles

Pour une variété riemannienne compacte orientée (Σn,h)(\Sigma^n, h) de dimension nn et un entier d>nd > n, l'espace des immersions faibles est défini par: Ik,p(Σn;Rd):={Φ⃗∈Wk+2,p(Σ;Rd):∃cΦ⃗>1,cΦ⃗−1h≤gΦ⃗≤cΦ⃗h}I^{k,p}(\Sigma^n;\mathbb{R}^d) := \{\vec{\Phi} \in W^{k+2,p}(\Sigma;\mathbb{R}^d) : \exists c_{\vec{\Phi}} > 1, c_{\vec{\Phi}}^{-1} h \leq g_{\vec{\Phi}} \leq c_{\vec{\Phi}} h\}

Outils techniques clés

1. Application des espaces de Lorentz

  • Utilisation des espaces de Lorentz L(p,q)L^{(p,q)} comme raffinement des espaces de Lebesgue standards LpL^p
  • Propriété clé: W2,(n/2,1)(Bn)↪W1,(n,1)(Bn)↪C0(Bn)W^{2,(n/2,1)}(\mathbb{B}^n) \hookrightarrow W^{1,(n,1)}(\mathbb{B}^n) \hookrightarrow C^0(\mathbb{B}^n)
  • Ceci fournit le lien crucial entre la régularité L(n/2,1)L^{(n/2,1)} de la courbure et la continuité des coefficients de la métrique

2. Méthode du repère de Coulomb

Basée sur l'extraction de la jauge de Coulomb d'Uhlenbeck, le processus de construction comprend:

Étape 1: Pour une métrique gg proche de la métrique euclidienne, application de la construction d'Uhlenbeck pour obtenir le corépère de Coulomb (ω1,…,ωn)(\omega^1, \ldots, \omega^n)

Étape 2: Pour chaque i∈{1,…,n}i \in \{1, \ldots, n\}, résolution du système elliptique:

-\Delta_g y^i = d^*_g \omega^i & \text{dans } \mathbb{B}^n \\ \partial_\nu y^i = \omega^i(\nu) & \text{sur } \partial\mathbb{B}^n \\ \int_{\mathbb{B}} y^i(x) dx = 0 \end{cases}$$ **Étape 3**: Obtention des coordonnées finales via résolution de l'équation des coordonnées harmoniques: $$\begin{cases} \Delta_{(y^{-1})^*g} z^i = 0 & \text{dans } \mathbb{B}^n \\ z^i = y^i & \text{sur } \partial\mathbb{B}^n \end{cases}$$ ### Argument de continuité Utilisation de deux arguments de continuité imbriqués: 1. **Premier niveau**: Démonstration que si la métrique est proche de la métrique euclidienne et le tenseur de Riemann suffisamment petit, les coordonnées requises peuvent être construites 2. **Deuxième niveau**: Démonstration que toute métrique satisfaisant les conditions peut être connectée à la métrique euclidienne par un chemin ## Résultats principaux ### Théorème 1.2 (Résultat principal) Soit $n \geq 2$ un nombre pair et $d > n$ un entier. Il existe $\varepsilon_* > 0$ et $C_* > 0$ (dépendant uniquement de $n$ et $d$) tels que: Pour $\vec{\Phi} \in I^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$ satisfaisant $E_n(\vec{\Phi}) < \varepsilon_*$, il existe un homéomorphisme bi-Lipschitz $z : \mathbb{R}^n \to \mathbb{R}^n$ fournissant des coordonnées harmoniques pour $g_{\vec{\Phi}}$, tel que: $$\|(g_{\vec{\Phi} \circ z})_{ij} - \delta_{ij}\|_{L^\infty(\mathbb{R}^n)} \leq C_* E_n(\vec{\Phi})$$ ### Théorème 1.4 (Résultat pour les métriques générales) Soit $n \geq 3$. Il existe $\varepsilon_0 > 0$ et $C_0 > 0$ (dépendant uniquement de $n$) tels que: Pour une métrique faible $g$ sur $\mathbb{R}^n$ satisfaisant $\|\text{Riem}_g\|_{L^{(n/2,1)}(\mathbb{R}^n,g)} \leq \varepsilon_0$, il existe un difféomorphisme $C^1$ $y : \mathbb{R}^n \to \mathbb{R}^n$ tel que: $$\|(y^*g)_{ij} - \delta_{ij}\|_{\bar{W}^{2,(n/2,1)}(\mathbb{R}^n)} \leq C_0 \|\text{Riem}_g\|_{L^{(n/2,1)}(\mathbb{R}^n,g)}$$ ## Points d'innovation technique ### 1. Identification de la régularité critique - Identification de $L^{(n/2,1)}$ comme l'exigence de régularité minimale pour l'existence de coordonnées harmoniques - Ceci est plus fin que la condition usuelle $L^p$ ($p > n/2$) de la littérature ### 2. Application systématique des espaces de Sobolev-Lorentz - Introduction de la norme de Sobolev invariante d'échelle: $$\|f\|_{\bar{W}^{2,(n/2,1)}(\Omega)} := \|f\|_{L^\infty(\Omega)} + \|\nabla f\|_{L^{(n,1)}(\Omega)} + \|\nabla^2 f\|_{L^{(n/2,1)}(\Omega)}$$ ### 3. Théorie des métriques faibles Définition de la classe de métriques faibles $\bar{W}^{2,(n/2,1)}(\Omega)$, exigeant: - Ellipticité uniforme: $\lambda^{-1} \delta_{\alpha\beta} \leq g_{\alpha\beta} \leq \lambda \delta_{\alpha\beta}$ - Coefficients dans les espaces de Sobolev correspondants ## Applications et extensions ### Problème d'extension des immersions **Théorème 6.5**: Pour les immersions sur la boule unité, si le bord réalise un "graphe presque plat", il peut être étendu à l'espace entier et des coordonnées harmoniques peuvent être construites. ### Généralisation des inégalités de Sobolev **Théorème 6.2**: Démonstration que pour les sous-variétés immergées dont la deuxième forme fondamentale est suffisamment petite dans $L^{(n,\infty)}$, la constante de Sobolev peut être prise indépendante de l'immersion. ## Travaux connexes ### Développement historique 1. **Théorie classique**: Théorie des coordonnées isothermes de Gauss (1822) et Lichtenstein (1916) 2. **Développements modernes**: Cadre analytique d'Ahlfors, Bers, Chern et autres 3. **Régularité faible**: Contributions de Toro (1994), Müller-Sverak (1995), Hélein ### Comparaison avec les méthodes existantes - **Supériorité par rapport aux méthodes traditionnelles**: Ne nécessite pas la continuité a priori de la métrique - **Généralisation des résultats classiques**: Extension du résultat de Müller-Sverak en dimension deux aux dimensions supérieures - **Nouvelle voie technique**: Évite les conditions de Reifenberg via le repère de Coulomb ## Conclusions et discussion ### Conclusions principales 1. Construction réussie de coordonnées harmoniques pour les immersions faibles dans l'espace de Sobolev critique 2. Établissement d'une relation quantitative entre la courbure de la métrique et la régularité des coordonnées 3. Fourniture d'outils clés pour l'analyse de l'énergie de Willmore généralisée ### Limitations 1. Restriction aux dimensions paires $n \geq 4$ 2. Nécessité d'une condition de petitesse sur la deuxième forme fondamentale 3. Problème d'extension pour les domaines généraux non complètement résolu ### Directions futures 1. Étude du cas des dimensions impaires 2. Extension sous des conditions aux limites plus générales 3. Applications aux métriques d'Einstein et aux métriques Bach-plates ## Évaluation approfondie ### Avantages 1. **Profondeur théorique**: Résout un problème fondamental en géométrie différentielle, possédant une valeur théorique importante 2. **Innovation technique**: Combinaison ingénieuse de la théorie des espaces de Lorentz et de la méthode du repère de Coulomb 3. **Valeur applicative**: Fournit des outils importants pour les problèmes variationnels et la géométrie conforme 4. **Complétude**: Traitement détaillé de la théorie abstraite aux applications concrètes ### Points forts techniques 1. **Analyse de criticité**: Identification précise de l'échelle de régularité critique du problème 2. **Cadre unifié**: Traitement unifié de la théorie des immersions et de la géométrie riemannienne 3. **Estimations quantitatives**: Fourniture de dépendances explicites pour toutes les constantes ### Impact potentiel 1. **Contribution théorique**: Avancement du développement de l'analyse géométrique à régularité faible 2. **Perspectives d'application**: Applications potentielles en relativité générale et théorie des cordes 3. **Méthodologie**: Fourniture d'un nouveau cadre analytique pour des problèmes similaires ### Domaines d'application - Théorie des surfaces minimales - Surfaces de Willmore et fonctionnelles de Willmore généralisées - Analyse des métriques d'Einstein - Problèmes géométriques dans la correspondance AdS/CFT Cet article apporte une contribution importante au domaine d'intersection entre la géométrie différentielle et l'analyse, et son innovation technique et sa profondeur théorique en font un progrès significatif dans ce domaine.