Elements in $K_4$ and regulator maps of Fermat curves

Sintesi Tecnica: Elementi in $K_4$ e Mappe Regolatore di Curve di Fermat

Enunciato del Problema
Il saggio affronta la costruzione di elementi espliciti e non banali nello terzo eigenspazio di Adams $K_4^{(3)}(X_N)$ delle curve di Fermat $X_N$ definite dall'equazione $x^N + y^N = 1$ su $\mathbb{Q}$, per tutti gli interi $N \geq 3$. Sebbene la struttura di $K_2(X_N)$ e la non banalità dell'elemento di Ross $\{1-x, 1-y\}$ siano ben stabilite, il gruppo $K_4$ delle curve di Fermat rimane ampiamente inesplorato. L'obiettivo primario è costruire elementi espliciti in $K_4^{(3)}(X_N)$ e verificarne la non banalità computando le loro immagini sotto la mappa regolatore di Beilinson. Inoltre, gli autori mirano a verificare numericamente la congettura di Beilinson riguardante i valori speciali delle funzioni $L$ in $s=3$ per specifici motivi di Fermat.

Metodologia
Gli autori impiegano una strategia di costruzione uniforme basata su complessi polilogaritmici e sul lavoro di Goncharov e de Jeu.

1. Complessi Polilogaritmici: La costruzione utilizza il complesso polilogaritmico di peso 3 $\Gamma(F, 3)$ di Goncharov per il campo delle funzioni $F = \mathbb{Q}(X_N)$. Questo complesso coinvolge il gruppo di Bloch $B_3(F)$ e $B_2(F) \otimes F^\times_{\mathbb{Q}}$.
2. Coclchi Espliciti: Gli autori costruiscono cocli espliciti $\xi_{r,s}^N(\zeta)$ in $\Gamma(F, 3)$ della forma:
   $$\xi_{r,s}^N(\zeta) := \{x^N\}_2 \otimes (1 - \zeta x^r y^s) - \frac{N}{s} \{\zeta x^r y^s\}_2 \otimes x^N$$
   dove $\zeta$ è una radice dell'unità.
