Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

Sintesi Tecnica: Congettura di Calabi–Yau per Ipersuperfici Minime in $\mathbb{R}^4$ con Geometria Limitata

Enunciato del Problema
Il saggio affronta le congetture di Calabi–Yau per ipersuperfici minime complete $\Sigma^n \subset \mathbb{R}^{n+1}$ con $n \ge 2$. In particolare, indaga se la completezza implichi necessariamente che tale ipersuperficie sia illimitata e, più fortemente, se debba essere una mappa propria (ovvero, che il preimmagine di ogni insieme compatto sia compatto). Sebbene questa questione sia stata risolta per le superfici minime immerse in $\mathbb{R}^3$ (dimostrando la proprietà di essere propria sotto condizioni di topologia finita o di raggio di iniettività positivo), il caso in dimensioni superiori ($n \ge 3$) rimane ampiamente aperto a causa del fallimento di strumenti come il teorema dello spazio semispazio e l'assenza di rappresentazioni analitiche come la formula di Weierstrass.

Gli autori si concentrano sul caso $n=3$, considerando ipersuperfici minime connesse, complete ed emesse $\Sigma^3 \subset \mathbb{R}^4$. Il problema centrale è determinare se la combinazione di seconda fondamentale limitata ($\sup_\Sigma |A_\Sigma| < \infty$) e secondo numero di Betti finito ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) imponga che l'ipersuperficie sia propria.

Metodologia e Strategia di Dimostrazione
La dimostrazione procede per contraddizione, assumendo che $\Sigma$ sia completa, immersa, soddisfi i vincoli geometrici e topologici, ma non sia propria.

1. Riduzione a una Laminazione in uno Spazio Semispazio/Slab:
   Seguendo gli argomenti di [MIR05] e i risultati recenti sulla congettura di Bernstein stabile ([CL24], [CL23], [CLMS26], [CMR24], [Maz24]), gli autori stabiliscono che se $\Sigma$ non è propria, può essere rigidamente spostata (e dilatata, se necessario) per diventare una laminazione minima contenuta in un iperspazio aperto $U = \{x_4 > 0\}$ o in uno slab $U = \{0 < x_4 < H\}$. In questa configurazione, l'iperpiano di confine $\{x_4 = 0\}$ è contenuto nell'insieme limite di $\Sigma$.

2. Analisi della Funzione Altezza:
   Sia $h = x_4|_\Sigma$ la funzione altezza. Sotto l'assunto di non-proprietà, $h$ è una funzione armonica positiva e non costante su $\Sigma$ con $\inf_\Sigma h = 0$.

   • Controllo della Curvatura: L'assunto di curvatura limitata ($|A_\Sigma| \le \Lambda$) implica una stima del gradiente $|\nabla_\Sigma h|^2 \le 2\Lambda h$. Ciò assicura che per altezze piccole, la proiezione verticale sia uniformemente non degenere.
   • Struttura a Grafico: Utilizzando il Lemma 1.4 di [MIR05], gli autori mostrano che le componenti connesse dei sotto-livelli $\{h < \tau\}$ sono grafici globali su domini in $\mathbb{R}^3$ con vincoli di gradiente $|Du| < 1$.

3. Vincoli Topologici e Componenti Non Compatte:
   Sfruttando la finitezza del secondo numero di Betti $b_2(\Sigma; \mathbb{Z}_2)$, gli autori utilizzano un argomento omologico (Lemma 2.1) per mostrare che i livelli $\{h = c\}$ possono avere solo un numero finito di componenti connesse compatte.

   • Poiché $\{x_4 = 0\}$ è una foglia limite, esistono infinitamente molte componenti distinte di $\{h < \tau\}$.
   • A causa della finitezza delle componenti compatte, gli autori identificano una specifica componente connessa $V \subset \{h < \tau\}$ il cui bordo contiene una componente connessa non compatta $S \subset \{h = \tau\}$ e che interseca un livello inferiore $\{h = t\}$ in una componente connessa non compatta $\Gamma$.

