Mertens products in arithmetic progressions over function fields

Resumen Técnico: Productos de Mertens en Progresiones Aritméticas sobre Cuerpos de Funciones

Planteamiento del Problema
El artículo aborda el comportamiento asintótico de los productos Euler finitos restringidos a polinomios primos dentro de progresiones aritméticas específicas en el anillo de polinomios $A = \mathbb{F}_q[t]$. Específicamente, investiga el producto:
$$P(n; Q, A_0) := \prod_{\substack{P \in \mathcal{P}_{\le n} \\ P \equiv A_0 \pmod Q}} \left(1 - |P|^{-1}\right)$$
cuando el grado $n \to \infty$, donde $Q$ es un polinomio módulo mónico y $A_0$ es una clase de residuo reducida módulo $Q$. El objetivo es establecer una fórmula asintótica de tipo Mertens para este producto que sea uniforme con respecto al módulo $Q$ (permitiendo que $\deg Q$ crezca con $n$) y la clase de residuo $A_0$.

Este problema sirve como el análogo de cuerpo de funciones al problema clásico en la teoría analítica de números relativo al producto Euler parcial de la función zeta de Riemann restringido a primos en progresiones aritméticas. En el entorno de los enteros, este problema fue tratado sistemáticamente por Languasco y Zaccagnini, quienes derivaron fórmulas asintóticas que involucran un término principal y un término de error dependiente de la existencia potencial de ceros excepcionales (Siegel).

Metodología
El autor emplea una combinación de descomposición de caracteres y las propiedades analíticas de las funciones $L$ de Dirichlet sobre cuerpos de funciones. La metodología procede a través de los siguientes pasos:

1. Descomposición de Caracteres: La condición $P \equiv A_0 \pmod Q$ se expresa mediante la ortogonalidad de los caracteres de Dirichlet módulo $Q$. Esto permite que el logaritmo del producto restringido se descomponga en una suma sobre caracteres $\chi$:
   $$\log P(n; Q, A_0) = \frac{1}{\Phi(Q)} \sum_{\chi \pmod Q} \chi(A_0) \sum_{\substack{P \in \mathcal{P}_{\le n}}} \chi(P) \log(1 - |P|^{-1}).$$
   La contribución del carácter principal $\chi_0$ se separa de los caracteres no principales.

2. Análisis del Carácter Principal: La contribución de $\chi_0$ corresponde al producto Euler no restringido sobre todos los polinomios primos de grado $\le n$. Esto se evalúa utilizando la generalización de Rosen para el teorema de Mertens en cuerpos de funciones globales, la cual proporciona el término principal y una estimación de error base.

3. Análisis de Caracteres No Principales (Cancelación de Raíz Cuadrada): Para los caracteres no principales $\chi \neq \chi_0$, el análisis depende de la función $L$ de Dirichlet $L(u, \chi)$ asociada. Una característica crucial del entorno de los cuerpos de funciones es que la Hipótesis de Riemann de Weil se cumple incondicionalmente para estas funciones $L$. Consecuentemente, los ceros recíprocos de $L(u, \chi)$ se encuentran en el círculo $|u| = q^{-1/2}$.

   • Esta propiedad produce una fuerte cancelación en las sumas de caracteres sobre polinomios primos, específicamente $\Theta(n, \chi) = \sum_{P \in \mathcal{P}_{\le n}} \chi(P) \deg P = O(q^{n/2})$.
   • Utilizando esta cancelación y la sumación por partes, el autor deriva estimaciones de cola uniformes para los productos Euler retorcidos, demostrando que la contribución de los primos con grado $> n$ es insignificante.

4. Síntesis: Las estimaciones para las contribuciones principal y no principal se combinan. Los términos logarítmicos se exponentian para recuperar la fórmula asintótica para el producto $P(n; Q, A_0)$.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 2.1, el cual establece la siguiente fórmula asintótica uniforme para todos los módulos mónicos $Q$ que satisfacen $\deg Q \le \eta n$ (para un $\eta$ fijo tal que $0 < \eta < 1$) y todas las clases de residuo reducidas $A_0$:

$$P(n; Q, A_0) = C(Q, A_0) (n \log q)^{-1/\Phi(Q)} \left(1 + O_{q, \eta}(q^{-n/2})\right)$$

donde $C(Q, A_0) > 0$ es una constante explícita que depende únicamente de los datos aritméticos de $Q$ y $A_0$.

Significado y Reivindicaciones
El artículo afirma que este resultado es el análogo directo de la forma de "fuerza GRH" del teorema de Mertens para progresiones aritméticas establecido por Languasco y Zaccagnini para los enteros.

La significancia del trabajo radica en los siguientes puntos:

• Validez Incondicional: A diferencia del entorno de los enteros, donde el término de error de "fuerza GRH" (ahorro de potencia sin correcciones por ceros excepcionales) depende de la no probada Hipótesis de Riemann Generalizada, este resultado se sostiene incondicionalmente. Esto es posible porque la Hipótesis de Riemann de Weil para las funciones $L$ de Dirichlet sobre cuerpos de funciones es un teorema demostrado.
• Ausencia de Ceros Excepcionales: El resultado no requiere términos de corrección para ceros excepcionales (Siegel), ya que tales ceros no pueden existir en el entorno de los cuerpos de funciones.
• Constantes Explícitas: El artículo proporciona una expresión de producto Euler explícita para la constante $C(Q, A_0)$ (detallada en el Apéndice), reflejando la estructura de las constantes encontradas en el caso de los enteros.
• Uniformidad: La fórmula asintótica es válida uniformemente incluso cuando el grado del módulo $Q$ crece linealmente con $n$.

El autor señala que el término de error $O(q^{-n/2})$ representa un error de ahorro de potencia, que es la forma más fuerte posible de la asíntota en este contexto, lograda sin ninguna hipótesis no probada.