Equidistribution for semiabelian varieties over number fields

Technische Samenvatting: Equidistributie voor Semi-abelse Variëteiten over Getalvelden

Probleemstelling
Dit artikel behandelt de kloof tussen de equidistributie van kleine punten op semi-abelse variëteiten en de klassieke Bogomolov-veronderstelling, specifiek in omgevingen waar de definiërende metrieken niet "quasi-canonieke" zijn in de zin die vereist is door de Yuan–Zhang equidistributie-stelling. Terwijl Yuan en Zhang equidistributie vaststelden voor quasi-canoneke adelische lijnbundels op quasi-projectieve variëteiten, en Kühne equidistributie bewees voor canonieke semi-abelse metrieken, bleef een significante klasse van metrieken—specifiek die op semi-abelse compactificaties die worden beheerst door torische metrieken die semipositief, monocritisch en rekenkundig T-effectief zijn—buiten de directe reikwijdte van deze stellingen.

De centrale vraag is of generieke equidistributie en de Bogomolov-eigenschap (dat een niet-speciale subvariëteit niet een Zariski-dichte verzameling punten van willekeurig kleine hoogte kan bevatten) standhouden voor deze algemenere torische metrieken. De moeilijkheid ligt in het feit dat voor dergelijke metrieken de globale hoogte van de variëteit strikt kleiner kan zijn dan haar essentiële minimum ($h_L(G) < \mu^{\text{ess}}_L(G)$), wat een directe toepassing van het Yuan–Zhang-raamwerk verhindert.

Methodologie
De auteur, Wei Xue, ontwikkelt een bewijsstrategie die de asymptotische schattingen in het argument van Kühne isoleert en deze herinterpreteert via "expliciete compressiepaden". De methodologie verloopt in vier afzonderlijke fasen:

1. Lokale Trivialisering en Adelische Constructie: Het artikel breidt de archimedische lokale trivialisering van Kühne uit naar alle plaatsen van een getalveld $K$. Met behulp van Raynaud–Bosch–Lütkebohmert uniformisatie voor abelse variëteiten en $p$-adische thetafuncties, construeert de auteur een adelische lijnbundel $\mathcal{G}(D)$ op de semi-abelse compactificatie $\overline{G}$ geassocieerd met een torische metrike divisor $D$. Deze constructie waarborgt compatibiliteit met de lokale trivialisaties op elke plaats $v$, waardoor een precieze vergelijking mogelijk is tussen de hoogte op de semi-abelse variëteit en het absolute minimum op het torische deel.

2. Canonieke Metriek Geval: Het artikel stelt eerst equidistributie vast voor het geval van de canonieke metriek. Door een hulpstuk $n$-delingentoren te construeren en de asymptotische schattingen van Kühne uit te breiden naar willekeurige ample torische divisors, bewijst de auteur dat generieke kleine sequenties equidistribueren met betrekking tot de canonieke maat. Dit omvat het begrenzen van Picard-nul translatie-termen en het vaststellen van een "canonieke ondergrens" voor hoogtes.

3. Quasi-canoneke Compressie: Voor metrieken die quasi-canonieke maar niet noodzakelijkerwijs canonieke zijn, introduceert het artikel "expliciete compressiepaden". De metriek wordt gecomprimeerd naar een quasi-canoniek model dat wordt bepaald door zijn kritische tropische centrum. De auteur construeert expliciete compressieparameters $m(n)$ en bewijst dat de ondergrenzen, maat-schattingen en rekenkundige volumevergelijkingen uniform langs deze paden standhouden. Deze stap transporteert effectief de Haar-slice en verschil-morfisme argumenten van Kühne van de standaard $(\mathbb{P}^1)^t$ compactificatie naar een willekeurige normale proper torische compactificatie $X_\Sigma$.

4. Monocritische Reductie: De laatste stap behandelt het algemene monocritische geval. Gebruikmakend van de torische maattheorie van Burgos Gil, Philippon, Rivera-Letelier en Sombra (BGPS), toont de auteur aan dat monocritische metrieken gereduceerd kunnen worden tot quasi-canoneke metrieken via een "quasi-canoneke vervanging". Dit berust op de rekenkundige T-effectiviteit van de metriek, die de oorsprong in de stabiliteitsset van de dakfunctie (roof function) fixeert. De limiterende maat voor de monocritische metriek wordt aangetoond overeen te komen met die van de geassocieerde quasi-canoneke metriek.

