On the behavior of analytic torsion for twisted canonical bundles under degenerations

Título: Comportamento da Torsão Analítica para Feixes Canônicos Torcidos sob Degenerações

1. Problema e Contexto

O artigo investiga o comportamento assintótico da torsão analítica equivariante (e sua versão logarítmica) de feixes canônicos torcidos por um feixe vetorial holomorfo, à medida que uma família de variedades projetivas algébricas sofre uma degeneração em direção a uma fibra singular.

• Configuração: Seja $X$ uma variedade projetiva algébrica complexa com uma ação holomorfa de um grupo de Lie compacto $G$. Considere uma degeneração $\pi: X \to S$ sobre um disco unitário $S$, onde a fibra singular $X_0 = \pi^{-1}(0)$ possui singularidades.
• Objeto de Estudo: O feixe canônico relativo torcido, $K_{X/S}(\xi) = K_{X/S} \otimes \xi$, onde $\xi$ é um feixe vetorial holomorfo $G$-equivariante com uma métrica hermitiana invariante, assumido ser Nakano semi-positivo.
• Objetivo Principal: Descrever a estrutura da singularidade da função $\log \tau_G(X_s, K_{X_s}(\xi_s))(g)$ quando $s \to 0$. Especificamente, busca-se uma expansão assintótica que identifique os termos dominantes (logarítmicos e log-log) e forneça fórmulas topológicas para seus coeficientes.

2. Metodologia

A abordagem combina geometria complexa, teoria de Hodge, análise espectral e técnicas de redução semi-estável. Os pilares metodológicos incluem:

1. Relação entre Torsão e Métricas: A torsão analítica equivariante é definida como a razão entre a métrica de Quillen equivariante e a métrica $L^2$ no determinante da cohomologia equivariante. O problema é reduzido ao estudo do comportamento assintótico dessas métricas quando $s \to 0$.
2. Redução Semi-Estável: Utiliza-se o teorema de redução semi-estável para construir uma família $f: Y \to T$ (onde $T$ cobre $S$ via $\mu(t) = t^d$) tal que a fibra singular $Y_0$ seja um divisor de cruzamento normal reduzido. Isso permite o uso de técnicas de integração sobre fibras em um contexto onde a métrica degenera controladamente.
3. Representação por Formas Harmônicas: Baseando-se nos trabalhos de Takegoshi e Mourougane-Takayama, os autores representam classes de cohomologia em $R^q f_* K_{Y/T}(F^*\xi)$ usando formas harmônicas. Isso permite expressar os elementos da métrica $L^2$ como integrais de fibras de formas diferenciais específicas.
4. Expansão de Barlet-Takayama: Demonstra-se que as integrais de fibras admitam uma expansão assintótica do tipo Barlet-Takayama (envolvendo potências de $\log |s|$ e $|s|^{2r}$), o que é crucial para determinar a estrutura da singularidade da métrica $L^2$.
5. Correntes de Bott-Chern: Para obter fórmulas locais para os coeficientes principais, o artigo estende a teoria das formas de Bott-Chern para o contexto de degeneração de métricas e homomorfismos entre feixes vetoriais, construindo correntes de Bott-Chern do tipo "grafo" para lidar com o lugar de degenerescência.

3. Principais Contribuições e Resultados

A. Expansão Assintótica da Torsão Analítica (Teorema 0.1)

O autor prova que, perto de $s=0$, o logaritmo da torsão analítica equivariante admite uma expansão da forma:
$$\log \tau_G(X_s, K_{X_s}(\xi_s))(g) = \kappa_g \log |s|^2 - \varrho_g \log \log(|s|^{-2}) + \gamma_g + O\left(\frac{1}{\log |s|^{-1}}\right)$$

• Termo Dominante ($\kappa_g \log |s|^2$): O coeficiente $\kappa_g$ é determinado por integrais de classes características equivariantes (Todd e Chern) sobre o lugar de degeneração e componentes fixos da ação de $G$.
• Termo Subdominante ($-\varrho_g \log \log |s|^{-2}$): O coeficiente $\varrho_g$ está relacionado aos expoentes elementares da ação de monodromia sobre a cohomologia, especificamente aos autovalores da parte semissimples da monodromia.
• Generalização: Este resultado generaliza trabalhos anteriores de Bismut, Lebeau, Eriksson e Freixas i Montplet, tratando o caso de feixes torcidos não triviais e ações de grupo.

