Equivalence of Almgren-Pitts and phase-transition half-volume spectra

Resumo Técnico: Equivalência dos Espectros de Meia-Volumetria de Almgren–Pitts e de Transição de Fase

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria variacional e na teoria de min-max de variedades Riemannianas fechadas $(M^{n+1}, g)$. O objetivo central é provar a igualdade entre dois espectros distintos associados à busca de hipersuperfícies de curvatura média constante (CMC) que envolvem metade do volume da variedade:

1. Espectro de Meia-Volumetria de Almgren–Pitts ($\tilde{\omega}_p$): Baseado na teoria clássica de min-max para a área, restringindo-se a "varreduras" (sweepouts) de hipersuperfícies que delimitam exatamente metade do volume de $M$.
2. Espectro de Meia-Volumetria de Transição de Fase ($\tilde{c}(p)$): Baseado na equação de Allen–Cahn, onde os valores críticos são obtidos minimizando a energia funcional de Allen–Cahn sob a restrição de que a função $u$ tenha média zero ($\int_M u = 0$).

Anteriormente, Dey (2023) havia provado que os espectros totais (sem restrição de volume) de Almgren–Pitts e de transição de fase são iguais. Mazurowski e Zhou conjecturaram que essa equivalência se estenderia aos espectros de meia-volumetria. Este trabalho confirma essa conjectura.

2. Metodologia

A prova é dividida em duas direções principais, estabelecendo desigualdades entre os espectros e mostrando que elas se tornam igualdades no limite. O autor utiliza ferramentas sofisticadas de topologia geométrica, teoria de correntes e análise variacional.

A. Da Transição de Fase para Almgren–Pitts ($\tilde{\omega}_p \leq \frac{1}{2\sigma} \liminf \tilde{c}_\varepsilon(p)$)

• Aproximação Discreta: Começa-se com um conjunto compacto e invariante no espaço de funções $H^1(M)$ com média zero, que quase minimiza a energia de Allen–Cahn.
• Construção de Varreduras: Utilizando os níveis das funções $u$, constrói-se uma família discreta de ciclos (hipersuperfícies) via o teorema de Gaspar–Guaraco.
• Correção de Volume: O desafio principal é que as funções de média zero não garantem automaticamente que os níveis definam conjuntos de volume exatamente $h = \frac{1}{2}\text{Vol}(M)$. O autor prova que, para funções de média zero, os níveis próximos a $\pm 1$ têm volumes "quase" iguais a $h$.
• Mapa de Correção: Desenvolve-se um mapa de correção contínua que projeta famílias de conjuntos de Caccioppoli (com volume próximo de $h$) para a subvariedade de volume exatamente $h$, preservando a continuidade na topologia plana e controlando o aumento da área.

B. De Almgren–Pitts para Transição de Fase ($\frac{1}{2\sigma} \limsup \tilde{c}_\varepsilon(p) \leq \tilde{\omega}_p$)

• Discretização Quase-Suave: Parte-se de uma varredura de Almgren–Pitts (família de ciclos de volume $h$). Utiliza-se a técnica de discretização "quase-suave" de Dey para aproximar esses ciclos por hipersuperfícies suaves (exceto em um conjunto de codimensão 2).
• Construção de Campos de Fase: Define-se funções de distância assinada para essas hipersuperfícies e aplica-se uma função de transição suave (solução da equação de Allen–Cahn unidimensional) para criar uma família de funções em $H^1(M)$.
• Colagem (Gluing): Utiliza-se a construção de colagem de Dey para estender essa família de vértices para todo o complexo cúbico, garantindo a continuidade e a propriedade de simetria ($Z_2$-equivariância).
• Correção de Média Zero: A família construída inicialmente pode não ter média zero estrita. O autor demonstra que o desvio da média zero é pequeno (da ordem de $\sqrt{\varepsilon}$) devido às propriedades de localidade das hipersuperfícies quase-suaves.
• Projeção Final: Aplica-se um mapa de correção que subtrai a média de cada função, garantindo que a família final esteja no espaço de funções de média zero, sem aumentar significativamente a energia de Allen–Cahn.

3. Contribuições Chave

• Resolução da Conjectura de Mazurowski–Zhou: Prova rigorosa de que $\tilde{\omega}_p = \tilde{c}(p)$ para todo $p \in \mathbb{N}$.
• Técnicas de Correção de Volume e Média: Desenvolvimento de mapas de correção contínuos que lidam com as restrições de volume (no lado de Almgren–Pitts) e de média zero (no lado de Allen–Cahn), superando a dificuldade de que essas restrições não são preservadas automaticamente pelas aproximações naturais.
• Integração de Teorias: Unificação das técnicas de regularidade de varifolds (Hutchinson–Tonegawa–Wickramasekera) com a teoria de min-max de Almgren–Pitts no contexto de restrições de volume.

4. Resultados Principais

• Teorema 1.1: Para qualquer variedade Riemanniana fechada $(M^{n+1}, g)$ com $3 \leq n+1 \leq 7$, os espectros de meia-volumetria são idênticos:
  $$\tilde{\omega}_p = \tilde{c}(p)$$
• Lei de Weyl: O trabalho reforça que a lei de Weyl (comportamento assintótico dos autovalores) vale para ambos os espectros, o que é crucial para a densidade de hipersuperfícies CMC.
• Realização Geométrica: Cada valor do espectro é realizado por uma hipersuperfície de curvatura média constante que envolve metade do volume da variedade (possivelmente com multiplicidades pares de hipersuperfícies mínimas, dependendo da genericidade da métrica).

5. Significado e Implicações

• Conjectura do "Twin Bubble" (Bolhas Gêmeas): O resultado é um passo fundamental para a Conjectura de Bolhas Gêmeas de Zhou, que postula a existência de pelo menos duas hipersuperfícies distintas de curvatura média constante para cada $c > 0$. A equivalência dos espectros permite usar a teoria de Allen–Cahn (mais flexível analiticamente) para provar resultados sobre a teoria de Almgren–Pitts (mais geométrica).
• Conjectura de Yau para CMC: O trabalho apoia a versão da Conjectura de Yau para hipersuperfícies de curvatura média constante que envolvem metade do volume. Resultados anteriores de Mazurowski e Zhou mostraram que, para métricas genéricas em dimensões 3 a 5, cada valor $\tilde{\omega}_p$ é realizado por uma única hipersuperfície de multiplicidade 1.
• Unificação de Abordagens: Demonstra que a abordagem via equações diferenciais parciais (Allen–Cahn) e a abordagem puramente geométrica (min-max de área) são equivalentes mesmo sob restrições topológicas e volumétricas complexas, validando o uso de métodos de transição de fase para resolver problemas geométricos clássicos de existência.

Em suma, o artigo estabelece uma ponte definitiva entre duas grandes correntes da geometria variacional moderna, confirmando que a estrutura espectral de hipersuperfícies de volume constante é intrínseca à geometria da variedade, independentemente da ferramenta analítica utilizada para sua descoberta.