Generalized Bogomolov Inequalities

Sintesi Tecnica: Disuguaglianze di Bogomolov Generalizzate

Enunciato del Problema
Il lavoro affronta la generalizzazione della disuguaglianza classica di Bogomolov, la quale afferma che per un fascio senza torsione semistabile $E$ su una varietà proiettiva complessa $X$ rispetto a una classe ampola $h$, il discriminante $\Delta(E) = 2r c_2(E) - (r-1)c_1(E)^2$ soddisfa $\int_X \Delta(E) \cdot h^{d-2} \geq 0$. Gli autori mirano a estendere questa disuguaglianza a contesti più ampi in cui la polarizzazione non è necessariamente una potenza di un divisore ample, bensì una classe di coomologia generale $\eta_{d-1} \in H^{d-1,d-1}(X)$ (o il cono nef nel contesto analitico). Nello specifico, essi investigano sotto quali condizioni una coppia di classi di coomologia $(\eta_{d-1}, \eta_{d-2})$ garantisca che $\int_X \Delta(E) \cdot \eta_{d-2} \geq 0$ per tutti i fasci $\eta_{d-1}$-semistabili.

Metodologia
Gli autori introducono due nuovi concetti per inquadrare questo problema:

1. Coppie di Hodge-Riemann: Una coppia $(\eta_{d-1}, \eta_{d-2})$ è definita una coppia di Hodge-Riemann se $\eta_{d-2}$ soddisfa le relazioni bilineari di Hodge-Riemann (avendo segnatura $(+, -, \dots, -)$ sul nucleo della mappa indotta da $\eta_{d-1}$) e sono soddisfatte specifiche condizioni di positività. Ciò generalizza il caso classico in cui $\eta_i = h^i$.
2. Coppie di Bogomolov: Una coppia $(\eta_{d-1}, \eta_{d-2})$ è una coppia di Bogomolov se la disuguaglianza di Bogomolov vale per tutti i fasci $\eta_{d-1}$-semistabili.

La congettura centrale postula che ogni coppia di Hodge-Riemann sia una coppia di Bogomolov. La metodologia impiega un mix di tecniche algebriche e analitiche:

• Geometria Algebrica: Utilizzo di polinomi di Schur, polinomi derivati e della geometria dei fasci vettoriali ampi. Gli autori utilizzano la costruzione del fascio "R-twisted" $A\langle th \rangle$ per relazionare le classi di Schur dei fasci vettoriali alle classi ampie classiche.
• Geometria Differenziale Complessa: Impiego della corrispondenza di Hitchin-Kobayashi e delle metriche Hermitiane-Einstein. Per i fasci stabili, calcolano il discriminante puntuale rispetto a una metrica di Gauduchon derivata dalle classi di coomologia.
• Teoria della Limitatezza: Utilizzo della limitatezza delle famiglie di fasci semistabili per estendere i risultati dai fasci stabili a quelli semistabili mediante induzione sul rango e argomenti di deformazione.

Contributi e Risultati Chiave

1. Definizione e Proprietà delle Coppie di Hodge-Riemann:
   Il lavoro stabilisce che le coppie formate da polinomi di Schur di classi ampie (o classi di Kähler) costituiscono coppie di Hodge-Riemann. Nello specifico, se $A$ è un fascio vettoriale ample di rango $e \geq d-1$ e $\lambda$ è una partizione di $d-1$, allora $(s_\lambda(A), s'_\lambda(A))$ è una coppia di Hodge-Riemann. Ciò si estende alle classi di Kähler $\alpha_i$ nel contesto analitico.

2. Dimostrazione della Congettura in Casi Specifici:
   Gli autori dimostrano che la congettura (coppia di Hodge-Riemann $\implies$ coppia di Bogomolov) vale in diversi casi significativi:

   • Classi di Schur di Classi di Kähler: Per qualsiasi classe di Kähler $\alpha_1, \dots, \alpha_e$ con $e \geq d-1$ e partizione $\lambda$, la coppia $(s_\lambda(\alpha), s'_\lambda(\alpha))$ è una coppia di Bogomolov. La dimostrazione per i fasci stabili si basa sulla corrispondenza di Hitchin-Kobayashi e su un calcolo puntuale del discriminante utilizzando la metrica Hermitiana-Einstein. Ciò viene esteso ai fasci semistabili mediante risoluzione e induzione.
   • Varietà di Dimensione Tre e Tori Complessi: La congettura è dimostrata per tutte le coppie di Hodge-Riemann su varietà complesse di dimensione tre e tori complessi.
   • Classi di Segre e di Chern di Fasci Ampii: Sotto specifiche condizioni di pendenza (ad esempio $s_d(A) > \mu_{\max, s_{d-1}(A)}(A)$), le coppie $(s_{d-1}(A), s_{d-2}(A))$ e $(c_{d-1}(A), c_{d-2}(A))$ sono mostrate essere coppie di Bogomolov. Ciò comporta l'innalzamento del problema alla proiezione $P(A)$ e l'applicazione della disuguaglianza classica di Bogomolov ivi.

3. Limitatezza dei Fasci Semistabili:
   Una principale applicazione di questi risultati è un nuovo teorema di limitatezza. Gli autori dimostrano che se un insieme di classi $K' \subset \text{Amp}^{d-1}(X)$ è connesso per archi e compatto, e può essere connesso a una "classe di limitatezza" nota tramite un percorso di coppie di Hodge-Riemann e di Bogomolov, allora l'insieme dei fasci $\eta_{d-1}$-semistabili di tipo topologico fisso è limitato. Ciò implica l'esistenza di spazi di moduli di tipo finito per queste condizioni di stabilità generalizzate.

4. Estensione ai Fasci di Higgs:
   Il lavoro generalizza la disuguaglianza di Bogomolov ai fasci di Higgs. Viene mostrato che se $(\Omega_{d-1}, \Omega_{d-2})$ è una coppia di Hodge-Riemann di forme differenziali, allora per ogni fascio di Higgs $\Omega_{d-1}$-semistabile che ammette una metrica di Yang-Mills Hermitiana, la disuguaglianza del discriminante vale puntualmente e in coomologia.

Significato e Affermazioni
Il lavoro afferma di fornire il "contesto corretto" per generalizzare la disuguaglianza di Bogomolov introducendo la nozione di coppie di Hodge-Riemann. Il significato risiede in:

• Unificazione: Unifica varie disuguaglianze note (Bogomolov classica, risultati per le classi di Schur) sotto un unico quadro congetturale.
• Teoria dei Moduli: Stabilisce la limitatezza dei fasci semistabili rispetto a una vasta classe di polarizzazioni non standard (specificamente quelle derivate da polinomi di Schur di classi di Kähler), che è un prerequisito per la costruzione di spazi di moduli.
• Tecniche Analitiche: Dimostra l'utilità della corrispondenza di Hitchin-Kobayashi e delle metriche di Gauduchon nella dimostrazione di disuguaglianze algebriche per fasci su varietà di Kähler.

Gli autori rimangono modesti riguardo alla congettura completa, notando che, sebbene la dimostrino per classi specifiche (polinomi di Schur, varietà di dimensione tre, tori e fasci che soddisfano specifiche disuguaglianze di pendenza), il caso generale per coppie di Hodge-Riemann arbitrarie rimane aperto. Affermano esplicitamente che la conversazione di certe implicazioni (ad esempio, se un limite di coppie di Hodge-Riemann sia sempre una coppia di Hodge-Riemann) non vale, evidenziando la sottigliezza del problema.