The cohomological Kudla conjecture for unitary Shimura varieties

Sintesi Tecnica: La Congettura Cohomologica di Kudla per Varietà di Shimura Unitarie

Enunciato del Problema
Il lavoro affronta la modularità delle serie generatrici associate ai cicli speciali sulle varietà di Shimura. Mentre il lavoro seminale di Kudla e Millson ha stabilito che le serie generatrici delle classi di coomologia dei cicli speciali su spazi localmente simmetrici non compatti sono forme modulari olomorfe, il comportamento di queste serie sulle compattificazioni rimane più complesso. Nello specifico, per le compattificazioni toroidali delle varietà di Shimura unitarie di segnatura $(n+1, 1)$, le serie generatrici delle chiusure di Zariski dei cicli speciali generalmente non sono forme modulari olomorfe a causa dei contributi al bordo.

Il problema centrale è determinare se queste serie possano essere corrette o completate per produrre oggetti modulari. Ciò si riferisce alla Congettura 1.1 (originariamente posta da Kudla e riformulata da Bruinier-Rosu-Zemel), che postula l'esistenza di correzioni al bordo tali che la serie risultante diventi una forma modulare di Siegel (caso ortogonale) o hermitiana (caso unitario) olomorfa. Gli autori si concentrano sull'incarnazione coomologica di questa congettura per i gruppi unitari $U(n+1, 1)$ e per cicli speciali di codimensione $g$ fino alla dimensione intermedia ($g \leq n/2$).

Metodologia
Gli autori adottano una strategia che combina l'analisi geometrica delle compattificazioni toroidali, l'analisi armonica sui divisori al bordo e la teoria delle serie theta pesate.

1. Impostazione Geometrica: Lo studio utilizza la struttura delle compattificazioni toroidali $X^{\text{tor}}_\Gamma$. Il bordo è costituito da divisori $B_J$ associati a rette isotrope primitive $J \subset L$. Questi divisori sono identificati con quozienti finiti di varietà abeliane $E_M = E \otimes_{O_k} M$, dove $E$ è una curva ellittica CM e $M$ è un reticolo hermitiano definito positivo.
2. Lemma di Scissione: Un strumento tecnico cruciale è un lemma di scissione per l'omologia (Lemma 3.3), valido per gradi $2g \leq n$. Questo lemma permette di decomporre ogni classe di coomologia sulla compattificazione in una parte supportata sull'interno e una parte supportata sul bordo. Ciò riduce la prova della modularità a calcoli ristretti ai divisori al bordo.
3. Analisi del Bordo e Forme Armoniche: Gli autori costruiscono forme armoniche duali di Poincaré per i cicli speciali sui divisori al bordo $B_J$. Queste forme sono espresse utilizzando polinomi omogenei a valori in forme differenziali algebriche.
4. Forme Quasi-Modulari Hermitiane: Il lavoro sviluppa una teoria delle forme quasi-modulari hermitiane. Considerando serie theta pesate da polinomi omogenei (specificamente quelli nello spazio $F_{n,g}$), gli autori utilizzano un'azione $sl_2$ sullo spazio dei polinomi.
   • Definiscono operatori di abbassamento ($\Delta$) e innalzamento ($\Lambda$) che agiscono su questi spazi di polinomi, formando una terna $sl_2$.
   • Dimostrano che l'applicazione che invia i cicli speciali ai loro rappresentanti polinomiali associati è un morfismo di rappresentazioni $sl_2$.
5. Correzione e Completamento:
   • Completamento Non-Olomorfo: Applicando un criterio di modularità alle serie theta pesate, costruiscono completamenti non-olomorfi delle serie generatrici delle chiusure di Zariski. Questi completamenti si trasformano come forme modulari ma includono termini non-olomorfi che coinvolgono il laplaciano.
   • Correzione Olomorfa: Utilizzando la struttura $sl_2$, identificano specifici cicli al bordo (supportati su $B_J$) che, aggiunti ai cicli originali, annullano gli ostacoli non-olomorfi. Ciò si basa sulla proiezione dei pesi polinomiali sulle componenti armoniche primitive.

Contributi e Risultati Chiave

• Teorema 1.2 (Correzione Olomorfa): Per cicli speciali di codimensione $g \leq n/2$, gli autori dimostrano l'esistenza di un termine di correzione supportato sul bordo tale che la serie generatrice dei cicli corretti sia una forma modulare hermitiana olomorfa di peso $n+2$ rispetto alla rappresentazione di Weil $\rho_{L,g}$. Ciò risolve la versione coomologica della Congettura 1.1 per $U(n+1, 1)$ nel range di codimensione specificato.
• Teorema 1.3 (Quasi-Modularità): La serie generatrice delle chiusure di Zariski non corrette è mostrata essere una forma quasi-modulare hermitiana. Nello specifico, ammette un completamento non-olomorfo che si trasforma come una forma modulare. Ciò è notato come la prima istanza di forme quasi-modulari hermitiane che appaiono nel contesto dei cicli speciali.
• Formule Esplicite (Teorema 1.4): Il lavoro fornisce formule esplicite per le correzioni. La correzione a un ciclo $Z(\nu, N)$ è data da una somma sui componenti del bordo che coinvolge:
  • Coefficienti razionali $r_J/d_k$.
  • Valori di polinomi armonici $P_i^{\ell,\ell}$ valutati sui dati del ciclo.
  • Immagini di Gysin di classi di coomologia primitive $W_i^\ell$ sul bordo.
  • La formula coinvolge l'operatore di innalzamento $\Lambda$ che agisce su questi polinomi.
• Corollario 1.5 e 1.6: Questi risultati collegano esplicitamente le serie corrette alle serie theta pesate di polinomi armonici, confermandone la modularità.

Significato e Affermazioni
Il lavoro afferma di fornire il primo risultato generale che dimostra la modularità dei cicli speciali compattificati di codimensione arbitraria (fino alla dimensione intermedia) nel caso unitario. Mentre risultati precedenti esistevano per i divisori (codimensione 1) e i cicli di dimensione zero, questo lavoro estende la teoria a codimensioni superiori.

Gli autori sottolineano che i loro risultati sono "coomologici", il che significa che stabiliscono la modularità per le classi in $H^{2g}(X^{\text{tor}}_\Gamma)$ piuttosto che necessariamente nel gruppo di Chow (dove la convergenza delle serie rimane un problema aperto). Il lavoro introduce inoltre il quadro delle forme quasi-modulari hermitiane come contesto naturale per comprendere il comportamento al bordo di queste serie generatrici.

L'ipotesi $g \leq n/2$ è riconosciuta come un artefatto della dimostrazione, in particolare della dipendenza dal Lemma di Scissione (Lemma 3.3), che gli autori non sanno attualmente dimostrare per codimensioni superiori. Congetturano che i loro risultati valgano per tutte le codimensioni (Congettura 1.7).

La metodologia parallela al loro lavoro precedente sulle varietà di Shimura ortogonali, ma richiede sviluppi significativi nuovi nella teoria delle forme quasi-modulari hermitiane e nella geometria specifica delle compattificazioni toroidali unitarie.