2025-11-23T17:22:17.255019

The number of rational iterated preimages of the origin under unicritical polynomial maps

Sano
We study rational iterated preimages of the origin under unicritical maps $f_{d,c}(x)=x^d+c$. Earlier works of Faber--Hutz--Stoll and Hutz--Hyde--Krause established finiteness and conditional bounds in the quadratic case. Building on this, we prove that for $d=2$ and $c \in \mathbb Q\setminus\{0,-1\}$ there are no rational fourth preimages of the origin, and for all $d \geq 3$ there are no rational second preimages outside trivial cases. The proof relies on geometric analysis of preimage curves, the elliptic Chabauty method, and Diophantine reduction. As a result, we determine the number of rational iterated preimages of $0$ under $f_{d,c}$ for all $d\geq 2$.
academic

Il numero delle preimmagini iterate razionali dell'origine sotto mappe polinomiali unicritiche

Informazioni Fondamentali

  • ID Articolo: 2510.14397
  • Titolo: Il numero delle preimmagini iterate razionali dell'origine sotto mappe polinomiali unicritiche
  • Autore: Kaoru Sano (NTT Institute for Fundamental Mathematics)
  • Classificazione: math.NT (Teoria dei Numeri), math.AG (Geometria Algebrica), math.DS (Sistemi Dinamici)
  • Data di Pubblicazione: 17 ottobre 2025
  • Link dell'Articolo: https://arxiv.org/abs/2510.14397v1

Riassunto

Questo articolo studia le preimmagini iterate razionali dell'origine sotto mappe unicritiche fd,c(x)=xd+cf_{d,c}(x) = x^d + c. Basandosi su risultati precedenti di finitezza e limitazioni condizionali nel caso quadratico stabiliti da Faber-Hutz-Stoll e Hutz-Hyde-Krause, dimostriamo che per d=2d=2 e c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}, l'origine non possiede preimmagini razionali di quarto ordine; per tutti gli d≥3d \geq 3, non esistono preimmagini razionali di secondo ordine al di fuori dei casi banali. La dimostrazione si basa sull'analisi geometrica delle curve di preimmagine, sul metodo ellittico di Chabauty e sulla riduzione diofantea. Pertanto, determiniamo il numero di preimmagini iterate razionali dell'origine per fd,cf_{d,c} in tutti i casi d≥2d \geq 2.

Contesto di Ricerca e Motivazione

Descrizione del Problema

Il problema centrale di questo articolo è determinare il numero di preimmagini iterate razionali dell'origine sotto la mappa polinomiale unicritica fd,c:x↦xd+cf_{d,c}: x \mapsto x^d + c. Più precisamente, per un dato campo numerico LL, siamo interessati alla cardinalità dell'insieme ⋃N≥1fd,c−N(a)(L)={x∈A1(L)∣fd,c∘N(x)=a per qualche N≥1}\bigcup_{N \geq 1} f_{d,c}^{-N}(a)(L) = \{x \in A^1(L) | f_{d,c}^{\circ N}(x) = a \text{ per qualche } N \geq 1\} dove fd,c∘Nf_{d,c}^{\circ N} denota l'NN-esima iterazione di fd,cf_{d,c}.

Importanza della Ricerca

  1. Teoria dei Sistemi Dinamici: Questo problema è strettamente correlato alla distribuzione dei punti razionali nei sistemi dinamici polinomiali ed è un problema fondamentale nella dinamica algebrica
  2. Geometria Aritmetica: Coinvolge la distribuzione di punti razionali su curve algebriche di grado elevato, collegando la teoria dei numeri e la geometria algebrica
  3. Teoria delle Rappresentazioni di Galois: Da una prospettiva delle rappresentazioni ad albero, questo è correlato all'azione del gruppo di Galois assoluto

Limitazioni dei Lavori Precedenti

  • Il lavoro di Faber-Hutz-Stoll e altri si è concentrato principalmente sul caso quadratico (d=2d=2)
  • Per l'inesistenza di preimmagini di quarto ordine, i risultati precedenti dipendevano dalla congettura di Birch-Swinnerton-Dyer
  • Mancava uno studio sistematico per il caso d≥3d \geq 3

Contributi Principali

  1. Dimostrazione Incondizionata: Dimostriamo che per d=2d=2 e c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}, f2,cf_{2,c} non possiede preimmagini razionali di quarto ordine dell'origine, eliminando la dipendenza dalla congettura BSD nei risultati precedenti
  2. Risoluzione Completa dei Casi di Ordine Superiore: Dimostriamo che per d≥3d \geq 3, non esistono preimmagini razionali di secondo ordine dell'origine al di fuori dei casi banali
  3. Risultato di Classificazione Completa: Forniamo formule esatte per il numero di preimmagini iterate razionali in tutti i casi d≥2d \geq 2
  4. Innovazione Metodologica: Combiniamo il metodo ellittico di Chabauty, l'analisi geometrica e la riduzione diofantea in una tecnica sintetica

Spiegazione Dettagliata dei Metodi

