Turning non-smooth points into rational points

Sintesi Tecnica: Trasformare Punti Non Lisci in Punti Razionali

Enunciato del Problema
Questo articolo affronta il comportamento dei punti non lisci su curve regolari su campi imperfetti di caratteristica $p > 0$. Mentre la regolarità e la liscezza coincidono sui campi perfetti, esse divergono nell'ambito imperfetto, dando origine a curve regolari che sono non lisce (ad esempio, curve quasi-ellittiche). Il problema centrale è determinare il numero preciso di pull-back di Frobenius iterati necessari per trasformare un punto puramente inseparabile non liscio $x$ su una curva regolare $C$ in un punto $K$-razionale.

Il lavoro precedente dell'autore e di Stöhr [HS25a] ha stabilito un limite superiore, denotato con $\tau_p(d)$, per il numero di pull-back necessari, dove $d$ è un parametro relativo al grado di singolarità geometrica $\delta(x) = \frac{p-1}{2}d$. Tuttavia, si sapeva che tale limite era stretto solo in caratteristica $p=2$. In caratteristiche $p > 2$, il limite non era sempre ottimale a causa dei vincoli su quali gradi di singolarità possano effettivamente verificarsi per punti puramente inseparabili.

Metodologia
L'articolo impiega la dualità tra curve regolari e campi di funzioni separabili monodimensionali per analizzare il problema aritmeticamente. La metodologia centrale prevede:

1. Analisi dell'Ammissibilità: Gli autori caratterizzano innanzitutto quali interi $d$ sono "ammissibili", ovvero esiste una coppia $(C|K, x)$ con grado di singolarità $\delta(x) = \frac{p-1}{2}d$. Essi dimostrano che $d$ è ammissibile se e solo se $d \not\equiv -1 \pmod p$.
2. Costruzione di Esempi Estremi: Per stabilire limiti inferiori stretti, gli autori costruiscono esplicitamente specifici campi di funzioni $F|K$ e primi puramente inseparabili $p$ con gradi di singolarità prescritti. Queste costruzioni utilizzano l'algoritmo di Bedoya–Stöhr [BS87] e campi base imperfetti accuratamente scelti (talvolta richiedendo un $p$-grado $\ge 2$).
3. Calcolo Ricorsivo della Singolarità: Utilizzando l'algoritmo di Bedoya–Stöhr e il Teorema 2.3, gli autori calcolano la sequenza dei gradi di singolarità $\delta(p_n)$ per i primi ristretti sotto pull-back di Frobenius iterati. Analizzano le "differenze" $\Delta_n = \delta(p_n) - \delta(p_{n+1})$ per determinare esattamente quando il primo ristretto diventa razionale.
4. Ottimizzazione Combinatoria: Il limite stretto $\lambda_p(d)$ è derivato trovando il minimo $m$ tale che per tutte le coppie ammissibili, il primo ristretto sia razionale per ogni $n \ge m$. Ciò comporta il confronto tra i limiti inferiori costruiti e l'esistente limite superiore $\tau_p(d)$.

Contributi Chiave e Risultati

• Limite Stretto $\lambda_p(d)$: Il risultato primario è il Teorema 1.2 (e il Teorema 3.5), che stabilisce un nuovo limite stretto $\lambda_p(d)$ per il numero di pull-back di Frobenius necessari per trasformare un punto puramente inseparabile non liscio in un punto razionale. Questo limite è ottimale per ogni caratteristica $p > 0$ e per ogni intero ammissibile $d$.

  • Il limite $\lambda_p(d)$ è o uguale al precedente limite $\tau_p(d)$ o pari a $\tau_p(d) - 1$.
  • Il valore specifico dipende dall'espansione $p$-adica di $d$ e dal fatto che $d$ possa essere rappresentato come somma di potenze di $p$ consecutive in configurazioni specifiche.
  • Il Corollario 3.6 conferma che in caratteristica $p=2$, il precedente limite $\tau_p(d)$ è sempre stretto.

• Generalizzazione a Punti Non Lisci Arbitrari: Il Teorema 1.6 estende questi risultati a punti non lisci arbitrari (non necessariamente puramente inseparabili). Esso stabilisce che se un punto $x$ ha grado di singolarità $\delta(x) = \frac{p-1}{2} [\kappa(x):K]_s \cdot d$, allora la sua immagine diventa un punto separabile (situato in $C_n(K^{sep})$) per tutti gli $n \ge \lambda_p(d)$. Questo generalizza il caso puramente inseparabile dove il grado separabile è 1.

• Criterio di Ammissibilità: La Proposizione 3.2 fornisce una condizione necessaria e sufficiente affinché un intero $d$ sia il parametro del grado di singolarità di un punto puramente inseparabile: $d \not\equiv -1 \pmod p$.

• Costruzioni Esplicite: La Sezione 4 fornisce esempi espliciti di campi di funzioni (Esempi 4.1 e 4.2) che realizzano i limiti stretti. Questi esempi dimostrano che il limite non può essere abbassato ulteriormente, poiché esistono coppie in cui il punto rimane non razionale (o non separabile) esattamente fino allo step $\lambda_p(d) - 1$.

Significato e Rivendicazioni
L'articolo sostiene di aver risolto la questione della strettazza del limite per i pull-back di Frobenius in tutte le caratteristiche $p > 0$. Mentre il precedente limite $\tau_p(d)$ era noto per essere stretto per $p=2$, questo lavoro dimostra che per $p > 2$, il limite può spesso essere migliorato di 1, a seconda delle proprietà aritmetiche del grado di singolarità.

Gli autori osservano che i loro esempi costruiti condividono la proprietà di essere geometricamente razionali (genere 0). Essi dichiarano che, sebbene non abbiano un controllo a priori sulla geometria globale di tali curve in generale, i limiti stretti $\lambda_p(d)$ si prevede che valgano anche sotto restrizioni globali, come fissare il genere geometrico o il $p$-grado del campo base. I risultati forniscono un metodo per ottenere descrizioni esplicite di curve regolari non lisce lavorando a ritroso dalla curva razionale ottenuta dopo sufficienti pull-back di Frobenius, una tecnica precedentemente applicata alle curve quasi-ellittiche e alle quartiche piane.

L'articolo non pretende di risolvere la classificazione di tutte tali curve, ma piuttosto fornisce la precisa soglia aritmetica richiesta per rendere efficace la strategia di "trasformare i punti non lisci in punti razionali" per ogni dato grado di singolarità.