Hasse-Weil Zeta Functions Modulo a Prime

Resumen Técnico: Funciones Zeta de Hasse-Weil Módulo un Primo

Planteamiento del Problema
El artículo aborda la relación entre las funciones zeta de Hasse-Weil de dos esquemas de tipo finito sobre $\mathbb{F}_q$ separados, $X$ e $Y$, conectados por un morfismo finito $\pi: Y \to X$. Específicamente, el autor investiga la reducción de la función zeta $\zeta(Y, T)$ módulo un primo $r$ (donde $r \neq p$, la característica del cuerpo) en términos de $\zeta(X, T)$ y el lugar de ramificación $Z \subset X$. La motivación principal surge de una pregunta planteada por Richard Griffon sobre las condiciones bajo las cuales el numerador de la función zeta de una curva sobre un cuerpo finito es un trinomio. Una condición necesaria para esto es que el numerador sea congruente con un trinomio módulo un entero $N > 1$.

Metodología
El artículo emplea dos enfoques distintos para establecer el resultado principal: una prueba "ingenua" basada en expansiones de productos de Euler y una prueba cohomológica utilizando la cohomología étale.

1. Prueba Ingenua (Sección 2): Este enfoque analiza la expansión del producto de Euler de la función zeta. Al examinar las fibras del morfismo $\pi$ sobre los puntos cerrados $x \in |X|$, el autor distingue entre los puntos en el lugar no ramificado ($X \setminus Z$) y el lugar de ramificación ($Z$). Utilizando las propiedades del grupo de Galois $G$ (de orden primo $r$), los grupos de inercia y los grupos de descomposición, el autor deriva congruencias para los factores locales $L(Y_x, T)$. La prueba se basa en la observación de que $(1 - T^{\deg(x)})^r \equiv (1 - T^{r \deg(x)}) \pmod r$.

2. Prueba Cohomológica (Secciones 3 y 4): Esta sección establece una fórmula general para la reducción de una función zeta módulo un primo $\ell \neq p$.

   • Teorema 3.1: El autor demuestra que $\zeta(X, T) \equiv \prod_i \det(1 - \phi T \mid H^i_c(\bar{X}, \mathbb{F}_\ell))^{(-1)^{i+1}} \pmod \ell$. Esto requiere analizar la relación entre la cohomología con coeficientes en $\mathbb{Q}_\ell$, $\mathbb{Z}_\ell$ y $\mathbb{F}_\ell$, manejando específicamente los submódulos de torsión mediante una proposición de álgebra lineal (Proposición 3.2) relativa a los determinantes de módulos sobre anillos finitos.
   • Aplicación a $\pi$: En la Sección 4, el autor aplica esta fórmula cohomológica al conjunto abierto $U = X \setminus Z$. Al considerar el haz de empuje directo (pushforward sheaf) $\pi_* \mathbb{F}_r$ y su semisimplificación, el autor demuestra que la cohomología de $Y$ sobre $U$ se relaciona con la cohomología de $X$ sobre $U$ mediante una potencia de $r$. Esto conduce a la congruencia $\zeta(V, T) \equiv \zeta(U, T)^r \pmod r$, donde $V = \pi^{-1}(U)$.

Resultados Clave
El resultado central es el Teorema 1.1, que establece:
Sea $\mathbb{F}_q$ un cuerpo finito de característica $p$, y $\pi: Y \to X$ un morfismo finito de $\mathbb{F}_q$-esquemas separados de tipo finito. Sea $Z \subset X$ el lugar de ramificación de $\pi$. Si $\pi$ es genéricamente de Galois con un grupo $G$ de orden primo $r \neq p$, entonces:
$$\zeta(Y, T) \equiv \zeta(X, T)^r \zeta(Z, T)^{1-r} \pmod r$$

El artículo señala una característica sorprendente de esta identidad: mientras que la identidad análoga sobre $\mathbb{Z}$ generalmente falla debido a desajustes de pesos (weight mismatches), la congruencia módulo $r$ se cumple.

Aplicaciones a Curvas
En la Sección 5, los resultados se especializan para curvas propias, suaves y geométricamente conexas. El autor deriva una congruencia para los numeradores $L(C, T)$ de las funciones zeta:
$$L(Y, T) \equiv L(X, T)^r (1-T)^{1-r} (1-qT)^{1-r} \prod_{z \in |Z|} (1 - T^{\deg(z)})^{r-1} \pmod r$$
Esta sección también recupera la fórmula de Riemann-Hurwitz al comparar los grados de ambos lados de la congruencia.

En la Sección 6, el artículo aplica estos hallazgos a curvas hiperelípticas ($r=2$) y superelípticas ($r>2$) definidas por ecuaciones de la forma $y^r = f(x)$. Los resultados proporcionan un método para determinar la reducción módulo $r$ del numerador de la función zeta para tales curvas basándose en el lugar de ramificación y la curva base.

Significancia y Reivindicaciones
El artículo afirma proporcionar una fórmula definitiva para la reducción módulo $r$ de la función zeta de una cobertura de Galois en términos de la base y el lugar de ramificación. La significancia radica en:

1. Resolver una cuestión estructural específica: Ofrece una condición necesaria (congruencia a un trinomio) para que el numerador de una función zeta sea un trinomio, abordando directamente la motivación proporcionada por Richard Griffon.
2. Contribución metodológica: Proporciona tanto una prueba elemental como una prueba cohomológica, la cual establece una fórmula de reducción general (Teorema 3.1) para funciones zeta módulo primos distintos de la característica.
3. Clarificación de limitaciones: El autor nota explícitamente que la identidad no se sostiene sobre $\mathbb{Z}$ debido a consideraciones de peso, resaltando la naturaleza específica del contexto de la aritmética modular.

El artículo no propone aplicaciones experimentales ni implicaciones futuras más allá de la aplicación inmediata a curvas hiperelípticas y superelípticas según lo descrito.