Planar, rational curves over ${\mathbb F}_2$ whose only singularity is a double point

Dit artikel presenteert planaire rationale krommen over ${\mathbb F}_2$ met een hoge graad die slechts één singulier punt hebben met multipliciteit 2, een fenomeen dat in karakteristiek 0 slechts tot graad 6 voorkomt.

De kern

Hier is een uitleg van het paper van János Kollár, vertaald naar begrijpelijk Nederlands met behulp van alledaagse metaforen.

De Kern van het Verhaal: Krommen die alleen in de "Twee-Wereld" bestaan

Stel je voor dat wiskundigen een grote bibliotheek hebben met verschillende "werelden" of universums. In deze bibliotheek zijn er regels voor hoe dingen eruitzien.

• De "Nul-Wereld" (Kenmerk 0): Dit is onze vertrouwde wiskundige wereld, zoals die op school wordt geleerd. Hier gelden de standaardregels.
• De "Twee-Wereld" (Kenmerk 2): Dit is een vreemde, exotische wereld waar getallen op een heel andere manier werken (bijvoorbeeld: $1 + 1 = 0$). Het is alsof je in een video-game speelt waar de fysica anders is.

Het probleem:
János Kollár heeft ontdekt dat er in de Twee-Wereld bepaalde vormen (kromme lijnen in een vlak) bestaan die onmogelijk zijn in de Nul-Wereld.

De Analogie: De "Perfecte" Kromme

Stel je voor dat je een touw in een badkamer (het vlak) probeert te leggen.

• Een normale kromme is een touw dat een paar keer over zichzelf heen loopt en knopen maakt. Die knopen noemen we "singulariteiten" (plekken waar het touw niet glad is).
• Meestal, als je een heel lang touw neemt (een hoge graad), krijg je heel veel knopen.
• Kollár zoekt naar een speciaal touw dat:
  1. Heel lang is (hoge graad).
  2. Slechts één enkele knoop heeft.
  3. Die ene knoop is een "dubbele knoop" (multipliciteit 2).

In de Nul-Wereld (ons universum) is dit een streng spel. Je kunt zo'n touw alleen maken als het niet te lang is (maximaal lengte 6). Als je het langer maakt, breekt de regel: je krijgt automatisch meer knopen of het touw valt uit elkaar.

In de Twee-Wereld (F2) heeft Kollár echter een truc gevonden. Hij kan touwen maken die extreem lang zijn (graad 10, 12, 14, enz.) en toch slechts één enkele, perfecte knoop hebben.

De "Magische Formule" (De Artin-Schreier-truc)

Hoe doet hij dit? Hij gebruikt een soort wiskundige "toverformule" (een Artin-Schreier-vergelijking).
Stel je voor dat je in de Twee-Wereld een touw legt dat zo strak is dat het in de Nul-Wereld zou breken, maar in de Twee-Wereld blijft het heel dankzij de vreemde regels van die wereld.

• Voorbeeld: Hij maakt een kromme met een lengte van 10. In onze wereld zou dit onmogelijk zijn met maar één knoop. Maar in de Twee-Wereld is het een prachtige, gladde lijn met één puntje dat een beetje "scherp" is.

Waarom is dit belangrijk? (De "Lift"-problematiek)

Wiskundigen houden ervan om dingen uit de Twee-Wereld naar de Nul-Wereld te "liften". Het is alsof je een droombeeld uit een droom probeert te tekenen in het echte leven. Vaak lukt dit: je neemt een vorm uit de Twee-Wereld en zegt: "Oké, als we de regels iets aanpassen, ziet dit er dan zo uit in de echte wereld?"

Kollár's ontdekking is schokkend: Bij deze specifieke lange krommen lukt dat niet.

• Je kunt deze krommen niet "liften" naar de Nul-Wereld zonder dat ze veranderen.
• Als je ze probeert te vertalen, moet je de structuur van de knoop volledig veranderen. De "schade" (de singulariteit) die je in de Twee-Wereld hebt, kan niet worden opgelost met dezelfde stappen als in de Nul-Wereld.

Het is alsof je een origami-vogel uit papier maakt dat in de Twee-Wereld perfect staat. Als je probeert hetzelfde papier in de Nul-Wereld te vouwen, valt de vogel uit elkaar of wordt het een heel ander dier.

Wat betekent dit voor de grote vragen?

Er is een groot debat onder wiskundigen over of bepaalde "drempels" (logaritmische canonieke drempels) afhangen van welke wereld je in zit.

