Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

Sintesi Tecnica: Innalzamento del Livello Aritmetico sul Prodotto Triplo di Curve di Shimura e Cicli Diagonali di Gross–Kudla–Schoen II: Sistema di Euler Bipartito

Enunciato del Problema
Questo articolo indaga le proprietà aritmetiche del ciclo diagonale di Gross–Kudla–Schoen sul prodotto triplo di curve di Shimura. L'obiettivo principale è stabilire una struttura di "sistema di Euler bipartito" per questi cicli, specificamente nel contesto del motivo del cubo simmetrico di una forma modulare. Costruendo sul lavoro precedente dell'autore [Wang], che ha verificato la prima legge di reciprocità, questo articolo mira a dimostrare la seconda legge di reciprocità. L'obiettivo finale è utilizzare queste leggi di reciprocità per fornire evidenze per il caso di rango uno della congettura di Bloch–Kato per il motivo del cubo simmetrico.

Il problema coinvolge la comprensione della relazione tra l'immagine del ciclo diagonale sotto la mappa di Abel–Jacobi e certi integrali di periodo (di tipo Gross–Kudla) tramite congruenze di innalzamento del livello. Mentre i cicli di Gross–Kudla–Schoen sul prodotto triplo completo non formano un sistema di Euler bipartito nel senso stretto definito da Howard [How] per ragioni di rango (i gruppi di coomologia locali hanno rango 3 invece di 1), l'articolo dimostra che la loro proiezione sulla componente del cubo simmetrico soddisfa effettivamente le condizioni necessarie per formare un tale sistema.

Metodologia
La metodologia si basa pesantemente sull'interazione tra geometria aritmetica, coomologia di Galois e la teoria delle curve di Shimura.

1. Innalzamento Aritmetico del Livello: Lo strumento tecnico fondamentale è lo sviluppo di un teorema di innalzamento aritmetico non ramificato per il prodotto triplo di curve di Shimura. Ciò comporta lo studio della coomologia delle curve di Shimura $X_d$ e delle loro controparti con livello innalzato $X_d(p)$ in un primo $n$-ammissibile $p$. L'autore utilizza la successione spettrale dei pesi e la filtrazione di monodromia dei cicli vicini per analizzare la coomologia della fibra speciale.
2. Modelli Semistabili: Per gestire l'innalzamento del livello in un primo di buona riduzione, l'articolo costruisce un modello strettamente semistabile per il prodotto triplo $X_d(p)^3$. Ciò comporta il blow-up del prodotto triplo lungo strati specifici per risolvere le singolarità, seguendo la procedura delineata da Gross e Schoen [GS] e Liu [Liu2]. La geometria della fibra speciale è descritta tramite un cubo di strati, permettendo il calcolo esplicito della filtrazione di monodromia.
3. Leggi di Reciprocità: L'articolo stabilisce due distinte leggi di reciprocità:
   • La Prima Legge di Reciprocità: Relaziona il residuo singolare della classe del ciclo diagonale in un primo ramificato $q$ a un integrale di periodo di Gross–Kudla. Questa è stata stabilita in [Wang] ed è qui rivista.
   • La Seconda Legge di Reciprocità: Relaziona la localizzazione della classe del ciclo diagonale in un primo non ramificato $p$ (specificamente la sua parte finita) allo stesso integrale di periodo di Gross–Kudla. Questo è il nuovo risultato principale dell'articolo corrente.
4. Costruzione del Sistema di Euler Bipartito: Combinando le due leggi di reciprocità, l'autore costruisce un sistema di classi di coomologia $(\Theta_n(f, d), \Theta^{[pq]}_n(f, d))$ associate a coppie di primi ammissibili. L'articolo verifica che queste classi soddisfano le condizioni di compatibilità richieste (leggi di reciprocità) per formare un sistema di Euler bipartito, sebbene in un "senso più debole" riguardo al rango dei gruppi di coomologia locali.
5. Proiezione sul Cubo Simmetrico: I risultati sono specializzati al caso in cui il prodotto triplo è formato da una singola forma modulare $f$ (cioè $f = (f, f, f)$). L'autore proietta le classi del ciclo diagonale sulla componente del cubo simmetrico della rappresentazione del prodotto tensoriale triplo, indicata con $V^\diamond(f)(-1)$.

