$L$-functions of elliptic curves in ring class extensions of real quadratic fields via regularized theta liftings

Resumo Técnico: L-Funções de Curvas Elípticas em Extensões de Classe de Anéis de Campos Quadráticos Reais via Levantamentos Theta Regularizados

Enunciado do Problema
O artigo aborda o comportamento analítico da função $L$ de Hasse-Weil $L(E/K, \chi, s)$ associada a uma curva elíptica $E/\mathbb{Q}$ de condutor $N$, baseada em um campo quadrático real $K = \mathbb{Q}(\sqrt{d})$ e torcida por um caractere de classe de anel $\chi$ de condutor $c$. Especificamente, o trabalho foca no valor da derivada central $\Lambda'(E/K, \chi, 1)$ (equivalentemente $\Lambda'(1/2, \Pi \otimes \chi)$) no cenário de "anulação forçada". Este cenário ocorre quando o número de raiz da equação funcional é $-1$, forçando o valor central $\Lambda(1/2, \Pi \otimes \chi)$ a se anular.

Embora a fórmula de Gross-Zagier e suas generalizações (por exemplo, por Waldspurger, Popa e Bruinier-Yang) relacionem com sucesso derivadas centrais a alturas de pontos de Heegner (ciclos CM) no contexto de campos quadráticos imaginários, o caso quadrático real apresenta uma obstrução significativa: não existem pontos CM no cenário quadrático real. Consequentemente, os objetos geométricos necessários para interpretar a derivada via teoria de interseção aritmética estão ausentes. O artigo busca derivar uma apresentação integral para essas derivadas centrais no caso quadrático real, substituindo ciclos CM por ciclos geodésicos reais no produto de curvas modulares.

Metodologia
O autor emprega a teoria de levantamentos theta regularizados e funções de Green automórficas, adaptando o arcabouço de Bruinier e Yang (que trataram o caso quadrático imaginário) para as configurações de assinatura $(2,2)$ e $(1,1)$ relevantes para campos quadráticos reais.

1. Configuração Geométrica: O trabalho utiliza o isomorfismo excepcional entre o grupo spin $GSpin(V_A)$ de um espaço quadrático racional $V_A$ de assinatura $(2,2)$ e $GL_2 \times_{G_m} GL_2$. Isso identifica a variedade de Shimura spin associada $X_A$ com o produto de curvas modulares $Y_0(N) \times Y_0(N)$.
2. Subespaços Anisotrópicos: O autor introduz subespaços anisotrópicos $(V_{A,1}, Q_{A,1})$ e $(V_{A,2}, Q_{A,2})$ de assinatura $(1,1)$, definidos via representantes de ideais do grupo de classe de anel. Estes dão origem a ciclos geodésicos reais $G_A$ em $Y_0(N) \times Y_0(N)$, que servem como análogos quadráticos reais aos ciclos CM.
3. Levantamentos Theta Regularizados: O cálculo central envolve a avaliação de levantamentos theta regularizados $\Phi(f_0, z, h)$ ao longo destes ciclos geodésicos. Aqui, $f_0$ é uma forma de Maass fraca harmônica de peso 0. Estes levantamentos são identificados como funções de Green automórficas para divisores de Hirzebruch-Zagier em $X_A$.
4. Siegel-Weil e Operadores de Maass: A derivação depende da fórmula de Siegel-Weil para relacionar integrais theta a séries de Eisenstein. Crucialmente, o autor utiliza operadores de elevação e redução de peso de Maass ($R_l$ e $L_l$) para relacionar a derivada de uma série de Eisenstein incoerente (associada ao subespaço de assinatura $(1,1)$) à parte holomorfa da série de Eisenstein derivada. Isso permite a decomposição do integral do levantamento theta em três termos distintos:
   • Um emparelhamento de termo constante envolvendo a parte holomorfa da forma de Maass e a parte holomorfa da série de Eisenstein derivada.
   • Um integral de Rankin-Selberg regularizado envolvendo a "sombra" da forma de Maass.
   • O integral da função de Green ao longo do ciclo geodésico real.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 4.18 / Corolário 4.19): O artigo estabelece uma nova apresentação integral para o valor da derivada central $\Lambda'(1/2, \Pi \otimes \chi)$. A fórmula expressa este valor como uma soma $\chi$-torcida sobre o grupo de classe de anel $\text{Pic}(\mathcal{O}_c)$ de:

  1. Um emparelhamento de termo constante: $\text{CT}\langle\langle f^+_{0,A}, 1_{L_{A,1}\oplus 0} \otimes E_{L_{A,2}} \rangle\rangle$.
  2. Um integral de Rankin-Selberg regularizado: $I'(0, f_{0,A} \times \xi_0(\theta_{L_{A,1}}))$.
  3. Uma soma de funções de Green automórficas avaliadas ao longo de ciclos geodésicos reais: $\frac{\text{vol}(U_{A,2})}{2} \Phi(f_{0,A}, G_A)$.

  A fórmula é dada por:
  $$\Lambda'(1/2, \Pi \otimes \chi) = -2h_K \log \varepsilon_K \sum_{A \in \text{Pic}(\mathcal{O}_c)} \chi(A) \left( \text{CT}\langle\langle \dots \rangle\rangle + I'(\dots) + \frac{\text{vol}(U_{A,2})}{2} \Phi(f_{0,A}, G_A) \right)$$
  onde $h_K$ é o número de classe e $\varepsilon_K$ é a unidade fundamental de $K$.