Risultati Principali

Teorema 1.3:

  • (i) Per numeri razionali c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}, la mappa f2,cf_{2,c} non possiede preimmagini razionali di quarto ordine dell'origine
  • (ii) Per interi d≥3d \geq 3 e numeri razionali c∈Qc \in \mathbb{Q}, sotto condizioni appropriate, la mappa fd,cf_{d,c} non possiede preimmagini razionali di secondo ordine dell'origine

Strategia Tecnica

Strategia di Dimostrazione per il Caso Quadratico (d=2d=2)

  1. Riduzione Geometrica: Utilizziamo la mappa di rivestimento di grado 2 π:Xpre(2,4,0)→Xpre(2,3,0)≅E\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E dove E:v2=u3−u+1E: v^2 = u^3 - u + 1 è una curva ellittica
  2. Analisi della Ramificazione: Analizziamo la ramificazione su E[2]E[2], costruendo un appropriato cambio di base per ottenere un rivestimento doppio finito e piatto
  3. Riduzione della Curva: Riduciamo il problema a curve di genere inferiore CDC_D, dove DD è classificato dalle classi [D]∈R×/(R×)2[D] \in R^\times/(R^\times)^2, con R=Z[1/2,1/23]R = \mathbb{Z}[1/2, 1/23]

Applicazione del Metodo Ellittico di Chabauty

Teorema 1.5: Per D=(−1)ε02ε123ε2D = (-1)^{\varepsilon_0} 2^{\varepsilon_1} 23^{\varepsilon_2} (εi∈{0,1}\varepsilon_i \in \{0,1\}), consideriamo la curva affine nel piano CD:D2y4=x3−x+1C_D: D^2 y^4 = x^3 - x + 1

Dimostriamo che CD(Q)C_D(\mathbb{Q}) è non vuoto se e solo se D=±1D = \pm 1, e C1(Q)=C−1(Q)={(0,±1),(±1,±1)}C_1(\mathbb{Q}) = C_{-1}(\mathbb{Q}) = \{(0,\pm 1), (\pm 1, \pm 1)\}

Dimostrazione per i Casi di Ordine Superiore (d≥3d \geq 3)

Utilizziamo il teorema di Darmon-Merel, basato sulla modularità delle curve ellittiche: Teorema 4.1: Quando n≥4n \geq 4, l'equazione xn+yn=z2x^n + y^n = z^2 non possiede soluzioni primitive non banali.

Attraverso una trasformazione algebrica ingegnosa, trasformiamo il problema dell'esistenza di preimmagini razionali di secondo ordine in equazioni diofantee di questo tipo.

Punti di Innovazione Tecnica

  1. Evitare la Congettura BSD: Attraverso il metodo ellittico di Chabauty evitiamo la dipendenza dalla congettura di Birch-Swinnerton-Dyer
  2. Combinazione Geometrico-Aritmetica: Combiniamo abilmente la teoria dei rivestimenti della geometria algebrica con i problemi dei punti razionali della teoria dei numeri
  3. Fattibilità Computazionale: Rispetto alla discesa generalizzata n-adic, questo metodo ha costi computazionali inferiori e non richiede congetture aggiuntive

Configurazione Sperimentale

Strumenti Computazionali

Utilizziamo il sistema di algebra computazionale Magma per:

  1. Calcolo del gruppo di Mordell-Weil delle curve ellittiche
  2. Determinazione dei punti razionali
  3. Implementazione del metodo di Chabauty

Calcoli Chiave

  1. Curva Ellittica E:v2=u3−u+1E: v^2 = u^3 - u + 1:
    • Gruppo di Mordell-Weil: E(Q)≅ZE(\mathbb{Q}) \cong \mathbb{Z}, generato da Q0=(1,−1)Q_0 = (1,-1)
    • 10 punti razionali noti in Xpre(2,4,0)X^{\text{pre}}(2,4,0)
  2. Campo Numerico K=Q(θ)K = \mathbb{Q}(\theta) (dove θ3−θ+1=0\theta^3 - \theta + 1 = 0):
    • Discriminante: −23-23
    • Numero di classe: 1
    • Gruppo di unità: generato da ±1\pm 1 e θ\theta

Risultati Sperimentali

Risultati Principali

Corollario 1.4:

  • Per dd pari con d≥3d \geq 3: κ(d,0,Q)=3\kappa(d,0,\mathbb{Q}) = 3
  • Per dd dispari con d≥3d \geq 3: κ(d,0,Q)=1\kappa(d,0,\mathbb{Q}) = 1
  • Per d=2d = 2: κ(2,0,Q)=6\kappa(2,0,\mathbb{Q}) = 6

Numero Specifico di Preimmagini Iterate Razionali

Per diversi parametri cc, forniamo il numero esatto di preimmagini iterate razionali:

Per dd pari con d≥3d \geq 3:

