Technische Samenvatting: Equidistributie van Rationele Punten en de Geometrische Zeef voor Torische Variëteiten

1. Probleemstelling en Context

Het artikel behandelt het Manin–Peyre-principe, een vermoeden betreffende de asymptotische distributie van rationele punten van begrensde hoogte op algebraïsche variëteiten. Specifiek wordt onderzocht of rationele punten op een gladde, propere, gesplitte torische variëteit $X$ over $\mathbb{Q}$ (met een globaal gegenereerde anticanonieke lijnbundel) equidistributief zijn in de adelische ruimte $X(\mathbb{A}_{\mathbb{Q}})$ met betrekking tot de Tamagawa-maat, mits men een "dunne" deelverzameling van punten uitsluit.

Hoewel de Manin-conjectuur (het tellen van het totaal aantal punten) voor torische variëteiten al is vastgesteld via harmonische analyse (Batyrev–Tschinkel) en de universele torsor-methode (Salberger), zijn het equidistributieprincipe (Principe 1.1) en de uitbreiding naar open deelvariëteiten (Principe 1.3, of "zuiverheid van equidistributie") voor algemene variëteiten grotendeels onbewezen gebleven, met slechts enkele zeldzame uitzonderingen bekend.

Het artikel beoogt:

1. De equidistributie van rationele punten voor gladde, propere, gesplitte torische variëteiten te bewijzen.
2. Een effectieve versie van deze equidistributie vast te stellen, waarbij asymptotische formules met expliciete fouttermen worden geleverd die afhankelijk zijn van de adelische buurt.
3. Een effectieve geometrische zeef voor deze variëteiten te bewijzen, waarbij wordt aangetoond dat rationele punten die specialiseren in deelvariëteiten van codimensie $\ge 2$ modulo grote priemgetallen verwaarloosbaar zijn.
4. Deze resultaten toe te passen op het tellen van rationele punten die voldoen aan lokale condities voortvloeiend uit fibraties en het schatten van $S$-integere punten.

2. Methodologie

De kernmethodologie berust op een verfijning van de universele torsor-methode (Salberger), gecombineerd met analytische getaltheoretische technieken en een nieuwe "torische van der Corput-methode".

2.1. Universele Torsor-parametrisatie

De auteurs maken gebruik van het feit dat rationele punten op een gesplitte torische variëteit $X$ kunnen worden geliftd naar integrale punten op een universele torsor $X_0$, wat een quasi-affiene torische variëteit is.

• Liften: Het telprobleem op $X(\mathbb{Q})$ wordt getransformeerd in het tellen van integrale punten op $X_0(\mathbb{Z})$ die voldoen aan specifieke coprimaliteitscriteria en hoogtegrenzen.
• Parametrisatie: De geometrie van de fan die $X$ definieert, maakt een expliciete parametrisatie van punten op $X_0$ mogelijk via coördinaten in $\mathbb{Z}^n$. De hoogtefunctie op $X$ lift naar een product van monomialen op $X_0$.

2.2. Effectieve Equidistributievoorwaarden

Het artikel formuleert en verifieert een Effectieve Equidistributie (EE) conditie (Conditie EE) en haar tegenhanger op universele torsoren (Conditie EEUT).

• Deze condities beweren dat het aantal integrale punten in een adelische buurt (gedefinieerd door reële en congruentievoorwaarden) de Tamagawa-maat van die buurt benadert met een foutterm die uniform is ten opzichte van de grootte van de congruentie-modulus.
• Propositie 4.6 demonstreert dat indien de torsor aan (EEUT) voldoet, de basisvariëteit aan (EE) voldoet.

2.3. De Torische van der Corput-methode

Een cruciale technische innovatie is de Torische van der Corput-methode (Stelling 7.1).

• Doel: Om aan te tonen dat de bijdrage van integrale punten die in "asymmetrische" boxen liggen (waar coördinaten klein zijn ten opzichte van de hoogtegrens) verwaarloosbaar is.
• Techniek: In plaats van standaard exponentiële som-schattingen, vergelijken de auteurs het tellen van roosterpunten met integralen over de Néron–Severi-torus $T_{NS}$. Door gebruik te maken van de specifieke torische geometrie en de structuur van de definiërende fan, controleren zij de fouttermen wanneer men zich beperkt tot regio's waar bepaalde coördinaten klein zijn (bijv. $< (\log B)^A$). Dit maakt een nauwkeurige behandeling van randeffecten in het telprobleem mogelijk.

2.4. Zeeftechnieken

• Selberg-zeef: Gebruikt om "oneindig veel" lokale condities te behandelen (bijv. punten die een divisor modulo $p$ vermijden voor alle $p$). De auteurs ontwikkelen een effectieve versie (Stelling 3.11) die afgekapte lokale condities modulo priemmacht-moduli vangt.
• Geometrische zeef: Een effectieve versie van Ekedahls zeef wordt bewezen (Stelling 1.5), waarmee wordt aangetoond dat punten die reduceren naar een deelvariëteit van codimensie $\ge 2$ modulo een groot priemgetal $p$ schaars zijn. Dit berust op een kwantitatieve versie van de Lang–Weil-schatting voor vezels van projecties.

3. Belangrijkste Resultaten

