Stationary and stable varifolds with singularities

Resumo Técnico: Varifolde Estacionários e Estáveis com Singularidades

1. O Problema e o Contexto

O artigo aborda uma questão central na teoria geométrica da medida e na análise de superfícies mínimas: a estrutura e a dimensão do conjunto singular de varifolde estacionários integrais (generalizações de superfícies mínimas que permitem multiplicidades e singularidades).

• Contexto Histórico: Desde o trabalho seminal de Allard (1972), sabe-se que a regularidade de um varifolde estacionário depende da densidade e da topologia da parte regular. Um obstáculo conhecido para provar limites superiores na dimensão do conjunto singular é a possibilidade de que a topologia da parte suave se acumule em uma singularidade plana.
• A Questão Central: Os autores investigam se é possível construir exemplos onde uma sequência de estruturas topológicas complexas (como "pescoços" de catenoides ou discos flutuantes) converge para um ponto singular isolado de multiplicidade 2, em um ambiente com métrica de baixa regularidade.
• Hipótese de Trabalho: O foco é demonstrar que, quando a métrica ambiente tem regularidade $C^{1,\alpha}$ (com $\alpha \in [0, 1)$), é possível criar exemplos onde a parte regular possui gênero infinito ou singularidades de junção tripla que se acumulam na origem, desafiando expectativas de regularidade mais forte.

2. Principais Resultados (Teoremas)

Os autores provam dois teoremas principais que constroem exemplos explícitos de superfícies mínimas com comportamento singular específico:

• Teorema 1.1 (Superfície Imersa com Gênero Infinito):

  • Para todo $\alpha \in [0, 1)$, existe uma métrica $g \in C^{1,\alpha}(\mathbb{R}^{m+1})$ e uma corrente integral $T$ estacionária em relação a $g$.
  • $T$ é representada por uma superfície mínima imersa $\Sigma$ em $B_1(0) \setminus \{0\}$.
  • O cone tangente varifold de $\Sigma$ na origem é $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$ (duas cópias do plano).
  • Contra-intuitivo: O gênero de $\Sigma \cap B_r(0) \setminus \{0\}$ é infinito para qualquer $r > 0$. Isso significa que há uma sequência infinita de "pescoços" (catenoides) acumulando-se na origem.

• Teorema 1.2 (Superfície Estável com Junções Triples):

  • Para todo $\alpha \in [0, 1)$, existe uma métrica $g \in C^{1,\alpha}$ e um varifold estacionário $V$.
  • $V$ é representado por uma superfície mínima estável $\Sigma$ em $B_1(0) \setminus (\bigcup \gamma_k \cup \{0\})$, onde $\gamma_k$ são esferas $(m-1)$-dimensionais disjuntas que convergem para a origem.
  • O cone tangente na origem é novamente $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$.
  • Estrutura Local: Em torno de cada $\gamma_k$, a superfície $\Sigma$ consiste em três componentes conectadas que se encontram em ângulos iguais (configuração de "disco flutuante" ou junção tripla).
  • O conjunto singular tem medida de Hausdorff finita, mas a estrutura topológica impede a regularidade clássica esperada em métricas mais suaves.

3. Metodologia e Estratégia de Prova

A construção baseia-se em uma técnica de "surgery" (cirurgia) iterativa e perturbação de métricas.

• Modelos Básicos:

  1. Modelo Base: A união de dois gráficos mínimos (funções harmônicas ou polinômios harmônicos homogêneos) que são tangentes na origem.
  2. Modelos Locais (Surgery):
     • Catenoides: Para o Teorema 1.1, insere-se uma sequência infinita de catenoides conectando os dois gráficos base.
     • Discos Flutuantes: Para o Teorema 1.2, insere-se uma estrutura composta por duas partes de catenoides e um disco plano que se encontram em um círculo comum com ângulos de $2\pi/3$. Esta estrutura é estável e minimizadora módulo 3.

