Low degree points on singular plane curves

Titel: Laaggradige punten op singuliere vlakke krommen

Auteurs: Zachary R. Canale, Nathan Chen, Zoe Curewitz, Jacob A. Daum, Karina Dovgkodko, Carlos F. Santiago-Calderón, en Shiv R. Yajnik.

1. Probleemstelling

Het artikel richt zich op het bestuderen van de distributie van laaggradige punten op algebraïsche krommen gedefinieerd over een getallichaam $K$.

• Definitie: Een punt $p$ op een kromme $C$ heeft graad $e$ als de graad van het velduitbreiding van zijn residuveld gelijk is aan $e$.
• Context: In 1991 bewees Faltings de Mordell-Lang-vermoeden, wat impliceert dat een algebraïsche kromme slechts eindig veel punten van begrenste graad bevat, tenzij de kromme specifieke geometrische eigenschappen heeft (zoals een niet-triviale abelse variëteit als deelvariëteit).
• Aanleiding: Debarre en Klassen (1994) bewezen voor gladde vlakke krommen $C \subset \mathbb{P}^2$ van graad $d \geq 7$ dat er slechts eindig veel punten zijn met graad $\leq d-2$. Voor $d \geq 8$ ontstaan alle punten met graad $\leq d-1$ (behalve eindig veel) als het snijpunt van de kromme met een lijn gedefinieerd over $K$.
• Het centrale vraagstuk: Hoe verlopen deze resultaten voor singuliere vlakke krommen (specifiek met een eindig aantal gewone knopen en/of cusps)? De auteurs willen de stellingen van Debarre-Klassen uitbreiden naar deze minder reguliere gevallen, waarbij ze een bovengrens zoeken voor het aantal singulariteiten ($\delta$) ten opzichte van de graad $d$, zodat de eindigheid van laaggradige punten behouden blijft.

2. Methodologie

De auteurs gebruiken een combinatie van arithmetische meetkunde, de theorie van Jacobiaanse variëteiten en de theorie van lineaire systemen op krommen.

• Normalisatie: Omdat de kromme $C$ singulier is, werken ze met de normalisatie $\tilde{C} \to C$. Hoewel $\tilde{C}$ glad is, verschilt de structuur van de lineaire systemen op $\tilde{C}$ van die op een gladde vlakke kromme.
• Abel-Jacobi afbeelding: Punt van graad $e$ worden geïnterpreteerd als rationale punten op de $e$-de symmetrische macht $\text{Sym}^e(\tilde{C})$. Via de Abel-Jacobi afbeelding $AJ_e: \text{Sym}^e(\tilde{C}) \to \text{Jac}^e(\tilde{C})$ wordt dit teruggebracht tot het bestuderen van de beeldvariëteit $W_e(\tilde{C})$.
• Faltings' Stelling: De kern van het bewijs is het aantonen dat $W_e(\tilde{C})$ geen positief-dimensionale abelse deelvariëteiten bevat. Als dit het geval is, impliceert Faltings' stelling dat er slechts eindig veel $K$-punten zijn.
• Analyse van Lineaire Systemen: De auteurs analyseren wanneer $W_e(\tilde{C})$ abelse deelvariëteiten kan bevatten. Dit hangt samen met het bestaan van specifieke lineaire systemen (zoals $g^1_n$) op $\tilde{C}$. Ze maken gebruik van resultaten van Coppens en Kato om te bepalen onder welke voorwaarden deze lineaire systemen "geïnduceerd" zijn door lijnen of kegelsneden in $\mathbb{P}^2$.
• Bewijsstrategie:
  1. Toon aan dat voor bepaalde waarden van $d$ en $\delta$, de variëteit $W_e(\tilde{C})$ geen abelse deelvariëteiten bevat.
  2. Gebruik dit om te concluderen dat de enige manier waarop er oneindig veel punten van graad $e$ kunnen zijn, is als ze voortkomen uit een lineair systeem (een "veelvoud" van snijpunten met lijnen of kegelsneden).
  3. Analyseer de specifieke gevallen voor $e = d-2$ en $e = d-1$ om te laten zien dat deze lineaire systemen corresponderen met lijnen door singuliere of gladde $K$-punten.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Theorema 1.1)

Laat $C \subset \mathbb{P}^2$ een vlakke kromme zijn over een getallichaam $K$ met graad $d$ en $\delta$ gewone knopen/cusps. Als een van de volgende voorwaarden geldt:

1. $d \geq 8$ en $\delta \leq d - 8$;
2. $d \geq 17$ en $\delta < \frac{d^2}{4} - 2d - \frac{17}{4}$;

Dan geldt:

• $C$ bevat slechts eindig veel punten van graad $\leq d-3$.
• Alle punten van graad $\leq d-1$ (behalve eindig veel) ontstaan als het snijpunt van $C$ met een lijn in $\mathbb{P}^2$ die over $K$ is gedefinieerd.

Technische Nuances

• Dichtheidsgraad: De stelling impliceert dat de minimale graad in de "dichtheidsgraadset" $\delta(C/K)$ gelijk is aan $d-2$ (of hoger), tenzij er specifieke $K$-punten op de singulariteiten of gladde punten liggen.
• Optimaliteit: De auteurs tonen aan dat de kwadratische bovengrens voor $\delta$ asymptotisch scherp is. Ze construeren een voorbeeld (gebaseerd op Coppens-Kato) van een kromme met graad $d=2k+4$ en $(k+1)^2$ knopen. Voor deze kromme bestaan er oneindig veel punten van graad $d-1$ die niet voortkomen uit lijnen, wat aantoont dat de kwadratische term in de bovengrens niet verbeterd kan worden.

Alternatieve Benadering (Theorema 4.3)

De auteurs presenteren ook een alternatief resultaat gebaseerd op werk van Smith en Vogt, dat een iets andere asymptotische grens biedt ($\delta \leq \frac{d^2}{4} - \frac{9}{4}d + 2$) door de kromme te bekijken als een gladde kromme op een opgeblazen oppervlak (blow-up) en gebruik te maken van eigenschappen van "big and nef" lijnbundels.

4. Significatie en Impact

• Uitbreiding van Bestaande Theorie: Dit werk vult een cruciale lacune in de literatuur door de sterke resultaten van Debarre-Klassen (die alleen golden voor gladde krommen) te generaliseren naar een belangrijke klasse van singuliere krommen.
• Scherpe Grenzen: Het artikel levert niet alleen een bewijs, maar ook een nauwkeurige analyse van de grenzen van deze stellingen. De constructie van het tegenvoorbeeld in Sectie 4 bevestigt dat de gevonden kwadratische afhankelijkheid van $\delta$ van $d$ noodzakelijk is.
• Methodologische Vooruitgang: De combinatie van de normalisatiemethode met de analyse van lineaire systemen op de normalisatie biedt een robuust raamwerk voor het bestuderen van laaggradige punten op niet-gladde objecten.
• Verband met Genus: De auteurs benadrukken dat hun resultaten niet direct voortvloeien uit recente werken over willekeurige krommen (zoals Kadets-Vogt), omdat de genus van deze singuliere vlakke krommen (via de graad-genus formule) vaak te hoog is om aan de voorwaarden van die algemere stellingen te voldoen.

Samenvattend biedt dit artikel een fundamenteel inzicht in hoe singulariteiten de verdeling van rationale en laaggradige punten op algebraïsche krommen beïnvloeden, en definieert het de precieze drempels waarbij deze verdeling van "eindig" naar "oneindig" (via specifieke geometrische structuren) omslaat.