Arakelov inequality for families of pairs

Technische Samenvatting: Arakelov-ongelijkheid voor families van paren

Probleemstelling
Dit artikel behandelt de uitbreiding van de klassieke Arakelov-ongelijkheid, oorspronkelijk geformuleerd voor families van krommen, naar algebraïsche meetkunde in hogere dimensies. Specifiek streeft het ernaar numerieke grenzen vast te stellen voor families van paren $(X, \Delta)$ die afbeelden op een glad projectief grondvlak $S$. De context omvat een projectief snc (simple normal crossing) semi-log canoniek (slc) paar $(X, \Delta)$ en een morfisme $f: (X, \Delta) \to S$. Het doel is om de eerste Chern-klasse van coherente deelschoven van directe beelden van pluricanonische bundels te begrenzen, rekening houdend met vertakking en de geometrie van het grondvlak. Dit werk beoogt effectieve ongelijkheden te leveren die van toepassing zijn op families die voortkomen aan de rand van moduli-ruimten van variëteiten, waar de totale ruimte singulariteiten kan bezitten (snc-paren) in plaats van glad of log-glad te zijn.

Methodologie
De bewijsstrategie berust op een combinatie van Hodge-theorie, birationale meetkunde en de constructie van specifieke inbeddingen in variaties van Hodge-structuren.

1. Strikt semistabiele reductie: De auteurs maken gebruik van een reductieproces (Propositie 2.4) om de gegeven familie te transformeren in een die strikt semistabiel is in codimensie één. Dit omvat een eindige surjectieve basisverandering $\sigma: \tilde{S} \to S$ en een functoriële desingularisatie $\tau: \tilde{X} \to X \times_S \tilde{S}$. Deze stap maakt de toepassing van technieken mogelijk die strikte semistabiliteit vereisen, terwijl de vertakkingsdivisor $R_f$ onder controle wordt gehouden.
2. Vezelproducten en alternerende sommen: Een centrale technische innovatie is het gebruik van vezelproducten. In plaats van de determinant van de pushforward van pluricanonische bundels in te bedden in een vezelproduct van hoge orde (zoals gedaan in eerdere werken zoals Kovács-Taji [18]), hanteert dit artikel een inbedding die voortkomt uit een constructie van alternerende sommen. Specifiek wordt een injectie geconstrueerd:
   $$\det f_*(\mathcal{O}_X(rK_{X/S}))^{\otimes r} \hookrightarrow \bigoplus_{i=1}^{lr} f_*(\mathcal{O}_X(rK_{X/S})) \simeq f_{[lr]*}(\mathcal{O}_{X^{[lr]}}(rK_{X/S}))$$
   waarbij $l$ de rang van de schof is. Deze constructie leidt tot een kwantitatief scherpere ongelijkheid, omdat de orde van het vezelproduct $lr$ over het algemeen kleiner is dan de orde $\mu$ die nodig was in eerdere inbeddingen.
3. Hodge-theoretische ongelijkheden: De auteurs maken gebruik van de Hodge-theoretische Arakelov-ongelijkheid die in hun eerdere werk [24] is vastgesteld. Door de relevante schoven in te bedden in de canonieke uitbreiding van een variatie van Hodge-structuur op het grondvlak, benutten ze de positiviteit van de logaritmische cotangentbundel $\Omega_S(\log D)$ en de parabolische semistabiliteit van de Deligne-uitbreiding om de numerieke grenzen af te leiden.
4. Controle van vertakking: De definitie van de vertakkingsdivisor $R_f$ (Definitie 2.3) is cruciaal. Deze wordt gedefinieerd als de kleinste effectieve $\mathbb{Q}$-divisor die voldoet aan een specifieke ongelijkheid die de pullback van de discriminant en het verticale deel van $\Delta$ omvat. Het artikel bewijst dat voor strikt semistabiele families in codimensie één, $R_f$ verdwijnt.

Belangrijkste bijdragen en resultaten