• Kollár zegt: "Deze nieuwe krommen zijn raar, maar ze bewijzen niet direct dat die drempels anders zijn in de Twee-Wereld."
• Ze laten wel zien dat onze methoden om van de ene wereld naar de andere te reizen (de "oplossingsmethoden") niet altijd werken. Het is een waarschuwing: "Pas op, sommige dingen zijn echt uniek voor hun eigen wereld."

Samenvatting in één zin

János Kollár heeft ontdekt dat er in de vreemde wiskundige wereld van "kenmerk 2" extreem lange, bijna perfecte lijnen bestaan met slechts één klein puntje dat niet glad is, en dat deze lijnen zo vreemd zijn dat ze nooit kunnen worden vertaald naar onze eigen wiskundige wereld zonder hun karakter te verliezen.

De les: Soms zijn de regels van het universum (of de wiskunde) zo specifiek dat bepaalde schoonheden alleen in één dimensie kunnen bestaan.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Planar, Rational Curves over F2, Whose Only Singularity is a Double Point" van János Kollár, in het Nederlands.

Titel en Context

Titel: Planaire, rationale curves over $\mathbb{F}_2$ met als enige singulariteit een dubbel punt.
Auteur: János Kollár
Taal: Engels (geanalyseerd voor deze samenvatting in het Nederlands).
Vakgebied: Algebraïsche meetkunde, specifiek singulariteitstheorie en meetkunde in positieve karakteristiek.

---

1. Het Probleem

Het centrale probleem in dit artikel is het construeren van rationale, planaire curves van hoge graad $d$ over het eindige veld $\mathbb{F}_2$ (karakteristiek 2) die slechts één singulariteit bezitten, en wel een punt met multipliciteit 2 (een "cusp" of spitse punt).

• Karakteristiek 0: In karakteristiek 0 (zoals over $\mathbb{C}$) is het bestaan van dergelijke curves sterk beperkt. Ze bestaan alleen voor graad $d \leq 6$.
• Karakteristiek $p > 0$: In positieve karakteristiek wordt verwacht dat er meer flexibiliteit is, maar de constructie van curves met zo weinig singulariteiten is niet triviaal.
• De Kernvraag: Kunnen deze specifieke curves in karakteristiek 2 "gelift" worden naar karakteristiek 0, waarbij de standaard resolutie-van-singulariteiten (via opblazen) behouden blijft? Dit raakt aan bredere vragen over log-canonical thresholds en de afhankelijkheid daarvan van de karakteristiek (zoals besproken in het werk [Ish25]).

---

2. Methodologie

Kollár gebruikt een constructieve aanpak gebaseerd op Artin-Schreier-polynomen en expliciete parametrisaties.

1. Constructie van de Curves:

   • Hij definieert een familie van curves $C_{q,r}$ als het beeld van een afbeelding $\phi_{q,r}: t \mapsto (t^q, t^{q+r} + t)$ in het affiene vlak $\mathbb{A}^2$, waarbij $q$ een macht van de karakteristiek $p$ is en $r$ een veelvoud van $p$.
   • De vergelijking van de curve in $\mathbb{A}^2$ wordt afgeleid als $y^q = x^{q+r} + x$.
   • Voor het specifieke geval $p=2$, $r=2$ en $q=2n$, wordt de curve $C_{2n,2}$ gedefinieerd in het projectieve vlak $\mathbb{P}^2$ met de vergelijking:
     $$z^2 y^{2n} = x^{2n+2} + x z^{2n+1}$$
   • Dit resulteert in een rationale curve van graad $d = 2n+2$.

2. Analyse van Singulariteiten:

   • De curve heeft precies één singulariteit op oneindig (het punt $(0:1:0)$).
   • Deze singulariteit is een cusp met multipliciteit 2.
   • De singulairiteitstypen worden geanalyseerd in termen van $A_m$-singulariteiten (waarbij $m = 2n(2n+1)$).

3. Vergelijking met Karakteristiek 0:

   • De auteur vergelijkt de gevonden curves met de bekende limieten in karakteristiek 0 (Lemma 4, gebaseerd op [GZN00]).
   • Hij onderzoekt of de "discrepancies" (afwijkingen) van de uitzonderlijke divisors bij het opblazen behouden blijven bij een lifting naar karakteristiek 0.

---

3. Belangrijkste Resultaten

