$p$-adic rigidity for $\mathrm{GSp}_4$

Resumo Técnico: Rigidez p-ádica para GSp4

1. Enunciado do Problema e Motivação
Este artigo aborda o problema da rigidez p-ádica para representações automórficas não cuspidais específicas do grupo simplético $GSp_4(\mathbb{A}_{\mathbb{Q}})$. Embora progressos substanciais tenham sido feitos na construção de eigenvariedades (espaços analíticos rígidos p-ádicos que interpolam sistemas de autovalores de Hecke) e no estudo de famílias p-ádicas de formas automórficas, a geometria do locus não cuspidal e não holomorfo permanece pouco compreendida.

A questão central é se certas representações automórficas "p-refinadas" podem ser interpoladas em uma família p-ádica não trivial de dimensão positiva. O artigo foca em pontos de Saito–Kurokawa (SK), que são levantamentos de representações de $GL_2$ para $GSp_4$. Especificamente, investiga se esses pontos, quando equipados com refinamentos específicos (caracteres acessíveis do toro de Borel), admitem deformações dentro da eigenvariedade. Este trabalho serve como um análogo de $GSp_4$ para os teoremas de rigidez de Bellaïche para o grupo unitário $U(2, 1)$, visando identificar obstruções à variação p-ádica na eigenvariedade de $GSp_4$.

2. Metodologia e Estrutura
A estratégia de prova não depende da existência prévia de uma eigenvariedade global, mas sim abstrai as propriedades que uma família p-ádica espera satisfazer, adaptando o framework de Bellaïche para $U(2, 1)$.

• Definições de Famílias e Pontos:

  • Uma família p-ádica $X(\phi)$ é definida como um espaço analítico rígido, reduzido, separado e irredutível sobre $\mathbb{Q}_p$ equipado com um mapa de peso, um homomorfismo de álgebra de Hecke e um conjunto denso de pontos clássicos $Z$.
  • Um ponto de Saito–Kurokawa (SK) $z_0 = (\pi, \psi_R)$ corresponde a uma representação SK não cuspidal $\pi$ com um refinamento acessível $\psi_R$.
  • O artigo distingue quatro possíveis refinamentos ($\psi_1, \dots, \psi_4$) do fator local SK. Os principais resultados aplicam-se especificamente a pontos refinados por $\psi_2$ e $\psi_3$, que são análogos a pontos "anti-ordinários" no contexto de $U(2, 1)$.

• Entradas Técnicas Principais:

  1. Classificação de Arthur: A função estrutural da classificação de Arthur para representações automórficas discretas para $GSp_4$ é utilizada para analisar a reducibilidade das representações de Galois associadas.
  2. Pseudocaracteres e Reducibilidade: O artigo emprega a teoria de pseudocaracteres (seguindo Taylor e Bellaïche–Chenevier) para analisar o pseudocarater genérico $T_\eta$ associado a uma família. Investiga-se se $T_\eta$ é $(2, 1, 1)$-reducível (decompondo-se em uma representação de 2 dimensões e duas de 1 dimensão).
  3. Propriedade de Kisin: Assume-se que uma propriedade de interpolação para autovalores de Frobenius cristalinos ocorre no ponto $z_0$. Isso garante que as extensões decorrentes da família sejam cristalinas em $p$.
  4. Controle de Monodromia (SK–P2): Uma condição é imposta para controlar a monodromia de Galois fora de $p$. Especificamente, para primos $\ell \neq p$ onde o fator local é um twist de Steinberg, o operador de monodromia na família deve residir no fechamento de Zariski da classe de conjugação da monodromia em $z_0$.
  5. Grupos de Selmer de Bloch–Kato: A prova culmina em uma contradição derivada do desaparecimento de grupos de Selmer específicos, $H^1_f(\mathbb{Q}, \rho_\mu(2))$ e $H^1_f(\mathbb{Q}, \mathbb{Q}_p(1))$.

3. Principais Resultados

