Arithmetic Fujita approximation over adelic curves

Technische Samenvatting: Arithmetische Fujita-approximatie over Adelische Curven

Probleemstelling
Het artikel behandelt de uitbreiding van de Fujita-approximatiestelling naar het kader van de Arakelov-geometrie over adelische curven. In de klassieke algebraïsche meetkunde stelt de stelling van Fujita dat een grote (big) lijnvoorraad willekeurig dicht benaderd kan worden door een ample lijnvoorraad getensterd met een effectieve lijnvoorraad, tot een birationale modificatie. In de arithmetische setting over getalvelden werd deze conjectuur eerder vastgesteld door Chen en Yuan met behulp van verschillende methoden (plurisuperharmonische enveloppen en $\mathbb{R}$-filtraties respectievelijk).

De generalisatie naar adelische curven—een kader ontwikkeld door Chen en Moriwaki om de arithmetische meetkunde over getalvelden, functiekörperen en andere bases met adelische structuren te verenigen—brengt echter aanzienlijke uitdagingen met zich mee. Specifiek is de "Minkowskiaanse eigenschap" (die het gebruik van opeenvolgende minima in het geval van getalvelden vergemakkelijkt) afwezig in algemene adelische curven. Bovendien ontstaan er problemen met meetbaarheid en integreerbaarheid vanwege de complexiteit van de adelische structuur (bijv. niet-discrete $\sigma$-algebra's). Het doel van het artikel is om een conjectuur van Chen en Moriwaki op te lossen over de vraag of een volledige arithmetische Fujita-approximatie geldt in deze algemene setting, specifiek voor $\mathbb{R}$-lijnvoorraden, in plaats van alleen een "relatieve" versie die betrekking heeft op asymptotische hellingen.

Methodologie
De auteur hanteert een meerstapsstrategie die de theorie van $\mathbb{R}$-filtraties, Harder-Narasimhan-filtraties en de constructie van gegradeerde lineaire reeksen over triviaal gewaardeerde velden combineert.

1. Kader en Veronderstellingen: Het werk opereert onder de veronderstelling dat het basisveld $K$ perfect is en dat de adelische curve $S$ aan specifieke technische voorwaarden voldoet: ofwel de $\sigma$-algebra $\mathcal{A}$ is discreet, ofwel bevat $K$ een aftelbaar subveld dat dicht ligt in $K_w$ voor alle $w \in \Omega$. Deze voorwaarden zorgen ervoor dat subruimte-normen en quotiëntnormen meetbaar en integreerbaar blijven, waardoor obstructies in de constructie van adelische vectorbundels worden vermeden.
2. Harder-Narasimhan-filtratie en $\mathbb{R}$-filtraties: Het artikel maakt gebruik van de Harder-Narasimhan-filtratie van adelische vectorbundels, geformuleerd via $\mathbb{R}$-filtraties. Dit maakt de definitie van asymptotische invarianten zoals de maximale en minimale hellingen ($\hat{\mu}^{\text{asy}}_{\max}$ en $\hat{\mu}^{\text{asy}}_{\min}$) mogelijk.
3. Transitie naar Triviaal Gewaardeerde Velden: Een cruciale techniek is het construeren van een gegradeerde lineaire reeks over een triviaal gewaardeerd veld ($S_0$) vanuit de oorspronkelijke reeks over $S$. Door de Harder-Narasimhan-filtratie toe te passen op de ruimten van globale secties $H^0(X, L^{\otimes n})$, definieert de auteur een spectrale norm. Dit transformeert de oorspronkelijke reeks naar een "gefiltreerde benaderbare gegradeerde lineaire reeks" over $S_0$.
4. Approximatie van Gegradeerde Lineaire Reeksen: De auteur bewijst dat voor een arithmetisch grote lijnvoorraad de bijbehorende gegradeerde lineaire reeks over $S_0$ benaderbaar is. Dit houdt in dat voor elke $\lambda < \hat{\mu}^{\text{asy}}_{\max}(L)$, de subreeks gedefinieerd door secties met spectrale normen begrensd door $e^{-D\lambda}$ een ample divisor bevat. Deze stap steunt op een geometrisch Kodaira-decompositie-argument aangepast aan de adelische setting, waarbij direct gebruik wordt gemaakt van de vermeende directe toepassing van de arithmetische Kodaira-decompositie, die faalt in algemene adelische curven (zoals aangetoond door een tegenvoorbeeld in Voorbeeld 4.4).
5. Extensie naar $\mathbb{Q}$ en $\mathbb{R}$-lijnvoorraden:
   • Voor $\mathbb{Q}$-lijnvoorraden volgt het resultaat direct uit het gehele geval door schaling.
   • Voor $\mathbb{R}$-lijnvoorraden gebruikt de auteur een continuiteitsargument. Omdat de arithmetische volumefunctie continu is, kan een arithmetisch grote $\mathbb{R}$-lijnvoorraad worden benaderd door een arithmetisch grote $\mathbb{Q}$-lijnvoorraad zodanig dat het verschil een niet-nul kleine sectie heeft.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Theorema 1.1 (Theorema 5.5), dat de arithmetische Fujita-approximatie voor arithmetisch grote $\mathbb{R}$-lijnvoorraden over propere adelische curven vaststelt.

• Stelling van het Theorema: Laat $S$ een propere adelische curve zijn met een perfect veld $K$ dat voldoet aan de meetbaarheidsvoorwaarden. Laat $X$ een projectieve variëteit zijn en $L$ een arithmetisch grote $\mathbb{R}$-lijnvoorraad. Voor elke $\epsilon > 0$ bestaan er een voldoende grote integer $p$ en een birationale morfisme $v: X' \to X$ zodanig dat:
  $$v^*(L^{\otimes p}) = A \otimes M$$
  waarbij:

  1. $A$ een arithmetisch ample lijnvoorraad is.
  2. $M$ een adelische $\mathbb{R}$-lijnvoorraad is die een niet-nul kleine sectie toelaat (een globale sectie $s$ met $\|s\|_{\sup, w} \leq 1$ voor alle $w$).
  3. De volumes voldoen aan de approximatie-ongelijkheid:
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• Generalisatie: Dit resultaat generaliseert het eerdere werk van Chen en Yuan (die het geval van getalvelden behandelden) en biedt een positief antwoord op de conjectuur van Chen en Moriwaki in hun werk uit 2021 [11, Opmerking 9.2.7]. Het gaat verder dan de "relatieve Fujita-approximatie" (die alleen de maximale helling controleert) naar een volledige decompositie waarbij het "effectieve" deel wordt gecontroleerd door de existentie van kleine secties.

Betekenis
Het artikel beweert een definitief bevestigend antwoord te bieden op de conjectuur van Chen en Moriwaki betreffende de geldigheid van de Fujita-approximatie in de algemene setting van adelische curven. De betekenis ligt in:

1. Unificatie: Het breidt een fundamentele stelling van de arithmetische meetkunde uit naar een verenigd kader dat getalvelden, functiekörperen en andere adelische bases dekt, ondanks het verlies van de Minkowskiaanse eigenschap.
2. Technische Resolutie: Het overwint specifieke obstructies gerelateerd aan meetbaarheid en integreerbaarheid door voorwaarden op de adelische curve op te leggen en de spectrale norm-constructie over triviaal gewaardeerde velden te gebruiken.
3. Omvang: Het behandelt succesvol $\mathbb{R}$-lijnvoorraden, die essentieel zijn voor de moderne arithmetische intersectietheorie, door een brug te slaan tussen $\mathbb{R}$-bundels en $\mathbb{Q}$-bundels via kleine secties.

De auteur merkt op dat het resultaat een direct analoog is van de geometrische Fujita-approximatie, en stelt dat een arithmetisch grote bundel benaderd kan worden door een ample bundel langs een effectieve richting (vertegenwoordigd door de bundel met een niet-nul kleine sectie), waarmee de robuustheid van arithmetische positiviteitsconcepten in het kader van de adelische curve wordt bevestigd.