Monge-Ampère-type equation for forms of positive degree and Demailly's transcendental Morse inequality

Resumo Técnico: Equação do Tipo Monge-Ampère para Formas de Grau Positivo e a Desigualdade de Morse Transcedental de Demailly

Enunciado do Problema
O artigo aborda a solubilidade de uma equação do tipo Monge-Ampère para formas de grau positivo em uma variedade de Kähler compacta $(M, \omega)$ de dimensão $n$. Esta equação foi originalmente introduzida por Dinew e Popovici para estabelecer a parte qualitativa de uma versão analítica da desigualdade de Morse transcendental de Demailly para classes de cohomologia superior (especificamente para $(m, m)$-formas onde $1 < m \leq n$).

A dificuldade central reside nas condições de fixação de gauge necessárias para resolver a equação. A formulação original de Dinew e Popovici impunha a condição $\Lambda^{m-2}\Delta u = 0$ (onde $\Lambda$ é o operador de traço e $\Delta$ é o Laplaciano) juntamente com as condições de núcleo $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$. O autor demonstra que esta condição de traço específica é analiticamente "rígida demais", forçando a solução a ser trivial (formas de volume constantes) e, consequentemente, falhando em produzir soluções para volumes $dV$ gerais. Consequentemente, a prova incondicional da desigualdade de Morse permaneceu elusiva.

Metodologia
Para resolver a rigidez do gauge original, o artigo introduz uma condição de fixação de gauge generalizada parametrizada por duas constantes reais, $a$ e $b$, satisfazendo a restrição $a + nb = m - n - 2$. A nova condição é:
$$(m-1)\Lambda^{m-2}\Delta u = (1+a)i\partial\bar{\partial}\Lambda^{m-1}u + (1+b)\Lambda^{m-1}\Delta u \, \omega$$
Isso leva à equação do tipo Monge-Ampère $(a, b)$, que reduz o sistema original a uma equação escalar envolvendo uma função $f$ (a primitiva de ordem mais baixa de $u$):
$$\left( \star_\omega(\alpha \wedge \omega^{n-m-1}) + \frac{n!}{(n-m+1)!} [a i\partial\bar{\partial}f + b \Delta f \, \omega] \right)^n = dV$$

A metodologia procede em três estágios principais:

1. Análise de Unicidade: O artigo analisa primeiro a condição de núcleo $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$. Ao decompor $u$ em coordenadas primitivas $\psi_k$ e utilizar relações de comutação das métricas de Kähler, o autor deriva uma cascata de relações entre estas primitivas. Esta análise prova que a condição original $\Lambda^{m-2}\Delta u = 0$ implica $\Delta f = 0$ e $\Delta \psi_1 = 0$, tornando a equação insolúvel para $dV$ não triviais. Inversamente, sob o novo gauge, uma teoria de unicidade mais forte é estabelecida: as soluções são únicas até constantes e formas harmônicas, desde que a diferença das primitivas satisfaça condições específicas de $\bar{\partial}^*$-exatidão ou fechamento.
2. Estimativas A Priori: O autor deriva estimativas de segunda ordem e de gradiente para a equação generalizada. A análise é dividida em dois regimes paramétricos:
   • Regime 1 ($a+b \geq 0, b \geq 0$ ou $a+b \leq 0, b \leq 0$): Neste intervalo, a equação é incondicionalmente solúvel. O autor utiliza o princípio do máximo em uma função de teste envolvendo o maior autovalor do Hessiano e estimativas de gradiente para estabelecer limites $C^2$.
   • Regime 2 ($a+b < 0, b > 0$ ou $a+b > 0, b < 0$): Aqui, a equação é condicionalmente solúvel. O autor introduz um método de caminho de continuidade. Um desafio crítico é manter a elipticidade uniforme, que depende do número de condição $\kappa(\tilde{g})$ da métrica. Ao assumir que os dados de fundo $X$ satisfazem uma condição de limite do número de condição $\kappa(X) < |a|/(n|b|)$, e utilizando um teorema do funcionário implícito quantitativo (princípio do mapeamento de contração), o autor mostra que, para pequenas perturbações do lado direito, a solução permanece dentro de um cone de métricas uniformemente elípticas.
3. Existência e Convergência: Utilizando a teoria de Evans-Krylov e estimativas de Schauder, os limites $C^\infty$ são estabelecidos. Argumentos de conjunto aberto e conjunto fechado (via teorema do função inversa e teorema de Arzelà-Ascoli) são aplicados ao caminho de continuidade para provar a existência de soluções.

Contribuições Principais e Resultados

• Resolução da Rigidez: O artigo prova que a condição original de traço do Laplaciano $\Lambda^{m-2}\Delta u = 0$ é incompatível com a existência de soluções para volumes $dV$ gerais.
• Gauge Generalizado: A introdução da condição de fixação de gauge $(a, b)$ fornece um arcabouço flexível que admite soluções.
• Solubilidade Incondicional (Regime 1): Para regimes paramétricos específicos, o artigo prova a existência de uma solução única (até constantes) para qualquer forma de volume suave $dV$.
• Solubilidade Condicional (Regime 2): Para outros regimes, as soluções existem desde que a forma de volume alvo esteja suficientemente próxima (em norma $C^{0,\gamma}$) do determinante de fundo, sujeita a uma restrição de número de condição na métrica de fundo.
• Unicidade Fortalecida: Sob a condição de núcleo, o artigo estabelece que as coordenadas primitivas de ordem mais baixa da solução são únicas até formas harmônicas, um resultado mais forte do que o anteriormente conhecido.
• Prova da Desigualdade de Demailly: Ao definir $b=0$ e $a=m-n-2$ (o que se enquadra no Regime 1), o arcabouço reduz-se ao contexto clássico da equação de Monge-Ampère complexa. Isso permite a prova incondicional da parte qualitativa da desigualdade de Morse transcendental de Demailly para formas de grau superior. Especificamente, se o limiar de volume integral for satisfeito, a classe de cohomologia $[(\alpha\omega)^m - \beta]$ contém uma corrente estritamente positiva.

Significado
O artigo afirma remover a suposição condicional sobre a solubilidade da equação do tipo Monge-Ampère que era necessária no trabalho de Dinew e Popovici. Ao demonstrar que a equação é solúvel sob um gauge mais amplo e analiticamente viável, o artigo fornece uma prova incondicional da desigualdade de Morse transcendental qualitativa de Demailly para classes de cohomologia superior. Este resultado é significativo para a geometria complexa, pois estende a dualidade entre o cone pseudo-efetivo e o cone de classes móveis de variedades projetivas para variedades de Kähler compactas gerais para formas de grau superior.

O artigo mantém-se modesto quanto aos resultados do "Regime 2", observando que a suposição de dados pequenos ($|dV - \log \det X| < \epsilon$) é atualmente necessária para garantir a elipticidade uniforme ao longo do caminho de continuidade. O autor identifica a remoção desta suposição como uma questão em aberto, sugerindo que os argumentos padrão do princípio do máximo sobre o inverso do menor autovalor são insuficientes e que novas propriedades estruturais da EDP podem ser necessárias.