Kähler-Ricci Flow preserves negative anti-bisectional curvature

Resumo Técnico: O Fluxo de Kähler-Ricci Preserva a Curvatura Anti-Bissecional Negativa

Enunciado do Problema
Este artigo investiga o comportamento da "curvatura anti-bissecional" sob o fluxo de Kähler-Ricci. A curvatura anti-bissecional, definida como $R(V, W, V, W)$ para vetores $(1,0)$ polarizados $V$ e $W$, surge de uma correspondência entre a teoria de regularidade do transporte ótimo e a geometria de variedades de Kähler em domínios de tubo. O tensor de Ma-Trudinger-Wang (MTW) para funções de custo da forma $c(x, y) = \Psi(x-y)$ corresponde à curvatura anti-bissecional de uma métrica de Kähler associada.

Embora o fluxo de Ricci seja conhecido por preservar várias condições de positividade de curvatura (por exemplo, curvatura bissecional não negativa), não se sabe, de modo geral, se ele preserva condições de negatividade, com a exceção notável da curvatura Gaussiana negativa para superfícies de Riemann. Os autores abordam a questão de se a curvatura anti-bissecional não positiva é preservada sob o fluxo, uma propriedade que teria implicações significativas para a regularidade de mapas de transporte ótimo e para a geometria de métricas de Kähler-Einstein.

Metodologia
Os autores estudam o fluxo de Kähler-Ricci em domínios de tubo $T\Omega = \Omega + i\mathbb{R}^n$, onde $\Omega \subset \mathbb{R}^n$ é um domínio convexo. Esses domínios correspondem aos fibrados tangentes de variedades hessianas equipadas com métricas de Kähler-Sasaki. O fluxo é analisado via evolução do tensor de curvatura.

1. Truque de Uhlenbeck: Para simplificar as equações de reação-difusão complexas que governam a evolução da curvatura, os autores empregam o truque de Uhlenbeck. Eles introduzem um fibrado vetorial abstrato isomorfo ao fibrado tangente complexo e uma isometria dependente do tempo para transformar o tensor de curvatura em uma forma onde a equação de evolução se simplifica para um sistema de reação-difusão com um termo de reação quadrático $Q(\tilde{R})$.
2. Princípio do Máximo: Como as variedades consideradas são frequentemente não compactas (domínios de tubo), o princípio do máximo padrão para variedades compactas é insuficiente. Os autores utilizam uma versão do princípio do máximo para variedades completas com curvatura limitada, originalmente estabelecida por Shi. Isso requer a verificação de uma "condição de vetor nulo" para o termo de reação $Q$.
3. Verificação do Vetor Nulo: A principal contribuição técnica envolve provar que, se a curvatura anti-bissecional for não positiva (ou não negativa para o caso ortogonal em dimensão dois), e se anular em um par específico de vetores, o termo de reação $Q$ é "voltado para dentro" (ou seja, não positivo ou não negativo, respectivamente) naquele ponto. Esta verificação baseia-se em manipulações algébricas das simetrias do tensor de curvatura e em lemas específicos sobre matrizes semidefinidas positivas (adaptados do trabalho de Cao e Hamilton).
4. Restrições Dimensionais: A análise distingue entre dimensões gerais e dimensão complexa dois. Para a preservação da curvatura anti-bissecional ortogonal não negativa, a prova baseia-se em cancelamentos algébricos específicos que só ocorrem quando a dimensão complexa é $n=2$.

Principais Contribções e Resultados

• Teorema 1 (Preservação da Curvatura Anti-Bissecional Não Positiva): Os autores provam que, se uma variedade de Kähler completa com curvatura limitada possui curvatura anti-bissecional não positiva, esta condição é preservada sob o fluxo de Kähler-Ricci durante todo o tempo em que o fluxo existir. Este é um resultado significativo, pois identifica um raro caso de uma condição de negatividade preservada em fluxos de Ricci de dimensões superiores.
• Teorema 2 (Preservação da Curvatura Anti-Bissecional Ortogonal Não Negativa em Dimensão 2): Na dimensão complexa dois, os autores mostram que a curvatura anti-bissecional ortogonal não negativa (a condição MTW(0) restrita a vetores ortogonais) também é preservada sob o fluxo. Eles observam que este resultado não se generaliza para dimensões $n \geq 3$ devido ao sinal do termo de reação quadrático.
• Consequências Geométricas (Corolários 1–4):
  • Métricas de Kähler-Einstein: Combinando o Teorema 1 com os resultados de convergência de Tong para métricas com curvatura seccional holomorfa negativamente comprimida (negatively pinched), os autores mostram que a métrica de Kähler-Einstein resultante retém curvatura anti-bissecional não positiva.
  • Curvatura de Custo Negativa: Para domínios suaves, limitados e fortemente convexos, a métrica de Kähler-Einstein é mostrada como tendo "curvatura de custo negativa" (uma condição mais forte que implica curvatura anti-bissecional não positiva e curvatura seccional holomorfa polarizada negativamente comprimida).
  • Controle de Curvatura: Os autores derivam estimativas quantitativas mostrando que, para tempo positivo $t$, a curvatura seccional holomorfa polarizada é limitada inferiormente por um termo que depende da curvatura de traço anti-bissecional ortogonal ($O$) e do limite inicial da curvatura escalar, independente da compressão inicial da curvatura seccional holomorfa.
• Aplicações ao Transporte Ótimo:
  • Regularidade Fraca de KR: A preservação da curvatura anti-bissecional ortogonal não negativa em dimensão 2 permite a definição de funções de custo "KR fracamente regulares". Estas são funções de custo $c(x,y) = \Psi(x-y)$ onde o potencial $\Psi$ evolui sob um fluxo parabólico para manter a condição MTW(0).
  • Estimativas de Regularidade: Usando este fluxo, os autores estabelecem estimativas de Hölder interior para mapas de transporte ótimo associados a potenciais convexos $W^{2,p}$ em duas dimensões, generalizando a teoria de regularidade existente para funções de custo menos suaves.

Significância e Alegações
O artigo afirma que a preservação da curvatura anti-bissecional não positiva é "um tanto inesperada", visto que a maioria das condições de curvatura invariantes conhecidas sob o fluxo de Ricci são condições de positividade. Os autores enfatizam que este resultado fornece uma nova ferramenta para estudar a relação entre a curvatura seccional holomorfa e a curvatura de Ricci na geometria complexa.

No contexto do transporte ótimo, o trabalho estabelece uma ponte entre a evolução geométrica de métricas e a regularidade de mapas de transporte. Ao mostrar que o fluxo preserva a condição MTW(0) (em dimensão 2), o artigo oferece um método canônico para deformar funções de custo para garantir a regularidade, potencialmente estendendo a teoria de regularidade para funções de custo mais grosseiras (como o custo original de Monge $|x-y|$) via aproximação.

Os autores também fornecem exemplos concretos de métricas que satisfazem estas condições, incluindo a métrica de Calabi no domínio de tubo sobre a bola unitária e métricas em cones, demonstrando que a suposição de curvatura anti-bissecional negativa não é vazia. Finalmente, o artigo nota que, embora os resultados sejam robustos para métricas completas, a extensão para métricas incompletas (comuns no transporte ótimo) permanece uma questão aberta que requer condições de contorno adequadas.