Special geodesics and atypical intersections

Titolo: Geodetiche Speciali e Intersezioni Atipiche

Autore: Matteo Tamiozzo

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri, in particolare nello studio delle intersezioni atipiche su varietà di Shimura e nelle connessioni tra la teoria dei campi di classe per campi quadratici reali e la teoria della moltiplicazione complessa.

• Contesto: In un approccio recente alla teoria dei campi di classe per campi quadratici reali (Darmon e Vonk), le geodetiche nel semipiano superiore $\mathbb{H}$ con estremi in $\mathbb{P}^1(\mathbb{R})$ che sono coniugati quadratici reali giocano un ruolo analogo a quello dei punti di Heegner nella teoria della moltiplicazione complessa.
• La Domanda di Darmon: Il problema centrale è caratterizzare le curve "fortemente speciali" (strongly special) nel prodotto di curve modulari $Y(1) \times Y(1)$.
  • Un teorema di André (caso speciale della congettura di André-Oort) afferma che una curva irriducibile in $Y(1) \times Y(1)$ è fortemente speciale se e solo se contiene infiniti punti le cui coordinate sono punti di Heegner.
  • Domanda 1.2.3: Se una curva complessa irriducibile $C \subset Y(1) \times Y(1)$ contiene infiniti curve reali algebriche la cui proiezione su ciascuna copia di $Y(1)$ è un'unione di geodetiche quadratiche reali, è $C$ necessariamente una curva fortemente speciale?

2. Metodologia

L'autore risponde affermativamente alla domanda di Darmon attraverso un approccio che combina geometria algebrica reale, teoria delle intersezioni e la congettura di Zilber-Pink.

1. Restrizione degli Scalari (Weil Restriction):

   • L'autore interpreta i punti complessi di $Y(1)$ come punti reali di $\mathbb{A}^2_{\mathbb{R}}$.
   • La curva complessa $C$ viene trasformata, tramite restrizione degli scalari da $\mathbb{C}$ a $\mathbb{R}$, in una superficie reale $\tilde{C}$ in $\mathbb{A}^2_{\mathbb{R}} \times \mathbb{A}^2_{\mathbb{R}}$.
   • Le curve reali algebriche menzionate nella domanda sono viste come sottovarietà reali in questo spazio prodotto.

2. Intersezioni Atipiche:

   • Il problema viene riformulato in termini di intersezioni "atipicamente grandi". In $\mathbb{R}^4$, l'intersezione tra una superficie $\tilde{C}(\mathbb{R})$ e un insieme $S$ (unione di prodotti di geodetiche reali) dovrebbe essere di dimensione zero. Se invece contiene curve (dimensione 1), l'intersezione è atipica.
   • Questo scenario richiama la Congettura di Zilber-Pink, che prevede la finitezza delle componenti atipiche in una sottovarietà di una varietà di Shimura.

3. Cambio di Base (Base Change Strategy):

   • Viene utilizzata una strategia di cambio di base (già impiegata in lavori precedenti dell'autore) per passare dal contesto reale a quello complesso.
   • Si considera il morfismo $f: \text{Spec}(\mathbb{C}[X, Y]) \to \text{Spec}(\mathbb{C}[X, Y])$ indotto da $(X, Y) \mapsto (X+iY, X-iY)$.
   • Le curve reali $Z_N$ (definite da equazioni modulari $\Phi_N(X+iY, X-iY)=0$) vengono mappate in sottovarietà speciali complesse.

4. Applicazione del Teorema di Pila-Tsimerman:

   • L'autore si appoggia al risultato di Pila e Tsimerman [PT16] per $Y(1)^n$, che stabilisce la finitezza delle sottovarietà massimali "fortemente atipiche" (strongly atypical).

3. Contributi Chiave e Risultati

Il risultato principale è il Teorema 2.3.3, che fornisce una caratterizzazione delle curve fortemente speciali in termini di geodetiche.

• Definizione di Curve con Proiezioni Geodetiche Speciali:
  Una sottoinsieme infinito $Z \subset \mathbb{R}^2 \times \mathbb{R}^2$ è una curva con proiezioni geodetiche speciali se è l'insieme dei punti reali di una curva algebrica reale irriducibile $Z$, e le sue proiezioni su ciascuna componente sono contenute in un'unione di geodetiche speciali.

• Teorema Principale (2.3.3):
  Una curva algebrica complessa irriducibile $C \subset Y(1) \times Y(1)$ (che non sia orizzontale né verticale) è fortemente speciale se e solo se l'insieme dei suoi punti complessi $C(\mathbb{C})$ contiene infinite curve con proiezioni geodetiche speciali.

• Dimostrazione della Direttiva:

  • $(\Rightarrow)$: Se $C$ è fortemente speciale (definita da un polinomio modulare $\Phi_N$), la sua restrizione scalare $\tilde{C}$ interseca curve reali $Z_M \times \mathbb{A}^2_{\mathbb{R}}$ producendo infinite curve con le proprietà richieste.
  • $(\Leftarrow)$: Se esistono infinite tali curve in $\tilde{C}$, queste generano, tramite cambio di base, infinite curve "fortemente atipiche" all'interno di una superficie $V$ in $Y(1)^4$. Per il teorema di Pila-Tsimerman, se ci sono infinite curve fortemente atipiche, la superficie $V$ stessa deve essere contenuta in una sottovarietà speciale. Analizzando le equazioni modulari che definiscono questa sottovarietà, si dimostra che $C$ deve essere definita da un polinomio modulare $\Phi_N$, quindi è fortemente speciale.

4. Significato e Implicazioni

1. Risposta alla Domanda di Darmon: Il lavoro risolve positivamente la domanda sollevata da Darmon, confermando che la presenza di infinite curve reali con proiezioni geodetiche speciali è una condizione sufficiente per identificare le curve modulari speciali.
2. Analogia con i Punti di Heegner: Il risultato stabilisce un'analogia profonda tra la condizione di contenere infiniti punti di Heegner (teorema di André) e la condizione di contenere infinite curve reali con proiezioni geodetiche. Questo rafforza il parallelismo tra la teoria dei campi di classe per campi quadratici reali e quella per campi immaginari quadratici.
3. Metodologia Interdisciplinare: Il paper dimostra l'efficacia di combinare strumenti di geometria algebrica reale (restrizione degli scalari), teoria delle curve modulari e la teoria o-minimale (tramite il teorema di Pila-Tsimerman) per risolvere problemi aritmetici.
4. Distinzione Tecnica: L'autore nota che le curve con proiezioni geodetiche speciali possono contenere solo un numero finito di punti di Heegner (es. se i parametri sono trascendenti), il che implica che il Teorema 2.3.3 non è una semplice conseguenza del teorema di André, ma richiede una dimostrazione indipendente e più sottile.

In sintesi, il lavoro di Tamiozzo fornisce un potente criterio geometrico per il riconoscimento delle curve modulari speciali, estendendo i principi della congettura di André-Oort al dominio delle geodetiche reali quadratiche.