Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

Resumo Técnico: Elevação de Nível Aritmética no Produto Triplo de Curvas de Shimura e Ciclos Diagonais de Gross–Kudla–Schoen II: Sistema de Euler Bipartido

Enunciado do Problema
Este artigo investiga as propriedades aritméticas do ciclo diagonal de Gross–Kudla–Schoen no produto triplo de curvas de Shimura. O objetivo principal é estabelecer uma estrutura de "sistema de Euler bipartido" para esses ciclos, especificamente no contexto do motivo do cubo simétrico de uma forma modular. Baseando-se no trabalho anterior do autor [Wang], que verificou a primeira lei de reciprocidade, este artigo visa provar a segunda lei de reciprocidade. O objetivo final é utilizar essas leis de reciprocidade para fornecer evidências para o caso de posto um da conjectura de Bloch–Kato para o motivo do cubo simétrico.

O problema envolve compreender a relação entre a imagem do ciclo diagonal sob o mapa de Abel–Jacobi e certos integrais de período (do tipo Gross–Kudla) via congruências de elevação de nível. Embora os ciclos de Gross–Kudla–Schoen no produto triplo completo não formem um sistema de Euler bipartido no sentido estrito definido por Howard [How] devido a razões de posto (os grupos de cohomologia local têm posto 3 em vez de 1), o artigo demonstra que sua projeção sobre o componente do cubo simétrico satisfaz as condições necessárias para formar tal sistema.

Metodologia
A metodologia depende fortemente da interação entre geometria aritmética, cohomologia de Galois e a teoria das curvas de Shimura.

1. Elevação de Nível Aritmética: A ferramenta técnica central é o desenvolvimento de um teorema de elevação de nível aritmética não ramificada para o produto triplo de curvas de Shimura. Isso envolve o estudo da cohomologia das curvas de Shimura $X_d$ e suas contrapartes com nível elevado $X_d(p)$ em um primo $p$ $n$-admissível. O autor utiliza a sequência espectral de peso e a filtração de monodromia dos ciclos próximos para analisar a cohomologia da fibra especial.
2. Modelos Semiestáveis: Para lidar com a elevação de nível em um primo de boa redução, o artigo constrói um modelo estritamente semiestável para o produto triplo $X_d(p)^3$. Isso envolve o blow-up do produto triplo ao longo de estratos específicos para resolver singularidades, seguindo o procedimento delineado por Gross e Schoen [GS] e Liu [Liu2]. A geometria da fibra especial é descrita via um cubo de estratos, permitindo o cálculo explícito da filtração de monodromia.
3. Leis de Reciprocidade: O artigo estabelece duas leis de reciprocidade distintas:
   • A Primeira Lei de Reciprocidade: Relaciona o resíduo singular da classe do ciclo diagonal em um primo ramificado $q$ a um integral de período de Gross–Kudla. Isso foi estabelecido em [Wang] e é revisado aqui.
   • A Segunda Lei de Reciprocidade: Relaciona a localização da classe do ciclo diagonal em um primo não ramificado $p$ (especificamente sua parte finita) ao mesmo integral de período de Gross–Kudla. Este é o principal resultado novo do presente artigo.
4. Construção do Sistema de Euler Bipartido: Combinando as duas leis de reciprocidade, o autor constrói um sistema de classes de cohomologia $(\Theta_n(f, d), \Theta^{[pq]}_n(f, d))$ associado a pares de primos admissíveis. O artigo verifica que essas classes satisfazem as condições de compatibilidade necessárias (leis de reciprocidade) para formar um sistema de Euler bipartido, ainda que em um "sentido mais fraco" no que diz respeito ao posto dos grupos de cohomologia local.
5. Projeção do Cubo Simétrico: Os resultados são especializados para o caso em que o produto triplo é formado por uma única forma modular $f$ (ou seja, $f = (f, f, f)$). O autor projeta as classes do ciclo diagonal sobre o componente do cubo simétrico da representação do produto tensorial triplo, denotado $V^\diamond(f)(-1)$.

Contribuições e Resultados Chave

• Teorema 2 (Elevação de Nível Não Ramificada): Estabelece um isomorfismo entre a cohomologia do produto triplo de curvas de Shimura no nível $N$ e a "parte nova" da cohomologia no nível $Np$ (onde $p$ é um primo $n$-admissível). Este isomorfismo relaciona a cohomologia a uma soma direta de produtos tensoriais de espaços de funções em conjuntos de Shimura.
• Teorema 3 (Segunda Lei de Reciprocidade): Prova que, para um primo $n$-admissível $p$, a localização da classe do ciclo diagonal $\Theta_n(f, d)$ em $p$ satisfaz uma fórmula de emparelhamento específica com períodos de Gross–Kudla. Especificamente, o emparelhamento da $j$-ésima componente da classe localizada com um produto tensorial de funções é igual à soma do produto dessas funções sobre o conjunto de Shimura diagonal $\Delta_d(B)$.
  $$(\text{loc}^{(j)}_p(\Theta_n(f, d)), \phi_1 \otimes \phi_2 \otimes \phi_3) = \sum_{z \in \Delta_d(B)} \phi_1(z) \otimes \phi_2(z) \otimes \phi_3(z)$$
• Teorema 4 (Evidências para a Conjectura de Bloch–Kato): Aplica o sistema de Euler bipartido construído ao motivo do cubo simétrico. O artigo prova que, se a classe do ciclo diagonal projetada $\Theta^\diamond(f, d)$ for não nula, então o grupo de Selmer de Bloch–Kato $H^1_f(\mathbb{Q}, V^\diamond(f)(-1))$ tem dimensão 1 sobre o corpo de coeficientes. Isso fornece uma prova condicional do caso de posto um da conjectura de Bloch–Kato para o motivo do cubo simétrico.

Significado e Afirmações
O artigo afirma completar a verificação da conjectura de Howard [How] relativa aos ciclos diagonais de Gross–Kudla–Schoen como fonte de um sistema de Euler bipartido. Embora o motivo do produto triplo completo não produza um sistema de Euler bipartido estrito devido a restrições de posto, a restrição ao componente do cubo simétrico produz com sucesso tal sistema.

O significado do trabalho reside em:

1. Extensão do Método de Bertolini–Darmon: Adapta o método de construção de sistemas de Euler via elevação de nível e leis de reciprocidade (originalmente desenvolvido para pontos de Heegner) ao contexto de ciclos diagonais em produtos triplos de curvas de Shimura.
2. Conexão entre Geometria e Funções $L$: As leis de reciprocidade relacionam a parte algébrica da primeira derivada da função $L$ (via a imagem de Abel–Jacobi do ciclo) à parte algébrica do valor central crítico (via o período de Gross–Kudla). Isso espelha a fórmula de Gross–Zagier e o trabalho de Bertolini–Darmon.
3. Progresso na Conjectura de Bloch–Kato: Os resultados fornecem evidências concretas para o caso de posto um da conjectura de Bloch–Kato para o motivo do cubo simétrico, um problema aberto significativo na aritmética das formas automórficas.

O autor observa que os métodos são robustos o suficiente para potencialmente lidar com o motivo do produto triplo mais geral e estender-se a um contexto teórico de Iwasawa, embora essas extensões sejam reservadas para trabalhos futuros. O artigo também posiciona seus resultados como a contraparte de "elevação de nível" às leis de reciprocidade $p$-ádicas provadas por Darmon, Rotger e outros [DR1, DR2], e reconhece desenvolvimentos paralelos por Liu, Tian, Xiao, Zhang e Zhu [LTX, LTXZZ] para outros motivos.