3.1. Hoofdstellingen over Equidistributie

• Stelling 1.4 (Effectieve Equidistributie): Voor een gladde, propere, gesplitte torische variëteit $X$ over $\mathbb{Q}$ met een globaal gegenereerde $K_X^{-1}$ is het aantal rationele punten in een standaard adelische verzameling $F$ met hoogte $\le B$:
  $$\# \{P \in F \cap T_O(\mathbb{Q}) : H_{tor}(P) \le B\} = \alpha(X)\omega_{tor}(F) B(\log B)^{r-1} + O_{F_\infty, \epsilon} \left( L(F_f)^{r+2\dim X + \epsilon} B(\log B)^{\frac{r-3}{2} + \epsilon} \right)$$
  Hier is $L(F_f)$ de dekkingsexponent van het eindelijke deel van de adelische verzameling. Dit bevestigt Principe 1.1 met een expliciete foutterm die afhankelijk is van de grootte van de adelische buurt.

• Stelling 1.5 (Geometrische Zeef): Voor een Zariski-gesloten deelverzameling $Z \subset X$ van codimensie $\ge 2$, is het aantal punten dat reduceert naar $Z$ modulo een priemgetal $p \ge N$ begrensd door:
  $$\ll_Z \frac{B(\log B)^{r-1}}{N \log N} + B(\log B)^{r-2} \log \log B$$
  Dit vestigt de "zuiverheid" van de distributie: punten concentreren zich niet op deelvariëteiten van codimensie $\ge 2$.

3.2. Toepassingen op Fibraties en Lokale Condities

• Stelling 1.6 (Fibraties): Het artikel biedt kwantitatieve schattingen voor rationele punten in de afbeelding van een fibratie $f: Y \to X$.
  • Indien $f$ generiek eindig is van graad $>1$, is de telling $O(B(\log B)^{r-1-\iota})$.
  • Indien $f$ geometrisch integrale generieke vezels heeft, hangt de telling af van het splitsingsgedrag van de vezels over codimensie 1-punten. Indien alle vezels pseudo-gesplitst zijn, zijn de punten equidistributief met een positieve dichtheid; indien er niet-pseudo-gesplitste vezels bestaan, is de dichtheid nul (met een specifieke logaritmische vervalvoet).
• Stelling 1.8 (Integrale Punten en Priemgetallen): Het artikel schat het aantal punten waarbij een sectie $s$ waarden aanneemt in $S$-integers of priemwaarden. Het toont aan dat de dichtheid van punten waarbij een coördinaat een priemwaarde aanneemt verwaarloosbaar is ($O(B(\log B)^{r-1} / (\log \log B)^\theta)$).

3.3. Zuiverheid van Equidistributie

• Principe 1.3: De auteurs bewijzen dat het equidistributieprincipe geldt voor elke Zariski-open, dichte deelverzameling $W \subset X$ waarvan het complement een codimensie $\ge 2$ heeft. Dit is een kwantitatieve versie van de Arithmetic Purity of Strong Approximation (APSA).

4. Betekenis en Claims

Het artikel claimt de volgende betekenis:

1. Eerste Bewijs voor Torische Variëteiten: Het levert het eerste bewijs van het Manin–Peyre-equidistributieprincipe voor gladde, propere, gesplitte torische variëteiten, een klasse van variëteiten waar de Manin-conjectuur bekend was, maar de fijnere equidistributie-eigenschap niet.
2. Effectiviteit: In tegenstelling tot eerdere niet-effectieve bewijzen, levert dit werk asymptotische formules met effectieve fouttermen. Cruciaal is dat de foutterm expliciet afhankelijk is van de "grootte" (dekkingsexponent) van de adelische buurt, wat uniforme resultaten mogelijk maakt.
3. Geometrische Zeef: Het vestigt de eerste effectieve geometrische zeef voor hogere-dimensie variëteiten van graad $>1$ (voorbij kwadratische hyperoppervlakken), waarbij wordt aangetoond dat rationele punten zich niet ophopen op deelvariëteiten van codimensie $\ge 2$.
4. Kwantitatieve APSA: Het biedt een kwantitatieve versie van de Arithmetic Purity of Strong Approximation (APSA) voor gesplitte torische variëteiten, waarbij de distributie van punten wordt gekoppeld aan de geometrie van de variëteit en de splitsing van vezels in fibraties.
5. Methodologische Innovatie: De "torische van der Corput-methode" wordt gepresenteerd als een nieuw instrument voor het tellen van roosterpunten in spitsvormige domeinen, ter aanvulling op bestaande benaderingen zoals harmonische analyse en standaard zeefmethoden.

De auteurs merken op dat hoewel hun methode steunt op de gesplitte conditie (in tegen tegenstelling tot recent werk van Santens dat niet-gesplitte gevallen behandelt), hun aanpak effectieve fouttermen oplevert met expliciete afhankelijkheden van adelische buurten, wat moeilijk te extraheren lijkt uit andere methoden. Zij erkennen ook dat hun resultaten voor niet-gesplitte gevallen of meer algemene lijnbundels niet gedekt zijn, en dat het vaststellen van niet-triviale ondergrenzen voor punten met priemwaarden een open probleem blijft dat gerelateerd is aan de Schinzel-hypothese.