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

Resumo Técnico: Conjectura de Calabi–Yau para Hipersuperfícies Mínimas em $\mathbb{R}^4$ com Geometria Limitada

Enunciado do Problema
O artigo aborda as conjecturas de Calabi–Yau para hipersuperfícies mínimas completas $\Sigma^n \subset \mathbb{R}^{n+1}$ com $n \ge 2$. Especificamente, investiga se a completude exige que tal hipersuperfície seja não limitada e, mais fortemente, se deve ser um mapa próprio (ou seja, a pré-imagem de qualquer conjunto compacto é compacta). Embora esta questão tenha sido resolvida para superfícies mínimas imersas em $\mathbb{R}^3$ (provando a propriedade sob condições de topologia finita ou raio de injetividade positivo), o caso de dimensões superiores ($n \ge 3$) permanece amplamente em aberto devido à falha de ferramentas como o teorema do semi-espaço e à ausência de representações analíticas como a fórmula de Weierstrass.

Os autores focam no caso $n=3$, considerando hipersuperfícies mínimas, conectadas, completas e imersas $\Sigma^3 \subset \mathbb{R}^4$. O problema central é determinar se a combinação de segunda forma fundamental limitada ($\sup_\Sigma |A_\Sigma| < \infty$) e segundo número de Betti finito ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) força a hipersuperfície a ser própria.

Metodologia e Estratégia de Prova
A prova procede por contradição, assumindo que $\Sigma$ é completa, imersa, satisfaz os limites geométricos e topológicos, mas não é própria.

1. Redução a uma Laminação em um Semi-espaço/Slab:
   Seguindo argumentos de [MIR05] e resultados recentes sobre a conjectura de Bernstein estável ([CL24], [CL23], [CLMS26], [CMR24], [Maz24]), os autores estabelecem que, se $\Sigma$ não é própria, ela pode ser rigidamente movida (e dilatada, se necessário) para se tornar uma laminação mínima contida em um semi-espaço aberto $U = \{x_4 > 0\}$ ou em um slab $U = \{0 < x_4 < H\}$. Nesta configuração, o hiperplano fronteira $\{x_4 = 0\}$ está contido no conjunto limite de $\Sigma$.

2. Análise da Função Altura:
   Seja $h = x_4|_\Sigma$ a função altura. Sob a suposição de não-propriedade, $h$ é uma função harmônica positiva e não constante em $\Sigma$ com $\inf_\Sigma h = 0$.

   • Controle de Curvatura: A suposição de curvatura limitada ($|A_\Sigma| \le \Lambda$) implica uma estimativa de gradiente $|\nabla_\Sigma h|^2 \le 2\Lambda h$. Isso garante que, para alturas pequenas, a projeção vertical é uniformemente não degenerada.
   • Estrutura de Gráfico: Usando o Lema 1.4 de [MIR05], os autores mostram que os componentes conectados dos subníveis $\{h < \tau\}$ são gráficos globais sobre domínios em $\mathbb{R}^3$ com limites de gradiente $|Du| < 1$.

3. Restrições Topológicas e Componentes Não Compactos:
   Aproveitando a finitude do segundo número de Betti $b_2(\Sigma; \mathbb{Z}_2)$, os autores utilizam um argumento homológico (Lema 2.1) para mostrar que os conjuntos de nível $\{h = c\}$ podem ter apenas um número finito de componentes conexos compactos.

   • Como $\{x_4 = 0\}$ é uma folha limite, existem infinitos componentes distintos de $\{h < \tau\}$.
   • Pela finitude de componentes compactos, os autores identificam um componente conectado específico $V \subset \{h < \tau\}$ cujo bordo contém um componente conexo não compacto $S \subset \{h = \tau\}$ e que intersecta um nível inferior $\{h = t\}$ em um componente conexo não compacto $\Gamma$.

