Generalized Bogomolov Inequalities

Resumo Técnico: Desigualdades Generalizadas de Bogomolov

Enunciado do Problema
O artigo aborda a generalização da desigualdade clássica de Bogomolov, que afirma que, para um feixe semiestável sem torção $E$ sobre uma variedade projetiva complexa $X$ em relação a uma classe ampla $h$, o discriminante $\Delta(E) = 2r c_2(E) - (r-1)c_1(E)^2$ satisfaz $\int_X \Delta(E) \cdot h^{d-2} \geq 0$. Os autores buscam estender esta desigualdade a contextos mais amplos onde a polarização não é necessariamente uma potência de um divisor amplo, mas sim uma classe de cohomologia geral $\eta_{d-1} \in H^{d-1,d-1}(X)$ (ou o cone nef no contexto analítico). Especificamente, investigam sob quais condições um par de classes de cohomologia $(\eta_{d-1}, \eta_{d-2})$ garante que $\int_X \Delta(E) \cdot \eta_{d-2} \geq 0$ para todos os feixes $\eta_{d-1}$-semiestáveis.

Metodologia
Os autores introduzem dois novos conceitos para enquadrar este problema:

1. Pares de Hodge-Riemann: Um par $(\eta_{d-1}, \eta_{d-2})$ é definido como um par de Hodge-Riemann se $\eta_{d-2}$ satisfaz as relações bilineares de Hodge-Riemann (possuindo assinatura $(+, -, \dots, -)$ no núcleo do mapa induzido por $\eta_{d-1}$) e condições específicas de positividade são satisfeitas. Isso generaliza o caso clássico onde $\eta_i = h^i$.
2. Pares de Bogomolov: Um par $(\eta_{d-1}, \eta_{d-2})$ é um par de Bogomolov se a desigualdade de Bogomolov vale para todos os feixes $\eta_{d-1}$-semiestáveis.

A conjectura central postula que todo par de Hodge-Riemann é um par de Bogomolov. A metodologia emprega uma mistura de técnicas algébricas e analíticas:

• Geometria Algébrica: Utilizando polinômios de Schur, polinômios derivados e a geometria de fibrados vetoriais amplos. Os autores usam a construção de fibrado "R-torcido" $A\langle th \rangle$ para relacionar classes de Schur de fibrados vetoriais a classes amplas clássicas.
• Geometria Diferencial Complexa: Empregando a correspondência de Hitchin-Kobayashi e métricas de Hermitiano-Einstein. Para fibrados estáveis, calculam o discriminante pontual em relação a uma métrica de Gauduchon derivada das classes de cohomologia.
• Teoria da Limitação: Usando a limitação de famílias de feixes semiestáveis para estender resultados de fibrados estáveis para feixes semiestáveis via indução no posto e argumentos de deformação.

Principais Contribuições e Resultados

1. Definição e Propriedades de Pares de Hodge-Riemann:
   O artigo estabelece que pares formados por polinômios de Schur de classes amplas (ou classes de Kähler) constituem pares de Hodge-Riemann. Especificamente, se $A$ é um fibrado vetorial amplo de posto $e \geq d-1$ e $\lambda$ é uma partição de $d-1$, então $(s_\lambda(A), s'_\lambda(A))$ é um par de Hodge-Riemann. Isso se estende a classes de Kähler $\alpha_i$ no contexto analítico.

2. Prova da Conjectura em Casos Específicos:
   Os autores provam que a conjectura (par de Hodge-Riemann $\implies$ par de Bogomolov) vale em vários casos significativos:

   • Classes de Schur de Classes de Kähler: Para quaisquer classes de Kähler $\alpha_1, \dots, \alpha_e$ com $e \geq d-1$ e partição $\lambda$, o par $(s_\lambda(\alpha), s'_\lambda(\alpha))$ é um par de Bogomolov. A prova para fibrados estáveis baseia-se na correspondência de Hitchin-Kobayashi e num cálculo pontual do discriminante usando a métrica de Hermitiano-Einstein. Isso é estendido para feixes semiestáveis via resolução e indução.
   • Três-variedades e Toros Complexos: A conjectura é provada para todos os pares de Hodge-Riemann em três-variedades complexas e toros complexos.
   • Classes de Segre e Chern de Fibrados Amplos: Sob condições específicas de inclinação (e.g., $s_d(A) > \mu_{\max, s_{d-1}(A)}(A)$), os pares $(s_{d-1}(A), s_{d-2}(A))$ e $(c_{d-1}(A), c_{d-2}(A))$ são mostrados como pares de Bogomolov. Isso envolve elevar o problema para a projetivização $P(A)$ e aplicar a desigualdade clássica de Bogomolov lá.

3. Limitação de Feixes Semiestáveis:
   Uma aplicação majoritária destes resultados é um novo teorema de limitação. Os autores provam que, se um conjunto de classes $K' \subset \text{Amp}^{d-1}(X)$ é conexo por caminhos e compacto, e pode ser conectado a uma "classe de limitação" conhecida através de um caminho de pares de Hodge-Riemann e Bogomolov, então o conjunto de feixes $\eta_{d-1}$-semiestáveis de tipo topológico fixo é limitado. Isso implica a existência de espaços de módulos de tipo finito para estas condições de estabilidade generalizadas.

4. Extensão para Feixes de Higgs:
   O artigo generaliza a desigualdade de Bogomolov para feixes de Higgs. Mostra-se que, se $(\Omega_{d-1}, \Omega_{d-2})$ é um par de Hodge-Riemann de formas diferenciais, então para qualquer feixe de Higgs $\Omega_{d-1}$-semiestável que admite uma métrica de Hermitiano-Yang-Mills, a desigualdade do discriminante vale pontualmente e em cohomologia.

Significado e Alegações
O artigo alega fornecer o "cenário adequado" para generalizar a desigualdade de Bogomolov ao introduzir a noção de pares de Hodge-Riemann. O significado reside em:

• Unificação: Unifica várias desigualdades conhecidas (Bogomolov clássico, resultados para classes de Schur) sob um único quadro conjectural.
• Teoria de Módulos: Estabelece a limitação de feixes semiestáveis em relação a uma ampla classe de polarizações não padrão (especificamente aquelas derivadas de polinômios de Schur de classes de Kähler), o que é um pré-requisito para a construção de espaços de módulos.
• Técnicas Analíticas: Demonstra a utilidade da correspondência de Hitchin-Kobayashi e das métricas de Gauduchon na prova de desigualdades algébricas para feixes em variedades de Kähler.

Os autores permanecem modestos quanto à conjectura completa, observando que, embora provem-na para classes específicas (polinômios de Schur, três-variedades, toros e fibrados satisfazendo desigualdades de inclinação específicas), o caso geral para pares de Hodge-Riemann arbitrários permanece aberto. Eles afirmam explicitamente que a conversa de certas implicações (e.g., se um limite de pares de Hodge-Riemann é sempre um par de Hodge-Riemann) não vale, destacando a sutileza do problema.