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

Technische Samenvatting: Calabi–Yau-conjectuur voor minimale hypersurfaces in $\mathbb{R}^4$ met begrensde geometrie

Probleemstelling
Het artikel behandelt de Calabi–Yau-conjecturen voor volledige minimale hypersurfaces $\Sigma^n \subset \mathbb{R}^{n+1}$ met $n \ge 2$. Specifiek wordt onderzocht of volledigheid noodzakelijkerwijs impliceert dat een dergelijke hypersurface onbegrensd is, en sterker nog, of het een propere afbeelding moet zijn (dat wil zeggen: de voorafbeelding van elke compacte verzameling is compact). Hoewel deze vraag is opgelost voor ingebedde minimale oppervlakken in $\mathbb{R}^3$ (waarbij properheid werd bewezen onder voorwaarden van eindige topologie of een positieve injectieradius), blijft de hogere-dimensionale casus ($n \ge 3$) grotendeels onopgelost vanwege het falen van instrumenten zoals de halfruimte-stelling en de afwezigheid van analytische representaties zoals de Weierstrass-formule.

De auteurs richten zich op de casus $n=3$, waarbij zij verbonden, volledige, ingebedde minimale hypersurfaces $\Sigma^3 \subset \mathbb{R}^4$ beschouwen. Het centrale probleem is om te bepalen of de combinatie van een begrensde tweede fundamentele vorm ($\sup_\Sigma |A_\Sigma| < \infty$) en een eindige tweede Betti-getal ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) dwingt tot properheid.

Methodologie en Bewijsstrategie
Het bewijs verloopt via een tegenspraak, waarbij wordt aangenomen dat $\Sigma$ volledig, ingebed is, voldoet aan de geometrische en topologische grenzen, maar niet proper is.

1. Reductie naar een laminatie in een halfruimte/slab:
   Volgens argumenten uit [MIR05] en recente resultaten over de Stabiele Bernstein-conjectuur ([CL24], [CL23], [CLMS26], [CMR24], [Maz24]), stellen de auteurs vast dat als $\Sigma$ niet proper is, deze rigide verplaatst kan worden (en indien nodig gedilateerd) om een minimale laminatie te worden die in een open halfruimte $U = \{x_4 > 0\}$ of een slab $U = \{0 < x_4 < H\}$ ligt. In deze configuratie is het hypervlak $\{x_4 = 0\}$ opgenomen in de limietverzameling van $\Sigma$.

2. Analyse van de hoogtefunctie:
   Laat $h = x_4|_\Sigma$ de hoogtefunctie zijn. Onder de aanname van niet-properheid is $h$ een positieve, niet-constante harmonische functie op $\Sigma$ met $\inf_\Sigma h = 0$.

   • Kromingscontrole: De aanname van begrensde kromming ($|A_\Sigma| \le \Lambda$) impliceert een gradiëntschatting $|\nabla_\Sigma h|^2 \le 2\Lambda h$. Dit zorgt ervoor dat voor kleine hoogtes de verticale projectie uniform niet-degenerat is.
   • Grafenstructuur: Met behulp van Lemma 1.4 uit [MIR05] tonen de auteurs aan dat verbonden componenten van sub-niveauverzamelingen $\{h < \tau\}$ globale grafen zijn over domeinen in $\mathbb{R}^3$ met gradiëntbounds $|Du| < 1$.

3. Topologische beperkingen en niet-compacte componenten:
   Door gebruik te maken van de eindigheid van het tweede Betti-getal $b_2(\Sigma; \mathbb{Z}_2)$, gebruiken de auteurs een homologische argument (Lemma 2.1) om aan te tonen dat de niveauverzamelingen $\{h = c\}$ slechts een eindig aantal compacte verbonden componenten kunnen hebben.

   • Omdat $\{x_4 = 0\}$ een limietblad is, zijn er oneindig veel verschillende componenten van $\{h < \tau\}$.
   • Door de eindigheid van compacte componenten identificeren de auteurs een specifieke verbonden component $V \subset \{h < \tau\}$ waarvan de rand een niet-compacte verbonden component $S \subset \{h = \tau\}$ bevat en die een lager niveau $\{h = t\}$ snijdt in een niet-compacte verbonden component $\Gamma$.

