Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

Resumo Técnico: Equivalência de Limites de Área Intrínseca e Extrínseca para Superfícies Mínimas

Enunciado do Problema
O artigo aborda uma lacuna fundamental na teoria das subvariedades mínimas relativa à relação entre limites geométricos intrínsecos e extrínsecos. Especificamente, investiga-se se uma subvariedade mínima $\Sigma^d \hookrightarrow \mathbb{R}^N$, completa, conexa e mergulhada suavemente, que possui uma densidade de área intrínseca limitada (crescimento de volume relativo a bolas geodésicas intrínsecas) implica necessariamente uma densidade de área extrínseca limitada (crescimento de volume relativo a bolas euclidianas no espaço ambiente).

Embora a desigualdade $M^{int}_R \leq M^{ext}_R$ seja trivial devido ao fato de a distância intrínseca ser sempre maior ou igual à distância euclidiana, a direção inversa tem sido um obstáculo significativo. Essa falta de equivalência tem impedido o desenvolvimento de uma teoria geral de compacidade para imersões mínimas com limites de área intrínseca, contrastando com a teoria bem estabelecida para área limitada extrinsecamente (varifolds integrais estacionários). Essa lacuna é particularmente aguda no contexto da "Conjectura de Bernstein Estável" e de estimativas de curvatura para hipersuperfícies mínimas estáveis, onde o caso $n=6$ para limites intrínsecos permanecia aberto desde o trabalho seminal de Schoen, Simon e Yau [SSY75].

Metodologia
O autor, Enric Florit-Simon, emprega uma combinação de fórmulas de monotonicidade e análise geométrica assintótica para estabelecer a equivalência.

1. Fórmula de Monotonicidade Intrínseca: A ferramenta técnica central é uma fórmula de monotonicidade para a densidade de área intrínseca $M^{int}_R(\Sigma)$. Motivado por cálculos em [Yau75] e notado em [Cho21], o autor deriva uma identidade (Lema 2.1) mostrando que, para uma subvariedade mínima, a diferença na densidade de área intrínseca entre dois raios é controlada por uma integral envolvendo a diferença entre a distância intrínseca $r_\Sigma(x)$ e a distância euclidiana $|x|$, bem como o vetor curvatura média. Para superfícies mínimas ($H_\Sigma \equiv 0$), isso implica que $M^{int}_R$ é monotonicamente não decrescente.
2. Pinçamento de Densidade e Estimativas Corda-Arco: A prova utiliza um argumento de "pinçamento de densidade" (Lema 2.3). Demonstra-se que, se a densidade de área intrínseca não cresce significativamente entre escalas (ou seja, $M^{int}_{8R} - M^{int}_R$ é pequeno), então as métricas intrínseca e extrínseca são assintoticamente comparáveis (uma estimativa corda-arco: $|x| \leq r_\Sigma(x) \leq (1+\epsilon)|x|$) em regiões anulares.
3. Equivalência Assintótica: Ao combinar a monotonicidade da densidade intrínseca com a estimativa corda-arco, o autor prova que, se a densidade intrínseca é limitada, a imersão deve ser própria e a densidade extrínseca deve compartilhar o mesmo limite assintótico.
4. Análise de Blow-up: Para a aplicação às estimativas de curvatura (Teorema 1.4), o artigo emprega um argumento de escalonamento padrão (blow-up). Assumindo que uma limitação de curvatura falha, constrói-se uma sequência de imersões reescaladas. Os limites uniformes de área intrínseca e a fórmula de monotonicidade garantem a existência de uma hipersuperfície mínima limite.

Contribuições e Resultados Principais

• Teorema 1.1 (Equivalência de Limites de Área): O resultado primário estabelece que, para qualquer subvariedade mínima $\Sigma^d \hookrightarrow \mathbb{R}^N$, completa, conexa e mergulhada suavemente, os limites das densidades de área intrínseca e extrínseca quando $R \to \infty$ existem e são iguais:
  $$\lim_{R\to\infty} M^{int}_R(\Sigma, p) = \lim_{R\to\infty} M^{ext}_R(\Sigma, p) \in [\omega_d, \infty]$$
  Consequentemente, $\Sigma$ possui densidade de área intrínseca limitada se e somente se possui densidade de área extrínseca limitada. No caso limitado, a imersão também é mostrada como própria.

• Teorema 1.3 (Resolução da Lacuna $n=6$): Ao combinar o Teorema 1.1 com a recente descoberta de Bellettini [Bel25] (que removeu o requisito de imersão embutida para $n=6$ sob limites extrínsecos), o artigo resolve a lacuna dimensional para hipersuperfícies mínimas estáveis. Prova-se que uma hipersuperfície mínima estável, bilateral, completa, conexa e mergulhada suavemente $\Sigma^6 \hookrightarrow \mathbb{R}^7$ com densidade de área intrínseca limitada deve ser um hiperplano plano.

• Teorema 1.4 (Estimativas Locais de Curvatura): O artigo estabelece estimativas locais de curvatura para hipersuperfícies mínimas estáveis na dimensão $n=6$ com densidade de área intrínseca limitada. Especificamente, se $|B^\Sigma_R(p)| \leq \Lambda R^6$, então a segunda forma fundamental satisfaz $|II_\Sigma| \leq C/R$ em uma bola menor. Isso completa o quadro de estimativas de curvatura iniciado por Schoen, Simon e Yau [SSY75].

Significado e Alegações
O artigo alega resolver uma obstrução de longa data na classificação de hipersuperfícies mínimas estáveis.

• Fechamento da Lacuna Dimensional: Antes deste trabalho, a planicidade de imersões mínimas estáveis inteiras em $\mathbb{R}^7$ era conhecida para $n \leq 5$ (via [SSY75]) e para $n=6$ apenas sob limites de área extrínseca ou suposições de imersão embutida. O Teorema 1.3 estende o resultado para $n=6$ ao cenário intrínseco, igualando os contraexemplos conhecidos para $n \geq 7$ (cone de Simons).
• Teoria de Compacidade: A equivalência de limites intrínsecos e extrínsecos fornece um caminho para aplicar a poderosa teoria de compacidade de varifolds integrais estacionários (teorema de Allard [All72]) a imersões mínimas definidas por limites de área intrínseca, uma ferramenta anteriormente indisponível para essa classe específica.
• Estratégia para Dimensões Superiores: O autor sugere que o Teorema 1.3 valida uma estratégia para a "Conjectura de Bernstein Estável" em dimensões superiores: provar que hipersuperfícies mínimas estáveis satisfazem limites de área intrínseca, reduzindo assim sua classificação ao caso do hiperplano plano. Essa abordagem já foi bem-sucedida para $n=2, 3, 4, 5$ em trabalhos recentes [CL24, CLMS, Maz24], e o artigo atual remove a obstrução para $n=6$.

O artigo não propõe novas aplicações experimentais ou direções futuras além das implicações matemáticas de resolver o caso $n=6$ e da equivalência das densidades de área. Ele enquadra sua contribuição como uma ponte teórica necessária conectando restrições geométricas intrínsecas a ferramentas analíticas extrínsecas.