Extension of Hodge norms at infinity

1. Il Problema e il Contesto

Il lavoro si inserisce nel quadro della teoria di Hodge, affrontando un problema di lunga data: la generalizzazione della compattificazione di Satake–Baily–Borel (SBB) di uno spazio hermitiano simmetrico locale a mappe di periodo arbitrarie (non necessariamente hermitiane).

Sia $D$ un dominio di Mumford-Tate che parametrizza strutture di Hodge pure, efficaci, polarizzate di peso $n$. Si considera una mappa di periodo $\Phi: B \to \Gamma \backslash D$ definita su una varietà quasi-proiettiva liscia $B$. È stata costruita una compattificazione topologica $\Phi^{SBB}: \bar{B} \to \bar{\wp}$ di tipo SBB.
L'obiettivo principale è dimostrare che lo spazio topico $\bar{\wp}'$ (ottenuto tramite una fattorizzazione di Stein della compattificazione) è una varietà algebrica proiettiva e che la mappa è un morfismo (Congettura 1.1).

Per provare questa congettura, è necessario dimostrare che ogni fibra compatta e connessa $A$ di $\Phi^{SBB}$ ammette un intorno $X \subset B$ con due proprietà fondamentali:

1. La restrizione di $\Phi^{SBB}$ a $X$ è propria.
2. Le funzioni olomorfe definite su certe intersezioni con i divisori all'infinito ($Z_I \cap X$) si estendono a $X$.

La seconda proprietà è un problema di estensione di tipo Ohsawa–Takegoshi, che richiede che lo spazio complesso $X$ sia pseudoconvesso. La pseudoconvessità è garantita se esiste una funzione di esaurimento plurisubarmonica (psh) su $X$. Il problema centrale risiede nella costruzione di tale funzione su $X$, che è una varietà stratificata.

2. Metodologia

L'approccio metodologico combina la teoria delle strutture di Hodge limite, la teoria delle orbite nilpotenti e l'analisi complessa su varietà stratificate.

• Strutture di Hodge Indotte: L'autore costruisce una struttura di Hodge indotta su uno spazio vettoriale $H$ derivato da $V$ (tramite prodotti tensoriali e determinanti dei fasci di Hodge $F^p$). Questo permette di lavorare con un fascio di linee $\Lambda$ canonico.
• Rappresentazione della Matrice di Periodo: Utilizzando il teorema dell'orbita nilpotente, la mappa di periodo viene rappresentata localmente tramite coordinate complesse ($z_j, z_{a,j}$) su una cella di Schubert $S$. Questa rappresentazione è legata a una decomposizione di Deligne della struttura di Hodge mista limite $(W, F)$.
• Costruzione della Funzione: L'idea chiave è definire una funzione $h: X \to \mathbb{R}$ che estenda le norme di Hodge (o meglio, il loro quadrato) definite sui vari strati $Z^*_I$ della compattificazione.
  • Sui singoli strati, le norme di Hodge sono legate a metriche con curvatura negativa, fornendo funzioni psh locali ($-\log h_I$).
  • La sfida è estendere queste norme in modo continuo e coerente su tutto l'intorno $X$, mantenendo la proprietà di essere costante sulle fibre di $\Phi^{SBB}$.

3. Risultati Chiave e Contributi

Teorema Principale: Estensione delle Norme di Hodge (Teorema 1.8)

Il risultato centrale del paper è la costruzione di una funzione continua $h: X \to \mathbb{R}$ con le seguenti proprietà:

1. Regolarità: $h$ è liscia (smooth) su ogni strato $Z^*_I \cap X$ (incluso $B \cap X$).
2. Invarianza: $h$ è costante sulle fibre di $\Phi^{SBB}$.
3. Coerenza con le Norme: Se l'intersezione $Z^*_I \cap A$ è non vuota, la restrizione di $h$ a $Z^*_I$ è un multiplo positivo della norma di Hodge quadrata $h_I^a$ associata al fascio $\Lambda^{\otimes a}$ su quello strato.
4. Proprietà PSH: Di conseguenza, $-\log h$ è plurisubarmonico sulla restrizione a ogni strato.

Dimostrazione della Pseudoconvessità in Casi Specifici

L'autore dimostra che la congettura sulla pseudoconvessità (Congettura 1.4) vale in tre casi:

1. Caso Hermitiano Simmetrico: Se $D$ è hermitiano, la funzione $h$ è liscia su tutto $X$ e $-\log h$ è psh su tutto $X$. Questo è dovuto al fatto che in questo caso l'algebra di Lie associata alla cella di Schubert centralizza gli operatori nilpotenti di monodromia (Lemma 4.2).
2. Caso $A \subset B$: Quando la fibra è contenuta nel dominio aperto.
3. Caso Componente Connessa di $Z$: Quando la fibra è una componente del divisore all'infinito.

Criterio per la Liscietà (Teorema 5.1)

Viene stabilito un criterio più debole rispetto al caso hermitiano per garantire la liscietà di $h$: se il sottospazio $s^\perp_F$ (definito dalla decomposizione di Deligne) è contenuto in $W_0(\mathfrak{g}_\mathbb{C})$, allora $h$ è liscia. Questo chiarisce quando la regolarità può fallire nel caso generale non-hermitiano.

4. Significato e Implicazioni

• Risoluzione di un Ostacolo Tecnico: Il paper risolve l'ostacolo principale per la dimostrazione della Congettura 1.1 (che $\bar{\wp}'$ sia algebrico) nel caso generale. La costruzione di $h$ fornisce gli strumenti per generare funzioni di esaurimento psh necessarie per applicare teoremi di estensione.
• Generalizzazione della Teoria Classica: Estende i risultati classici di Griffiths e Schmid (che valevano per domini hermitiani) a contesti molto più ampi, inclusi i domini di Mumford-Tate non hermitiani.
• Strumento per la Geometria Algebrica: La funzione $h$ costruita non è solo uno strumento analitico, ma fornisce un ponte tra la geometria delle fibre della mappa di periodo e la struttura complessa dello spazio di compattificazione.
• Progresso verso la Congettura: Sebbene la congettura completa richieda ancora di generalizzare pienamente l'esempio non-hermitiano (come nel Teorema 1.5, dove $n=2$ e $p_g=2$), questo lavoro fornisce il "mattoncino" fondamentale: l'estensione simultanea delle norme di Hodge attraverso gli strati.

In sintesi, il paper dimostra che le norme di Hodge, che sono naturalmente definite sui vari strati della compattificazione, possono essere "incollate" in una singola funzione continua globale che preserva le proprietà geometriche e analitiche necessarie per trattare lo spazio di compattificazione come una varietà algebrica.