Quillen metric for singular families of Riemann surfaces with cusps and compact perturbation theorem

1. Il Problema di Ricerca

L'articolo si concentra sullo studio del comportamento della metrica di Quillen per famiglie di superfici di Riemann dotate di cuspidi (punti di rimozione che generano metriche iperboliche complete a curvatura scalare costante $-1$) quando queste cuspidi vengono create attraverso un processo di degenerazione.

Nello specifico, il problema affronta il seguente scenario:

• Si considera una famiglia di curve complesse $\pi: X \to S$ con singolarità di tipo "punto doppio ordinario" (curve nodali).
• Le fibre lisce sono superfici di Riemann con cuspidi, dotate di una metrica iperbolica compatibile.
• Quando una fibra degenera in una curva singolare, la metrica iperbolica sulla normalizzazione della fibra singolare acquisisce nuove cuspidi (corrispondenti ai nodi della fibra originale).
• L'obiettivo è determinare come la metrica di Quillen, definita sulle fibre lisce, si estenda continuamente sul luogo delle fibre singolari e come questa estensione sia legata alla metrica di Quillen calcolata sulla normalizzazione della fibra singolare.

Un problema correlato è la compatibilità tra la definizione di torsione analitica utilizzata dall'autore (basata su tracci regolari del nucleo di calore) e la definizione classica di Takhtajan-Zograf (basata sulla funzione zeta di Selberg).

2. Metodologia e Strumenti Matematici

L'autore utilizza una combinazione di tecniche avanzate di geometria complessa, analisi spettrale e teoria dei fibrati di determinante:

