A smooth isotopy of volume-preserving diffeomorphisms on unit cube saving energy through extra dimensions

Sintesi Tecnica: Un'isotopia regolare di diffeomorfismi preservanti il volume sul cubo unitario che risparmia energia attraverso dimensioni extra

Enunciato del problema
Il saggio affronta il "Problema dei due punti" e il "Problema variazionale classico" all'interno del gruppo dei diffeomorfismi che preservano volume e orientamento, $SDiff(M)$, su una varietà riemanniana con bordo $(M, g)$. Nello specifico, investiga se, per due configurazioni $h_0, h_1 \in SDiff(M)$, esista un'isotopia regolare $\{\xi_t\}_{t \in [0,1]}$ che le connetta minimizzando l'energia cinetica totale (azione) $J(\{\xi_t\}) = \frac{1}{2} \int_0^1 \|\partial_t \xi_t\|_{L^2}^2 dt$.

Sebbene Shnirelman abbia stabilito che per $n \ge 3$, ogni diffeomorfismo sul cubo unitario $I^n$ è "raggiungibile" (ovvero connesso all'identità da un percorso con energia finita), l'esistenza di un percorso che minimizzi l'energia non è garantita. Il saggio cerca di costruire uno scenario specifico in cui un'isotopia regolare $\{\xi_t\}$ ha un'energia cinetica totale infinita, eppure l'endpoint $\xi_1$ è raggiungibile tramite un'altra isotopia regolare $\{\eta_t\}$ con energia finita totale. Ciò evidenzia una discrepanza tra il costo energetico di una specifica costruzione "selvaggia" e l'esistenza di un percorso più efficiente nello spazio ambiente.

Metodologia
L'autore costruisce l'isotopia a energia infinita $\{\xi_t\}$ assemblando insieme una successione numerabile di "blocchi costruttivi" disgiunti supportati su vicinato tubolari arbitrariamente piccoli all'interno del cubo unitario $I^n$. La metodologia si basa su tre componenti principali:

1. Vincoli topologici sulle sottovarietà: La costruzione utilizza una varietà riemanniana compatta con bordo $(M, g)$ di dimensione $m \ge 3$, con omologia reale non banale ($H_1(M; \mathbb{R}) \neq \{0\}$) e un gruppo fondamentale con centro banale ($Z(\pi_1(M)) = \{0\}$). Esempi includono un corpo a manico di genere 2.
2. Omomorfismo del flusso di massa: Il saggio impiega l'omomorfismo del flusso di massa $\theta: Homeo_0(M, \mu) \to H_1(M; \mathbb{R})/\Gamma$ (definito da Fathi). Poiché il gruppo fondamentale ha un centro banale, il nucleo $\Gamma$ è banale, rendendo $\theta$ un epimorfismo. Ciò permette la costruzione di isotopie su $M$ che attraversano un ciclo omologico specifico $[\sigma]$ un numero $N(j)$ arbitrariamente grande di volte, forzando l'azione a crescere quadraticamente rispetto a $N(j)$.
3. Estensione ambiente e scalatura:
   • Le immersioni isometriche $\iota: M \hookrightarrow \mathbb{E}^n$ vengono scalate e traslate in sfere disgiunte $B_j \subset I^n$.
   • Le isotopie su $M$ vengono estese allo spazio ambiente $\mathbb{E}^n$ (e successivamente ristrette a $I^n$) utilizzando campi vettoriali privi di divergenza supportati su sottili vicinati tubolari delle immagini immerse.
   • La costruzione prevede una sequenza di scale in cui il numero di "giri" $N(j)$ aumenta sufficientemente velocemente rispetto alla riduzione della dimensione del supporto (raggio $\rho_j$ e larghezza tubolare $\delta_j$).

Contributi chiave e risultati
Il risultato primario è il Teorema 1.3, che afferma:

• Esiste un'isotopia regolare $\{\xi_t\}_{t \in [0,1]} \subset SDiff(I^n)$ ($n \ge 3$) tale che l'energia cinetica totale $J(\{\xi_t\}) = \infty$.
• Questa isotopia è supportata su una successione numerabile di vicinati tubolari disgiunti di copie omotetiche di $M$.
• Crucialmente, l'isotopia non presenta "auto-cancellazione"; il campo vettoriale non si ferma mai e il dominio del fluido non ritorna mai a una configurazione precedente all'interno del supporto.
• Nonostante l'energia infinita di $\{\xi_t\}$, l'endpoint $\xi_1$ è un diffeomorfismo raggiungibile. In virtù del teorema di Shnirelman sui diffeomorfismi raggiungibili in dimensioni $n \ge 3$, esiste un'altra isotopia regolare $\{\eta_t\}$ con $\eta_0 = \xi_0 = id$, $\eta_1 = \xi_1$, e $J(\{\eta_t\}) < \infty$.

Il saggio dimostra che l'isotopia "selvaggia" $\{\xi_t\}$ è costruita forzando il fluido a "mescolare" ripetutamente la sottovarietà a bassa dimensione $M$. Sebbene questo mescolamento non possa essere deformato per ridurre l'energia all'interno di $M$, l'estensione allo spazio ambiente $I^n$ (utilizzando le $n-m$ dimensioni extra) permette un "scorciatoia" che elude l'alto costo energetico dei vincoli della sottovarietà.

Significato e rivendicazioni
Il saggio sostiene di fornire un esempio esplicito in cui i "presunti flussi fluidi che minimizzano l'energia cinetica" potrebbero richiedere soluzioni non regolari o di tipo misura (flussi generalizzati), poiché il minimizzatore regolare non esiste per il percorso specifico costruito.

Il significato risiede nel meccanismo di risparmio energetico:

• L'energia infinita deriva dalla complessità topologica di $M$ che impedisce la riduzione dell'energia all'interno di $M$.
• L'alternativa a energia finita esiste perché lo spazio ambiente $I^n$ offre dimensioni extra che permettono all'isotopia di "evadere" dai vincoli della sottovarietà, consentendo effettivamente un risparmio di energia attraverso il "sollevamento" dalla sottovarietà allo spazio ambiente.

L'autore nota che questa costruzione è essenzialmente motivata dal lavoro di Shnirelman sui diffeomorfismi irraggiungibili in 2D e dalle tecniche dell'omomorfismo del flusso di massa di Fathi ed Eliashberg–Ratiu. Il saggio corregge inoltre un teorema errato di una versione precedente del lavoro riguardante le "proprietà di estensione dell'isotopia rigida", chiarendo che tali proprietà non possono reggere poiché è sempre possibile costruire un'isotopia ambiente con un costo energetico extra arbitrariamente piccolo utilizzando sottili vicinati tubolari.

Conclusione
Il saggio stabilisce che in dimensioni $n \ge 3$, è possibile costruire isotopie volume-preservanti regolari con energia cinetica infinita che sono tuttavia connettibili all'identità tramite percorsi a energia finita. Ciò sottolinea la non-convessità del panorama energetico in $SDiff(M)$ e il ruolo delle dimensioni ambientali nel facilitare deformazioni efficienti dal punto di vista energetico che sono impossibili all'interno di sottovarietà a dimensione inferiore.