• Técnica de Colagem (Gluing):

  • Os autores realizam uma colagem suave entre o modelo base e os modelos locais (catenoides ou discos) em anéis concêntricos.
  • Utilizam uma partição da unidade para definir uma função $v$ que interpola entre os gráficos.

• Perturbação da Métrica e Calibração:

  • O ponto crucial é que, após a colagem, a superfície resultante não é mais mínima na métrica euclidiana padrão.
  • Para restaurar a estacionariedade (e estabilidade no Teorema 1.2), os autores constroem uma forma de calibração ($\omega$) em uma vizinhança tubular da superfície colada.
  • Eles modificam a métrica euclidiana por um fator conforme $\lambda^2$ (onde $\lambda$ é escolhido para que a norma comass da forma $\omega$ seja 1 na superfície).
  • Regularidade: A análise cuidadosa das derivadas do fator conforme $\lambda$ mostra que a métrica resultante é de classe $C^{1,\alpha}$, mas não melhor, devido às estimativas das derivadas dos modelos base e locais. A curvatura de Ricci não é controlada na origem.

• Convergência Iterativa:

  • O processo é repetido infinitamente para uma sequência de raios $r_k \to 0$.
  • A escolha dos parâmetros (raios e alturas dos catenoides/discos) garante que a sequência de funções e métricas convirja para um limite bem-definido, preservando a estacionariedade e a estabilidade.

4. Contribuições Chave

1. Contra-exemplos à Regularidade: O trabalho demonstra que, em métricas $C^{1,\alpha}$, a condição de que o cone tangente seja uma cópia dupla de um plano não é suficiente para garantir que a superfície seja localmente a união de dois gráficos mínimos sem interseções (refutando uma possível extensão de resultados recentes para métricas lisas).
2. Limites da Teoria de Regularidade: Os exemplos mostram que a finitude da medida de Hausdorff $H^{n-1}$ do conjunto singular não é suficiente para garantir a regularidade ou a estrutura de gráfico único, sugerindo que a condição de capacidade zero (usada em trabalhos recentes como [3]) é ótima.
3. Estabilidade em Métricas de Baixa Regularidade: O Teorema 1.2 fornece o primeiro exemplo de uma superfície mínima estável (fora de um conjunto de medida finita) que possui uma estrutura de junção tripla acumulando-se em um ponto singular, em um ambiente não-euclidiano com regularidade limitada.
4. Técnica de Calibração Adaptada: A construção de uma forma de calibração em uma métrica perturbada para manter a estabilidade de estruturas com topologia complexa (como discos flutuantes) é uma inovação metodológica significativa.

5. Significado e Implicações

• Para a Teoria de Varifolde: O artigo esclarece os limites dos teoremas de regularidade de Allard e suas generalizações. Ele estabelece que a topologia da parte regular pode ser extremamente complexa (gênero infinito) mesmo quando o cone tangente é simples, desde que a métrica ambiente não seja suficientemente regular ($C^{1,1}$ ou superior).
• Sobre a Conjectura de Regularidade: Os resultados sugerem que, para provar a regularidade de varifolde estacionários com densidade $<3$ (como feito recentemente por Hirsch e Spolaor em [13]), é necessário assumir condições topológicas adicionais ou exigir maior regularidade da métrica. O Teorema 1.1 mostra que, sem essas hipóteses adicionais, a conclusão falha.
• Aplicabilidade: Embora os exemplos sejam construídos em métricas específicas, eles servem como limites de otimalidade para qualquer teoria de regularidade que dependa apenas da densidade e da estacionariedade, indicando que a regularidade da métrica ambiente é um fator crítico na estrutura das singularidades.

Em resumo, o paper prova que a "acumulação de topologia" em singularidades planas é um fenômeno real e inevitável em métricas de regularidade $C^{1,\alpha}$, desafiando a intuição de que cones tangentes simples implicam estruturas locais simples.