Primitive points on some low degree Fermat curves

Titolo: Punti Primitivi su Alcune Curve di Fermat di Basso Grado

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio dei punti algebrici di basso grado sulle curve di Fermat $F_n$, definite dall'equazione $x^n + y^n = z^n$ per interi $n \ge 3$.
L'obiettivo specifico è l'analisi dei punti primitivi. Un punto algebrico $P \in C(\overline{\mathbb{Q}})$ su una curva $C$ definito su un campo di numeri $K$ è detto "primitivo" se il gruppo di Galois della chiusura di Galois del campo $\mathbb{Q}(P)$ agisce come un gruppo di permutazione primitivo.
In termini più semplici, un campo di numeri $K$ è primitivo se non ammette sottocampi propri (escluso $\mathbb{Q}$). Il paper indaga l'esistenza di soluzioni non banali (dove $xyz \neq 0$) alle equazioni di Fermat su campi di numeri di grado basso (in particolare quartici e campi di grado $\ge 3$) che soddisfano condizioni specifiche di primitività del gruppo di Galois.

2. Metodologia

L'autrice adotta un approccio geometrico-aritmetico che combina la teoria delle curve iperellittiche, la teoria dei divisori e il calcolo computazionale (tramite il software Magma). I pilastri metodologici sono:

• Morfismi verso Curve Iperellittiche: Viene utilizzato un morfismo noto (ma senza riferimento bibliografico diretto) che mappa la curva di Fermat $F_n$ di grado $n$ su una curva iperellittica $C_n$ definita dall'equazione $y^2 = -4x^n + 1$. Questo riduce significativamente il genere della curva su cui si lavora (genere 3 per $n=7, 8$), rendendo il problema più trattabile.
• Analisi dei Divisori e Spazi di Riemann-Roch: Per determinare i punti su $C_n$, l'autrice studia i divisori efficaci di grado 4. Utilizzando il teorema di Riemann-Roch e il teorema di Clifford, viene classificata la struttura degli spazi di Riemann-Roch associati a questi divisori. Questo permette di parametrizzare esplicitamente i punti quartici con gruppo di Galois $A_4$.
• Riduzione a Curve Ellittiche: Per $n=6$ e $n=8$, le curve iperellittiche $C_n$ ammettono mappe di grado 2 verso curve ellittiche di rango 0 su $\mathbb{Q}$. Questo permette di determinare l'insieme dei punti razionali $C_n(\mathbb{Q})$ analizzando i punti razionali sulle curve ellittiche target.
• Lemma di Primitività: Viene utilizzato un lemma chiave (Lemma 11) che afferma: se esiste una mappa di grado $m$ da una curva $C$ a una curva $C'$ definita su $\mathbb{Q}$, e $K$ è un campo di numeri primitivo di grado $d > m$ tale che $C'(K) = C'(\mathbb{Q})$, allora $C(K) = C(Q)$. Questo strumento è fondamentale per estendere i risultati dai punti razionali ai punti su campi di numeri più ampi.
• Calcolo Computazionale: L'uso di Magma è centrale per calcolare i ranghi delle varietà di Jacobiano, i gruppi di torsione, le basi degli spazi di Riemann-Roch e per verificare l'assenza di punti razionali su curve iperellittiche ausiliarie (tramite il metodo del "descent" e il controllo delle riduzioni buone).

3. Risultati Principali

Il paper presenta tre teoremi fondamentali:

• Teorema 1 (Casi $n=7$ e $n=8$):
  Non esistono soluzioni non banali all'equazione di Fermat $x^n + y^n = z^n$ su un campo di numeri quartico $K$ il cui gruppo di Galois della chiusura è isomorfo ad $A_4$ (il gruppo alternato su 4 elementi, che è un gruppo primitivo).

  • Dimostrazione: Si dimostra che l'immagine di un tale punto sulla curva iperellittica $C_n$ porterebbe a un punto razionale o a una configurazione di divisori che implica l'esistenza di punti su curve iperellittiche ausiliarie (come $y^2 = 2x^7 - 33$ o $y^2 = -2x^3 - 8x$) che non possiedono punti razionali non banali.

• Teorema 2 (Caso $n=6$):
  Sia $K$ un campo di numeri primitivo di grado almeno 3. Se il gruppo dei punti razionali su una delle due curve ellittiche $E/\mathbb{Q}$ (con etichetta Cremona 27a3 o 432b1) coincide con il gruppo dei punti su $K$ (cioè $E(K) = E(\mathbb{Q})$), allora non esistono soluzioni non banali per $n=6$ su $K$.

• Teorema 3 (Caso $n=8$):
  Sia $K$ un campo di numeri primitivo di grado almeno 3. Se il gruppo dei punti razionali sulla curva ellittica $E/\mathbb{Q}$ con etichetta Cremona 64a4 soddisfa $E(K) = E(\mathbb{Q})$, allora non esistono soluzioni non banali per $n=8$ su $K$.

4. Contributi Chiave

1. Classificazione dei punti quartici con Galois $A_4$: Fornisce una descrizione esplicita (tramite parametrizzazione) di tutti i punti quartici sulle curve di Fermat $F_7$ e $F_8$ con gruppo di Galois $A_4$, dimostrando che non ne esistono di non banali.
2. Condizioni sufficienti per l'assenza di punti: Stabilisce criteri basati sul comportamento dei punti razionali su specifiche curve ellittiche per escludere l'esistenza di punti su campi di numeri primitivi di grado $\ge 3$ per $n=6$ e $n=8$.
3. Strumento metodologico: L'uso sistematico della riduzione a curve iperellittiche di genere 3 e l'analisi dei divisori su queste curve per trattare problemi di punti su curve di Fermat di grado superiore.

5. Significato e Applicazioni

Questi risultati sono rilevanti per la risoluzione dell'equazione di Fermat su campi di numeri fissi utilizzando l'approccio modulare. Spesso, per dimostrare l'assenza di soluzioni su un campo $K$, è necessario escludere l'esistenza di punti $K$-razionali su $F_n$ per piccoli valori di $n$ attraverso argomenti diversi dalla teoria modulare classica.
Il lavoro fornisce gli strumenti teorici e computazionali per escludere tali punti in casi specifici (campi primitivi con gruppi di Galois $A_4$ o condizioni su curve ellittiche associate). Inoltre, il paper contribuisce alla comprensione della distribuzione dei punti algebrici su curve di Fermat, un problema di lunga data nella teoria dei numeri, estendendo i risultati noti per $n=5, 7, 11$ a nuovi contesti di campi di numeri e gruppi di Galois.

Tutti i calcoli computazionali di supporto sono resi disponibili pubblicamente su GitHub, garantendo la riproducibilità dei risultati.