4. Construção de uma Função Lipschitz Global:
   O componente $V$ é um gráfico $y \mapsto u(y)$ sobre um domínio $D \subset \mathbb{R}^3$. Os autores definem uma função $g: \mathbb{R}^3 \to \mathbb{R}$ definindo $g(y) = \tau - u(y)$ em $D$ e $0$ em outro lugar.

   • Propriedade Lipschitz: O limite de gradiente $|Du| < 1$ garante que $g$ é globalmente 1-Lipschitz.
   • Estimativa Integral: Usando a minimalidade de $\Sigma$ e integração por partes com uma função de corte (cutoff function), os autores derivam uma estimativa $L^2$ ponderada sobre o gradiente:
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. Derivação da Contradição:
   Os conjuntos $S$ e $\Gamma$ projetam-se em conjuntos não limitados e conexos $S_0$ e $\Gamma_0$ em $\mathbb{R}^3$. A função $g$ assume o valor $0$ em $S_0$ e um valor constante distinto $a = \tau - t$ em $\Gamma_0$.

   • Como $S_0$ e $\Gamma_0$ são não limitados e conexos, eles intersectam toda esfera suficientemente grande $\partial B_r(0)$.
   • A condição Lipschitz implica que, nestas esferas, $g$ deve transicionar de próximo de $0$ para próximo de $a$ dentro de pequenos capelos geodésicos.
   • Aplicando uma estimativa de limite inferior logarítmica para a energia de Dirichlet de tais funções em esferas (citando [AM26b, Lema 5.8]), os autores mostram que a integral de $|\nabla g|^2$ sobre o exterior de uma grande bola diverge logaritmicamente:
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     Esta divergência contradiz a integral ponderada finita estabelecida anteriormente, provando que a suposição inicial (de que $\Sigma$ não é própria) é falsa.

Principais Contribuições e Resultados

• Teorema Principal: O artigo prova que qualquer hipersuperfície mínima, conexa, completa e imersa $\Sigma^3 \subset \mathbb{R}^4$ com segunda forma fundamental limitada e número de Betti segundo finito ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) é própria.
• Resolução de um Caso Específico: Isto fornece a primeira resposta afirmativa para a conjectura de Calabi–Yau para hipersuperfícies mínimas imersas em $\mathbb{R}^4$ sob restrições geométricas e topológicas específicas.
• Nova Prova para $\mathbb{R}^3$: A metodologia produz uma nova prova da propriedade de superfícies mínimas imersas e completas em $\mathbb{R}^3$ com curvatura limitada, independente do teorema do semi-espaço de Xavier (que foi usado por Rosenberg [Ros01]). Isto é alcançado ao observar que, para $\Sigma^2 \times \mathbb{R}$, o segundo número de Betti desaparece.
• Necessidade de Suposições: Os autores esclarecem a sutileza da suposição de curvatura limitada. Eles observam que, sem ela, o teorema implicaria que todas as superfícies mínimas imersas completas em $\mathbb{R}^3$ são próprias, uma afirmação potencialmente contraditada por exemplos do folclore (Meeks). Assim, a condição de curvatura limitada é provavelmente essencial, a menos que restrições topológicas mais fortes (ex: primeiro número de Betti finito) sejam impostas.

Significância e Escopo
O artigo afirma fornecer uma "primeira resposta" na direção de compreender a propriedade para hipersuperfícies mínimas em dimensões superiores ($n \ge 3$), onde as ferramentas padrão falham. Os autores declaram explicitamente que seu resultado se aplica a famílias padrão como o catenoide 3D, exemplos assintóticos a cones de Simons e produtos de superfícies mínimas de curvatura limitada em $\mathbb{R}^3$ com $\mathbb{R}$.

O trabalho não pretende resolver a conjectura para todas as hipersuperfícies mínimas imersas completas em $\mathbb{R}^4$, nem pretende remover as hipóteses de curvatura limitada ou de Betti finito. Em vez disso, estabelece uma ligação rigorosa entre geometria limitada, topologia finita (especificamente $b_2$) e propriedade, destacando que a falha da propriedade em dimensões superiores (como visto em exemplos dos dois primeiros autores com curvatura não limitada e topologia infinita) está intimamente ligada à violação dessas condições específicas.