Free boundary minimal annuli in convex balls

Resumo Técnico: Anéis Mínimos de Fronteira Livre em Esferas Convexas

Enunciado do Problema
Este artigo aborda dois problemas primários na análise geométrica de subvariedades mínimas de fronteira livre em variedades de Riemann 3 com fronteira:

1. A 4-largura da bola unitária euclidiana ($B^3$): Embora as três primeiras larguras de $B^3$ sejam conhecidas como $\pi$ (realizadas por discos equatoriais), o valor da quarta largura, $\omega_4(B^3)$, permanecia em aberto. Especificamente, conjecturava-se que $\omega_4(B^3)$ é realizado pela área do catenoide crítico, o único anel mínimo de fronteira livre propriamente embutido em $B^3$ (salvo congruência).
2. Multiplicidade de anéis mínimos de fronteira livre: Motivados pela conjectura de Yau sobre esferas mínimas e pela conjectura de White sobre toros mínimos em 3-esferas fechadas, os autores investigam a existência de múltiplos anéis mínimos de fronteira livre em variedades 3 compactas com curvatura de Ricci não negativa e fronteira estritamente convexa. Embora a existência de pelo menos um tal anel fosse conhecida, a existência de múltiplos (especificamente três) com topologia prescrita era um problema em aberto.

Metodologia
Os autores empregam a teoria min-max de Almgren-Pitts, especificamente a variante de Simon-Smith adaptada para configurações de fronteira livre, combinada com técnicas de controle topológico.

• Construção de Famílias Canônicas: Inspirados pela família canônica de 5 parâmetros de Marques-Neves para provar a conjectura de Willmore em $S^3$, os autores constroem uma família de 4 parâmetros de superfícies em $B^3$. Esta família é parametrizada por $\mathbb{RP}^4$ e consiste de anéis propriamente embutidos (e suas degenerações). A construção utiliza difeomorfismos conformes da bola e projeções estereográficas. Um passo crucial envolve uma técnica de "explosão de fronteira" (boundary blow-up) para garantir a continuidade da família conforme os parâmetros se aproximam da fronteira do espaço de parâmetros, estendendo a família para um mapa contínuo em $\mathbb{RP}^4$.
• Controle Topológico: Os autores selecionam uma superfície inicial específica — o anel obtido pela projeção estereográfica de metade do toro de Clifford de $S^3$. Esta escolha é motivada pela estrutura de "superfície de canal" (channel surface) do toro de Clifford, que é preservada sob deformações conformes. Esta estrutura permite um controle topológico rigoroso, garantindo que as superfícies na família tenham gênero 0 e no máximo dois componentes de fronteira (limite topológico $(0, 1)$).
• Construção Min-Max Repetitiva: Para provar a existência de múltiplos anéis, os autores estendem a família de 4 parâmetros para uma família de 6 parâmetros (parametrizada por $\mathbb{RP}^4 \times \mathbb{RP}^2$) variando o eixo de simetria rotacional do anel inicial. Eles então adaptam o esquema "min-max repetitivo" desenvolvido por Chu-Li para variedades fechadas para o cenário de fronteira livre. Isso envolve:
  • Aplicar iterativamente o teorema min-max de Simon-Smith para detectar superfícies mínimas.
  • Usar um "processo de pinçamento relativo" (relative pinch-off process) para remover superfícies mínimas detectadas (discos ou anéis) do espaço de parâmetros, mantendo a classe de homotopia do sweepout.
  • Utilizar a teoria de Lyusternik-Schnirelmann sobre a cohomologia do espaço de parâmetros para derivar um limite inferior no número de pontos críticos (superfícies mínimas).

Contribuições Principais e Resultados

1. Limite Superior para $\omega_4(B^3)$:
   Os autores provam que a largura min-max de Simon-Smith da família de 4 parâmetros construída é alcançada por um anel de fronteira livre propriamente embutido de multiplicidade um. Ao combinar o controle topológico (que exclui discos) e estimativas de índice de Morse (mostrando que o índice é exatamente 4), eles identificam esta superfície limite como o catenoide crítico. Consequentemente, estabelecem o limite superior:
   $$\omega_4(B^3) \le \text{Área}(\text{Catenoide Crítico})$$
   Combinado com um limite inferior de $\pi$ (provado via um teorema de lacuna para superfícies mínimas de fronteira livre), isso resulta em:
   $$\pi < \omega_4(B^3) \le \text{Área}(\text{Catenoide Crítico})$$

2. Existência de Três Anéis Mínimos:
   O artigo prova que toda variedade 3 compacta com curvatura de Ricci não negativa e fronteira estritamente convexa contém pelo menos três anéis mínimos embutidos de fronteira livre. Isto é alcançado por:

   • Construir a família de 6 parâmetros $\Phi_6$.
   • Aplicar o processo min-max repetitivo para detectar uma sequência de superfícies mínimas.
   • Usar um argumento cohomológico envolvendo o não-vazio de $\lambda^4 \cup \alpha^2$ no anel de cohomologia do espaço de parâmetros $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$.
   • Mostrar que, se menos de três anéis existissem, as restrições topológicas forçariam uma contradição com a classe de cohomologia não nula, implicando a existência de pelo menos três anéis distintos.

3. Multiplicidade Um e Controle Topológico:
   Os autores estabelecem rigorosamente o Teorema de Multiplicidade Um para limites min-max de Simon-Smith de fronteira livre neste contexto, garantindo que as superfícies detectadas não são coberturas múltiplas. Eles também fornecem um arcabouço para controlar a topologia (gênero e complexidade de fronteira) de superfícies min-max no cenário de fronteira livre, adaptando resultados de Franz-Schulz e Ketover.

Significância
O artigo reivindica significância em várias áreas:

• Análogo de Fronteira Livre da Conjectura de Willmore: Fornece a primeira família natural de 4 parâmetros de superfícies cuja largura min-max é realizada pelo catenoide crítico, servindo como um análogo de fronteira livre para a construção de Marques-Neves para a conjectura de Willmore.
• Resolução da Conjectura de Largura: Confirma a conjectura de que a 4-largura da bola unitária é limitada superiormente pela área do catenoide crítico, estreitando a lacuna para o valor exato de $\omega_4(B^3)$.
• Resultados de Multiplicidade: Representa a primeira construção de múltiplas superfícies mínimas de fronteira livre com topologia prescrita (especificamente, gênero 0 com duas componentes de fronteira) em variedades 3 convexas gerais. Isto estende resultados anteriores sobre discos mínimos e toros em variedades fechadas para o cenário de fronteira livre.
• Avanço Metodológico: O desenvolvimento do "processo de pinçamento relativo" e a adaptação da teoria min-max repetitiva para cenários de fronteira livre fornecem um novo conjunto de ferramentas para construir subvariedades mínimas com tipos topológicos específicos em variedades com fronteira.

Os autores observam que, embora estabeleçam o limite superior para $\omega_4(B^3)$, a igualdade estrita $\omega_4(B^3) = \text{Área}(\text{Catenoide Crítico})$ permanece condicional à unicidade de superfícies mínimas de fronteira livre de índice-4 ou a um limite inferior em sua área, que são questões abertas atualmente. Da mesma forma, a existência de exatamente três anéis é provada sob a suposição de finitude, que é justificada por argumentos de compacidade para a classe topológica específica.