4. Costruzione di una Funzione Lipschitz Globale:
   La componente $V$ è un grafico $y \mapsto u(y)$ su un dominio $D \subset \mathbb{R}^3$. Gli autori definiscono una funzione $g: \mathbb{R}^3 \to \mathbb{R}$ ponendo $g(y) = \tau - u(y)$ su $D$ e $0$ altrove.

   • Proprietà Lipschitz: Il vincolo sul gradiente $|Du| < 1$ assicura che $g$ sia globalmente 1-Lipschitz.
   • Stima Integrale: Utilizzando la minimità di $\Sigma$ e l'integrazione per parti con una funzione di cutoff, gli autori derivano un limite $L^2$ pesato sul gradiente:
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. Derivazione della Contraddizione:
   Gli insiemi $S$ e $\Gamma$ si proiettano su insiemi connessi illimitati $S_0$ e $\Gamma_0$ in $\mathbb{R}^3$. La funzione $g$ assume il valore $0$ su $S_0$ e un valore costante distinto $a = \tau - t$ su $\Gamma_0$.

   • Poiché $S_0$ e $\Gamma_0$ sono illimitati e connessi, essi intersecano ogni sfera sufficientemente grande $\partial B_r(0)$.
   • La condizione Lipschitz implica che, su queste sfere, $g$ debba transitare da un valore vicino a $0$ a un valore vicino ad $a$ entro piccoli cappi geodetici.
   • Applicando una stima del limite inferiore logaritmico per l'energia di Dirichlet di tali funzioni su sfere (citando [AM26b, Lemma 5.8]), gli autori mostrano che l'integrale di $|\nabla g|^2$ sull'esterno di una grande palla diverge logaritmicamente:
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     Questa divergenza contraddice il limite integrale pesato precedentemente stabilito, provando così che l'assunto iniziale (ovvero che $\Sigma$ non sia propria) è falso.

Contributi Chiave e Risultati

• Teorema Principale: Il saggio dimostra che ogni ipersuperficie minima connessa, completa ed emessa $\Sigma^3 \subset \mathbb{R}^4$ con seconda fondamentale limitata e secondo numero di Betti finito ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) è propria.
• Risoluzione di un Caso Specifico: Questo fornisce la prima risposta affermativa alla congettura di Calabi–Yau per ipersuperfici minime emesse in $\mathbb{R}^4$ sotto specifici vincoli geometrici e topologici.
• Nuova Dimostrazione per $\mathbb{R}^3$: La metodologia fornisce una nuova dimostrazione della proprietà di superfici minime complete ed emesse in $\mathbb{R}^3$ con curvatura limitata, indipendente dal teorema dello spazio semispazio di Xavier (utilizzato da Rosenberg [Ros01]). Ciò viene ottenuto osservando che per $\Sigma^2 \times \mathbb{R}$, il secondo numero di Betti svanisce.
• Necessità degli Assunti: Gli autori chiariscono la sottigliezza dell'assunto di curvatura limitata. Notano che, senza di esso, il teorema implicherebbe che tutte le superfici minime emesse complete in $\mathbb{R}^3$ siano proprie, un'affermazione potenzialmente contraddetta da esempi del folklore (Meeks). Pertanto, la condizione di curvatura limitata è probabilmente essenziale, a meno che non vengano imposti vincoli topologici più forti (ad esempio, il primo numero di Betti finito).

Significato e Ambito
Il saggio sostiene di fornire una "prima risposta" nella direzione della comprensione della proprietà per le ipersuperfici minime in dimensioni superiori ($n \ge 3$), dove gli strumenti standard falliscono. Gli autori dichiarano esplicitamente che il loro risultato si applica a famiglie standard come il catenoide 3D, esempi asintotici ai coni di Simons, e prodotti di superfici minime a curvatura limitata in $\mathbb{R}^3$ con $\mathbb{R}$.

Il lavoro non pretende di risolvere la congettura per tutte le ipersuperfici minime emesse complete in $\mathbb{R}^4$, né di rimuovere gli ipotesi di curvatura limitata o di numero di Betti finito. Al contrario, stabilisce un legame rigoroso tra geometria limitata, topologia finita (specificamente $b_2$) e proprietà, evidenziando come il fallimento della proprietà in dimensioni superiori (come visto negli esempi degli autori con curvatura illimitata e topologia infinita) sia intimamente legato alla violazione di queste specifiche condizioni.