Newton-Okounkov Bodies and Jet Separation: Canonical-Free and Multipoint Generalizations

Technische Samenvatting: Newton-Okounkov-lichamen en Jet-scheiding: Canonische-vrije en Meerpunts Generalisaties

Probleemstelling
Het artikel behandelt het probleem van het vaststellen van effectieve criteria voor $k$-jet-scheiding (en bijgevolg $k$-jet-ampleheid) op gladde projectieve variëteiten met behulp van de convexe geometrie van Newton-Okounkov (NO)-lichamen. Specifiek wordt gezocht naar een generalisatie van het bestaande criterium voor jet-scheiding van K¨uronya en Lozovanu, dat steunt op de opneming van een omgekeerd standaardsimplex binnen een infinitesimaal Newton-Okounkov-lichaam.

Het bestaande criterium (Stelling 1.1 in het artikel, met verwijzing naar [15]) stelt dat als een omgekeerd standaardsimplex van grootte $n+k+\varepsilon$ is opgenomen in het infinitesimale NO-lichaam van een divisor $D$ in een punt $x$, dan scheidt de adjungerende bundel $K_X + D$ de $k$-jets in $x$. Het artikel identificeert drie beperkingen in dit bestaande kader die de huidige werken motiveren:

1. Afhankelijkheid van de Canonische Divisor: Het criterium is van toepassing op $K_X + D$ in plaats van op de divisor $D$ zelf, wat directe toepassingen op positiviteitsvragen over $D$ bemoeilijkt.
2. Beperking tot één Punt: Het criterium is geformuleerd voor een enkel punt, terwijl veel geometrische problemen (bijvoorbeeld Matsusaka's Grote Stelling) gelijktijdige jet-scheiding vereisen op meerdere voorgeschreven punten.
3. Gebrek aan Berekenbaarheid: De afhankelijkheid van $K_X$ verduistert vaak de effectieve grenzen die nodig zijn voor $D$ om specifieke jet-scheidings eigenschappen te bereiken.

Methodologie
Het artikel maakt gebruik van de theorie van Newton-Okounkov-lichamen, en breidt specifiek het kader van infinitesimale en meerpunts NO-lichamen uit. De methodologie integreert de volgende componenten:

• Infinitesimale en Meerpunts NO-lichamen: De auteurs maken gebruik van de constructie van NO-lichamen geassocieerd met infinitesimale vlaggen (opblazingen in punten) en breiden dit uit tot meerpuntsconfiguraties via het kader van Trusiani [13]. Dit houdt in dat gegradeerde semigruppen worden gedefinieerd op basis van waarden die secties onderscheiden in verschillende punten.
• Convexe Geometrie en Simplex-opneming: De kernvoorwaarde in de geometrie blijft de opneming van een omgekeerd standaardsimplex $\Delta^{-1}_{n+k+\varepsilon}$ binnen het relevante NO-lichaam. Het artikel maakt gebruik van de relatie tussen de grootte van dit simplex en de orde van jet-scheiding.
• Vernietigingsstellingen: De bewijzen vertrouwen sterk op Nadel-verdwijning voor asymptotische multiplier-idealen. De strategie houdt in dat een hulpdivisor $B$ wordt geconstrueerd zodat de oorsprong ligt in zijn NO-lichaam, waardoor wordt verzekerd dat het asymptotische basislocus de uitzonderlijke divisors van de opblazing vermijdt. Dit maakt de toepassing van vernietigingsstellingen mogelijk om de surjectiviteit van restrictieafbeeldingen te bewijzen die nodig zijn voor jet-scheiding.
• Subadditiviteit en Translatie: Voor de canonische-vrije resultaten maakt het artikel gebruik van de subadditiviteitseigenschap van NO-lichamen en het feit dat ample divisors NO-lichamen hebben die de oorsprong bevatten. Dit maakt het mogelijk om voorwaarden te vertalen van een "canonische-vrije" divisor naar de adjungerende bundel die vereist is door de vernietigingsstellingen.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert drie hoofdstellingen die het criterium van K¨uronya-Lozovanu generaliseren:

1. Canonische-vrije Jet-scheiding (Stelling 3.1):
   De auteurs bewijzen dat voor een ample divisor $D$ en een punt $x$ een berekenbaar geheel getal $m(D)$ bestaat (dat alleen afhankelijk is van $D$) zodanig dat, als het omgekeerde standaardsimplex van grootte $n+k+\varepsilon$ is opgenomen in het NO-lichaam van $m\pi^*(D)$, de divisor $(m + m(D)) \cdot D$ de $k$-jets scheidt in $x$. Dit verwijdert de expliciete afhankelijkheid van $K_X$ in de uiteindelijke conclusie en biedt een direct criterium voor $D$.

2. Meerpunts Jet-scheiding (Stelling 3.3):
   Het criterium wordt uitgebreid naar een verzameling van verschillende gladde punten $Z = \{p_1, \dots, p_N\}$. Als het omgekeerde standaardsimplex van grootte $n+k+\varepsilon$ is opgenomen in het meerpunts infinitesimale NO-lichaam $\Delta_{\tilde{Y}_\bullet, j}(\pi^*(D))$ voor alle $j$, dan scheidt $K_X + D$ de $k$-jets gelijktijdig in alle punten in $Z$.

3. Canonische-vrije Meerpunts Jet-scheiding (Stelling 3.4):
   Door de vorige twee generalisaties te combineren, stelt het artikel een criterium vast voor gelijktijdige $k$-jet-scheiding op meerdere punten voor een divisor van de vorm $(m + m(D)) \cdot D$. Dit resultaat biedt een computationeel kader voor het testen van positiviteitsverschijnselen via convexe geometrie zonder te vertrouwen op de adjungerende bundel in de uiteindelijke uitspraak.

Expliciete Berekening en Toepassing
Om de effectiviteit van deze criteria te demonstreren, biedt het artikel een expliciete berekening voor een dubbele overdekking van een product van twee elliptische krommen ($Y \to E \times E$).

• De auteurs berekenen de drempel $m(D_\ell)$ die nodig is om $m(D_\ell)D_\ell - K_Y$ ample te maken.
• Ze berekenen de relevante NO-lichaamgrootte met behulp van Seshadri-constanten op het abelse oppervlak als basis.
• Het resultaat levert een concrete numerieke grens op: $(\ell^2 - 2\ell + 7)D_\ell$ is 1-jet-ample (zeer ample) op de dubbele overdekking. Dit illustreert hoe de vereiste veelvouden groeien met de jet-orde en de parameters van de overdekking.

Betekenis
Het artikel claimt betekenis door combinatorische en convex-geometrische criteria te bieden voor jet-scheiding die:

• Canonische-vrij zijn: Dit maakt directe toepassing mogelijk op de lijnbundel $L$ zelf in plaats van op $K_X + L$.
• Meerpunts zijn: Ze kunnen omgaan met gelijktijdige scheiding op meerdere punten, wat essentieel is voor globale positiviteitsvragen zoals Matsusaka's Grote Stelling.
• Berekenbaar zijn: Ze bieden expliciete grenzen (via $m(D)$) die kunnen worden berekend voor specifieke geometrische voorbeelden, zoals gedemonstreerd in het geval van de dubbele overdekking.

Het werk draagt bij aan de filosofie van het gebruik van convexe geometrie (NO-lichamen) om klassieke problemen in de algebraïsche meetkunde op te lossen met betrekking tot de effectieve positiviteit van lijnbundels. Het overbrugt de kloof tussen lokale positiviteitsnoties (jet-scheiding) en globale geometrische invarianten door de lens van infinitesimale en meerpunts waarden.