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

Resumen Técnico: Supercongruencia de Primo Dividido en el Punto CM Mixto

Enunciado del Problema
El artículo investiga las propiedades aritméticas de la sucesión de enteros $A^{\text{mix}}_n$, definida por la extracción de coeficientes:
$$A^{\text{mix}}_n := 108^n [z^n] \, {}_2F_1\left(\frac{1}{6}, \frac{1}{3}; 1; z\right)^3.$$
El problema central es establecer supercongruencias de la forma $A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^k}$ para primos $p$. Específicamente, el autor se centra en el punto CM "mixto" $(1/6, 1/3; 1)$, que corresponde a la curva elíptica $j=0$. La predicción genérica del marco de Roberts–Rodriguez Villegas para motivos hipergeométricos de peso 3 sugiere un exponente de congruencia de $k=3$. El artículo busca determinar si la naturaleza CM específica de este punto produce una congruencia más fuerte (un "mejoramiento") y caracterizar el comportamiento de la sucesión en primos inerciales ($p \equiv 2 \pmod 3$).

Metodología
La demostración procede mediante una realización modular de la sucesión en la curva modular $X_0(3)$, utilizando el siguiente marco técnico:

1. Realización Modular y Caída de Orden:
   La sucesión se realiza mediante la fórmula de inversión de Lagrange–Bürmann. La función generadora se expresa en términos de formas modulares en $\Gamma_0(3)$. Una idea estructural clave es una "caída de orden" en la relación de recurrencia: la relación de recurrencia de tercer orden de Mao–Tian para el cubo de la función hipergeométrica se factoriza como $(S-108)L(2)$, reduciendo el problema a una relación de recurrencia de segundo orden. Esto permite escribir la sucesión como $A^{\text{mix}}_m = [q^m] C_{\text{mix}}(q) H_{\text{mix}}(q)^m$, donde $C_{\text{mix}}$ es una combinación lineal específica de series de Eisenstein de peso 5 y $H_{\text{mix}}$ es un núcleo modular.

2. Reducción de Katz–Dwork:
   La supercongruencia se reduce a una congruencia escalar que involucra al operador de Cartier $\Lambda_p$. Utilizando el defecto de Frobenius $U_p = \log(t(q)^p/t(qp))$, el problema se transforma en probar tres identidades:
   $$\Lambda_p(C_{\text{mix}} U_p^\ell) \equiv 0 \pmod{p^4}, \quad \ell = 1, 2, 3.$$
   Aquí, $C_{\text{mix}} = C_0 - 27 u C_0$, donde $C_0$ y $u C_0$ corresponden a dos líneas de Eisenstein distintas.

3. Estimación de Polo de Witt–Cartier en el Punto del Stack Tame:
   La entrada técnica central es un análisis local en el punto elíptico $P_-$ (donde $j=0$ y $u=-1/27$). El autor trabaja en el stack cociente tame $[\text{Spf } \mathbb{Z}_p[\zeta_3][[r]]/\mu_3]$.

   • Equivariancia $\mu_3$: Para primos divididos ($p \equiv 1 \pmod 3$), el levantamiento canónico de Frobenius $\Phi$ es $\mu_3$-equivariante. Esto fuerza al índice de residuo $K$ en la fórmula de traza-residuo a satisfacer $K \equiv 1 \pmod 3$.
   • Límite de Polo: Esta condición de congruencia excluye los residuos $K=2$ y $K=3$, forzando al primer polo no nulo a estar en $K \ge 4$. Esta estimación de "longitud tres" produce el factor extra de $p$, elevando el límite de $p^3$ a $p^4$.

4. Entrelazamiento de Atkin–Lehner:
   Para manejar la combinación mixta $C_{\text{mix}}$, el autor emplea una identidad puente derivada de la involución de Atkin–Lehner $w_3$. La relación de entrelazamiento $T_p w_3^* = \chi_3(p) w_3^* T_p$ permite la cancelación de las dos componentes de Eisenstein ($C_0$ y $uC_0$) en primos divididos ($\chi_3(p)=1$), asegurando que las identidades mixtas de Cartier se cumplan incondicionalmente.

Contribuciones y Resultados Clave

• Teorema Principal (Primos Divididos): Para todo primo dividido $p \ge 7$ ($p \equiv 1 \pmod 3$) y todo $m \ge 1$:
  $$A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^4}.$$
  Este resultado es incondicional. El exponente 4 excede la predicción genérica del salto de Hodge de peso 3 de 3. El artículo atribuye este "mejoramiento CM" a la curva elíptica $j=0$ y a la equivariancia $\mu_3$ específica del levantamiento de Frobenius en el punto del stack tame.

• Obstrucción de Primos Inerciales: Para primos inerciales $p \ge 5$ ($p \equiv 2 \pmod 3$), la supercongruencia al estilo dividido falla.

  • Obstrucción del Parámetro Formal: La congruencia $\Lambda_p(C_{\text{mix}} H_{\text{mix}}^p) \equiv C_{\text{mix}} H_{\text{mix}} \pmod{p^4}$ no puede sostenerse.
  • Ley de Paridad de Coeficientes: La sucesión satisface una ley de paridad específica módulo $p$:
    $$A^{\text{mix}}_{mp^r} \equiv A^{(\chi_3(p)^r)}_m \pmod p,$$
    donde $A^{(\varepsilon)}_m$ corresponde a la rama de Eisenstein con signo $\varepsilon$. Específicamente, para primos inerciales, un paso de Frobenius intercambia las dos ramas de Eisenstein, y dos pasos retornan a la original. En consecuencia, $A^{\text{mix}}_p \equiv 72 \pmod p$, mientras que $A^{\text{mix}}_1 = 18$, demostrando el fallo de la congruencia incluso módulo $p$.

• Verificación Computacional: El artículo incluye comprobaciones computacionales extensas en SageMath para primos hasta 97, verificando el cierre de las identidades de Cartier, las cancelaciones escalares del puente y las predicciones de obstrucción inercial.

Significado y Afirmaciones
El artículo afirma que para la sucesión en esta forma exacta, la supercongruencia $p^4$ en primos divididos es un resultado nuevo. El significado radica en:

1. El Exponente: Probar un exponente de 4, que es uno mayor que la predicción genérica de peso 3, e identificar el mecanismo (el mejoramiento CM de $j=0$) responsable de esta ganancia.
2. El Mecanismo: Proporcionar una explicación detallada a nivel de stack local para el dígito extra mediante la estimación de polo de Witt–Cartier equivariante $\mu_3$, que fuerza al índice de residuo a saltar $K=2,3$.
3. La Dicotomía: Establecer un contraste agudo entre primos divididos e inerciales, donde estos últimos exhiben un comportamiento de "intercambio de ramas" en lugar de una supercongruencia.
4. Rigor Metodológico: La demostración es incondicional y se basa en una síntesis de la teoría de subgrupos canónicos de Katz, formas modulares en $\Gamma_0(3)$ y análisis local de teoría de stacks, evitando depender de conjeturas no probadas sobre la congruencia de Dwork para el teorema principal.

El autor señala que, aunque la congruencia de primer dígito $A^{\text{mix}}_p \equiv 18 \pmod{p^3}$ se sigue de resultados conocidos (mediante la identidad de Clausen y el trabajo de Beukers), el fortalecimiento a $p^4$ para todo $m \ge 1$ y la obstrucción explícita de primos inerciales son contribuciones novedosas de este trabajo.