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

Technische Samenvatting: Een Gladde Isotopie van Volumebehoudende Diffeomorfismen op een Eenheidscube die Energie Bespaart door Extra Dimensies

Probleemstelling
Het artikel behandelt het "twee-puntenprobleem" en het "klassieke variationele probleem" binnen de groep van volume- en oriëntatiebehoudende diffeomorfismen, $SDiff(M)$, op een Riemanniaanse variëteit-met-rand $(M, g)$. Specifiek wordt onderzocht of er voor twee configuraties $h_0, h_1 \in SDiff(M)$ een gladde isotopie $\{\xi_t\}_{t \in [0,1]}$ bestaat die hen verbindt en die de totale kinetische energie (actie) $J(\{\xi_t\}) = \frac{1}{2} \int_0^1 \|\partial_t \xi_t\|_{L^2}^2 dt$ minimaliseert.

Hoewel Shnirelman heeft vastgesteld dat voor $n \ge 3$ elke diffeomorfisme op de eenheidscube $I^n$ "bereikbaar" is (dat wil zeggen, verbonden met de identiteit door sommige pad met eindige energie), is de existentie van een energie-minimaliserend pad niet gegarandeerd. Het artikel tracht een specifiek scenario te construeren waarin een gladde isotopie $\{\xi_t\}$ een oneindige totale kinetische energie heeft, terwijl het eindpunt $\xi_1$ bereikbaar is via een andere gladde isotopie $\{\eta_t\}$ met een eindige totale kinetische energie. Dit benadrukt een discrepantie tussen de energiekosten van een specifieke "wilde" constructie en de existentie van een efficiënter pad in de omringende ruimte.

Methodologie
De auteur construeert de oneindige-energie isotopie $\{\xi_t\}$ door het samenvoegen van aftelbaar veel disjuncte "bouwstenen" die ondersteund worden op willekeurig kleine tubulaire buurten binnen de eenheidscube $I^n$. De methodologie steunt op drie hoofdcomponenten:

1. Topologische beperkingen op subvariëteiten: De constructie maakt gebruik van een compacte Riemanniaanse variëteit-met-rand $(M, g)$ met dimensie $m \ge 3$, niet-triviale eerste reële homologie ($H_1(M; \mathbb{R}) \neq \{0\}$), en een fundamentele groep met een triviaal centrum ($Z(\pi_1(M)) = \{0\}$). Voorbeelden zijn een genus-2 handlebody.
2. Massastroom-homomorfisme: Het artikel gebruikt het massastroom-homomorfisme $\theta: Homeo_0(M, \mu) \to H_1(M; \mathbb{R})/\Gamma$ (gedefinieerd door Fathi). Omdat de fundamentele groep een triviaal centrum heeft, is de kern $\Gamma$ triviaal, waardoor $\theta$ een epimorfisme is. Dit maakt de constructie van isotopies op $M$ mogelijk die een specifieke homologiecyclus $[\sigma]$ een willekeurig groot aantal keren $N(j)$ doorlopen, wat de actie kwadratisch laat groeien met $N(j)$.
3. Omringende Extensie en Schaling:
   • Isometrische inbeddingen $\iota: M \hookrightarrow \mathbb{E}^n$ worden geschaald en getranslateerd naar disjuncte bollen $B_j \subset I^n$.
   • Isotopies op $M$ worden uitgebreid naar de omringende ruimte $\mathbb{E}^n$ (en vervolgens beperkt tot $I^n$) met behulp van divergentievrije vectorfelden die ondersteund worden op dunne tubulaire buurten van de ingebedde afbeeldingen.
   • De constructie omvat een sequentie van schalen waarbij het aantal "draaiingen" $N(j)$ voldoende snel toeneemt ten opzichte van de krimpende grootte van de ondersteuning (straal $\rho_j$ en tubulaire breedte $\delta_j$).

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1.3, die stelt:

• Er bestaat een gladde isotopie $\{\xi_t\}_{t \in [0,1]} \subset SDiff(I^n)$ ($n \ge 3$) zodanig dat de totale kinetische energie $J(\{\xi_t\}) = \infty$.
• Deze isotopie wordt ondersteund op aftelbaar veel disjuncte tubulaire buurten van homothetische kopieën van $M$.
• Cruciaal is dat de isotopie "geen zelf-annulering" heeft; het vectorfeld stopt nooit en het vloeistofdomein keert nooit terug naar een vorige configuratie binnen de ondersteuning.
• Ondanks de oneindige energie van $\{\xi_t\}$ is het eindpunt $\xi_1$ een bereikbare diffeomorfisme. Op basis van Shnirelmans stelling over bereikbare diffeomorfismen in dimensies $n \ge 3$, bestaat er een andere gladde isotopie $\{\eta_t\}$ met $\eta_0 = \xi_0 = id$, $\eta_1 = \xi_1$, en $J(\{\eta_t\}) < \infty$.

Het artikel demonstreert dat de "wilde" isotopie $\{\xi_t\}$ wordt geconstrueerd door de vloeistof herhaaldelijk te laten "roeren" in de laag-dimensionale subvariëteit $M$. Hoewel dit roeren niet tot energie-reductie kan worden vervormd binnen $M$, staat de extensie naar de omringende ruimte $I^n$ (door gebruik te maken van de extra $n-m$ dimensies) een "kortsluiting" toe die de hoge-energiekosten van de subvariëteit-beperkingen omzeilt.

Betekenis en Claims
Het artikel claimt een expliciet voorbeeld te bieden waar de "vermeende vloeistofstromen die kinetische energie minimaliseren" mogelijk niet-gladde of maattheoretische oplossingen (gegeneraliseerde stromen) vereisen, omdat de gladde minimizer niet bestaat voor het specifiek geconstrueerde pad.

De betekenis ligt in het mechanisme van energiebesparing:

• De oneindige energie ontstaat uit de topologische complexiteit van $M$ die energie-reductie binnen $M$ verhindert.
• De alternatieve eindige energie bestaat omdat de omringende ruimte $I^n$ extra dimensies biedt die de isotopie de mogelijkheid geven om aan de beperkingen van de subvariëteit te "ontsnappen", wat effectief energie bespaart door de "lift" van de subvariëteit naar de omringende ruimte.

De auteur merkt op dat deze constructie essentieel gemotiveerd is door het werk van Shnirelman over onbereikbare diffeomorfismen in 2D en de massastroom-homomorfisme technieken van Fathi en Eliashberg–Ratiu. Het artikel corrigeert eveneens een gebrekkige stelling uit een eerdere versie van het werk betreffende "rigide isotopie extensie eigenschappen", waarbij wordt verduidelijkt dat dergelijke eigenschappen niet kunnen gelden omdat men altijd een omringende isotopie met willekeurig kleine extra energiekosten kan construeren door gebruik te maken van dunne tubulaire buurten.

Conclusie
Het artikel stelt vast dat in dimensies $n \ge 3$, men gladde volumebehoudende isotopies kan construeren met oneindige kinetische energie die desondanks verbonden kunnen worden met de identiteit door paden met eindige energie. Dit onderstreept de niet-convexiteit van het energielandschap in $SDiff(M)$ en de rol van omringende dimensies bij het faciliteren van energie-efficiënte vervormingen die onmogelijk zijn binnen laag-dimensionale subvariëteiten.