4. Constructie van een wereldwijde Lipschitz-functie:
   De component $V$ is een graaf $y \mapsto u(y)$ over een domein $D \subset \mathbb{R}^3$. De auteurs definiëren een functie $g: \mathbb{R}^3 \to \mathbb{R}$ door $g(y) = \tau - u(y)$ op $D$ en $0$ elders.

   • Lipschitz-eigenschap: De gradiëntbound $|Du| < 1$ zorgt ervoor dat $g$ wereldwijd 1-Lipschitz is.
   • Integraal-schatting: Gebruikmakend van de minimaliteit van $\Sigma$ en integratie door delen met een afkapfunctie, leiden de auteurs een gewogen $L^2$-bound op de gradiënt af:
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. Afleiden van de tegenspraak:
   De verzamelingen $S$ en $\Gamma$ projecteren naar onbegrensde, verbonden verzamelingen $S_0$ en $\Gamma_0$ in $\mathbb{R}^3$. De functie $g$ neemt de waarde $0$ aan op $S_0$ en een afzonderlijke constante waarde $a = \tau - t$ op $\Gamma_0$.

   • Omdat $S_0$ en $\Gamma_0$ onbegrensd en verbonden zijn, snijden zij elke voldoende grote sfeer $\partial B_r(0)$.
   • De Lipschitz-conditie impliceert dat $g$ op deze sferen binnen kleine geodetische kapjes moet overgaan van nabij $0$ naar nabij $a$.
   • Door een logaritmische onderste schatting voor de Dirichlet-energie van dergelijke functies op sferen toe te passen (verwijzend naar [AM26b, Lemma 5.8]), tonen de auteurs aan dat het integraal van $|\nabla g|^2$ over het exterieur van een grote bal logaritmisch divergeert:
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     Deze divergentie staat in tegenspraak met de eerder vastgestelde eindigheid van de gewogen integraal, waarmee wordt bewezen dat de initiële aanname (dat $\Sigma$ niet proper is) onjuist is.

Belangrijkste bijdragen en resultaten

• Hoofdstelling: Het artikel bewijst dat elke verbonden, volledige, ingebedde minimale hypersurface $\Sigma^3 \subset \mathbb{R}^4$ met een begrensde tweede fundamentele vorm en een eindig tweede Betti-getal ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) proper is.
• Resolutie van een specifieke casus: Dit biedt het eerste positieve antwoord op de Calabi–Yau-conjectuur voor ingebedde minimale hypersurfaces in $\mathbb{R}^4$ onder specifieke geometrische en topologische beperkingen.
• Nieuw bewijs voor $\mathbb{R}^3$: De methodologie levert een nieuw bewijs voor de properheid van volledige ingebedde minimale oppervlakken in $\mathbb{R}^3$ met begrensde kromming, onafhankelijk van de Xavier halfruimte-stelling (die door Rosenberg [Ros01] werd gebruikt). Dit wordt bereikt door te observeren dat voor $\Sigma^2 \times \mathbb{R}$ het tweede Betti-getal nul is.
• Noodzakelijkheid van aannames: De auteurs verduidelijken de subtiliteit van de aanname van begrensde kromming. Zij merken op dat zonder deze aanname, de stelling zou impliceren dat alle volledige ingebedde minimale oppervlakken in $\mathbb{R}^3$ proper zijn, een bewering die potentieel in strijd is met folklore-voorbeelden (Meeks). Hiermee wordt de begrensde kromming-conditie waarschijnlijk essentieel, tenzij er sterkere topologische beperkingen (bijv. eindig eerste Betti-getal) worden opgelegd.

Betekenis en reikwijdte
Het artikel claimt een "eerste antwoord" te bieden in de richting van het begrijpen van properheid voor minimale hypersurfaces in hogere dimensies ($n \ge 3$), waar standaardinstrumenten falen. De auteurs verklaren expliciet dat hun resultaat van toepassing is op standaardfamilies zoals de 3D-catenoïde, voorbeelden asymptotisch aan Simons-conussen, en producten van minimale oppervlakken met begrensde kromming in $\mathbb{R}^3$ met $\mathbb{R}$.

Het werk claimt geen resolutie voor de conjectuur voor alle volledige ingebedde minimale hypersurfaces in $\mathbb{R}^4$, noch claimt het de hypothese van begrensde kromming of het eindige Betti-getal te verwijderen. In plaats daarvan vestigt het een rigoureuze link tussen begrensde geometrie, eindige topologie (specifiek $b_2$) en properheid, waarbij wordt benadrukt dat het falen van properheid in hogere dimensies (zoals gezien in voorbeelden door de eerste twee auteurs met onbegrensde kromming en oneindige topologie) nauw verbonden is met de schending van deze specifieke condities.