Contributi e Risultati Chiave

• Teorema 2 (Innalzamento del Livello Non Ramificato): Stabilisce un isomorfismo tra la coomologia del prodotto triplo di curve di Shimura a livello $N$ e la "parte nuova" della coomologia a livello $Np$ (dove $p$ è un primo $n$-ammissibile). Questo isomorfismo relaziona la coomologia a una somma diretta di prodotti tensoriali di spazi di funzioni su insiemi di Shimura.
• Teorema 3 (Seconda Legge di Reciprocità): Dimostra che per un primo $n$-ammissibile $p$, la localizzazione della classe del ciclo diagonale $\Theta_n(f, d)$ in $p$ soddisfa una formula di accoppiamento specifica con i periodi di Gross–Kudla. Nello specifico, l'accoppiamento della $j$-esima componente della classe localizzata con un prodotto tensoriale di funzioni è uguale alla somma del prodotto di queste funzioni sull'insieme diagonale di Shimura $\Delta_d(B)$.
  $$(\text{loc}^{(j)}_p(\Theta_n(f, d)), \phi_1 \otimes \phi_2 \otimes \phi_3) = \sum_{z \in \Delta_d(B)} \phi_1(z) \otimes \phi_2(z) \otimes \phi_3(z)$$
• Teorema 4 (Evidenze per la Congettura di Bloch–Kato): Applica il sistema di Euler bipartito costruito al motivo del cubo simmetrico. L'articolo dimostra che se la classe proiettata del ciclo diagonale $\Theta^\diamond(f, d)$ è non nulla, allora il gruppo di Selmer di Bloch–Kato $H^1_f(\mathbb{Q}, V^\diamond(f)(-1))$ ha dimensione 1 sul campo dei coefficienti. Questo fornisce una dimostrazione condizionale del caso di rango uno della congettura di Bloch–Kato per il motivo del cubo simmetrico.

Significato e Affermazioni
L'articolo afferma di completare la verifica della congettura di Howard [How] riguardante i cicli diagonali di Gross–Kudla–Schoen come fonte per un sistema di Euler bipartito. Mentre il motivo del prodotto triplo completo non produce un sistema di Euler bipartito stretto a causa di vincoli di rango, la restrizione alla componente del cubo simmetrico produce con successo un tale sistema.

Il significato del lavoro risiede in:

1. Estensione del Metodo Bertolini–Darmon: Adatta il metodo di costruzione di sistemi di Euler tramite innalzamento del livello e leggi di reciprocità (originariamente sviluppato per punti di Heegner) al contesto dei cicli diagonali sui prodotti tripli di curve di Shimura.
2. Connessione tra Geometria e Funzioni L: Le leggi di reciprocità relazionano la parte algebrica della prima derivata della funzione L (tramite l'immagine di Abel–Jacobi del ciclo) alla parte algebrica del valore critico centrale (tramite il periodo di Gross–Kudla). Questo riflette la formula di Gross–Zagier e il lavoro di Bertolini–Darmon.
3. Progressi su Bloch–Kato: I risultati forniscono evidenze concrete per il caso di rango uno della congettura di Bloch–Kato per il motivo del cubo simmetrico, un importante problema aperto nell'aritmetica delle forme automorfe.

L'autore nota che i metodi sono sufficientemente robusti da poter potenzialmente gestire il motivo del prodotto triplo più generale ed estendersi a un contesto teorico di Iwasawa, sebbene queste estensioni siano riservate a lavori futuri. L'articolo posiziona anche i suoi risultati come la controparte di "innalzamento del livello" rispetto alle leggi di reciprocità $p$-adiche dimostrate da Darmon, Rotger e altri [DR1, DR2], e riconosce sviluppi paralleli di Liu, Tian, Xiao, Zhang e Zhu [LTX, LTXZZ] per altri motivi.