3. Mappa di de Jeu: Applicano la mappa di de Jeu $\phi_{dJ}: H_2(\Gamma(F, 3)) \to K_4^{(3)}(F)$ a questi cocli. Per garantire che gli elementi risultanti risiedano in $K_4^{(3)}(X_N)$ piuttosto che solo nella curva aperta $U$, verificano che i residui dei cocli si annullino nei cuspidi e negli zeri delle funzioni definenti, utilizzando il Teorema 3.6 che si basa sul fatto che il campo di base sia totalmente reale.
4. Scelta Specifica: Gli autori si concentrano sul caso specifico $(r, s) = (-2, 1)$ e $\zeta = 1$ (e le loro varianti per radici dell'unità) per definire l'elemento $\Xi_N = \Xi_{-2,1}^N$.
5. Computazione del Regolatore: Per provare la non banalità, gli autori computano l'immagine di questi elementi sotto la mappa regolatore di Beilinson $r_B$. Relazionano $r_B$ al regolatore di Goncharov $r_3(2)$ tramite il teorema di compatibilità di de Jeu. Gli integrali del regolatore sono computati su un ciclo di omologia $\gamma_N$ che genera l'omologia di $X_N(\mathbb{C})$ come modulo sul ring di gruppi $\mathbb{Q}[(\mathbb{Z}/N\mathbb{Z})^{\oplus 2}]$.
6. Strumenti Analitici: La valutazione di questi integrali comporta:
   • La funzione trilogaritmo di Zagier $L_3(z)$.
   • Funzioni ipergeometriche $F(\alpha; x)$, che generalizzano i risultati precedenti di Otsubo per $K_2$.
   • Analisi asintotica per $N \to \infty$.
7. Verifica Numerica: Per $N \in \{3, 4, 6\}$, gli autori utilizzano PARI/GP per valutare numericamente gli integrali del regolatore e confrontarli con le derivate delle funzioni $L$ di Hecke associate a specifiche curve ellittiche con Moltiplicazione Complessa (CM), che sono isogene ai motivi di Fermat rilevanti.

Contributi Chiave e Risultati

• Costruzione di Elementi Non Banali: Il saggio dimostra che l'elemento costruito $\Xi_N \in K_4^{(3)}(X_N)$ è non banale per tutti $N \geq 3$ (Teorema 1.1). Ciò è ottenuto mostrando che l'integrale del regolatore di una versione ritorta dell'elemento, $(\tau_\varepsilon)^*(\Xi_N)$, è diverso da zero.
• Formule Esplicite del Regolatore:
  • Formula del Trilogaritmo: L'integrale del regolatore è espresso esplicitamente in termini del trilogaritmo $L_3$ di Zagier e di un integrale che coinvolge una funzione $f_{N,z}(t)$ (Teorema 1.3).
  • Formula Ipergeometrica: La forma del regolatore è espressa come una combinazione lineare di forme differenziali pesate da funzioni ipergeometriche $F(\alpha; -1)$, generalizzando i risultati di Otsubo per $K_2$ (Teorema 1.6).
• Comportamento Asintotico: Gli autori derivano una formula asintotica per gli integrali del regolatore quando $N \to \infty$:
  $$\int_{\gamma_N} r_B((\tau_\varepsilon)^*(\Xi_N)) \sim \frac{3}{2}\zeta(3)N^2$$
  Ciò conferma la non banalità degli elementi per $N$ grandi e fornisce una visione del loro tasso di crescita (Teorema 1.4).
• Indipendenza Lineare: Per $N$ non divisibile per 3, si dimostra che gli elementi $\Xi_N$, $\iota^*(\Xi_N)$ e $\tau_\varepsilon^*(\Xi_N)$ sono non nulli e linearmente indipendenti in $K_4^{(3)}(X_N, \mathbb{Q}(\varepsilon))$ (Teorema 1.2).
• Verifica Numerica della Congettura di Beilinson: Il saggio verifica numericamente la forma debole della congettura di Beilinson per i motivi $X_{[-2,1]}^N$ dove $N \in \{3, 4, 6\}$. In questi casi, i motivi corrispondono a curve ellittiche $E_3, E_4, E_6$ con CM. Gli integrali del regolatore computati corrispondono ai valori previsti coinvolgenti $L'(E, -1)$ fino a fattori razionali e potenze di $\pi$ (Teorema 1.8).

Significato e Rivendicazioni
Gli autori posizionano questo lavoro come il primo ad affrontare la congettura di Beilinson per curve di Fermat generali oltre il livello $K_2$.

• Generalizzazione: Il lavoro generalizza la costruzione dell'elemento di Ross per $K_2$ a $K_4$ ed estende le formule ipergeometriche di Otsubo da $K_2$ a $K_4$.
• Uniformità: La costruzione è uniforme in $N$, fornendo una singola famiglia di elementi per tutti i gradi $N \geq 3$, a differenza delle precedenti costruzioni per curve modulari che spesso richiedevano analisi caso per caso.
• Verifica: Il lavoro fornisce la prima verifica numerica esplicita della congettura di Beilinson a $s=3$ per le curve di Fermat, colmando il divario tra le costruzioni di K-teoria algebrica e le previsioni analitiche dei valori delle funzioni $L$.
• Modestia: Gli autori osservano che, sebbene verifichino la congettura per motivi di rango 2 (corrispondenti a curve ellittiche), la congettura rimane aperta per i motivi di Fermat di rango superiore (ad esempio, $N=5$), dove la costruzione di una base completa di elementi di $K_4$ è ancora un problema aperto. Riconoscono inoltre che dimostrare l'indipendenza lineare dei loro elementi in modo incondizionato (senza fare affidamento sulla congetturale iniettività del regolatore) rimane difficile.