Kernbijdragen en Resultaten

• Generieke Equidistributie (Theorem 1.3): Het artikel bewijst dat voor een semi-abelse variëteit $G$ over een getalveld, uitgerust met een lijnbundel $L = \mathcal{G}(D) \otimes \pi^*N$ waarbij $D$ een big, T-effectieve, semipositieve, monocritische en rekenkundig T-effectieve torische metrike divisor is, elke generieke $L$-kleine sequentie $v$-adische equidistributie vertoont op elke plaats $v$.
• Bogomolov Theorem (Theorem 1.4): Het artikel vestigt de Bogomolov-stelling voor deze specifieke metriekklasse. Het bewijst dat als een gesloten subvariëteit $X \subseteq G$ voldoet aan $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$, dan $X$ een speciale subvariëteit is (een translatie van een algebraische subgroep door een torsiepunt). Omgekeerd, indien $G(K)$ $L$-speciale punten bevat, is $X$ $L$-speciaal dan en slechts dan als $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$.
• Kühne Transport Assembly: Een belangrijke technische bijdrage is de "Kühne Transport Assembly" (Proposition 96). Dit pakket past de lokale-trivialisatie analyse, verschil-morfismen en kleine-box contradictie argumenten van Kühne rigoureus aan voor willekeurige torische compactificaties en quasi-canoneke metrieken. Het demonstreert dat de pushforward identiteiten en Haar-slice beschrijvingen die gebruikt worden in het canonieke geval geldig blijven onder deze generalisaties, mits de theta-factor conventies correct worden beheerd.
• Strikte Equidistributie: Het artikel leidt een strikte equidistributie-stelling af (Theorem 102) voor quasi-canoneke metrieken, waarbij wordt aangetoond dat strikte kleine sequenties equidistribueren naar de canonieke waarschijnlijkheidsmaat. Dit wordt bereikt door de Bogomolov-eigenschap te combineren met de generieke equidistributie-resultaten, waarbij circulariteit wordt vermeden door gebruik te maken van de "beperkte quasi-canoneke model" op minimale speciale enveloppen.

Significantie en Claims
Het artikel claimt de reikwijdte van de equidistributie en Bogomolov-stellingen uit te breiden voorbij het quasi-canoneke bereik van Yuan–Zhang en het canonieke bereik van Kühne. De bijdrage is geen nieuw bewijs van de canonieke stelling noch een resultaat voor alle semipositieve torische metrieken. In plaats daarvan richt het zich op de specifieke klasse van monocritische en rekenkundig T-effectieve torische metrieken.

De significantie ligt in het gevestigde "vergelijkingsmechanisme" tussen canonieke, quasi-canoneke en algemene torische metrieken. Door de asymptotische schattingen te isoleren en te herinterpreteren via compressiepaden, biedt de auteur een brug die de krachtige machinerie van de lokale-trivialisatie argumenten van Kühne mogelijk maakt voor metrieken die niet strikt quasi-canonieke zijn. Het artikel merkt expliciet op dat de "algemene metriek" waarnaar verwezen wordt in de context van de Bogomolov toepassing, beperkt is tot deze gecontroleerde klasse; het uitbreiden van het argument naar willekeurige semipositieve metrieken zou nieuwe vervangings- of deformatietheorema's vereisen die buiten de huidige scope vallen.

Het werk steunt zwaar op de interactie tussen de tropische geometrie (kritische vectoren, dakfuncties), rekenkundige intersectietheorie (adelische lijnbundels, rekenkundige volumes) en analytische uniformisatie (Raynaud-extensies, thetafuncties). Het slaagt erin de BGPS monocritische criteria te integreren met de semi-abelse hoogte-decompositie om het equidistributieprobleem voor deze specifieke, niet-triviale klasse van metrieken op te lossen.