Generalized Bogomolov Inequalities

Technische Samenvatting: Gegeneraliseerde Bogomolov-ongelijkheden

Probleemstelling
Het artikel behandelt de generalisatie van de klassieke Bogomolov-ongelijkheid, die stelt dat voor een semistabiele torsievrije schil $E$ op een complex projectief manifold $X$ met betrekking tot een ample klasse $h$, de discriminant $\Delta(E) = 2r c_2(E) - (r-1)c_1(E)^2$ voldoet aan $\int_X \Delta(E) \cdot h^{d-2} \geq 0$. De auteurs streven ernaar deze ongelijkheid uit te breiden naar bredere contexten waar de polarisatie niet noodzakelijk een macht van een ample divisor is, maar eerder een algemene cohomologieklass $\eta_{d-1} \in H^{d-1,d-1}(X)$ (of de nef-cone in de analytische setting). Specifiek onderzoeken zij onder welke voorwaarden een paar cohomologieklassen $(\eta_{d-1}, \eta_{d-2})$ garandeert dat $\int_X \Delta(E) \cdot \eta_{d-2} \geq 0$ voor alle $\eta_{d-1}$-semistabiele schillen.

Methodologie
De auteurs introduceren twee nieuwe concepten om dit probleem te kaderen:

1. Hodge-Riemann-paren: Een paar $(\eta_{d-1}, \eta_{d-2})$ wordt gedefinieerd als een Hodge-Riemann-paar als $\eta_{d-2}$ voldoet aan de Hodge-Riemann-bilineaire relaties (met een teken $(+, -, \dots, -)$ op de kern van de door $\eta_{d-1}$ geïnduceerde afbeelding) en specifieke positiviteitsvoorwaarden gelden. Dit generaliseert het klassieke geval waar $\eta_i = h^i$.
2. Bogomolov-paren: Een paar $(\eta_{d-1}, \eta_{d-2})$ is een Bogomolov-paar als de Bogomolov-ongelijkheid geldt voor alle $\eta_{d-1}$-semistabiele schillen.

De centrale conjectuur stelt dat elk Hodge-Riemann-paar een Bogomolov-paar is. De methodologie maakt gebruik van een mix van algebraïsche en analytische technieken:

• Algebraïsche Meetkunde: Gebruikmakend van Schur-polynomen, afgeleide polynomen en de meetkunde van ample vectorbundels. De auteurs gebruiken de "R-gewrongen" bundelconstructie $A\langle th \rangle$ om Schur-klassen van vectorbundels te relateren aan klassieke ample klassen.
• Complexe Differentiaalmeetkunde: Toepassing van de Hitchin-Kobayashi-correspondentie en Hermitisch-Einstein-metrieken. Voor stabiele bundels berekenen zij de puntsgewijze discriminant met betrekking tot een Gauduchon-metriek afgeleid van de cohomologieklassen.
• Begrenzingstheorie: Gebruikmakend van de begrenzing van families van semistabiele schillen om resultaten van stabiele naar semistabiele schillen uit te breiden via inductie op de rang en deformatieargumenten.

Belangrijkste Bijdragen en Resultaten