• Stelling 1.1 (Hoofdongelijkheid): Het artikel stelt een algemene Arakelov-achtige ongelijkheid vast voor een morfisme $f: (X, \Delta) \to S$ waarbij $(X, \Delta)$ een snc slc-paar is. Voor een coherente deelschof $W$ van rang $l$ binnen $(f_*\mathcal{O}_X(kK_{X/S} + \lfloor k\Delta \rfloor))^{\otimes r}$, en onder de aanname dat $K_S + D$ pseudo-effectief is, begrenst de ongelijkheid het snijgetal $c_1(W) \cdot \alpha$ voor elke beweegbare krommeklasse $\alpha$. De grens bevat termen die afhankelijk zijn van de dimensie van het grondvlak ($d$), de relatieve dimensie ($n$), de rang ($l$), de tensormacht ($r$) en de vertakkingsdivisor $R_f$.

  • In het geval dat $\dim S = 1$, wordt de ongelijkheid scherp (Stelling 1.1, Eq. 1.2), waarbij resultaten van Viehweg-Zuo en anderen worden hersteld en verfijnd.
  • Wanneer $K_S + D$ ample is, wordt een verfijnde schatting geboden die $(K_S + D)^{d-1}$ omvat.

• Vergelijking met eerdere werken: Het artikel zet zijn techniek expliciet af tegen Kovács-Taji [18]. Waar Kovács-Taji inbeddingen in vezelproducten van hoge orde ($\mu$-voudig) gebruikten om toegang te krijgen tot Hodge-structuren, maakt dit artikel gebruik van de constructie van alternerende sommen om in te bedden in vezelproducten van lagere orde ($lr$-voudig). Deze reductie in de orde van het vezelproduct levert een scherpere kwantitatieve grens op. Bovendien maakt het artikel gebruik van de parabolische semistabiliteit van de Deligne-uitbreiding om optimaliteit te bereiken in het geval van krommen.

• Stelling 1.2 (Iitaka-volumegrens): Als gevolg van de hoofdongelijkheid leidt het artikel een bovengrens af voor het Iitaka-volume van algebraïsche vezelruimten $f: X \to S$ (waarbij $S$ een kromme is) waarvan de geometrische generieke vezel een goede minimale model toelaat. De grens relateert het Iitaka-volume van de totale ruimte aan dat van de vezel, de graad van de gronddivisor $K_S + D$ en de vertakkingsdivisor.

Betekenis en claims
Het artikel claimt een Arakelov-achtige ongelijkheid in hogere dimensies over de complexe getallen vast te stellen die van toepassing is op families met singuliere totale ruimten (snc slc-paren), waarmee het toepassingsgebied wordt uitgebreid buiten gladde of log-gladde families. Deze generaliteit is significant voor de studie van moduli-ruimten van variëteiten, met name aan hun randen.

De auteurs stellen dat hun resultaat een effectieve versie biedt van de ongelijkheid die door Kovács-Taji [18] is vastgesteld, en een kwantitatief scherpere grens biedt dankzij de verfijnde inbeddingstechniek. Bovendien claimt het artikel dat de ongelijkheid in het geval van krommen (Stelling 1.1, Eq. 1.2) scherp is, waarbij gelijkheid geldt voor bepaalde Shimura-families.

Het werk bouwt voort op de eerdere resultaten van de auteurs in [24], die de geometrische Shafarevich-begrenzingsvermoeden voor KSB-paren en stabiele minimale modellen bevestigden. Het huidige artikel dient om de technische hulpmiddelen (specifiek de Arakelov-ongelijkheid) die in die bredere context werden gebruikt, te verfijnen, en biedt een nauwkeurigere controle over de numerieke invarianten van families van paren. Het artikel stelt geen nieuwe experimentele toepassingen voor, maar positioneert de ongelijkheid als een fundamenteel instrument voor het begrijpen van de geometrie van moduli-ruimten en de begrenzing van algebraïsche vezelruimten.