• Rigidez SK (Proposição 6.3):
  Se uma família p-ádica $X(1)$ passa por um ponto SK $\psi_i$-refinado $z_0$ com $i \in \{2, 3\}$ (e satisfaz uma condição de slope $v(\alpha(z_0)) \neq k(z_0)-2$ se $i=3$), e se o conjunto de pontos SK acumula-se em $z_0$, então a família $X(1)$ deve ser um ponto único. Isso estabelece que pontos SK refinados por $\psi_2$ e $\psi_3$ não se deformam em famílias contendo outros pontos SK.

• Não-(2, 1, 1)-Reducibilidade (Proposição 7.10):
  Para uma família de dimensão positiva através de um ponto SK, o pseudocarater genérico $T_\eta$ não pode ser $(2, 1, 1)$-reducível. A prova utiliza o fato de que pontos do tipo (e)/(f) (que são $(1,1,1,1)$-reducíveis) e pontos SK (que são $(2,1,1)$-reducíveis) não podem acumular-se uns sobre os outros de uma forma que preserve o tipo de reducibilidade genérica sem contradição.

• Rigidez Completa (Teorema 8.4):
  Seja $z_0$ um ponto SK não cuspidal $\psi_i$-refinado ($i \in \{2, 3\}$) satisfazendo a condição de Steinberg (St) e a condição de slope. Se $X(1)$ é uma família p-ádica através de $z_0$ satisfazendo a propriedade de Kisin e a condição de controle de monodromia (SK–P2), então $X(1)$ é um ponto.

  Esboço da Prova: O argumento assume $\dim X > 0$. Isso implica que $T_\eta$ não é $(2, 1, 1)$-reducível. No entanto, a existência da família força a existência de uma extensão não dividida em $\text{Ext}_T(\epsilon^{-2}, \epsilon^{-1})$ ou $\text{Ext}_T(\epsilon^{-2}, \rho_\mu)$.

  • Extensões em $\text{Ext}_T(\epsilon^{-2}, \rho_\mu)$ são mostradas como sendo não ramificadas fora de $p$ e cristalinas em $p$. O twist por $\epsilon^2$ produz uma classe em $H^1_f(\mathbb{Q}, \rho_\mu(2))$, que desaparece porque $L(1/2, \mu) \neq 0$.
  • Extensões em $\text{Ext}_T(\epsilon^{-2}, \epsilon^{-1})$ similarmente produzem uma classe em $H^1_f(\mathbb{Q}, \mathbb{Q}_p(1))$, que desaparece por teoria de Kummer.
  • O desaparecimento desses grupos de Selmer contradiz a existência de uma extensão não trivial, implicando que a família deve ser de dimensão zero.

4. Significância e Alegações
O artigo afirma estabelecer a rigidez p-ádica de uma classe específica de representações automórficas não cuspidais em $GSp_4$.

• Analogia com $U(2, 1)$: Fornece um análogo de $GSp_4$ para os teoremas de rigidez de Bellaïche, identificando uma obstrução semelhante à variação p-ádica para pontos refinados "anti-ordinários" (especificamente $\psi_2$ e $\psi_3$).
• Distinção de Pontos Cuspidais: O artigo nota explicitamente que pontos SK cuspidais não são rígidos (eles se deformam em famílias de dimensão positiva, ex: famílias semi-ordinárias). O resultado de rigidez é específico para o caso não cuspidal.
• Papel do Refinamento: Os resultados destacam que a escolha do refinamento é decisiva. O artigo espera que pontos refinados por $\psi_1$ e $\psi_4$ (análogos a pontos ordinários) se deformem, e os teoremas de rigidez excluem especificamente esses casos.
• Identificação da Obstrução: O trabalho identifica o desaparecimento de grupos de Selmer de Bloch–Kato específicos (impulsionado pelo não-desaparecimento do valor central L $L(1/2, \mu)$ e pela teoria de Kummer) como a obstrução fundamental para a variação p-ádica para esses pontos não cuspidais.

O artigo permanece modesto quanto à necessidade de suas hipóteses (como a não-cuspidalidade e a condição de monodromia específica), observando que, embora o método sugira rigidez para certos casos cuspidais, as condições de monodromia exigidas para a prova podem não se sustentar para pontos cuspidais genéricos.