1. Definitie en Eigenschappen van Hodge-Riemann-paren:
   Het artikel stelt vast dat paren gevormd door Schur-polynomen van ample klassen (of Kähler-klassen) Hodge-Riemann-paren vormen. Specifiek, als $A$ een ample vectorbundel is van rang $e \geq d-1$ en $\lambda$ een partitie is van $d-1$, dan is $(s_\lambda(A), s'_\lambda(A))$ een Hodge-Riemann-paar. Dit breidt zich uit tot Kähler-klassen $\alpha_i$ in de analytische setting.

2. Bewijs van de Conjectuur in Specifieke Gevallen:
   De auteurs bewijzen dat de conjectuur (Hodge-Riemann-paar $\implies$ Bogomolov-paar) geldt in verschillende significante gevallen:

   • Schur-klassen van Kähler-klassen: Voor elke Kähler-klassen $\alpha_1, \dots, \alpha_e$ met $e \geq d-1$ en partitie $\lambda$, is het paar $(s_\lambda(\alpha), s'_\lambda(\alpha))$ een Bogomolov-paar. Het bewijs voor stabiele bundels rust op de Hitchin-Kobayashi-correspondentie en een puntsgewijze berekening van de discriminant met behulp van de Hermitisch-Einstein-metriek. Dit wordt uitgebreid naar semistabiele schillen via resolutie en inductie.
   • Driedimensionale Variëteiten en Complexe Tori: De conjectuur is bewezen voor alle Hodge-Riemann-paren op complexe driedimensionale variëteiten en complexe tori.
   • Segre- en Chern-klassen van Ample Bundels: Onder specifieke hellingvoorwaarden (bijv. $s_d(A) > \mu_{\max, s_{d-1}(A)}(A)$) wordt aangetoond dat de paren $(s_{d-1}(A), s_{d-2}(A))$ en $(c_{d-1}(A), c_{d-2}(A))$ Bogomolov-paren zijn. Dit houdt in dat het probleem wordt opgetild naar de projectivisatie $P(A)$ en daar de klassieke Bogomolov-ongelijkheid wordt toegepast.

3. Begrenzing van Semistabiele Schillen:
   Een belangrijke toepassing van deze resultaten is een nieuw begrenzingstheorema. De auteurs bewijzen dat als een verzameling klassen $K' \subset \text{Amp}^{d-1}(X)$ pad-geconnecteerd en compact is, en verbonden kan worden met een bekende "begrenzingsklasse" via een pad van Hodge-Riemann- en Bogomolov-paren, dan is de verzameling van $\eta_{d-1}$-semistabiele schillen van vast topologisch type begrensd. Dit impliceert het bestaan van moduli-ruimten van eindig type voor deze gegeneraliseerde stabiliteitsvoorwaarden.

4. Uitbreiding naar Higgs-schillen:
   Het artikel generaliseert de Bogomolov-ongelijkheid naar Higgs-schillen. Er wordt aangetoond dat als $(\Omega_{d-1}, \Omega_{d-2})$ een Hodge-Riemann-paar van differentiaalvormen is, dan voor elke $\Omega_{d-1}$-semistabiele Higgs-schil die een Hermitisch-Yang-Mills-metriek toelaat, de discriminant-ongelijkheid puntsgewijs en in cohomologie geldt.

Betekenis en Claims
Het artikel claimt de "juiste setting" te bieden voor het generaliseren van de Bogomolov-ongelijkheid door de notie van Hodge-Riemann-paren in te voeren. De betekenis ligt in:

• Unificatie: Het verenigt diverse bekende ongelijkheden (klassieke Bogomolov, resultaten voor Schur-klassen) onder één conjecturaal kader.
• Moduli-theorie: Het vestigt de begrenzing van semistabiele schillen met betrekking tot een brede klasse van niet-standaard polarisaties (specifiek die afgeleid van Schur-polynomen van Kähler-klassen), wat een voorwaarde is voor het construeren van moduli-ruimten.
• Analytische Technieken: Het demonstreert de bruikbaarheid van de Hitchin-Kobayashi-correspondentie en Gauduchon-metrieken bij het bewijzen van algebraïsche ongelijkheden voor schillen op Kähler-manifolds.

De auteurs blijven bescheiden wat betreft de volledige conjectuur, met de opmerking dat hoewel zij deze bewijzen voor specifieke klassen (Schur-polynomen, driedimensionale variëteiten, tori en bundels die voldoen aan specifieke hellingongelijkheden), het algemene geval voor willekeurige Hodge-Riemann-paren open blijft. Zij stellen expliciet dat de omgekeerde richting van bepaalde implicaties (bijv. of een limiet van Hodge-Riemann-paren altijd een Hodge-Riemann-paar is) niet geldt, wat de subtiliteit van het probleem benadrukt.