3 & \text{se } c = -1 \\ 1 & \text{se } c = 0 \\ 2 & \text{se } c = -r^d \text{ per } r \in \mathbb{Q}\setminus\{0,\pm 1\} \\ 0 & \text{altrimenti} \end{cases}$$ **Per $d$ dispari con $d \geq 3$**: $$\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 1 & \text{se } c = -r^d \text{ per qualche } r \in \mathbb{Q} \\ 0 & \text{altrimenti} \end{cases}$$ ### Verifica Computazionale Abbiamo verificato mediante codice Magma i risultati computazionali del metodo ellittico di Chabauty, confermando la distribuzione dei punti razionali sulle curve $C_D$. ## Lavori Correlati ### Sviluppo Storico 1. **Faber-Hutz-Stoll e altri (2009)**: Stabiliscono la finitezza nel caso quadratico 2. **Hutz-Hyde-Krause (2011)**: Forniscono limitazioni condizionali 3. **Faber-Hutz-Stoll (2011)**: Forniscono risultati parziali sotto la congettura BSD ### Teorie Correlate 1. **Teoria delle Rappresentazioni ad Albero**: Comprendere le preimmagini iterate dalla prospettiva delle rappresentazioni di Galois 2. **Metodo di Chabauty Ellittico**: Utilizzato per determinare i punti razionali su curve algebriche 3. **Teoria delle Forme Modulari**: Il teorema di Darmon-Merel dipende dalla modularità delle curve ellittiche ## Conclusioni e Discussione ### Conclusioni Principali Questo articolo risolve completamente il problema del numero di preimmagini iterate razionali dell'origine sotto mappe polinomiali unicritiche, fornendo risultati esatti per tutti i casi $d \geq 2$. ### Significato Teorico 1. **Perfezionamento della Teoria Aritmetica dei Sistemi Dinamici**: Fornisce un quadro completo della distribuzione dei punti razionali nei sistemi dinamici polinomiali 2. **Dimostrazione dell'Efficacia del Metodo**: Applicazione riuscita del metodo ellittico di Chabauty a questo tipo di problemi 3. **Collegamento di Diversi Rami della Matematica**: Esemplifica i profondi collegamenti tra geometria algebrica, teoria dei numeri e sistemi dinamici ### Limitazioni 1. **Ambito di Applicabilità del Metodo**: Principalmente applicabile a mappe unicritiche; per mappe polinomiali più generali sono necessarie nuove tecniche 2. **Complessità Computazionale**: Sebbene più semplice della discesa generalizzata n-adic, presenta ancora sfide computazionali per casi di ordine superiore ### Direzioni Future 1. **Generalizzazione a Mappe Più Generali**: Considerare il caso di punti critici multipli 2. **Ricerca su Campi Numerici Generali**: Estendere a campi numerici arbitrari 3. **Sequenze di Divisione Ellittica**: Applicazione allo studio di potenze complete nelle sequenze di divisione ellittica ## Valutazione Approfondita ### Punti di Forza 1. **Contributo Teorico Significativo**: Risolve completamente un importante problema aperto 2. **Innovazione Metodologica**: Combina abilmente molteplici strumenti matematici, evitando la dipendenza da congetture irrisolte 3. **Risultati Completi**: Fornisce risposte esatte per tutti i casi 4. **Fattibilità Computazionale**: Fornisce algoritmi e codici praticamente realizzabili ### Punti Salienti Tecnici 1. **Eleganza della Riduzione Geometrica**: Riduce abilmente problemi su curve di genere elevato a curve ellittiche 2. **Applicazione Efficace del Metodo di Chabauty**: Dimostra la potenza di questo metodo nei problemi concreti 3. **Utilizzo Ingegnoso del Teorema di Modularità**: Sfrutta i risultati profondi della teoria dei numeri moderna ### Impatto 1. **Contributo al Campo**: Fornisce un contributo importante alla teoria aritmetica della dinamica algebrica 2. **Valore Metodologico**: Dimostra il potenziale del metodo ellittico di Chabauty nei problemi diofantei 3. **Valore Pratico**: Fornisce strumenti efficaci per problemi computazionali correlati ### Scenari di Applicazione 1. **Ricerca in Sistemi Dinamici**: Distribuzione dei punti razionali nelle mappe polinomiali 2. **Equazioni Diofantee**: Problemi di punti razionali su curve algebriche di grado elevato 3. **Geometria Aritmetica**: Studio delle proprietà aritmetiche delle curve ellittiche e di genere superiore ## Bibliografia L'articolo cita numerosi riferimenti matematici importanti, tra cui: - Lavori di Darmon-Merel sulle equazioni di Fermat generalizzate - Ricerca di Bruin sul metodo ellittico di Chabauty - Lavori fondamentali di Wiles e altri sulla modularità delle curve ellittiche - Letteratura correlata sulla dinamica algebrica --- Questo articolo rappresenta un eccellente esempio di combinazione tra teoria e calcolo nella teoria dei numeri moderna, risolvendo un problema impegnativo attraverso tecniche matematiche raffinate e fornendo contributi importanti allo sviluppo dei campi correlati.