Stationary and stable varifolds with singularities

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della Geometria Metrica e della Teoria Geometrica della Misura, affrontando la questione della struttura e della dimensione dell'insieme singolare per varifoli stazionari integrali (stationary integral varifolds).

• Contesto storico: Dopo il celebre lavoro di Allard (1972) sulla regolarità interna, è stato stabilito che la principale ostacolo alla dimostrazione di un limite superiore sulla dimensione dell'insieme singolare risiede nella possibile presenza di topologia nella parte regolare del varifoglio che si accumula verso singolarità piatte (flat singularities).
• Domanda aperta: Esistono esempi in cui una superficie minima immersa (o un varifoglio stazionario) presenta una singolarità isolata di molteplicità 2, attorno alla quale la superficie ha una topologia complessa (genere infinito o accumulo di strutture)?
• Ipotesi di lavoro: Gli autori ipotizzano che tale scenario si verifichi quando la metrica dello spazio ambiente ha bassa regolarità (specificamente $C^{1,\alpha}$ con $\alpha \in [0, 1)$), rendendo impossibile il controllo della curvatura di Ricci attorno alla singolarità.

2. Risultati Principali (Teoremi)

Gli autori costruiscono due controesempi che dimostrano la possibilità di tali accumuli topologici in metriche $C^{1,\alpha}$:

Teorema 1.1 (Varifoglio Stazionario con Genere Infinito)

Per ogni $\alpha \in [0, 1)$, esiste una metrica $g \in C^{1,\alpha}(\mathbb{R}^{m+1})$ e un corrente integrale $m$-dimensionale $T$ stazionario rispetto a $g$ tale che:

1. $T$ è rappresentato da una superficie minima immersa $\Sigma$ in $B_1(0) \setminus \{0\}$.
2. Il cono tangente al varifoglio in $0$ è il piano multiplo $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$.
3. Il genere di $\Sigma \cap B_r(0) \setminus \{0\}$ è infinito per ogni $r > 0$.
   • Significato: La superficie ha una struttura topologica infinitamente complessa che si accumula verso la singolarità, sfidando l'idea che la regolarità della metrica possa imporre limiti topologici semplici.

Teorema 1.2 (Varifoglio Stazionario e Stabile con Singolarità di Tipo "Floating Disk")

Per ogni $\alpha \in [0, 1)$, esistono una metrica $g$, un varifoglio stazionario $V$, e una superficie minima stabile $\Sigma$ tale che:

1. $V$ è la somma di $\Sigma$ e di una sequenza di dischi fluttuanti (floating disks) $\gamma_k$ che convergono all'origine con somma finita delle loro misure $(m-1)$-dimensionali.
2. Il cono tangente in $0$ è ancora $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$.
3. La superficie $\Sigma$ è stabile nella regione regolare (fuori dai $\gamma_k$ e dall'origine).
   • Significato: Questo risultato è particolarmente rilevante perché mostra che anche la stabilità (una proprietà più forte della stazionarietà) non è sufficiente a prevenire l'accumulo di topologia complessa in metriche $C^{1,\alpha}$. Inoltre, l'esempio è un corrente mod 3 localmente minimizzante, suggerendo che la condizione di misura nulla dell'insieme singolare ($H^{n-1}$-misura zero) non è sufficiente per garantire la regolarità, contrariamente a quanto potrebbe essere sperato in contesti più regolari.

3. Metodologia e Strategia di Costruzione

La costruzione si basa su una tecnica di "chirurgia" (surgery) iterativa e sull'uso di forme di calibrazione (calibration forms).

A. I Modelli Geometrici

1. Modello di Base: Unione di due grafici minimi che si toccano tangenzialmente all'origine. In dimensione $m=2$, si usa un modello basato su dati di Weierstrass che genera una superficie con singolarità coniche lungo linee radiali. In dimensioni superiori, si estende questo modello o si usano polinomi armonici omogenei per garantire intersezioni trasversali fuori dall'origine.
2. Modelli Locali (Per la chirurgia):
   • Colli Catenoidali (Catenoidal Necks): Per il Teorema 1.1, si inseriscono una sequenza infinita di colli catenoidali che collegano i due fogli del modello di base.
   • Dischi Fluttuanti (Floating Disks): Per il Teorema 1.2, si usano strutture composte da due pezzi di catenoide e un disco piatto che si incontrano a angoli di $120^\circ$ (configurazione a "Y"). Queste strutture sono stabili e formano un ciclo mod 3.

B. La Tecnica di Incollamento (Gluing)

Gli autori costruiscono la soluzione iterativamente, inserendo i modelli locali in anelli concentrici che si restringono verso l'origine ($r_k \to 0$).

1. Incollamento dei Grafici: Si utilizza una partizione dell'unità per unire il grafico del modello di base con quello del modello locale (catenoide o disco fluttuante) in una regione anulare.
2. Perturbazione della Metrica: Per mantenere la stazionarietà e la stabilità dopo l'incollamento, non si può semplicemente usare la metrica euclidea. Gli autori costruiscono una forma di calibrazione chiusa $\omega$ in un intorno tubolare della superficie incollata.
3. Definizione della Metrica: Si modifica la metrica euclidea in modo conforme ($g = \lambda^2 \delta$) scegliendo il fattore di conformazione $\lambda$ in modo che la norma comassa (comass) della forma $\omega$ sia 1. Questo rende la superficie incollata un minimo locale (o stazionario) rispetto alla nuova metrica $g$.

C. Stima della Regolarità

Un punto cruciale è la regolarità della metrica risultante $g$.

• Le stime sulle derivate del fattore di conformazione $\lambda$ dipendono dalla dimensione $m$ e dalla regolarità dei grafici iniziali.
• Gli autori dimostrano che, nonostante le difficoltà nelle stime delle derivate di ordine superiore (specialmente per $m \ge 2$), è possibile ottenere una metrica di classe $C^{1,\alpha}$ per ogni $\alpha < 1$, ma non di regolarità superiore. La bassa regolarità è dovuta alla necessità di controllare la curvatura e la derivata della base, che non sono abbastanza "piatte" da permettere una metrica più regolare.

4. Contributi Chiave e Significato

1. Ottimalità dei Risultati di Regolarità: Il lavoro dimostra che la regolarità $C^{1,\alpha}$ è il limite naturale per cui si possono avere tali fenomeni di accumulo topologico. In metriche più regolari (es. $C^2$ o lisce), si sospetta che tali accumuli non siano possibili, ma qui si mostra che la perdita di una sola derivata è sufficiente a permettere la costruzione di controesempi patologici.
2. Limiti dei Teoremi di Regolarità: I risultati forniscono una risposta negativa a domande su quanto la stazionarietà e la stabilità possano garantire la regolarità topologica. In particolare, il Teorema 1.2 suggerisce che la condizione di "stabilità fuori da un insieme di misura finita" (come nel lavoro recente di Bellettini [3]) non è sufficiente a garantire la struttura di grafi minimi multipli se la metrica non è sufficientemente regolare.
3. Metodo di Costruzione: L'uso combinato di chirurgia geometrica (inserimento di colli/dischi) e tecniche di calibrazione per perturbare la metrica è un approccio potente che potrebbe essere applicato ad altri problemi di esistenza di soluzioni singolari in geometria variazionale.
4. Implicazioni per la Congettura di Allard: Il lavoro chiarisce che l'ostacolo principale per migliorare il teorema di regolarità di Allard risiede proprio nella possibilità di accumulo di topologia complessa in presenza di singolarità di molteplicità 2, specialmente quando la geometria dello spazio ambiente non è sufficientemente rigida.

Conclusione

Il paper conferma che in spazi con metrica $C^{1,\alpha}$, la stazionarietà e la stabilità non sono sufficienti a prevenire l'accumulo di topologia complessa (genere infinito o strutture a "floating disk") verso una singolarità piatta di molteplicità 2. Questo delimita chiaramente i confini di validità dei teoremi di regolarità classica e sottolinea l'importanza critica della regolarità della metrica ambiente nella teoria delle superfici minime.