A non-linear differential equation for the periods of elliptic surfaces

Resumo Técnico: Uma Equação Diferencial Não Linear para a Cohomologia de de Rham de Superfícies Elípticas

Enunciado do Problema
O artigo aborda a estrutura do espaço de módulos de superfícies elípticas jacobianas $f: X \to C$, especificamente focando na relação entre a geometria da superfície, a ramificação de seu morfismo classificatório e a variação de sua estrutura de Hodge. O problema central é caracterizar o mapa de período para a cohomologia $(1,1)$-primitiva, $H^{1,1}_{\text{prim}}(X)$, e derivar uma equação diferencial governante para este mapa. Embora a conexão de Gauss–Manin forneça um arcabouço linear para a variação das estruturas de Hodge, o autor busca uma equação diferencial parcial (EDP) não linear que restrinja explicitamente a matriz de período das classes $(1,1)$ em termos das coordenadas locais do stack de módulos.

Metodologia
A abordagem combina a geometria de stacks de módulos, a teoria de superfícies elípticas e a análise da conexão de Gauss–Manin.

1. Módulos e Coordenadas: O autor considera o stack $\mathcal{J}\mathcal{E}$ de superfícies elípticas jacobianas com fibras singulares nodais irredutíveis. Demonstra-se que este stack é liso de dimensão $N = 10h + 8(1-q)$, onde $h$ é o gênero geométrico e $q$ a irregularidade. Um sistema de coordenadas locais no stack de módulos é construído via o lugar de ramificação do morfismo classificatório $\phi: C \to \mathcal{E}\ell\ell$ (onde $\mathcal{E}\ell\ell \cong \mathbb{P}(4,6)$ é o stack de curvas elípticas generalizadas). Especificamente, se $Z = \text{Ram}(\phi)$ é o divisor de ramificação, o divisor de ramificação $B = \phi^*Z$ fornece coordenadas étale locais $(t_i)_{i \in [1,N]}$.
2. Base Cohomológica: Para cada ponto de ramificação $P_i \in Z$, uma forma 2-meromórfica específica $\tilde{\eta}_i$ do segundo tipo é construída em $H^0(X, \Omega^2_X(2E_i))$, onde $E_i = f^{-1}(P_i)$. Estas formas são normalizadas para se anularem em uma subrede isotrópica específica $L \subset H^2(X, \mathbb{Z})_{\text{prim}}$. Suas projeções $\eta_i$ em $H^{1,1}_{\text{prim}}(X)$ formam uma base ortogonal.
3. A Matriz de Período: A matriz $H = [\eta_1, \dots, \eta_N]$ é tratada como um elemento do grupo ortogonal complexo $O_N$, representando um mapa de período multivalorado do stack de módulos para o torsor de frames ortonormais.
4. Derivação da EDP: Ao analisar a derivada do mapa de período ao longo das curvas de coordenadas definidas pela variação de um único ponto de ramificação, o autor relaciona a variação das formas de base $\eta_i$ com a conexão de Gauss–Manin. O passo fundamental envolve "truncar" o sistema linear da conexão de Gauss–Manin para isolar as restrições não lineares nas classes $(1,1)$.

Principais Contribuições e Resultados

• A Equação "Eclíptica": O principal resultado é a derivação de um sistema de EDPs satisfeitas pela matriz de período $H$. O sistema é dado por:
  $$\{ \partial_i H = (\partial_i \eta_i \wedge \eta_i) H \}_{i \in [1,N]}$$
  onde $\partial_i = \partial/\partial t_i$. O termo $\partial_i \eta_i \wedge \eta_i$ é interpretado geometricamente como a "eclíptica" da partícula $\eta_i$ (o 2-plano definido por sua posição e velocidade). Esta equação é válida de forma geral, mesmo quando o sistema canônico $|K_X|$ possui pontos base, estendendo resultados anteriores que exigiam a ausência de pontos base.
• Ortogonalidade e Construção de Base: O artigo fornece uma construção rigorosa de uma base ortonormal para $H^{1,1}_{\text{prim}}(X)$ utilizando formas 2-meromórficas do segundo tipo. Prova-se que estas classes são mutuamente ortogonais, uma propriedade estabelecida anteriormente apenas sob suposições restritivas (ausência de pontos base).
• Teorema de Torelli Infinitesimal: Um teorema de Torelli infinitesimal genérico é provado para o mapa $H$. Mostra-se que a derivada do mapa de período é genericamente imersiva. O autor analisa o caso em que existem pontos base (especificamente quando $h=q$ e o ponto base $Q$ reside no divisor de ramificação $Z$), mostrando que, neste cenário específico, a derivada do mapa de período possui corrank 1, e o Torelli infinitesimal falha.
• Cálculos Explícitos para Superfícies Racionais: Para superfícies elípticas racionais ($q=0, h=1$), o artigo delineia um algoritmo explícito para calcular a matriz de período. Isso envolve:
  • Construir a superfície como um blow-up de $\mathbb{P}^2$ em nove pontos.
  • Utilizar o modelo anticanônico e equações séxticas em espaço projetivo ponderado.
  • Calcular números de interseção $[\eta_i] \cup_{dR} [D]$ com curvas específicas $D$ (seções da fibração) usando fórmulas de resíduo derivadas das expansões locais das formas.
  • Determinar os escalares necessários para normalizar a base para que seja ortonormal.

Significância
O artigo afirma sua significância ao fornecer uma equação diferencial não linear concreta que governa a variação da cohomologia $(1,1)$ de superfícies elípticas, um setor da cohomologia frequentemente mais difícil de acessar do que as partes $(2,0)$ ou $(0,2)$. Ao interpretar o mapa de período como uma solução para esta equação "eclíptica", o trabalho conecta diretamente a geometria do espaço de módulos (via o divisor de ramificação) à estrutura de Hodge. O cálculo explícito para superfícies racionais demonstra que estas construções abstratas são computáveis, oferecendo um potencial caminho para cálculos de períodos explícitos em geometria aritmética. O trabalho também refina a compreensão do teorema de Torelli infinitesimal na presença de pontos base, esclarecendo as condições geométricas precisas sob as quais o mapa de período degenera.