Automorphisms of Plane Curves defined from Chebychev polynomials

Titel: Automorfismen van vlakke krommen gedefinieerd door Chebyshev-polynomen

1. Probleemstelling

Het artikel onderzoekt de automorfismengroepen van een specifieke familie van algebraïsche krommen $C_d$ gedefinieerd over een veld $k$ met karakteristiek $p$ (waarbij $p \nmid 2d$). De krommen worden gegeven door de vergelijking:
$$y^d = \phi_d(x)$$
waarbij $\phi_d(x)$ het Chebyshev-polynoom van graad $d$ is. Het hoofddoel is om de volledige groep van automorfismen, $\text{Aut}(C_d)$, te bepalen voor verschillende waarden van $d$ en $p$.

De auteurs focussen op het geval $d \geq 4$ (genus $g \geq 2$), zodat de automorfismengroep eindig is. Een klassiek resultaat van B. Segre stelt dat automorfismen van een gladde vlakke kromme lineaire automorfismen van het projectieve vlak $\mathbb{P}^2$ zijn. De uitdaging ligt in het classificeren van deze groepen, vooral in situaties waar de kromme niet isomorf is met de bekende Fermat-krommen, en in het begrijpen van de invloed van de karakteristiek van het veld op de structuur van de groep.

2. Methodologie

De auteurs hanteren een combinatie van algebraïsche meetkunde en groepentheorie:

• Analyse van totale inflectiepunten: Een cruciale stap is het identificeren van de "totale inflectiepunten" (punten waar de raaklijn de kromme met multipliciteit $d$ snijdt). Omdat automorfismen lineair zijn, moeten ze deze punten permuteren. De auteurs bewijzen een scherp resultaat over het aantal en de ligging van deze punten.
• Bijbehorende projectieve transformaties: Ze gebruiken de eigenschap dat automorfismen van $C_d$ restricties zijn tot de lijn $Z(y) \cong \mathbb{P}^1$ (de lijn die de totale inflectiepunten bevat). Dit leidt tot een homomorfisme van $\text{Aut}(C_d)$ naar een ondergroep van $\text{Aut}(\mathbb{P}^1) \cong \text{PGL}(2, k)$.
• Classificatie van ondergroepen: De auteurs maken gebruik van de klassieke classificatie van eindige ondergroepen van $\text{PGL}(2, q)$ (zoals cyclische groepen, dihedrale groepen, $A_4, S_4, A_5$, etc.) om de mogelijke structuren van de quotiëntgroep $\text{Aut}(C_d)/N$ te bepalen, waarbij $N$ de kern is (vaak isomorf met $\mathbb{Z}/d\mathbb{Z}$).
• Expliciete berekeningen en isomorfismen: Voor specifieke gevallen (zoals $2d = q+1$ of $4d = q+1$) construeren ze expliciete birationale afbeeldingen naar Fermat-krommen of gebruiken ze eigenschappen van Chebyshev-polynomen in eindige velden om de groepen te identificeren.

3. Belangrijkste Resultaten en Bijdragen

A. Totale Inflectiepunten (Propositie 2.1)

De auteurs bewijzen dat de totale inflectiepunten van $C_d$ doorgaans precies de $d$ punten zijn in de doorsnede $Z(y) \cap C_d$.

• Uitzondering: Als $p \geq 3$ en $d = (p^m + 1)/2$, zijn er $3d$ totale inflectiepunten. Deze liggen op de vereniging van drie lijnen: $y=0$, $x=2$ en $x=-2$.
• Dit resultaat verfijnt eerdere werken en is essentieel voor het bepalen van de automorfismengroep.

B. Classificatie van Automorfismengroepen

De paper levert volledige beschrijvingen voor verschillende gevallen:

