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

1. Problema e Contexto

O artigo investiga o comportamento da métrica de Quillen para famílias de superfícies de Riemann com cúspides (pontos removidos onde a métrica hiperbólica completa tem singularidades) quando essas cúspides são criadas por degeneração (formação de nós).

O cenário principal envolve:

• Uma família holomorfa própria $\pi: X \to S$ de curvas complexas, onde as fibras $X_t$ podem ter singularidades do tipo "ponto duplo ordinário" (nós).
• A presença de seções holomorfas $\sigma_i$ que marcam a posição das cúspides nas fibras.
• O objetivo é entender como a métrica de Quillen, definida originalmente para fibras não singulares com cúspides, se comporta ao se aproximar da fibra singular e como ela se relaciona com a métrica de Quillen da normalização da fibra singular.

O problema central é determinar se a extensão contínua da métrica de Quillen renormalizada sobre o lugar das curvas singulares coincide com a métrica de Quillen da normalização, e se há uma constante universal explícita que relaciona essas duas quantidades.

2. Metodologia

A abordagem do autor combina técnicas de geometria analítica, teoria espectral e topologia algébrica:

• Definição de Torsão Analítica Renormalizada: Para superfícies não compactas (com cúspides), o traço do núcleo de calor não é de classe traço. O autor utiliza uma definição de torsão analítica baseada na subtração de uma contribuição universal proveniente das cúspides (comparando com o plano projetivo triplamente perfurado).
• Famílias de Degeneração e Normalização: O autor estuda a degeneração de uma família de superfícies de Riemann. Quando uma fibra $X_t$ degenera em uma curva nodal $X_0$, considera-se a sua normalização $\rho: Y \to X_0$. A fibra normalizada $Y$ adquire novas cúspides correspondentes aos pontos de pré-imagem dos nós.
• Construção de Métricas Modelo (Model Grafting): Para analisar o comportamento assintótico perto da fibra singular, o autor utiliza a construção de "enxerto de modelo" (model grafting) de Wolpert. Isso permite interpolar entre a métrica hiperbólica da fibra regular e uma métrica cilíndrica hiperbólica na região de degeneração, facilitando o cálculo dos limites.
• Fórmulas de Anomalia e Teoremas de Perturbação: O trabalho utiliza extensivamente as fórmulas de anomalia de Bismut-Gillet-Soulé para comparar métricas de Quillen sob mudanças de métricas hermitianas e de métricas Kählerianas.
• Integrais Regularizadas: O autor define e utiliza integrais regularizadas ($\int^r$) para lidar com divergências logarítmicas que surgem nas cúspides ao calcular formas de Bott-Chern.

3. Principais Contribuições e Resultados

O artigo estabelece quatro teoremas principais:

A. Teorema de Restrição (Theorem 1.2)

Este é o resultado central. Ele afirma que a métrica de Quillen renormalizada, definida para a família singular, estende-se continuamente sobre o lugar das fibras singulares. Mais importante, sob um isomorfismo canônico entre o fibrado determinante da fibra singular e o da sua normalização, a métrica estendida coincide com a métrica de Quillen da normalização multiplicada por uma constante universal explícita.

A relação é dada por:
$$\|\cdot\|_{L_n} |_{S'} = \exp(k \cdot \text{rk}(\xi) \cdot C_{-n}) \cdot \|\cdot\|_{L'_n}$$
Onde:

• $k$ é o número de nós na fibra singular.
• $\text{rk}(\xi)$ é o posto do fibrado vetorial.
• $C_{-n}$ é uma constante explícita dependente de $n$ (envolvendo $\log(2)$, $\log(\pi)$ e $\log((2k)!)$).
• $L_n$ refere-se ao fibrado na família singular e $L'_n$ na normalização.

Isso demonstra a compatibilidade da métrica de Quillen com a adjunção de cúspides geradas por degeneração.

B. Teorema de Compatibilidade (Theorem 1.4)

O autor prova que a sua definição de torsão analítica para superfícies com cúspides coincide exatamente com a definição proposta por Takhtajan-Zograf, que é baseada nos comprimentos de geodésicas fechadas e na função zeta de Selberg.
$$T(g^{hyp}, \dots) = T^{TZ}(g^{hyp}, \dots)$$
Isso valida a definição analítica do autor contra a abordagem geométrica/espectral clássica, resolvendo a questão de uma constante universal que antes era apenas conhecida até um fator.

C. Teorema de Restrição no Espaço de Módulos (Theorem 1.6)

Aplicando o Teorema 1.2 ao espaço de módulos de curvas estáveis pontuadas ($\overline{\mathcal{M}}_{g,m}$), o autor demonstra a compatibilidade da métrica de Quillen com os morphisms de acoplamento (clutching morphisms).

• Isso significa que a métrica de Quillen no espaço de módulos compactificado comporta-se de maneira previsível e controlada ao cruzar o divisor de compactificação (onde as curvas tornam-se nodais).
• O resultado fornece isometrias explícitas (com constantes universais) entre o fibrado determinante na fronteira e o produto dos fibrados determinantes nas componentes da normalização.

D. Teorema de Perturbação Compacta (Theorem 1.8)

O artigo estabelece uma relação explícita entre a métrica de Quillen associada a uma métrica com cúspides e a métrica associada a uma métrica em uma superfície de Riemann compactificada.

• A diferença entre as métricas é expressa em termos de formas de Bott-Chern, integrais regularizadas e termos logarítmicos envolvendo a norma de Wolpert.
• Este resultado refina o teorema de perturbação compacta relativo obtido anteriormente pelo autor, fixando a constante universal que antes era indeterminada.

4. Significado e Impacto

• Unificação de Definições: O trabalho une a definição analítica de torsão (via determinante de operadores elípticos) com a definição geométrica (via função zeta de Selberg), provando que elas diferem apenas por uma constante que pode ser calculada explicitamente e que, na verdade, é 1 (após renormalização adequada).
• Geometria do Espaço de Módulos: Os resultados são fundamentais para a compreensão da geometria do espaço de módulos de curvas $\overline{\mathcal{M}}_{g,m}$. Eles permitem calcular curvaturas e comportamentos assintóticos de fibrados de linha importantes (como o fibrado de Hodge) perto da fronteira do espaço de módulos.
• Precisão em Constantes Universais: Diferente de trabalhos anteriores que estabeleciam a existência de constantes universais ou a compatibilidade "até uma constante", este artigo fornece as fórmulas exatas para essas constantes ($C_{-n}$, $E_{-n}$), o que é crucial para aplicações em teoria de cordas e geometria aritmética onde fatores numéricos exatos importam.
• Generalização: O método lida com famílias onde a métrica não é necessariamente Kähleriana em todo o espaço total, mas sim uma métrica com cúspides que degenera, generalizando resultados anteriores de Bismut para o contexto de superfícies com cúspides.

Em resumo, Siarhei Finski fornece uma descrição completa e precisa do comportamento da métrica de Quillen sob degeneração de superfícies de Riemann, estabelecendo pontes rigorosas entre análise espectral, geometria hiperbólica e a topologia do espaço de módulos de curvas.