A generalised cross-ratio and limits of local heights

Sintesi Tecnica: Un Rapporto Incrociato Generalizzato e i Limiti delle Altezze Locali

Enunciato del Problema
Il saggio affronta la generalizzazione del classico rapporto incrociato, un invariante proiettivo fondamentale di quattro punti su una retta, a spazi proiettivi di dimensione superiore. Nello specifico, mira a definire un rapporto incrociato per una configurazione di quattro sottospazi lineari (piani) in $\mathbb{P}^n$: una coppia di piani di dimensione $k$ ($A_1, A_2$) e una coppia di piani di dimensione $(n-k-1)$ ($B_1, B_2$), tali che $A_i \cap B_j = \emptyset$.

Gli autori investigano la relazione tra questo invariante geometrico e gli invarianti aritmetici, specificamente l'accoppiamento di altezza aumentato dei cicli $A_1 - A_2$ e $B_1 - B_2$. Il problema centrale riguarda il modo in cui questo accoppiamento di altezza si comporta sotto degenerazione (limiti) sia in ambito Archimedeo (complesso) che non Archimedeo (con valore discreto). Gli autori mirano a stabilire che il comportamento asintotico dell'accoppiamento di altezza è governato dalla valutazione del rapporto incrociato generalizzato e che il valore limite corrisponde a un "rapporto incrociato degenerato" definito su configurazioni intersecanti.

Metodologia
La metodologia combina strumenti di geometria algebrica, teoria di Hodge e teoria dell'intersezione:

1. Definizione Algebrica: Gli autori definiscono il rapporto incrociato generalizzato utilizzando l'algebra esterna. Per i sottospazi $\hat{A}_i \subset V$ e $\hat{B}_j^\perp \subset V$ (dove $V$ è uno spazio vettoriale $(n+1)$-dimensionale), essi utilizzano i generatori delle potenze esterne massime $\det \hat{A}_i$ e $\det \hat{B}_j^\perp$ (l'annullatore nello spazio duale). Il rapporto incrociato è costruito come un rapporto tra le accoppiate di questi generatori, garantendo l'indipendenza dalla scelta delle basi.
2. Interpretazione Hodge-Teoretica: Sopra i numeri complessi, gli autori relazionano il rapporto incrociato con la classe di estensione nella categoria delle Strutture di Hodge Miste (MHS). Identificano l'accoppiamento di altezza aumentato con la classe di estensione di un particolare gruppo di coomologia $H^{2k+1}(\mathbb{P}^n \setminus (B_1 \cup B_2), A_1 \cup A_2)(k+1)$.
3. Corrispondenza di Incidenza: Per dimostrare l'uguaglianza tra l'accoppiamento di altezza e il rapporto incrociato, gli autori costruiscono una corrispondenza di incidenza tra il Grassmanniano dei $k$-piani e lo spazio proiettivo. Dimostrano l'esistenza di un isomorfismo tra i relativi gruppi di coomologia della configurazione e la coomologia del Grassmanniano rispetto ai loci "proibiti" dei piani $B$.
4. Teoria dell'Intersezione su DVR: Per il caso non Archimedeo, gli autori lavorano su un Anello di Valore Discreto (DVR). Utilizzano la teoria dell'intersezione di Fulton per calcolare il grado di intersezione delle chiusure zariskiane dei cicli. Analizzando la Forma Normale di Smith della mappa di inclusione dei reticoli, relazionano la molteplicità di intersezione con la valutazione del determinante della matrice di transizione, che corrisponde alla valutazione del rapporto incrociato.
5. Configurazioni Degenerate: Per gestire i limiti in cui i piani si intersecano, gli autori introducono un "rapporto incrociato degenerato". Ciò richiede dati aggiuntivi: un isomorfismo tra il determinante del locus di intersezione e il determinante dello spazio quoziente. Definiscono "perturbazioni limite" (indotte dalla deformazione della famiglia) e "perturbazioni aritmetiche" (indotte da modelli integrali su campi numerici) per fissare questi dati.

Contributi Chiave e Risultati

• Teorema A (Caso Complesso): L'accoppiamento di altezza aumentato dei cicli $A_1 - A_2$ e $B_1 - B_2$ in $\mathbb{P}^n(\mathbb{C})$ è esattamente uguale al rapporto incrociato generalizzato $(A_1, A_2; B_1, B_2)$. Questo generalizza il risultato noto per i punti su una retta a dimensioni superiori. La prova utilizza una corrispondenza sul Grassmanniano anziché l'induzione.
• Teorema B (Caso Non Archimedeo): Sopra un campo con valore discreto e anello di valutazione $R$, il grado di intersezione delle chiusure zariskiane dei cicli $(A_1 - A_2) \cdot (B_1 - B_2)$ è uguale alla valutazione del rapporto incrociato $v_R(A_1, A_2; B_1, B_2)$. Ciò stabilisce che la valutazione $p$-adica del rapporto incrociato misura la degenerazione della configurazione.
• Corollario B' (Asintotica): Per una famiglia olografa di configurazioni che degenera per $t=0$, il coefficiente principale $m$ nell'espansione asintotica dell'accoppiamento di altezza Archimedeo ($\sim m \log |t|$) è il grado di intersezione dei cicli sulla fibra centrale. Ciò conferma una congettura di Chen per il caso di piani degeneranti.
• Teorema C (Periodi Limite): Il limite regolarizzato del rapporto incrociato per $t \to 0$ è uguale al rapporto incrociato degenerato della configurazione della fibra centrale, valutato rispetto a una "perturbazione limite" indotta $c_{\text{lim}}$. Questa perturbazione codifica la separazione infinitesima dei piani intersecanti.
• Corollario C'' (Interpretazione Aritmetica): Quando la fibra centrale è definita su un campo numerico di numero di classe 1, il periodo limite $u(0)$ è relazionato a un "rapporto incrociato aritmetico" definito tramite reticoli integrali. Il logaritmo del periodo limite differisce dal logaritmo del rapporto incrociato aritmetico per un termine di correzione che coinvolge il rapporto tra la perturbazione limite e la perturbazione aritmetica.

Significatività e Rivendicazioni
Il saggio rivendica di fornire un quadro "motivico" unificato per comprendere i limiti degli accoppiamenti di altezza. Generalizzando il rapporto incrociato, gli autori dimostrano che il comportamento asintotico di questi invarianti analitici è strettamente governato dai numeri di intersezione algebrica.

Gli autori osservano che i loro risultati confermano la congettura di Chen riguardante il tasso di divergenza degli accoppiamenti di altezza per cicli algebricamente triviali degeneranti nel caso specifico dei piani. Inoltre, il lavoro offre un'interpretazione concreta del "periodo limite" (il termine costante nell'espansione asintotica) non semplicemente come un numero complesso, ma come un rapporto incrociato degenerato sulla fibra centrale, corretto da dati di deformazione infinitesima.

Il saggio riconosce che il Teorema A concorda con un recente risultato di Goncharov, ma fornisce una prova distinta tramite corrispondenza. Gli autori posizionano il loro lavoro come una generalizzazione di studi precedenti sui limiti dei periodi per curve e degenerazioni nodali, estendendo questi concetti a periodi misti in dimensioni arbitrarie e permettendo degenerazioni dei cicli "arbitrariamente cattive". I risultati sono presentati come adattamenti della tesi di master del primo autore, con prove snellite per il teorema del grado di intersezione.