1. Het Fermat-geval ($2d = q + 1$):

   • Als $2d = q + 1$ (met $q$ een macht van $p$), dan is $C_d$ isomorf met de Fermat-kromme van graad $d$.
   • De automorfismengroep is $(\mathbb{Z}/d\mathbb{Z} \times \mathbb{Z}/d\mathbb{Z}) \rtimes S_3$ met orde $6d^2$.
   • De auteurs geven een elementair bewijs voor deze isomorfie, zonder zware machinery.

2. Het geval $d = 4$:
   De structuur hangt sterk af van de karakteristiek $p$:

   • $p = 7$: Isomorf met de Fermat-kromme; groep is $(\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}) \rtimes S_3$ (orde 96).
   • $p = 5$: De groep is $\mathbb{Z}/4\mathbb{Z} \rtimes A_4$ (orde 48).
   • $p \neq 2, 5, 7$: De groep is $\mathbb{Z}/4\mathbb{Z} \rtimes (\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z})$ (orde 16).

3. Het geval $4d = q + 1$:

   • Als $4d = q + 1$ (met $q$ een macht van $p$), dan is de automorfismengroep $\mathbb{Z}/d\mathbb{Z} \rtimes S_3$ (orde $6d$).
   • De auteurs bewijzen dat de quotiëntgroep $G/N$ isomorf is met $S_3$ (of $D_3$), zelfs in karakteristiek 3, wat een verfijning is van eerdere verwachtingen.

4. Algemene verwachting (Expectation 3.19):
   Voor alle andere $d > 4$ (waar $2d-1$ en $4d-1$ geen machten van $p$ zijn), voorspellen de auteurs dat de automorfismengroep isomorf is met $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/d\mathbb{Z}$. Dit impliceert dat de enige niet-triviale automorfismen van de $x$-coördinaat $x \mapsto -x$ zijn.

C. Toepassing: Niet-isomorfe Maximaal Krommen

Een significante toepassing van deze resultaten is het onderscheiden van maximaal krommen over eindige velden $\mathbb{F}_{q^2}$.

• Een kromme is maximaal als het aantal rationale punten de Hasse-Weil bovengrens bereikt.
• De auteurs tonen aan dat krommen gedefinieerd door $y^m = \phi_n(x)$ en $y^m = x^n + 1$ (of $y^m = x^4+1$) vaak dezelfde genus hebben en beide maximaal zijn over $\mathbb{F}_{q^2}$, maar niet isomorf zijn.
• Het onderscheid wordt gemaakt door de automorfismengroepen te vergelijken: de Chebyshev-varianten bezitten vaak automorfismen van orde 3 of specifieke groepstructuren die de Fermat-achtige varianten missen. Dit verfijnt en generaliseert eerdere resultaten uit de literatuur (zoals [1, Corollary 6.4]).

4. Significatie

• Verfijning van de theorie: Het artikel lost specifieke open vragen op over de automorfismen van Chebyshev-krommen en biedt een transparante, elementaire bewijstechniek voor gevallen die eerder alleen via zware theorie (zoals de theorie van Fermat-krommen) werden behandeld.
• Classificatie in karakteristiek $p$: Het biedt een compleet overzicht van hoe de karakteristiek van het veld de symmetrie van deze krommen beïnvloedt, met name in de uitzonderlijke gevallen waar $d$ gerelateerd is aan machten van $p$.
• Coding Theory en Meetkunde: De resultaten zijn relevant voor de constructie van niet-isomorfe maximaal krommen, wat belangrijk is in de theorie van algebraïsche coderingen (Goppa-codes) en de studie van de verdeling van rationale punten op krommen over eindige velden.
• Methodologische bijdrage: De combinatie van het analyseren van inflectiepunten met de classificatie van ondergroepen van $\text{PGL}(2, q)$ biedt een robuust raamwerk dat mogelijk toepasbaar is op andere families van vlakke krommen.

Kortom, dit artikel levert een grondige en gespecialiseerde analyse van de symmetrieën van Chebyshev-krommen, verbindt deze met de theorie van Fermat-krommen, en gebruikt deze kennis om nieuwe inzichten te verschaffen in de classificatie van maximaal krommen over eindige velden.