About Wess-Zumino-Witten equation and Harder-Narasimhan potentials

Resumo Técnico: Equação de Wess-Zumino-Witten e Potenciais de Harder-Narasimhan

Enunciado do Problema
O artigo investiga a existência de soluções para a equação de Wess-Zumino-Witten (WZW) em uma família polarizada de variedades projetivas complexas $\pi: X \to B$. Especificamente, para um fibrado de linha relativamente amplo $L$ com primeira classe de Chern $[\alpha]$, a equação é dada por:
$$\alpha^{n+1} \wedge \pi^*\omega_B^{m-1} = 0$$
onde $\omega_B$ é uma forma de Kähler na base $B$. Embora esta equação seja bem compreendida quando $B$ possui fronteira (relacionando-se a geodésicas de Mabuchi), o caso em que $B$ é uma variedade compacta sem fronteira apresenta uma teoria diferente. O artigo aborda duas questões centrais:

1. Obstruções Algébricas: Quais são as obstruções algébricas que governam a existência de soluções aproximadas para a equação WZW?
2. Alternativas Ótimas: Quando soluções exatas ou aproximadas não existem, quais são as "melhores" alternativas? O artigo busca construir sequências de formas que minimizam o funcional WZW associado.

O estudo é motivado pela generalização da equação de Hermite-Einstein em fibrados vetoriais. No caso específico onde $X = \mathbb{P}(F^*)$ para um fibrado vetorial $F$ sobre $B$, a solvabilidade da equação WZW é equivalente à existência de uma métrica de Hermite-Einstein em $F$, ligando-a à correspondência de Kobayashi-Hitchin. Este trabalho visa estender essa correspondência a fibrações não necessariamente associadas a fibrados vetoriais.

Metodologia
A abordagem depende fortemente da quantização geométrica e da análise assintótica de feixes de imagem direta. A metodologia prossegue através das seguintes etapas:

1. Filtragens e Potenciais de Harder-Narasimhan: O autor utiliza a filtragem de Harder-Narasimhan (HN) dos feixes de imagem direta $E_k = R^0\pi_* L^{\otimes k}$. Uma percepção chave é que essas filtragens induzem uma filtragem limitada e submultiplicativa no anel de seções $\bigoplus E_k$ (fora de um conjunto negligenciável).
2. Kernels de Bergman Ponderados: O artigo define um "potencial de Harder-Narasimhan", $HN_k(\omega)$, derivado de um kernel de Bergman ponderado associado à filtragem HN. Quando $k \to \infty$, esses potenciais convergem para uma função limite $HN(\omega)$, que representa a velocidade do raio geodésico associado à filtragem HN.
3. Estruturas Críticas Aproximadas: Baseando-se em resultados de Atiyah-Bott, Daskalopoulos-Wentworth e Sibley, a construção utiliza estruturas hermitianas críticas aproximadas em $L^1$ nos fibrados vetoriais $E_k$. Essas estruturas são adaptadas à filtragem HN e servem como ponto de partida para a construção de raios geodésicos.
4. Dequantização: A contribuição técnica central envolve a "dequantização" desses raios geodésicos. Ao construir métricas hermitianas específicas em $E_k$ que respeitam a estrutura algébrica do fibrado de anéis $\bigoplus E_k$ (via potências simétricas e métricas quociente), o autor deriva uma sequência de formas $(1,1)$ $\omega_\epsilon$ em $X$.
5. Equação de Monge-Ampère Auxiliar: O artigo introduz uma equação auxiliar:
   $$\omega^{n+1} \wedge \pi^*\omega_B^{m-1} = HN(\omega) \cdot \omega^n \wedge \pi^*\omega_B^m \cdot (n+1)$$
   Diferentemente da equação WZW, esta equação admite soluções aproximadas para qualquer família polarizada.

Principais Contribuições e Resultados

• Teorema 1.1 (Caracterização Algébrica): O artigo estabelece uma fórmula precisa ligando o ínfimo do funcional WZW a uma quantidade algébrica derivada das inclinações de HN. Especificamente:
  $$\text{WZW}(c_1(L) - t\pi^*[\omega_B], \omega_B) = \int_{\mathbb{R}} |x - t| d\eta^{HN}(x) \cdot \int_X c_1(L)^n \pi^*[\omega_B]^m \cdot (n+1)$$
  Aqui, $\eta^{HN}$ é o limite fraco das medidas de probabilidade formadas pelas inclinações de HN normalizadas de $E_k$. Este resultado fornece uma caracterização geométrica-diferencial da medida de HN e identifica as obstruções algébricas (a dispersão de $\eta^{HN}$) à existência de soluções.

• Teorema 1.7 (Existência de Soluções Aproximadas): A principal conquista técnica é provar que a equação auxiliar de Monge-Ampère admite soluções aproximadas para qualquer $\epsilon > 0$. Essas soluções, $\omega_\epsilon$, minimizam o funcional WZW e servem como os contrapontos mais próximos às soluções verdadeiras quando estas não existem.

• Corolário 1.3 (Correspondência Generalizada de Kobayashi-Hitchin): O artigo prova que a existência de soluções aproximadas para a equação WZW é equivalente à semiestabilidade dos dados algébricos subjacentes (especificamente, que $\eta^{HN}$ é uma massa de Dirac). Quando especializado para fibrados vetoriais projetivizados, isso recupera uma versão da correspondência de Kobayashi-Hitchin.

• Corolário 1.5 (Cohomologia Assintótica): Como aplicação, o artigo prova um recíproco assintótico ao teorema de Andreotti-Grauert (conjecturado por Demailly) para configurações fibra-das onde a base é uma curva. Ele mostra que a sequência de formas que minimiza o funcional WZW satura o limite inferior dado pela cohomologia assintótica.

• Conexão com Equações de Quociente de Hessiano: O artigo discute a relação entre a equação WZW e equações de quociente de Hessiano, observando que, embora a equação WZW seja degenerada (linearização não elíptica), as soluções aproximadas podem ser relacionadas a soluções da equação J (um tipo de equação de quociente de Hessiano) quando a base é uma curva.

Significado e Alegações
O artigo alega resolver a questão das obstruções algébricas para a equação WZW no cenário sem fronteira, fornecendo uma caracterização completa através da medida de Harder-Narasimhan. Ele afirma que as soluções aproximadas construídas são ótimas no sentido de que minimizam o funcional de Yang-Mills associado.

O significado reside em:

1. Generalização: Estender a correspondência de Kobayashi-Hitchin além dos fibrados vetoriais para fibrações gerais.
2. Nova Equação: Introduzir e resolver uma equação auxiliar do tipo Monge-Ampère que generaliza a equação WZW incorporando o kernel de Bergman ponderado da filtragem HN.
3. Inovação Metodológica: Demonstrar que a quantização geométrica, especificamente a dequantização de raios geodésicos associados a estruturas críticas aproximadas em $L^1$, pode ser usada para construir soluções de EDPs geométricas degeneradas onde métodos de continuidade tradicionais ou fluxos geométricos podem não se aplicar diretamente.

O autor observa que os resultados são mais robustos quando a base $B$ é uma curva (dimensão 1), onde a relação entre o funcional WZW e os funcionais de Monge-Ampère absolutos é direta. Para bases de dimensão superior, as técnicas para estudar o funcional WZW colapsam fora do cenário relativamente amplo, e a existência de soluções explícitas para a equação auxiliar permanece uma questão aberta quanto à regularidade. O artigo não alega resolver a conjectura geral de Demailly para todos os casos, mas sim fornece uma prova para o caso fibra-das sobre curvas.