Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity

Sintesi Tecnica: Equazioni di Cartan e di Gauss e Teoremi di Rigidità per Embedding Isometrici a Bassa Regolarità Sobolev

Enunciato del Problema
Il saggio affronta la validità delle equazioni geometriche fondamentali — nello specifico le equazioni strutturali di Cartan e l'equazione di Gauss — per gli embedding isometrici di superfici in $\mathbb{R}^3$ quando la regolarità della mappa di embedding è bassa. Nel contesto classico liscio, la relazione tra geometria intrinseca (curvatura) e geometria estrinseca (embedding) è governata dalle equazioni strutturali di Cartan e dall'equazione di Gauss. Tuttavia, per gli embedding con regolarità inferiore a $C^2$, il determinante dell'Hessiano e le 1-forme di connessione potrebbero non essere ben definiti nel senso classico. Gli autori investigano se queste equazioni siano valide nel senso delle distribuzioni per embedding con bassa regolarità Sobolev, identificando specificamente le soglie di regolarità minima necessarie per evitare "misure di difetto" (singolarità che violano le equazioni).

Metodologia
Gli autori impiegano una combinazione di analisi distributiva, teoria degli spazi Sobolev frazionari e teoria della misura geometrica.

1. Framework Distributivo per le Equazioni di Cartan:

   • Gli autori definiscono la 1-forma di connessione $\omega$ per una co-cornice $\{\eta_i\}$ di regolarità $C^0 \cap H^{1/2}$ utilizzando la formula del prodotto interno $\omega = \iota_{e_2}d\eta_1 - \iota_{e_1}d\eta_2$.
   • Utilizzano la proprietà di sollevamento di mappe $S^1$-valutate continue (specificamente, mappe in $H^{1/2} \cap C^0$) per relazionare una cornice ortonormale grossolana a una cornice di riferimento liscia tramite un angolo di rotazione $\theta \in H^{1/2} \cap C^0$.
   • Approssimando la cornice grossolana con cornici lisce e passando al limite, dimostrano che le equazioni strutturali valgono nel senso delle distribuzioni, a condizione che la regolarità sia almeno $C^0 \cap H^{1/2}$. Questa soglia è indicata come ottimale, facendo riferimento a controesempi in regolarità inferiore (ad esempio, $W^{1,p}$ per $p<2$) dove emergono misure di difetto.

2. Deduzione dell'Equazione di Gauss:

   • Il saggio stabilisce un legame tra la seconda equazione strutturale di Cartan ($d\omega = K_g d\text{vol}_g$) e l'equazione di Gauss per rappresentazioni grafiche $u = (\Psi, f)$.
   • Un passaggio tecnico chiave consiste nel dimostrare una regola della catena per il determinante giacobiano distributivo. Per gli embedding in $C^1 \cap W^{1+2/3, 3}$, gli autori utilizzano argomenti standard di approssimazione e regola della catena.
   • Per il caso più delicato di $c^{1, 1/2} \cap BV^2$, sviluppano una specifica regola della catena per il determinante giacobiano che coinvolge funzioni in piccoli spazi Hölder e variazione limitata. Ciò si basa su stime di cancellazione per derivate mollificate e sulla specifica struttura del determinante giacobiano come distribuzione.

3. Singolarità Rimuovibili:

   • Gli autori analizzano il comportamento dell'equazione di Gauss in prossimità di insiemi singolari. Dimostrano che se un embedding è sufficientemente regolare lontano da un insieme di capacità $(s_0, p_0)$ nulla, l'equazione di Gauss vale globalmente.

4. Rigidità e Convessità:

   • Applicando l'equazione di Gauss stabilita, gli autori adattano gli argomenti di Conti–De Lellis–Székelyhidi e Pakzad. Utilizzano la teoria di Pogorelov sulle superfici di curvatura estrinseca limitata per dedurre risultati di convessità e rigidità per embedding con curvatura gaussiana non negativa ($K_g \ge 0$).

Contributi Chiave e Risultati

• Teorema 1.1 (Equazioni di Cartan): Gli autori dimostrano che le equazioni strutturali di Cartan valgono nel senso delle distribuzioni per co-cornici ortonormali in $C^0 \cap H^{1/2}_{loc}$. Questo estende i risultati precedenti (ad esempio, Giron [35] per $W^{1,p}$) e identifica $H^{1/2}$ come la soglia critica per l'esistenza di una 1-forma di connessione distributiva unica che soddisfi le equazioni.
• Teorema 1.3 (Equazione di Gauss): Il saggio stabilisce la validità dell'equazione di Gauss $\det D^2 f = K_g(1+|Df|^2)^2$ per embedding isometrici $u$ con regolarità:
  • $u \in c^{1, 1/2}_{loc} \cap BV^2_{loc}$, o
  • $u \in C^1 \cap W^{1+2/3, 3}_{loc}$.
    In entrambi i casi, l'equazione vale nel senso delle distribuzioni.
• Corollario 1.4: Per gli embedding nella classe $c^{1, 1/2} \cap BV^2$, l'equazione di Gauss vale quasi ovunque rispetto alla misura di Lebesgue, relazionando la parte assolutamente continua della misura dell'Hessiano alla curvatura.
• Teorema 1.5 (Singolarità Rimuovibili): L'equazione di Gauss vale globalmente se l'embedding è regolare ($W^{1+2/3, 3}$) al di fuori di un insieme compatto $S$ di capacità $(s_0, p_0)$ nulla, dove $s_0 = 2(1-s)$ e $p_0 = p/(p-2)$.
• Teorema 1.6 (Rigidità di Superfici Chiuse): Qualsiasi embedding isometrico $C^1 \cap W^{1+2/3, 3}$ di una sfera liscia con $K_g \ge 0$ è una superficie convessa chiusa. Se $K_g > 0$, l'embedding è liscio ($C^\infty$). Questo estende i teoremi di rigidità di Borisov e Pakzad a una regolarità inferiore.
• Teorema 1.7 (Rigidità di Calotte Convesse): Simili risultati di rigidità e regolarità sono provati per calotte convesse (domini con bordo) sotto condizioni al contorno planari, estendendo i risultati lisci di Han e Hong.

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima estensione rigorosa delle equazioni strutturali di Cartan al regime $C^0 \cap H^{1/2}$, una soglia nota per essere ottimale per problemi correlati al determinante giacobiano. Stabilendo la validità dell'equazione di Gauss per classi di bassa regolarità ($C^1 \cap W^{1+2/3, 3}$ e $c^{1, 1/2} \cap BV^2$), gli autori colmano un divario tra la teoria liscia e i contesti altamente irregolari studiati nel teorema di Nash-Kuiper.

La significatività risiede nel permettere l'applicazione dei classici teoremi di rigidità (Cohn-Vossen, Borisov) a embedding con regolarità inferiore rispetto a quanto precedentemente dimostrato. Gli autori notano esplicitamente che il loro metodo differisce dai lavori precedenti (ad esempio, Pakzad [53]) derivando l'equazione di Gauss come conseguenza delle equazioni di Cartan piuttosto che assumerla o utilizzare diversi schemi di approssimazione. Essi dichiarano con modestia che, sebbene abbiano identificato specifiche soglie di regolarità ($s=2/3, p=3$), il confine preciso per la validità dell'equazione di Gauss per tutti gli immersioni isometriche $C^1$ in $W^{1+s, p}$ rimane una questione aperta per certi intervalli di parametri (ad esempio, $s=2/3, p \neq 3$). Il lavoro non propone nuove applicazioni sperimentali ma consolida le fondamenta teoriche per lo studio degli embedding isometrici a bassa regolarità.