Integral Diophantine approximation on varieties

Technische Samenvatting: Integrale Diophantische Benadering op Variëteiten

Probleemstelling
Dit artikel onderzoekt het lokale gedrag van integrale punten op log-paren $(X, D)$ in de buurt van een vast rationaal punt $x$ in de randdivisor $D$. Waar klassieke Diophantische benadering betrekking heeft op de dichtheid van rationele punten op projectieve variëteiten, worden integrale punten op affiene variëteiten (of open deelverzamelingen $U = X \setminus D$) beperkt door het gehele rooster en kunnen ze willekeurige reële punten in het inwendige niet benaderen. Integrale punten kunnen echter ophopen in de buurt van de rand. De centrale vraag die wordt behandeld is: hoe goed kan een vast rationaal punt $x \in D(k)$ worden benaderd door integrale punten $y \in U(o)$, gemeten aan de hand van het vervaltempo van de afstand $d_v(x, y)$ ten opzichte van de hoogte $H_L(y)$?

De auteurs streven ernaar de integrale benaderingsconstante $\alpha_v(x, U; L)$ te bepalen, gedefinieerd als het infimum van exponenten $a$ zodat $d_v(x, y)^a H_L(y)$ begrensd blijft voor oneindig veel integrale punten $y$. Dit werk breidt het geometrische kader van McKinnon en Roth, die zich richtten op rationele benaderingsconstanten, uit naar de integrale setting, gemotiveerd door Siegel's stelling over integrale punten op krommen en de verdeling van integrale punten op log-Fano-variëteiten.

Methodologie
De auteurs maken gebruik van een combinatie van arithmetische meetkunde, de theorie van log-schemata en de meetkunde van getallen.

1. Log-schemata en Integrale Parametrisatie: Het onderzoek is ingebed in de theorie van log-schemata over een Dedekind-domein. De auteurs classificeren rationale krommen op een log-paar $(X, D)$ die oneindig veel integrale punten kunnen dragen. Door Siegel's stelling in te roepen, beperken ze de aandacht tot krommen waar de randdivisor $D$ de kromme in hoogstens twee punten snijdt.

   • Log-rationale krommen: Krommen waarbij de snijding met de rand uit één punt (of nul) bestaat. Deze staan toe om geparametriseerd te worden door de affiene lijn $\mathbb{A}^1$.
   • Toroidale krommen: Krommen waarbij de snijding uit twee punten bestaat. Deze staan toe om geparametriseerd te worden door een torus (ofwel $\mathbb{G}_m$ of een norm-één-torus).
   • De auteurs construeren expliciet integrale parametrisaties voor deze krommen, en tonen aan dat integrale punten op log-rationale krommen corresponderen met de affiene lijn, terwijl die op toroidale krommen corresponderen met ondergroepen van eenheden in een uitbreiding van een getallenlichaam.

2. Benaderingsconstanten op Krommen: Met behulp van de expliciete parametrisaties berekenen de auteurs de integrale benaderingsconstanten voor deze specifieke krommetypen.

   • Voor log-rationale krommen wordt de constante bepaald door de graad van de lijnbundel en de multipliciteit van de kromme in het punt $x$.
   • Voor toroidale krommen hangt de constante af van of de kromme knooppuntvormig (singulier) of glad is, en cruciaal van het splitsingslichaam van de kromme en het gedrag van eenheden in dat lichaam (Stelling van Dirichlet over eenheden).

3. Formulering van een Vermoeden: Op basis van de berekeningen voor krommen stellen de auteurs een vermoeden voor dat analoog is aan McKinnon's vermoeden voor rationele punten. Zij postuleren dat voor zwak log-Fano-variëteiten die voldoen aan de integrale Hilbert-eigenschap, de globale integrale benaderingsconstante wordt gedicteerd door de benaderingsconstanten van specifieke rationale krommen (log-rationaal of toroidaal) die door het randpunt gaan.

4. Verificatie via Voorbeelden: Het vermoeden wordt geverifieerd in twee verschillende contexten:

   • Een specifiek del Pezzo-oppervlak van graad 6 (een torische variëteit verkregen door $\mathbb{P}^1 \times \mathbb{P}^1$ op te blazen).
   • Een algemene familie van gladde projectieve torische variëteiten met simpliciale pseudo-effectieve kegels.

Belangrijkste Bijdragen en Resultaten

• Definitie van Integrale Benaderingsconstanten: Het artikel formaliseert het begrip van een benaderingsconstante voor integrale punten in de buurt van een randdivisor, en onderscheidt deze van het rationele geval door de aard van de limietmaat (gedragen door de rand).
• Classificatie van Bijdragende Krommen: De auteurs bewijzen dat alleen log-rationale en toroidale krommen kunnen bijdragen aan eindige integrale benaderingsconstanten. Zij geven precieze formules voor deze constanten (Proposities 4.1 en 4.5), waarbij de rol van het splitsingslichaam en de "knooppuntvormige" aard van de kromme worden benadrukt.
• Vermoeden 4.8: Het artikel vermoedt dat voor zwak log-Fano-schemata met de integrale Hilbert-eigenschap, de benaderingsconstante $\alpha_v(x, U; L)$ wordt bereikt door een rationale kromme $C$ die óf log-rationaal óf toroidaal is.
• Voorbeeld: del Pezzo-oppervlak van Graad 6: De auteurs analyseren een specifiek oppervlak waarbij de benaderingsconstante 1 is. Zij tonen aan dat de "beste" benaderingen liggen op twee gladde log-rationale krommen. Bovendien tonen zij aan dat de "essentiële" benaderingsconstante (waarbij deze specifieke krommen worden genegeerd) 2 is, gelijktijdig bereikt door drie verschillende typen krommen: gladde log-rationale krommen, knooppuntvormige toroidale krommen en cuspidale log-rationale krommen. Dit illustreert dat verschillende geometrische families dezelfde benaderingsconstante kunnen opleveren, ondanks zeer verschillende groeitempos voor het aantal integrale punten (polynomiaal versus logaritmisch).
• Torische Variëteiten: Het artikel bewijst het vermoeden voor een klasse van torische variëteiten. Stelling 6.1 stelt vast dat voor een gladde projectieve gesplitste torische variëteit en een punt $x$ op een specifieke randdivisor, de integrale benaderingsconstante gelijk is aan de graad van de minimale rationale kromme geassocieerd met een centrale primitieve collectie die die divisor bevat.

Betekenis en Claims
Het artikel claimt een geometrische karakterisering te bieden van hoe integrale punten ophopen in de buurt van de rand van log-Fano-variëteiten. Door vast te stellen dat deze ophopingsraten worden gedicteerd door rationale krommen, overbrugt dit werk de kloof tussen de verdeling van integrale punten (Manin-achtige problemen) en lokale Diophantische benadering.

De auteurs benadrukken dat hun resultaten het vermoeden verifiëren voor specifieke voorbeelden en torische variëteiten, wat suggereert dat het fenomeen robuust is. Zij merken op dat hoewel de benaderingsconstanten voor verschillende krommfamilies gelijk kunnen zijn, de "dichtheid" van punten (de tel functie) aanzienlijk varieert, waarbij log-rationale krommen polynomiale groei bieden en toroidale krommen logaritmische groei. Dit onderscheid is cruciaal voor het begrijpen van de geometrie van het paar $(X, D)$ en de aard van de integrale Hilbert-eigenschap.

Het werk claimt niet het algemene geval voor alle variëteiten op te lossen, maar biedt een kader en specifieke verificaties die de hypothese ondersteunen dat rationale krommen de primaire drijfveren zijn van het gedrag van integrale benadering in de log-Fano-setting.