Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images

Resumo Técnico: Limites Inferiores em Funcionais de Yang-Mills Fibrados

1. O Problema e o Contexto

O artigo aborda a relação profunda entre invariantes geométricos diferenciais (curvatura) e invariantes algébricos (estabilidade de feixes) no contexto de fibrados holomórficos sobre variedades complexas projetivas.

• Configuração: Seja $\pi: X \to B$ uma submersão holomorfa entre variedades complexas compactas, onde $X$ tem dimensão $n+m$ e $B$ tem dimensão $m$. Seja $L$ um fibrado de linha sobre $X$ que é relativamente amplo em relação a $\pi$.
• Objetivo Central: Estabelecer limites inferiores para uma versão "fibrada" dos funcionais de Yang-Mills, expressos em termos das inclinações de Harder-Narasimhan (Harder-Narasimhan slopes) dos feixes diretos (direct images) $E_k := R^0\pi_* L^k$, associados a altas potências tensoriais do fibrado de polarização $L$.
• Motivação: Generalizar a relação conhecida entre curvatura média e filtragens de Harder-Narasimhan para fibrados vetoriais em fibrados arbitrários polarizados. O autor busca uma caracterização analítica da nefness genérica fibrada (generic fibered nefness) e refinar obstruções para a existência de métricas com curvatura média horizontal constante.

2. Metodologia

A abordagem do autor baseia-se na limitação semiclássica (semiclassical limit), ou seja, o estudo do comportamento assintótico quando $k \to \infty$. A metodologia integra:

1. Teoria de Operadores de Toeplitz e Limites Semiclássicos:

   • Utiliza-se o trabalho de Ma-Zhang [43], que estabelece que a curvatura horizontal da métrica induzida em $L$ é o limite semiclássico da curvatura média dos feixes diretos $E_k$.
   • A curvatura horizontal $\wedge_{\omega_B} \omega_H$ é tratada como o limite de $k^{-1}$ vezes a curvatura de Yang-Mills hermitiana de $E_k$.

2. Análise Assintótica de Inclinações (Slopes):

   • Define-se uma medida de probabilidade $\eta_k^{HN}$ baseada nas inclinações de Harder-Narasimhan de $E_k$.
   • Demonstra-se que, à medida que $k \to \infty$, essa medida converge fracamente para uma medida limite $\eta^{HN}$.
   • Utiliza-se uma versão singular do teorema de Riemann-Roch-Grothendieck (em cohomologia de Bott-Chern) para calcular o comportamento assintótico das inclinações.

3. Técnicas de Geometria Diferencial e Álgebra:

   • Uso de formas de Gauduchon em $B$ (generalizando formas de Kähler) para definir graus e inclinações.
   • Construção de métricas aproximadas via embeddings de Kodaira e propriedades de curvatura em subfamílias (lema de comparação de curvatura).

3. Contribuições e Resultados Principais

O artigo apresenta vários teoremas fundamentais que conectam a existência de métricas especiais com a estabilidade algébrica:

• Teorema 1.1 (Estabilidade Assintótica):
  Se $L$ admite uma métrica "fibrada Einstein aproximada" (onde a curvatura média horizontal é aproximadamente constante), então os feixes diretos $E_k$ são assintoticamente semiestáveis. Isso significa que as inclinações de qualquer subfeixe ou quociente de $E_k$ convergem para a inclinação de $E_k$ quando $k$ cresce.

• Teorema 1.5 e 1.7 (Limites Inferiores para Funcionais de Yang-Mills):
  Estabelecem limites inferiores rigorosos para os funcionais de Yang-Mills fibrados ($FYM_{p,c}$) em termos da medida limite $\eta^{HN}$.

  • O limite inferior do funcional é dado pela integral de $|x-c|^p$ em relação à medida de Harder-Narasimhan $\eta^{HN}$.
  • Especificamente, o supremo da curvatura média horizontal é limitado inferiormente pela inclinação máxima de Harder-Narasimhan ($\eta^{HN}_{max}$) e o ínfimo pela inclinação mínima ($\eta^{HN}_{min}$).

• Teorema 1.3 (Obstrução Numérica):
  Se os feixes $E_k$ são assintoticamente semiestáveis, então a variedade total $X$ é numericamente semiestável. Isso implica que para qualquer subespaço analítico irreduzível $Y \subset X$ que projeta sobre $B$, a inclinação $\mu(Y)$ deve ser maior ou igual a $\mu(X)$.

• Teorema 1.10 e 1.12 (Caracterização Analítica da Nefness Genérica):
  O autor fornece uma caracterização analítica para o conceito algébrico de nefness genérica fibrada.

  • Um fibrado de linha $L$ é "estavelmente genericamente fibrado nef" se e somente se, para qualquer $\epsilon > 0$, existe uma métrica hermitiana $h_L$ tal que a curvatura satisfaz uma desigualdade de volume negativa controlada (limitada por $-\epsilon$).
  • Isso conecta a existência de métricas com curvatura "quase positiva" com a estabilidade algébrica dos feixes diretos.

4. Significado e Impacto

• Ponte entre Geometria e Álgebra: O trabalho solidifica a conexão entre a equação de Einstein fibrada (analítica) e a estabilidade de Harder-Narasimhan (algébrica), generalizando resultados clássicos de Donaldson, Uhlenbeck-Yau e Ma-Zhang para o contexto de fibrados sobre bases de dimensão arbitrária e não necessariamente Kähler (usando formas de Gauduchon).
• Generalização de Resultados Existentes: Estende a correspondência entre métricas de curvatura escalar constante e métricas balanceadas para o contexto de fibrados, lidando com casos onde equações de Einstein exatas podem não ter soluções, mas limites inferiores de funcionais ainda fornecem obstruções fortes.
• Novas Obstruções para Existência de Métricas: Os resultados fornecem novas ferramentas para provar a inexistência de métricas com curvatura média horizontal constante em certas famílias, baseando-se na instabilidade algébrica dos feixes diretos.
• Conjectura de Otimização: O artigo formula uma conjectura (parcialmente provada para $p=1$ e $p=\infty$ em casos específicos) de que os limites inferiores encontrados são ótimos (tight), ou seja, o ínfimo do funcional de Yang-Mills sobre todas as métricas possíveis é exatamente determinado pela distribuição de inclinações de Harder-Narasimhan.

Em suma, o artigo de Finski oferece uma estrutura teórica robusta para entender como a estabilidade algébrica de feixes diretos em altas potências controla a geometria diferencial de fibrados complexos, utilizando o limite semiclássico como ferramenta central de análise.