• Interpretação Geométrica: O trabalho fornece uma interpretação geométrica dos ciclos geodésicos reais $G_A$ como componentes da fronteira da compactificação de Borel-Serre de um threefold de Siegel torcido (uma variedade de Shimura spin de assinatura $(3,2)$). Isso sugere uma interpretação de fronteira para os pontos "Stark-Heegner" em $E(K[c])$.

• Aplicação a Birch-Swinnerton-Dyer (BSD): O artigo relaciona estas fórmulas analíticas à conjectura refinada de BSD.

  • Resultados Condicionais: Assumindo a conjectura BSD, as fórmulas derivadas fornecem expressões explícitas para o regulador $R_E(K[c])$ e a ordem do grupo de Tate-Shafarevich $\#\text{X}_E(K[c])$ em termos dos integrais automórficos derivados acima.
  • Identidade Incondicional (Teorema 5.1): Sob hipóteses específicas (redução semissimples, irreducibilidade de representações de Galois residuais e uma condição de rank onde exatamente um de $L(E,1)$ ou $L(E(d_K),1)$ se anula), o autor deriva uma identidade incondicional. Esta identidade iguala um produto de invariantes aritméticos (reguladores, números de Tamagawa, períodos e ordens de grupos de Tate-Shafarevich para $E$ e sua torção quadrática) à soma dos integrais automórficos descritos no teorema principal.

Significância e Alegações
O artigo afirma fornecer a primeira fórmula conhecida que relaciona valores de derivadas centrais de funções $L$ no cenário quadrático real a invariantes geométricos associados a ciclos geodésicos reais no produto de curvas modulares.

• Análogo a Gross-Zagier: O resultado é apresentado como um análogo quadrático real da fórmula de Gross-Zagier. Ao contrário do caso quadrático imaginário, onde a derivada está relacionada à altura de um ponto CM, a derivada quadrática real está relacionada à avaliação de funções de Green ao longo de ciclos geodésicos não compactos.
• Novidade do Método: O autor observa que o argumento não segue o arcabouço de interseção aritmética do programa de Kudla (que depende de ciclos CM, nem os cálculos de Bruinier-Yang para ciclos CM em variedades de Shimura spin). Em vez disso, a derivação surge da avaliação de funções de Green ao longo de ciclos geodésicos parametrizados por espaços quadráticos lorentzianos, utilizando identidades de Siegel-Weil interpretadas via operadores de Maass.
• Períodos: O artigo sugere que os valores $\Lambda'(E/K, \chi, 1)$ são períodos, deduzindo isso em casos especiais via argumentos de Kontsevich-Zagier, consistente com a expectativa de que valores especiais de $L$ são períodos.

O trabalho não pretende provar a existência de pontos racionais (pontos Stark-Heegner), mas sim fornece uma fórmula que, se tais pontos existirem e satisfizerem a conjectura BSD, relacionaria suas alturas a esses integrais automórficos específicos. Oferece uma nova perspectiva sobre a proveniência de tais pontos via as fronteiras de variedades de Shimura de dimensão superior.