• Existentie van Hoge Graad Curves:
  Er bestaan rationale curves van graad $d = 2n+2$ over $\mathbb{F}_2$ met één singulariteit (multipliciteit 2) voor willekeurige $n$. Dit staat in schril contrast met karakteristiek 0, waar de maximale graad 6 is.

• Singulariteitstypen en $A_m$-limieten:

  • De curve $C_{2n,2}$ heeft een singulariteit van type $A_m$ met $m \approx \frac{1}{2}d^2$.
  • In karakteristiek 0 geldt voor een curve van graad $2d$met een$A_m$-singulariteit de ongelijkheid$m \leq 3d(d-1) + 1$(ongeveer$\frac{3}{4}d^2$).
  • Voor $d \geq 10$ (d.w.z. $n \geq 4$) overschrijdt de $m$-waarde van de $\mathbb{F}_2$-curves de theoretische bovengrens voor karakteristiek 0.

• Niet-liftbaarheid (Non-liftability):

  • Hoofdbevinding: Voor $d \geq 10$ kunnen deze curves $C_d$ niet gelift worden naar karakteristiek 0 op een manier die de standaard opblazingssequentie (resolution-of-singularities blow-up sequence) behoudt.
  • Specifiek Voorbeeld: De curve $C_{8,2}$ heeft graad 10 en een $A_{72}$ singulariteit. Volgens Lemma 4 kan een gereduceerde decische curve ($d=10$) in $\mathbb{CP}^2$ maximaal een $A_{60}$ singulariteit hebben. De discrepantie tussen $A_{72}$ en $A_{60}$ bewijst dat een lifting met behoud van de singulariteitsstructuur onmogelijk is.

• Log-canonical Thresholds:

  • De log-canonical threshold van $C_{2n,2}$ is $\frac{1}{2} + \frac{1}{m+1}$.
  • Voor $n \geq 2$ bestaat er geen curve in $\mathbb{CP}^2$ met dezelfde graad en dezelfde log-canonical threshold. Dit suggereert dat de verzameling van log-canonical thresholds afhankelijk is van de karakteristiek, hoewel Kollár opmerkt dat deze specifieke voorbeelden misschien niet het volledige beeld schetsen.

---

4. Discussie en Implicaties

• Relatie met [Ish25]:
  Het werk van Ishii ([Ish25]) stelt een programma op om singulariteiten in karakteristiek $p$ te liften naar karakteristiek 0 door de "discrepancies" van uitzonderlijke divisors constant te houden. Kollár's voorbeelden tonen aan dat deze methode niet altijd werkt. Er bestaan curves in karakteristiek 2 waarbij de discrepantie behoudende lifting onmogelijk is vanwege de te hoge multipliciteit van de singulariteit.

• K3-oppervlakken (Voorbeeld 9):
  Kollár onderzoekt ook K3-oppervlakken in karakteristiek $p$ (zoals supersinguliere K3's) om te zien of ze niet-liftbare singulariteiten vertonen. Hoewel hij enkele extreme gevallen vindt (bijv. een K3 in karakteristiek 2 met een $D_{21}$ singulariteit die niet als quartic in $\mathbb{P}^3$ in karakteristiek 0 bestaat), concludeert hij dat deze voorbeelden minder geschikt zijn voor het specifieke probleem van de "discrepancy preserving" lifting dan de planaire curves. Hij vermoedt dat voor quartic oppervlakken met ADE-singulariteiten liften vaak wel mogelijk is.

• Significantie:
  Dit artikel levert een cruciaal tegenvoorbeeld aan in de theorie van singulariteiten in positieve karakteristiek. Het weerlegt de hypothese dat elke singulariteit in karakteristiek $p$ op een "standaard" manier (met behoud van de opblazingssequentie) naar karakteristiek 0 gelift kan worden. Het benadrukt de fundamentele verschillen tussen de meetkunde in karakteristiek 0 en karakteristiek $p$, vooral bij hoge graden en specifieke singulariteitsstructuren.

Conclusie

János Kollár presenteert een expliciete familie van rationale curves over $\mathbb{F}_2$ met graad $d = 2n+2$ en één singulariteit van multipliciteit 2. Voor $d \geq 10$ zijn deze curves te "complex" (te hoge $A_m$-index) om in karakteristiek 0 te bestaan. Dit resulteert in een bewijs dat de methode van "discrepancy preserving liftings" niet universeel toepasbaar is, wat belangrijke implicaties heeft voor het begrijpen van log-canonical thresholds en de classificatie van singulariteiten in verschillende karakteristieken.