Split-prime supercongruence at the mixed CM point (1/6, 1/3; 1)

Resumo Técnico: Supercongruência Split-Prime no Ponto CM Misto

Enunciado do Problema
O artigo investiga as propriedades aritméticas da sequência de inteiros $A^{\text{mix}}_n$, definida pela extração de coeficientes:
$$A^{\text{mix}}_n := 108^n [z^n] \, {}_2F_1\left(\frac{1}{6}, \frac{1}{3}; 1; z\right)^3.$$
O problema central é estabelecer supercongruências da forma $A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^k}$ para primos $p$. Especificamente, o autor foca no ponto CM "misto" $(1/6, 1/3; 1)$, que corresponde à curva elíptica $j=0$. A previsão genérica do quadro de Roberts–Rodriguez Villegas para motivos hipergeométricos de peso 3 sugere um expoente de congruência de $k=3$. O artigo busca determinar se a natureza CM específica deste ponto produz uma congruência mais forte (um "reforço") e caracterizar o comportamento da sequência em primos inerciais ($p \equiv 2 \pmod 3$).

Metodologia
A prova procede através de uma realização modular da sequência na curva modular $X_0(3)$, utilizando o seguinte quadro técnico:

1. Realização Modular e Queda de Ordem:
   A sequência é realizada via a fórmula de inversão de Lagrange–Bürmann. A função geradora é expressa em termos de formas modulares em $\Gamma_0(3)$. Uma insight estrutural chave é uma "queda de ordem" na relação de recorrência: a recorrência de terceira ordem de Mao–Tian para o cubo da função hipergeométrica fatora-se como $(S-108)L(2)$, reduzindo o problema a uma relação de recorrência de segunda ordem. Isso permite escrever a sequência como $A^{\text{mix}}_m = [q^m] C_{\text{mix}}(q) H_{\text{mix}}(q)^m$, onde $C_{\text{mix}}$ é uma combinação linear específica de séries de Eisenstein de peso 5 e $H_{\text{mix}}$ é um núcleo modular.

2. Redução Katz–Dwork:
   A supercongruência é reduzida a uma congruência escalar envolvendo o operador de Cartier $\Lambda_p$. Usando o defeito de Frobenius $U_p = \log(t(q)^p/t(qp))$, o problema é transformado na prova de três identidades:
   $$\Lambda_p(C_{\text{mix}} U_p^\ell) \equiv 0 \pmod{p^4}, \quad \ell = 1, 2, 3.$$
   Aqui, $C_{\text{mix}} = C_0 - 27 u C_0$, onde $C_0$ e $u C_0$ correspondem a duas linhas de Eisenstein distintas.

3. Estimativa de Polo Witt–Cartier no Ponto do Stack Tame:
   A entrada técnica central é uma análise local no ponto elíptico $P_-$ (onde $j=0$ e $u=-1/27$). O autor trabalha no stack quociente tame $[\text{Spf } \mathbb{Z}_p[\zeta_3][[r]]/\mu_3]$.

   • Equivariância $\mu_3$: Para primos split ($p \equiv 1 \pmod 3$), o levantamento canônico de Frobenius $\Phi$ é $\mu_3$-equivariante. Isso força o índice de resíduo $K$ na fórmula traço-resíduo a satisfazer $K \equiv 1 \pmod 3$.
   • Limite de Polo: Esta condição de congruência exclui os resíduos $K=2$ e $K=3$, forçando o primeiro polo não nulo a estar em $K \ge 4$. Esta estimativa de "comprimento-três" produz o fator extra de $p$, elevando o limite de $p^3$ para $p^4$.

4. Entrelaçamento Atkin–Lehner:
   Para lidar com a combinação mista $C_{\text{mix}}$, o autor emprega uma identidade de ponte derivada da involução de Atkin–Lehner $w_3$. A relação de entrelaçamento $T_p w_3^* = \chi_3(p) w_3^* T_p$ permite o cancelamento das duas componentes de Eisenstein ($C_0$ e $uC_0$) em primos split ($\chi_3(p)=1$), garantindo que as identidades de Cartier mistas se mantenham incondicionalmente.

Contribuições e Resultados Chave

• Teorema Principal (Primos Split): Para todo primo split $p \ge 7$ ($p \equiv 1 \pmod 3$) e todo $m \ge 1$:
  $$A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^4}.$$
  Este resultado é incondicional. O expoente 4 excede a previsão genérica de lacuna de Hodge de peso 3 de 3. O artigo atribui este "reforço CM" à curva elíptica $j=0$ e à equivariância $\mu_3$ específica do levantamento de Frobenius no ponto do stack tame.

• Obstrução de Primo Inercial: Para primos inerciais $p \ge 5$ ($p \equiv 2 \pmod 3$), a supercongruência no estilo split falha.

  • Obstrução do Parâmetro Formal: A congruência $\Lambda_p(C_{\text{mix}} H_{\text{mix}}^p) \equiv C_{\text{mix}} H_{\text{mix}} \pmod{p^4}$ não pode valer.
  • Lei de Paridade de Coeficientes: A sequência satisfaz uma lei de paridade específica módulo $p$:
    $$A^{\text{mix}}_{mp^r} \equiv A^{(\chi_3(p)^r)}_m \pmod p,$$
    onde $A^{(\varepsilon)}_m$ corresponde à ramificação de Eisenstein com sinal $\varepsilon$. Especificamente, para primos inerciais, um passo de Frobenius troca as duas ramificações de Eisenstein, e dois passos retornam ao original. Consequentemente, $A^{\text{mix}}_p \equiv 72 \pmod p$, enquanto $A^{\text{mix}}_1 = 18$, demonstrando a falha da congruência mesmo módulo $p$.

• Verificação Computacional: O artigo inclui verificações computacionais extensas em SageMath para primos até 97, verificando o fechamento das identidades de Cartier, os cancelamentos escalares de ponte e as previsões de obstrução inercial.

Significado e Alegações
O artigo alega que, para a sequência nesta forma exata, a supercongruência $p^4$ em primos split é um resultado novo. O significado reside em:

1. O Expoente: Provar um expoente de 4, que é um a mais que a previsão genérica de peso 3, e identificar o mecanismo (o reforço CM $j=0$) responsável por este ganho.
2. O Mecanismo: Fornecer uma explicação detalhada em nível de stack local para o dígito extra através da estimativa de polo Witt–Cartier equivariante $\mu_3$, que força o índice de resíduo a pular $K=2,3$.
3. A Dicotomia: Estabelecer um contraste nítido entre primos split e inerciais, onde estes últimos exibem um comportamento de "troca de ramificação" em vez de uma supercongruência.
4. Rigor Metodológico: A prova é incondicional e baseia-se numa síntese da teoria de Katz de subgrupos canônicos, formas modulares em $\Gamma_0(3)$ e análise local teórica de stacks, evitando dependência de conjecturas não provadas relativas à congruência de Dwork para o teorema principal.

O autor nota que, embora a congruência de primeiro dígito $A^{\text{mix}}_p \equiv 18 \pmod{p^3}$ siga de resultados conhecidos (via identidade de Clausen e trabalho de Beukers), o reforço para $p^4$ para todo $m \ge 1$ e a obstrução explícita de primo inercial são contribuições novas deste trabalho.