Surfaces with canonical map of odd degree

Titel: Oppervlakken met een canonieke afbeelding van oneven graad

1. Het Probleem en de Context

Het artikel onderzoekt gladde, minimale complexe oppervlakken $S$ van het algemene type met een geometrisch genus $p_g(S) \geq 4$. De focus ligt op de canonieke afbeelding $\phi: S \to \Sigma \subset \mathbb{P}^{p_g-1}$.

• Achtergrond: Voor oppervlakken waar de canonieke afbeelding een isomorfisme is (graad 1), zijn de invarianten goed begrepen. Wanneer de graad $d > 1$ is, is de situatie complexer.
• Bestaande kennis: Uit resultaten van Beauville en Xiao is bekend dat voor $p_g$ groot genoeg de graad $d$ maximaal 8 is. Er bestaan reeksen voorbeelden met graad 8 en onbegrensde invarianten.
• De Open Vraag: Er zijn slechts weinig bekende voorbeelden van oppervlakken waarbij de graad $d$ oneven en groter dan 1 is. Het is een open vraag of dergelijke oppervlakken begrensde invarianten hebben (d.w.z. of $p_g$ en $K_S^2$ een bovengrens hebben), in tegenstelling tot het geval van even graad.
• Aannames: De auteurs nemen aan dat de algemene canonieke kromme van $S$ glad is en dat het beeld $\Sigma$ een oppervlak is dat "geruleerd is door lijnen" (ruled by lines).

2. Methodologie

De auteurs combineren diverse geavanceerde technieken uit de algebraïsche meetkunde om de mogelijke configuraties uit te sluiten:

• Numerieke connectiviteit: Analyse van de intersectiegetallen en connectiviteit van krommen op (mogelijk singuliere) oppervlakken.
• Classificatie van oppervlakken: Gebruik van bestaande classificatieresultaten voor oppervlakken van kleine graad in projectieve ruimten.
• Weierstraß-punten: Studie van de structuur van de "gap-set" (gaten) van Weierstraß-punten op krommen van klein genus.
• Pariteit van Theta-karakteristieken: Een cruciale techniek is het behoud van de pariteit van theta-karakteristieken in families. De auteurs gebruiken zowel de klassieke stelling van Harris als een infinitesimale versie (uit [MPP26]) om te bewijzen dat bepaalde configuraties onmogelijk zijn omdat ze zouden leiden tot een contradictie in de pariteit van de dimensie van sectieruimten.
• Constructie van dubbele overdekkingen: Voor het uitsluiten van specifieke gevallen (zoals $d=5, p_g=5$) construeren de auteurs een nieuw oppervlak via een dubbele overdekking om de invarianten te analyseren.

3. Belangrijkste Resultaten

De hoofdstelling (Stelling 3.1) levert de volgende resultaten op voor een oppervlak $S$ met een generiek eindige canonieke afbeelding van oneven graad $d > 1$, waarbij het beeld $\Sigma$ door lijnen wordt geruleerd:

1. Begrensing van het genus: $p_g(S) \leq d + 2$.
2. Structuur van het beeld: $\Sigma$ is een kegel (cone) over de rationale normale kromme van graad $p_g - 2$ in $\mathbb{P}^{p_g-1}$.
3. Pencil op $S$: De regelgeving (ruling) van $\Sigma$ trekt terug tot een lineaire pencil $|C|$ op $S$ met $C^2 > 0$.
4. Beperking van $d$ voor maximale $p_g$: Als $p_g = d + 2$, dan kan dit alleen voorkomen voor $d = 3, 9, 11$.
   • Voor $d=3$ is er een volledige classificatie (bekend uit eerdere werken).
   • Voor $d=9$ en $d=11$ worden de voorwaarden geformuleerd, maar de auteurs wijzen erop dat voor $d > 3$ de meeste gevallen zijn uitgesloten.
5. Specifiek geval $d=5$:
   • Als $d=5$, dan geldt $p_g \leq 5$.
   • Als $p_g = 5$, dan moet gelden: $C^2 = 1$ en $K_S \cdot C = 5$.
   • Andere numerieke mogelijkheden die aanvankelijk leken mogelijk (zoals $C^2=2, K_S \cdot C = 6$), worden strikt uitgesloten.

Corollarium 3.3 (Verbetering van bestaande grenzen):
Zelfs zonder de aanname dat $\Sigma$ door lijnen wordt geruleerd, maar wel met de aanname van een gladde canonieke kromme, leiden de resultaten tot sterkere grenzen dan die van Beauville en Xiao:

• Als $d=7$, dan $p_g \leq 111$.
• Als $d=9$, dan $p_g \leq 15$.
• Als $d=11$, dan $p_g \leq 13$.
• Als $d \geq 13$, dan $p_g \leq 2 + \frac{27}{d-9}$.

4. Technische Uitwerking van het Geval $d=5$

Een groot deel van het artikel is gewijd aan het uitsluiten van de "moeilijkste" gevallen voor $d=5$.

• De auteurs analyseren de mogelijke waarden voor $(p_g, C^2, K_S \cdot C)$.
• Ze sluiten het geval $p_g=7$ en $p_g=6$ uit via contradicties met de dimensie van sectieruimten van veelvouden van de pencil $|C|$.
• Het meest complexe geval is $p_g=5$ met $C^2=2$ en $K_S \cdot C = 6$. Hier gebruiken ze de infinitesimale versie van de pariteit van theta-karakteristieken. Ze tonen aan dat de aanwezigheid van een specifieke pencil en de structuur van de singuliere punten leiden tot een contradictie in de cohomologie van de gerelateerde bundels, waardoor dit geval niet kan bestaan.
• Het enige overblijvende geval voor $d=5$ is $p_g=5, C^2=1, K_S \cdot C = 5$.

5. Betekenis en Conclusie

• Bevestiging van een vermoeden: De resultaten suggereren sterk dat de antwoord op de vraag of oppervlakken met een niet-birationale canonieke afbeelding van oneven graad begrensde invarianten hebben, positief is. Dit staat in schril contrast met het geval van even graad (waarbij onbegrensde invarianten mogelijk zijn).
• Technische bijdrage: De paper introduceert en demonstreert de kracht van het combineren van de infinitesimale theorie van theta-karakteristieken met de studie van Weierstraß-punten op Gorenstein-krommen om specifieke numerieke configuraties uit te sluiten.
• Beperking: De auteurs merken op dat de aanname dat de algemene canonieke kromme glad is, essentieel is voor hun bewijzen. Het verwijderen van deze aanname zou een belangrijke toekomstige stap zijn, maar is momenteel niet haalbaar met de huidige methoden.

Kortom, dit werk levert een fundamentele bijdrage aan het classificeren van oppervlakken van het algemene type met een oneven graad canonieke afbeelding, en beperkt de mogelijke geometrieën aanzienlijk door een combinatie van klassieke meetkunde en diepgaande cohomologische argumenten.