Ancient mean curvature flow asymptotic to Simons cone

Resumo Técnico: Fluxo de Curvatura Média Antigo Assintótico ao Cone de Simons

Enunciado do Problema
Este artigo investiga a classificação de fluxos de curvatura média (MCF) antigos, suaves e propriamente imersos em $\mathbb{R}^{2n}$ que são assintóticos ao cone de Simons simétrico $O(n) \times O(n)$ $\Sigma$ quando $t \to -\infty$. O cone de Simons, definido por $\{x \in \mathbb{R}^{2n} : |x'| = |x''|\}$, é um cone minimal com uma singularidade isolada na origem. Diferentemente de trabalhos anteriores sobre fluxos assintoticamente cilíndricos ou assintoticamente cônicos suaves, a presença da singularidade na origem no encolhedor (shrinker) modelo impede que o fluxo seja globalmente representado como um gráfico normal sobre o cone. O autor considera fluxos que satisfazem três suposições primárias:
(A1) O fluxo tem o cone de Simons como seu único fluxo tangente no infinito (blowdown).
(A2) O fluxo reside em um lado do cone de Simons.
(A3) O fluxo é convexo em média ($H \ge 0$).

A questão central é se tais fluxos são únicos e, se forem, se eles correspondem a soluções estacionárias conhecidas.

Metodologia
A estratégia de prova baseia-se em uma combinação de análise geométrica, teoria espectral de operadores linearizados e a construção de superfícies de barreira específicas.

1. Fluxo Reescalonado e Representação Gráfica: O autor trabalha com o fluxo de curvatura média reescalonado $\tilde{M}_\tau$. A suposição (A1) implica que, para tempos suficientemente negativos, o fluxo pode ser expresso como um gráfico normal sobre o cone de Simons fora de um pequeno conjunto compacto contendo a origem. Devido à singularidade, este gráfico é truncado usando uma função de corte $\xi_\tau$.
2. Equação de Evolução e Controle de Erro: A evolução da função de gráfico truncada $\tilde{u}_\tau$ é governada por um operador linearizado $L$ mais termos de erro não lineares ($Q$) e erros de corte ($E$). O desafio técnico central é controlar esses termos de erro para isolar a dinâmica nos modos próprios de $L$.
3. Estimativas Chave:
   • Estimativa do Raio Gráfico (Seção 3): Usando um teorema de pseudolocalidade e o princípio de evitamento contra "auto-encolhedores internos" construídos, o autor deriva uma estimativa ótima relacionando o tamanho da região não-gráfica (perto da origem) com a proximidade $L^2$ do fluxo em relação ao cone em um anel fixo.
   • Estimativa Interno-Externo (Seção 4): Análoga a desigualdades de Poincaré inversas, esta estimativa limita a energia do fluxo na região "interna" (perto da singularidade) pela energia na região "externa" (longe da origem). Isso é alcançado construindo uma família de auto-encolhedores simétricos $O(n) \times O(n)$ que foliam uma pequena bola ao redor da origem (Teorema 7.5) e usando-os como barreiras.
4. Análise Espectral e Dinâmica de ODE: O operador linearizado $L$ no cone de Simons possui um espectro discreto. O autor analisa a evolução das projeções do fluxo sobre os modos próprios positivos, nulos e negativos. Ao utilizar a suposição de um lado só (A2) e o lema de ODE de Merle-Zaag, eles demonstram que a dinâmica é dominada pelo primeiro modo próprio positivo, levando a uma assintótica única.
5. Teoremas do Tipo Liouville: Para estabelecer a unicidade total sob convexidade em média (A3), o autor emprega teoremas do tipo Liouville para soluções antigas de equações parabólicas lineares no cone de Simons e em suas folhas de Hardt-Simon associadas. Esses teoremas, adaptados do trabalho de Stolarski, forçam a derivada temporal da função de gráfico a desaparecer, implicando estacionariedade.

Contribuições Principais e Resultados

• Assintótica Única na Região Parabólica (Teorema 1.1): Sob as suposições (A1) e (A2), o autor prova que qualquer tal fluxo antigo possui um comportamento assintótico único na região parabólica. Especificamente, o fluxo reescalonado $\tilde{M}_\tau$ converge para uma taxa específica determinada pela primeira autofunção do operador linearizado. O fluxo concorda com a solução estacionária dada por uma folha da foliação de Hardt-Simon no nível assintótico. O perfil assintótico é dado por $u_\tau(x) \sim c e^{\frac{1-\alpha}{2}\tau} |x|^\alpha$, onde $\alpha \in (-2, -1)$ é o expoente do primeiro autovalor.
• Unicidade Total sob Convexidade em Média (Teorema 1.3): Quando a suposição adicional de convexidade em média (A3) é imposta, o resultado de assintótica única é elevado para unicidade total. O autor prova que o fluxo deve ser um fluxo estacionário, especificamente uma das folhas da foliação de Hardt-Simon associada ao cone de Simons.
• Construção de Superfícies de Barreira: O artigo constrói duas famílias de auto-encolhedores simétricos $O(n) \times O(n)$ essenciais para as estimativas:
  • Auto-encolhedores Internos: Uma família de superfícies que foliam uma pequena bola ao redor da origem, comportando-se como as folhas de Hardt-Simon perto da singularidade (Proposição 7.1, Teorema 7.5).
  • "Trumpets" (Trombetas): Uma família de auto-encolhedores definidos fora de uma bola fixa, assintóticos a cones lineares, usados para controlar o comportamento do fluxo no infinito espacial (Proposição 8.1).

Significância e Alegações
O artigo aborda uma lacuna significativa na classificação de fluxos de curvatura média antigos ao lidar com um encolhedor modelo que possui uma singularidade isolada. O autor observa que esta singularidade introduz dificuldades fundamentais não presentes nos casos assintoticamente cilíndricos ou assintoticamente cônicos suaves, pois impede uma representação global de gráfico normal.

A significância do trabalho reside em:

1. Análogo Parabólico: Ele fornece um análogo parabólico para a classificação de hipersuperfícies minimais assintóticas a cones quadráticos.
2. Tratamento de Modelos Singulares: Demonstra que, mesmo quando o encolhedor modelo é singular, ainda é possível alcançar resultados de classificação através da construção cuidadosa de barreiras locais (auto-encolhedores internos) e do uso da condição de um lado só do fluxo.
3. Otimalidade das Suposições: O autor afirma que a suposição de um lado só (A2) é provavelmente ótima para a unicidade das assintóticas, notando que espera-se que contraexemplos existam sem essa condição.
4. Generalização: O autor observa que seus métodos sugerem que os resultados se estendem a cones quadráticos mais gerais com simetria $O(n) \times O(m)$ onde $n+m \ge 10$.

O artigo conclui que para $n \ge 5$, os únicos fluxos antigos, suaves, propriamente imersos e convexos em média assintóticos ao cone de Simons em um lado são as folhas estacionárias da foliação de Hardt-Simon. Isso estabelece um forte resultado de rigidez para fluxos antigos singulares.