• Famiglie di Curve Nodali e Normalizzazione: Si studia la struttura locale delle singolarità (punti doppi) e si utilizza la mappa di normalizzazione $\rho: Y \to X$ per collegare la fibra singolare alla sua normalizzazione liscia (che acquisisce punti marcati aggiuntivi).
• Metriche di Quillen e Torsione Analitica:
  • La metrica di Quillen è definita come il prodotto della torsione analitica (regolarizzata per gestire le cuspidi) e della norma $L^2$ sui fibrati di determinante.
  • Per le superfici con cuspidi, la torsione analitica è definita sottraendo un contributo universale derivante dalla geometria delle cuspidi (riferimento a lavori precedenti dell'autore [18], [19]).
• Teoremi di Perturbazione e Anomalie:
  • Si fa ampio uso della formula di anomalia di Bismut-Gillet-Soulé per confrontare metriche di Quillen associate a metriche hermitiane diverse.
  • Si utilizza un teorema di perturbazione compatta per relazionare la metrica su una superficie con cuspidi a quella su una superficie compatta (o con metrica liscia).
• Costruzione di Metriche Modello (Model Grafting):
  • Per analizzare il comportamento asintotico vicino alle fibre singolari, l'autore costruisce metriche "graftate" (incollate) che interpolano tra la metrica iperbolica originale e una metrica cilindrica iperbolica (o di Poincaré) nella regione di degenerazione. Questo permette di controllare esplicitamente i termini di errore.
• Integrazione Regularizzata: Viene introdotto un integrale regolarizzato ($\int^r$) per gestire le divergenze logaritmiche che appaiono vicino alle cuspidi durante il calcolo delle forme di Bott-Chern.

3. Risultati Chiave e Contributi Principali

A. Teorema di Restrizione (Teorema 1.2)

Questo è il risultato centrale dell'articolo. Stabilisce che la metrica di Quillen, opportunamente normalizzata, si estende continuamente sul luogo delle fibre singolari.

• Enunciato: Se si considera la restrizione della metrica normalizzata sulla fibra singolare, questa coincide (a meno di una costante universale esplicita) con la metrica di Quillen calcolata sulla normalizzazione della fibra singolare, dove le nuove cuspidi sono trattate come punti marcati.
• Formula:
  $$\|\cdot\|_{L^n}|_{S'} = \exp(k \cdot \text{rk}(\xi) \cdot C_{-n}) \cdot \|\cdot\|_{L'^n}$$
  Dove $k$ è la molteplicità della degenerazione, $\xi$ è il fibrato vettoriale, e $C_{-n}$ è una costante universale calcolata esplicitamente (dipendente da $\zeta'(-1)$ e $\log \pi$).
• Significato: Questo dimostra che la metrica di Quillen è compatibile con l'aggiunta di cuspidi indotta dalla degenerazione.

B. Compatibilità con Takhtajan-Zograf (Teorema 1.4)

L'autore dimostra che la sua definizione di torsione analitica per superfici con cuspidi coincide esattamente con la definizione proposta da Takhtajan e Zograf tramite la funzione zeta di Selberg.

• Risultato: $T(g_{hyp}, \|\cdot\|^{2n}) = T_{TZ}(g_{hyp}, \|\cdot\|^{2n})$.
• Implicazione: Questo unifica due approcci apparentemente diversi (analisi spettrale vs teoria dei numeri/geometria iperbolica) e risolve una questione aperta fino a un fattore costante universale.

C. Compatibilità con le Morfologie di Incollamento (Clutching) nel Moduli Space (Teorema 1.6)

Applicando il Teorema 1.2 allo spazio dei moduli delle curve puntate stabili $\overline{\mathcal{M}}_{g,m}$, si ottiene un risultato fondamentale sulla compatibilità della metrica di Quillen con le morfologie di incollamento (clutching morphisms) che descrivono i bordi dello spazio dei moduli.

• La metrica di Quillen sul fibrato di Hodge (determinante) si comporta in modo isometrico (a meno della costante universale) quando si passa da una curva stabile a una curva ottenuta incollando due curve più piccole (o auto-incollando).

D. Teorema di Perturbazione Compatta Rifinito (Teorema 1.8)

L'articolo fornisce una relazione esplicita in termini di forme di Bott-Chern tra la metrica di Quillen associata a una metrica con cuspidi e quella associata a una metrica su una superficie compatta (o con metrica liscia).

• Questo rafforza i risultati precedenti (Teorema A in [18]) fissando la costante universale esatta, che prima era nota solo a meno di un fattore indeterminato. La formula include termini di integrazione regolarizzata e contributi logaritmici legati alle lunghezze dei geodetici chiusi (o alle coordinate locali).

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Completezza della Teoria: Chiude il cerchio sulla teoria della metrica di Quillen per famiglie di curve con cuspidi, fornendo non solo l'esistenza dell'estensione continua, ma la sua formula esplicita in termini di oggetti geometrici sulla normalizzazione.
2. Unificazione: Dimostra la coerenza tra la definizione analitica di torsione (basata sul calore) e quella aritmetica/geometrica (basata sulla zeta di Selberg), confermando la validità delle definizioni di Takhtajan-Zograf in un contesto familiare più ampio.
3. Strumenti per lo Spazio dei Moduli: I risultati sono cruciali per lo studio della geometria dello spazio dei moduli delle curve $\overline{\mathcal{M}}_{g,m}$. La compatibilità con le morfologie di incollamento è essenziale per calcolare le curvature dei fibrati di determinante e per comprendere il comportamento asintotico delle metriche di Weil-Petersson e di Quillen ai bordi dello spazio dei moduli.
4. Precisione delle Costanti: La determinazione esplicita delle costanti universali ($C_{-n}$, $E_{-n}$) permette applicazioni quantitative precise in problemi di geometria aritmetica e teoria delle stringhe (dove tali metriche appaiono come fattori di normalizzazione negli integrali di cammino).

In sintesi, Finski risolve il problema della degenerazione delle metriche di Quillen in presenza di cuspidi, fornendo un quadro teorico rigoroso e formule esplicite che collegano la geometria delle fibre lisce, quella delle fibre singolari e la topologia dello spazio dei moduli.