B. Fórmula Topológica Local para o Coeficiente Principal (Teorema 0.2)

Para o caso não equivariante ($G=\{1\}$), o autor fornece uma fórmula explícita para o coeficiente $\kappa$ em termos de classes características associadas à redução semi-estável:
$$\kappa = \frac{1}{\deg \mu} \left( \alpha_{f, K_{Y/T}}(F^*\xi) + \beta_{Y/X, \xi} \right)$$
Onde $\beta_{Y/X, \xi}$ é uma integral sobre o lugar de degeneração de um homomorfismo diferencial, envolvendo classes de Todd modificadas ($Td^\vee$) e a classe de Chern de $\xi$. Isso estabelece que $\kappa$ é um invariante local determinado pela estrutura da degeneração e pelo feixe $\xi$ perto das singularidades.

C. Caso de Singularidades Isoladas (Teorema 0.3)

Quando a fibra singular $X_0$ possui apenas singularidades isoladas, o coeficiente $\kappa$ é expresso em termos de invariantes clássicos de singularidades:
$$\kappa = -\text{rk}(\xi) \sum_{x \in \text{Sing } X_0} \left( \frac{\mu(\pi_x)}{(n+2)!} - \text{epg}(\pi_x) \right)$$
Onde $\mu(\pi_x)$ é o número de Milnor e $\text{epg}(\pi_x)$ é o gênero espectral introduzido recentemente por Eriksson e Freixas i Montplet.

• Descoberta Surpreendente: O artigo demonstra, através de exemplos, que $\kappa$ pode assumir sinais arbitrários (positivos ou negativos) quando a dimensão da singularidade é 1 e a dimensão total é 2, contradizendo conjecturas anteriores que sugeriam um sinal fixo para singularidades de hipersuperfícies isoladas.

D. Comportamento da Métrica $L^2$ e Curvatura (Teoremas 0.4 e 8.3)

• Estabelece-se que a métrica $L^2$ no feixe direto $R^q \pi_* K_{X/S}(\xi)$ admite uma expansão assintótica controlada.
• Prova-se que a forma de curvatura da métrica $L^2$ é limitada no sentido de Poincaré perto da singularidade, ou seja, cresce como $O(|s|^{-2}(\log |s|)^{-2})$. Isso implica que o feixe direto é um "feixe aceitável" no sentido de Mochizuki.

4. Significado e Impacto

1. Unificação de Teorias: O trabalho conecta a teoria de torsão analítica (invariantes geométricos) com a teoria de singularidades (números de Milnor, gênero espectral) e a teoria de feixes vetoriais (positividade de Nakano).
2. Ferramentas para Invariantes de Calabi-Yau: Os resultados são fundamentais para o cálculo de invariantes de torsão holomorfa em variedades de Calabi-Yau e variedades simpléticas holomorfas (como os quatrofolds do tipo K3[2]), especialmente na presença de ações de grupo e degenerações. O artigo menciona que aplicações específicas serão publicadas em trabalhos futuros [27, 54].
3. Refinamento de Conjecturas: Ao fornecer contra-exemplos à conjectura de sinal positivo para $\kappa$ em dimensões superiores, o artigo força uma reavaliação das propriedades de invariância de torsão em degenerações mais gerais.
4. Generalização Técnica: A extensão das fórmulas de anomalia de Bismut-Gillet-Soulé e das técnicas de métricas de Quillen para o contexto equivariante e para feixes torcidos Nakano semi-positivos representa um avanço técnico significativo, superando limitações de trabalhos anteriores que dependiam de estruturas de Hodge puras (caso $\xi$ trivial).

Em resumo, o artigo fornece uma descrição completa e rigorosa da singularidade da torsão analítica sob degenerações, estabelecendo pontes entre análise complexa, geometria algébrica e topologia diferencial, com implicações diretas para a teoria de invariantes geométricos em física matemática e geometria complexa.