Asymptotic rigidity of codimension-1 isometric immersions via quantitative estimates

1. Il Problema

Il lavoro si concentra sulla rigidità asintotica delle immersioni isometriche tra varietà Riemanniane compatte, specificamente nel caso di codimensioni 1.
Siano $(M, g)$ e $(N, h)$ varietà Riemanniane orientate, compatte, di dimensioni rispettivamente $d$ e $d+1$. Il problema studia il comportamento di una successione di immersioni $u_k: M \to N$ quando l'energia elastica associata tende a zero.

A differenza del caso equidimensionale (dove il teorema di Liouville e le stime di rigidità quantificata di Friesecke-James-Müller garantiscono che mappe con gradiente vicino a $SO(d)$ sono vicine a rotazioni), nel caso di codimensioni superiori la rigidità non è garantita solo dal gradiente. Le curve unitarie in $\mathbb{R}^2$ mostrano che un gradiente può essere isometrico localmente, ma la mappa può comunque "piegarsi" (bending) nello spazio ambiente.
Per catturare questo comportamento, il paper introduce un'energia che combina:

1. Energia di stiramento ($E_s$): Misura quanto il differenziale $du$ si discosta dalle isometrie tra gli spazi tangenti.
2. Energia di curvatura ($E_b$): Misura la deviazione dell'operatore di forma (shape operator) $S_u$ indotto dall'immersione rispetto a un operatore di forma di riferimento $S$.

L'obiettivo è dimostrare che se l'energia totale $E(u_k) \to 0$, allora la successione $u_k$ converge (a meno di una sottosuccessione) a un'immersione isometrica liscia, e l'operatore di forma limite coincide con quello di riferimento.

2. Metodologia

L'approccio proposto da Ba¸stu˘g è alternativo rispetto al lavoro precedente di Alpern, Kupferman e Maor [1, 2], che utilizzava un approccio intrinseco basato sulla teoria delle misure di Young.

La metodologia di questo paper si basa su:

• Riduzione al caso Euclideo: Invece di lavorare direttamente sulla geometria intrinseca delle varietà, l'autore sfrutta il teorema di immersione di Nash per isometricamente immergere la varietà target $N$ in uno spazio Euclideo $\mathbb{R}^D$.
• Stime Quantitative di Rigidità: L'autore applica la celebre stima di rigidità quantificata di Friesecke-James-Müller (FJM) [8] nel contesto Euclideo.
• Stime Locali: Il cuore della dimostrazione è una stima di rigidità quantificata locale (Teorema 3.1) per funzioni in spazi di Sobolev su domini locali. L'idea è che, su scale sufficientemente piccole, l'immagine dell'immersione è vicina a un sottospazio affine $d$-dimensionale, permettendo di trattare la mappa come quasi equidimensionale.
• Controllo del Campo Normale: Un aspetto cruciale è il controllo della variazione del campo normale unitario $\nu_u$. L'autore dimostra che una piccola energia di curvatura implica che il campo normale varia poco su scale piccole, il che permette di approssimare l'immagine con un sottospazio lineare e applicare le stime FJM.

3. Risultati Chiave

A. Stima di Rigidità Quantificata Locale (Teorema 3.1)

Per un'immersione $u$ definita su un cubo $Q \subset \mathbb{R}^d$ con metrica $g$, esiste una rotazione $R$ tale che la distanza $L^p$ tra il differenziale totale $\bar{D}u$ (nell'immersione in $\mathbb{R}^D$) e $R$ è controllata da:

1. L'oscillazione della metrica $g$ su $Q$.
2. L'energia di stiramento $E_s(u)$.
3. Il diametro di $Q$ moltiplicato per l'energia totale $E(u)$.

Questa stima è fondamentale perché collega la deviazione dall'isometria direttamente all'energia elastica e di curvatura, utilizzando tecniche puramente Euclidee.

B. Rigidità Asintotica (Teorema 4.1)

Il risultato principale stabilisce che data una successione $(u_k) \subset \text{Imm}^p(M; N)$ tale che:

• $\lim_{k \to \infty} E_s(u_k) = 0$ (l'energia di stiramento tende a zero).
• $\limsup_{k \to \infty} E_b(u_k) < \infty$ (l'energia di curvatura è limitata).

Allora esiste una sottosuccessione che converge in $W^{1,p}$ a un'immersione isometrica $u$. Inoltre, se l'energia di curvatura modificata $E^S_b(u_k)$ (rispetto a un operatore di forma di riferimento $S$) tende a zero, allora l'operatore di forma dell'immersione limite coincide con $S$ quasi ovunque.

4. Contributi Principali

1. Dimostrazione Elementare: Fornisce una prova alternativa e più elementare del teorema di rigidità asintotica di Alpern, Kupferman e Maor. Evita la complessità tecnica delle misure di Young, sostituendola con stime quantitative Euclidee e argomenti di compattezza classici (Teorema di Fréchet-Kolmogorov).
2. Generalizzazione e Semplicità: Riduce il problema su varietà Riemanniane a stime su domini Euclidei tramite immersioni isometriche, rendendo l'analisi più accessibile e modulare.
3. Stime Indipendenti: Le stime di rigidità quantitative locali (Teorema 3.1) sono di interesse indipendente e potrebbero trovare applicazione in altri contesti di analisi geometrica e teoria dell'elasticità non-Euclidea.
4. Estensione Futura: L'autore menziona che questo approccio è stato esteso in un lavoro companion [3] per gestire varietà target non compatte (complete), dove la definizione intrinseca delle mappe di Sobolev richiede raffinamenti tecnici, ma l'approccio tramite embedding Euclideo offre comunque semplificazioni.

5. Significato

Questo lavoro è significativo per la teoria dell'elasticità non-Euclidea e la geometria differenziale. Dimostra che la rigidità delle immersioni isometriche in codimensione 1 può essere compresa attraverso il controllo combinato dello stiramento e della curvatura, utilizzando strumenti analitici robusti e ben consolidati (stime FJM).
La capacità di recuperare risultati profondi (come la convergenza a un'immersione isometrica liscia) attraverso tecniche "elementari" basate su spazi Euclidei apre la strada a nuove generalizzazioni e semplifica l'analisi di modelli dimensionali ridotti (come teorie di gusci e lastre) in contesti geometrici complessi.