Motivic height zeta function rationality and Kudla-Millson modularity for elliptic surfaces

Resumo Técnico: Motivic Height Zeta Function Rationality and Kudla–Millson Modularity for Elliptic Surfaces

1. Problema e Contexto

O artigo investiga a estrutura aritmética e geométrica de curvas elípticas sobre o corpo de funções $K = k(t)$, onde $k$ é um corpo perfeito de característica diferente de 2 e 3. O foco central é a relação entre a altura de Faltings da curva elíptica e os invariantes geométricos da superfície elíptica associada $S \to \mathbb{P}^1_k$.

O problema principal é entender a distribuição estatística e a racionalidade das séries geradoras (funções zeta) que contam essas curvas, refinadas por dois invariantes cruciais da fórmula de Shioda–Tate:

1. $T(S)$: O posto do retículo trivial (gerado pela seção zero, classe da fibra e componentes de fibras redutíveis que não intersectam a seção zero).
2. $rk(E/K)$: O posto de Mordell–Weil (o posto do grupo de pontos racionais da curva elíptica).

A fórmula de Shioda–Tate estabelece que $\rho(S) = T(S) + rk(E/K)$, onde $\rho(S)$ é o posto do grupo de Néron-Severi. O autor busca distinguir se a distribuição desses dois termos segue padrões locais (racionais/Euler) ou globais (modulares/transcendentes).

2. Metodologia

O autor emprega uma combinação sofisticada de técnicas de geometria aritmética, teoria de pilhas (stacks) e teoria de formas modulares:

• Estrutura de Moduli: Utiliza o stack de moduli $W^{min}_n$ de curvas elípticas mínimas sobre $K$ com altura de Faltings $n$, construído no framework de Bejleri–Park–Satriano [BPS22]. Este stack parametriza pontos racionais no espaço modular $M_{1,1} \simeq \mathbb{P}(4,6)$.
• Função Zeta Motívica Trivariada: Define a função $Z(u, v; t)$ que pondera cada estrato de altura $n$ pelos postos $T(S)$ e $rk(E/K)$.
  • $Z_{Triv}(u; t)$: Especialização focada apenas no retículo trivial.
  • $Z_{MW}(v; t)$: Especialização focada no posto de Mordell–Weil.
• Fatorização Local-Global e Estabilização Motívica:
  • Para o retículo trivial, o autor utiliza a natureza local da redução má (fibras de Kodaira). Aplica o método de Vakil–Wood de estabilização motívica, adaptando-o para o discriminante não linear $\Delta = 4a_4^3 + 27a_6^2$.
  • Utiliza a fórmula de Kapranov para funções zeta de espaços simétricos e resumo geométrico para lidar com as "formas de cuspide" (tipos de fibra multiplicativos).
• Correspondência Theta de Kudla–Millson: Para o posto de Mordell–Weil, o autor recorre à teoria de ciclos especiais em domínios de período. Aplica a correspondência theta de Kudla–Millson (e extensões de Garcia) para relacionar a distribuição de classes algébricas novas (locais de Noether–Lefschetz) com formas modulares.

3. Contribuições e Resultados Principais

A. Racionalidade Aproximada do Retículo Trivial (Teorema 1.5 e 2.12)

O autor prova que a série geradora do retículo trivial, $Z_{Triv}(u; t)$, exibe uma racionalidade aproximada no anel de Grothendieck completado dimensionalmente ($\widehat{\mathcal{M}}_L$).

• Mecanismo: O posto $T(S)$ é determinado apenas pela configuração local das fibras singulares (fibras de Kodaira). Isso permite uma decomposição em produto de Euler sobre os tipos locais de fibra.
• Resultado: Para cada grau fixo $m$ em $u$ (fixando o posto do retículo), o coeficiente de $t^n$ é aproximável por funções racionais em $s = t^{1/12}$ com precisão arbitrária na filtragem dimensional.
• Caso Isotrivial: Nos locais onde $j \equiv 0$ ou $j \equiv 1728$, o discriminante torna-se uma potência pura de um único coeficiente de Weierstrass, resultando em produtos de Euler exatos e estritamente racionais.
• Caso Geral: A não-linearidade do discriminante impede a racionalidade exata imediata, mas a estabilização motívica (via inclusão-exclusão truncada) mostra que o erro desaparece na completude dimensional.

B. Transcendência e Modularidade do Posto de Mordell–Weil (Teorema 1.7 e 3.5)

Em contraste agudo com o caso do retículo trivial, o autor demonstra que a distribuição de novos seções (aumento do posto de Mordell–Weil) é governada por estruturas modulares e é transcendental.

• Ciclos de Heegner: A aparição de novas classes algébricas independentes do retículo trivial corresponde a ciclos de Heegner no domínio de período associado ao retículo $\Lambda_n = \langle F, O \rangle^\perp$.
• Modularidade: A série geradora dessas classes de Noether–Lefschetz é uma forma modular holomorfa de peso $6n-2$ para $SL_2(\mathbb{Z})$.
• Transcendência: Para qualquer $n \ge 2$, a série escalar obtida ao projetar essas classes é transcendente sobre $\mathbb{C}(q)$. Isso significa que o padrão de "saltos" no posto de Mordell–Weil não pode ser capturado por qualquer fatorização local finita ou dados algébricos simples.
• Interpretação: O posto de Mordell–Weil é um objeto genuinamente global, enquanto o retículo trivial é local. A transcendência reflete a complexidade intrínseca da aritmética global das curvas elípticas sobre corpos de funções.

C. Estabilização de Números de Hodge (Corolário 1.6 e 2.13)

Sobre o corpo dos complexos ($k=\mathbb{C}$), a racionalidade aproximada motívica implica a estabilização bidegredada dos números de Hodge. Para $n$ suficientemente grande, os números de Hodge virtuals dos estratos de altura $n$ tornam-se constantes, e suas séries geradoras são racionais.

4. Significado e Impacto

1. Separação Estrutural: O trabalho fornece uma distinção rigorosa e quantitativa entre os dois componentes da fórmula de Shioda–Tate. Mostra que a parte "local" (retículo trivial) obedece a leis de fatorização local-global (produtos de Euler), enquanto a parte "global" (Mordell–Weil) obedece a leis de modularidade e transcendência.
2. Novas Ferramentas Motívicas: A adaptação do método de Vakil–Wood para lidar com a não-linearidade do discriminante de curvas elípticas em contextos de pilhas de moduli é uma contribuição técnica significativa para a geometria enumerativa motívica.
3. Conexão com Teoria de Números: A aplicação da correspondência theta de Kudla–Millson a superfícies elípticas sobre $\mathbb{P}^1$ conecta a geometria aritmética de superfícies racionais com a teoria de formas modulares de peso alto, generalizando resultados conhecidos para superfícies K3 ($n=2$) para todo $n \ge 2$.
4. Limites da Racionalidade: O artigo estabelece limites claros sobre o que pode ser esperado de funções zeta motivicas refinadas: enquanto certas especializações são racionais (ou aproximadamente racionais), a informação completa sobre o posto de Mordell–Weil escapa à racionalidade, revelando uma estrutura transcendente profunda.

Em suma, o artigo resolve a questão da racionalidade para o retículo trivial em um sentido motivico forte e, simultaneamente, prova a transcendência da distribuição do posto de Mordell–Weil, unificando técnicas de geometria algébrica moderna com a teoria de formas modulares.