Turning non-smooth points into rational points

Technische Samenvatting: Niet-gladde punten omzetten in rationale punten

Probleemstelling
Dit artikel behandelt het gedrag van niet-gladde punten op reguliere curven over imperfecte lichamen met karakteristiek $p > 0$. Terwijl regulariteit en gladheid samenvallen over perfecte lichamen, wijken deze in de imperfecte setting uiteen, wat leidt tot reguliere curven die niet-glad zijn (bijv. quasi-elliptische curven). Het centrale probleem is het bepalen van het exacte aantal iteratieve Frobenius-pullbacks dat nodig is om een niet-glad, puur inseparabel punt $x$ op een reguliere curve $C$ om te vormen tot een $K$-rationaal punt.

Vorig werk door de auteur en Stöhr [HS25a] stelde een bovengrens vast, aangeduid als $\tau_p(d)$, voor het aantal pullbacks dat nodig is, waarbij $d$ een parameter is gerelateerd aan de geometrische singulariteitsgraad $\delta(x) = \frac{p-1}{2}d$. Deze bovengrens was echter alleen bekend als scherp in karakteristiek $p=2$. In karakteristieken $p > 2$ was de grens niet altijd optimaal vanwege beperkingen op welke singulariteitsgraden daadwerkelijk kunnen voorkomen voor puur inseparabele punten.

Methodologie
Het artikel maakt gebruik van de dualiteit tussen reguliere curven en eendimensionale separabele functielichamen om het probleem rekenkundig te analyseren. De kernmethodologie omvat:

1. Admissibiliteitsanalyse: De auteurs karakteriseren eerst welke gehele getallen $d$ "admissibel" zijn, wat betekent dat er een paar $(C|K, x)$ bestaat met singulariteitsgraad $\delta(x) = \frac{p-1}{2}d$. Zij bewijzen dat $d$ admissibel is dan en slechts dan als $d \not\equiv -1 \pmod p$.
2. Constructie van extreme voorbeelden: Om scherpe ondergrenzen vast te stellen, construeren de auteurs expliciet specifieke functielichamen $F|K$ en puur inseparabele priemmen $p$ met voorgeschreven singulariteitsgraden. Deze constructies maken gebruik van het Bedoya–Stöhr algoritme [BS87] en zorgvuldig gekozen imperfecte basislichamen (soms vereisend dat de $p$-graad $\ge 2$ is).
3. Recursieve singulariteitsberekening: Met behulp van het Bedoya–Stöhr algoritme en Stelling 2.3 berekenen de auteurs de sequentie van singulariteitsgraden $\delta(p_n)$ voor de beperkte priemmen onder iteratieve Frobenius-pullbacks. Zij analyseren de "verschillen" $\Delta_n = \delta(p_n) - \delta(p_{n+1})$ om exact te bepalen wanneer de beperkte priem rationaal wordt.
4. Combinatorische optimalisatie: De scherpe grens $\lambda_p(d)$ wordt afgeleid door het minimale $m$ te vinden waarvoor geldt dat voor alle admissibele paren de beperkte priem rationaal is voor alle $n \ge m$. Dit omvat het vergelijken van de geconstrueerde ondergrenzen met de bestaande bovengrens $\tau_p(d)$.

Belangrijkste bijdragen en resultaten

• Scherpe grens $\lambda_p(d)$: Het primaire resultaat is Stelling 1.2 (en Stelling 3.5), die een nieuwe, scherpe grens $\lambda_p(d)$ vaststelt voor het aantal Frobenius-pullbacks dat nodig is om een niet-glad puur inseparabel punt tot een rationaal punt te maken. Deze grens is optimaal voor elke karakteristiek $p > 0$ en elk admissibel geheel getal $d$.

  • De grens $\lambda_p(d)$ is ofwel gelijk aan de vorige grens $\tau_p(d)$, of $\tau_p(d) - 1$.
  • De specifieke waarde hangt af van de $p$-adische expansie van $d$ en of $d$ gerepresenteerd kan worden als een som van opeenvolgende $p$-machten in specifieke configuraties.
  • Corolarium 3.6 bevestigt dat in karakteristiek $p=2$, de vorige grens $\tau_p(d)$ altijd scherp is.

• Generalisatie naar willekeurige niet-gladde punten: Stelling 1.6 breidt deze resultaten uit naar willekeurige niet-gladde punten (niet noodzakelijkerwijs puur inseparabel). Het stelt vast dat als een punt $x$ een singulariteitsgraad $\delta(x) = \frac{p-1}{2} [\kappa(x):K]_s \cdot d$ heeft, de afbeelding een separabel punt wordt (liggend in $C_n(K^{sep})$) voor alle $n \ge \lambda_p(d)$. Dit generaliseert het puur inseparabele geval waar de separabele graad 1 is.

• Admissibiliteitscriterium: Propositie 3.2 biedt een noodzakelijke en voldoende voorwaarde voor een geheel getal $d$ om de singulariteitsgraadparameter van een puur inseparabel punt te zijn: $d \not\equiv -1 \pmod p$.

• Expliciete constructies: Sectie 4 biedt expliciete voorbeelden van functielichamen (Voorbeelden 4.1 en 4.2) die de scherpe grenzen realiseren. Deze voorbeelden laten zien dat de grens niet verder verlaagd kan worden, aangezien er paren bestaan waar het punt precies tot stap $\lambda_p(d) - 1$ niet-rationeel (of niet-separabel) blijft.

Betekenis en claims
Het artikel beweert de vraag over de scherpte van de grens voor Frobenius-pullbacks in alle karakteristieken $p > 0$ te hebben opgelost. Hoewel de vorige grens $\tau_p(d)$ bekend stond als scherp voor $p=2$, toont dit werk aan dat voor $p > 2$ de grens vaak met 1 verbeterd kan worden, afhankelijk van de rekenkundige eigenschappen van de singulariteitsgraad.

De auteurs merken op dat hun geconstrueerde voorbeelden de eigenschap delen dat ze geometrisch rationeel zijn (genus 0). Zij stellen dat hoewel zij niet a priori controle hebben over de globale geometrie van deze curven in het algemeen, de scherpe grenzen $\lambda_p(d)$ naar verwachting ook gelden onder globale restricties, zoals het fixeren van de geometrische genus of de $p$-graad van het basislichamen. De resultaten bieden een methode om expliciete beschrijvingen van reguliere niet-gladde curven te verkrijgen door achterwaarts te werken vanuit de rationale curve verkregen na voldoende Frobenius-pullbacks, een techniek die eerder is toegepast op quasi-elliptische curven en planaire quartieken.

Het artikel claimt niet de classificatie van al dergelijke curven op te lossen, maar biedt de precieze rekenkundige drempel die nodig is om de strategie van het "omzetten van niet-gladde punten in rationale punten" effectief te maken voor elke gegeven singulariteitsgraad.