Multi-height analysis of rational points of toric varieties

Titel: Multi-Height Analyse van Rationale Punten op Torische Variëteiten

Auteur: Nicolas Bongiorno
Onderwerp: Getaltheorie (NT) en Algebraïsche Meetkunde (AG)

1. Het Probleem

Het artikel richt zich op de asymptotische verdeling van rationale punten op gladde, projectieve en gesplitste torische variëteiten $X$ over $\mathbb{Q}$. Traditioneel bestudeert men het aantal rationale punten met een hoogte die begrensd is door een constante $B$ ten opzichte van één specifieke lijnbundel (vaak de anticanonieke bundel $\omega^{-1}_X$), zoals voorspeld door de conjectuur van Manin.

De auteur breidt dit uit naar een multi-height kader, zoals voorgesteld door Emmanuel Peyre. In plaats van één bundel te kiezen, wordt de verdeling van punten bestudeerd ten opzichte van alle mogelijke lijnbundels tegelijkertijd. Dit wordt gemodelleerd door een "hoogte-map" $h: X(\mathbb{Q}) \to \text{Pic}(X)^\vee_{\mathbb{R}}$.
Het centrale vraagstuk is of de verwachte asymptotische gedraging (een formule die het aantal punten relateert aan geometrische invarianten) geldt wanneer men punten telt binnen een domein in de dualiteit van de Picard-groep, specifiek voor torische variëteiten. Een belangrijk subdoel is het aantonen dat er geen "accumulerende deelverzamelingen" zijn voor deze verdeling, mits men kijkt naar punten waarvan de multi-hoogte in het inwendige van de duale van de effectieve kegel ligt.

2. Methodologie

De auteur hanteert een methode die gebaseerd is op descend (neerwaartse projectie) via universele torsoren, geïnspireerd door het werk van Salberger en Peyre. De aanpak omvat de volgende stappen:

1. Lifting naar Universele Torsoren:
   In plaats van punten direct op de variëteit $X$ te tellen, worden deze "gelift" naar een universele torsor $T \to X$. Voor een gesplitste torische variëteit is deze torsor $T_\Sigma$ een open deelverzameling van een affiene ruimte $\mathbb{A}^{\Sigma(1)}$ (waarbij $\Sigma(1)$ de verzameling stralen van de fan is), met een specifieke uitsluiting van een gesloten verzameling $Z(\Sigma)$ die gerelateerd is aan primitieve collecties.

   • De rationale punten op $X$ corresponderen met rationale punten op $T$ modulo de actie van de Néron-Severi torus.

2. Lokale Hoogten op de Torsor:
   De auteur definieert lokale hoogten op de torsor die compatibel zijn met de Arakelov-hoogten op $X$. Dit maakt het mogelijk om het globale probleem te decomponeren in lokale problemen over de plaatsen van $\mathbb{Q}$.

3. Meetkunde van Getallen en Roostertelling:
   Het tellen van rationale punten op de torsor wordt teruggebracht tot het tellen van roosterpunten ($\mathbb{Z}^{\Sigma(1)}$) binnen een bepaald domein in $\mathbb{R}^{\Sigma(1)}$. Hiervoor wordt een resultaat van Davenport gebruikt dat de fout tussen het aantal roosterpunten en het volume van een semi-algebraïsche verzameling kwantificeert.

4. Möbius-omkering:
   Omdat de torsor $T_\Sigma$ een open deelverzameling is (met uitsluiting van coördinaten die 0 zijn of gemeenschappelijke delers hebben), wordt de Möbius-omkeringsformule toegepast. Dit stelt de auteur in staat om de telling over de torsor te relateren aan een som over vermenigvuldigingen van het rooster, waarbij de Möbius-functie $\mu(d)$ de "coprimality" condities corrigeert.

5. Asymptotische Analyse:
   De auteur analyseert de convergentie van de Euler-producten die ontstaan uit de lokale tellingen en schat de fouttermen af die ontstaan door de rand van het domein en de uitsluiting van de torus.

3. Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Theorema 2.15 & 4.16):
  De auteur bewijst dat de conjectuur van Peyre voor de multi-height verdeling geldt voor gladde, projectieve en gesplitste torische variëteiten over $\mathbb{Q}$.
  Voor een domein $D_B = D_1 + \log(B)u$ (waarbij $u$ in het inwendige van de duale van de effectieve kegel ligt), geldt het volgende asymptotische gedrag voor het aantal punten:
  $$\# \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim \nu(D_1) \cdot \tau(X) \cdot B^{\langle \omega^{-1}_X, u \rangle}$$
  Hierbij is:

  • $\nu(D_1)$ een maat op de duale van de Picard-groep.
  • $\tau(X)$ het Tamagawa-getal van de variëteit.
  • De exponent bepaald door de pairing tussen de anticanonieke bundel en de vector $u$.

• Precieze Foutschatting:
  Het artikel levert een expliciete foutterm op:
  $$O\left( B^{\langle \omega^{-1}_X, u \rangle - (1 - \frac{1}{l} - \varepsilon) \min_{\rho} \langle [D_\rho], u \rangle} \right)$$
  Waarbij $l$ de kleinste positieve integer is zodat er $l$ stralen bestaan die niet in één kegel van de fan liggen. Dit is een significant resultaat omdat het de snelheid van convergentie kwantificeert.

• Afwezigheid van Accumulatie:
  Het artikel bevestigt dat er geen accumulerende deelverzamelingen zijn voor de multi-height verdeling in het torische geval, zolang men zich beperkt tot het inwendige van de duale van de effectieve kegel. Dit lost een potentiële inconsistentie op die in eerdere werken (zoals [11]) mogelijk was over het hoofd gezien door een ontbrekende voorwaarde.

• Relatie met Tamagawa-getallen:
  Er wordt een directe link gelegd tussen de constante in de asymptotische formule en het product van lokale dichtheden op de universele torsor, wat de theorie van Peyre verder onderbouwt.

4. Significatie

Dit werk is van groot belang binnen de getaltheorie en de algebraïsche meetkunde om de volgende redenen:

1. Verificatie van de Multi-Height Conjectuur: Het is een van de eerste werken dat de conjectuur van Peyre voor alle hoogten (multi-height) bewijst voor een brede klasse van variëteiten (torische variëteiten), en niet alleen voor één specifieke bundel.
2. Methodologische Strengeheid: Het combineert succesvol de theorie van universele torsoren (Colliot-Thélène/Sansuc), de meetkunde van getallen (Davenport) en analytische getaltheorie (Möbius-omkering) om een scherp resultaat te bereiken.
3. Correctie van Bestaande Literatuur: Het identificeert en corrigeert een mogelijke fout in een eerdere publicatie ([11]) over de projectieve lijn, waar de voorwaarden voor de geldigheid van de asymptotische formule onvolledig waren.
4. Fundamenteel Begrip: Het resultaat versterkt het inzicht dat de verdeling van rationale punten op torische variëteiten volledig wordt bepaald door hun geometrische invarianten (Picard-groep, effectieve kegel, Tamagawa-getal), zonder "verborgen" accumulatieverschijnselen in het relevante domein.

Kortom, het artikel biedt een volledig en rigoureus bewijs voor de asymptotische wetmatigheid van rationale punten op torische variëteiten in een veralgemeend multi-height kader, en levert een cruciale schakel in de algemene theorie van Manin-Peyre.