Pointwise ergodic averages along the Omega function in number fields

Resumen Técnico: Promedios Ergódicos Puntuales a lo largo de la Función Omega en Campos Numéricos

Planteamiento del Problema
Este artículo investiga las propiedades de convergencia de los promedios ergódicos a lo largo de secuencias aritméticas definidas por la función Omega ($\Omega$) y la función de factores primos distintos ($\omega$) en el contexto de los campos numéricos. El problema central aborda dos comportamientos contrastantes en los sistemas dinámicos:

1. Fallo de la Convergencia Puntual: En sistemas ergódicos generales (específicamente sistemas de medida preservada, invertibles y no atómicos), ¿fallan estos promedios a lo largo de estas secuencias aritméticas en converger puntualmente? Específicamente, ¿exhiben la "propiedad de barrido fuerte" (strong sweeping-out property), donde el limsup del promedio de una función característica es 1 y el liminf es 0 para casi todo punto?
2. Convergencia en Sistemas Únicamente Ergódicos: ¿Convergen estos promedios puntualmente al promedio del espacio cuando el sistema dinámico subyacente es únicamente ergódico?

Los autores extienden resultados previos de Bergelson y Richter (para $\mathbb{Q}$) y de Donoso et al. (para los enteros gaussianos) a campos numéricos arbitrarios y esquemas de promediado más complejos, tales como las sumas de cuadrados ($m^2+n^2$).

Metodología
El artículo emplea una síntesis de la teoría ergódica y la teoría analítica de números. La metodología se divide en dos vertientes principales:

1. Establecimiento del Barrido Fuerte (Fallo de la Convergencia):

   • Los autores utilizan un criterio introducido por del Junco y Rosenblatt, que se basa en verificar una desigualdad maximal para los operadores de promediado.
   • Para verificar esta desigualdad sin realizar una computación directa en sistemas arbitrarios, emplean un principio de transferencia (Proposición 2.11) que reduce el problema a comprobar el comportamiento del esquema de promediado en un intervalo finito de enteros.
   • Crucialmente, los autores vinculan la propiedad de barrido fuerte con el teorema de Erdős–Kac. Demuestran que si un esquema de promediado satisface un teorema de tipo Erdős–Kac (es decir, que la distribución de la función aritmética, normalizada por $\log_2 N$, converge a una gaussiana estándar), entonces el esquema exhibe la propiedad de barrido fuerte.
   • Aplican resultados de la teoría de números (Hardy–Ramanujan, Sathé–Selberg y extensiones específicas de Liu y Wu) para demostrar que $\Omega_K$ y $\omega_K$ en ideales de campos numéricos, así como $\Omega(m^2+n^2)$, satisfacen estas condiciones distributivas.

2. Establecimiento de la Convergencia Puntual:

   • Para sistemas únicamente ergonódicos, los autores adoptan un enfoque basado en la invariancia de desplazamiento asintótico.
   • Demuestran que, para sucesiones acotadas, el promedio de $f(T^{c(a)+1}x)$ es asintóticamente equivalente al promedio de $f(T^{c(a)}x)$. Esto se basa en las propiedades estadísticas de $\Omega_K$ y $\omega_K$ (específicamente el teorema de Hardy–Ramanujan y las fórmulas asintóticas de Sathé–Selberg) para mostrar que la distribución de peso de las funciones se desplaza de manera insignificante cuando $N \to \infty$.
   • Esta invariancia de desplazamiento, combinada con la unicidad ergódica del sistema, implica la convergencia de los promedios ergódicos hacia la integral de la función con respecto a la medida invariante.
   • La convergencia en norma se deriva utilizando la teoría espectral (teorema de Bochner–Herglotz) y el hecho de que los promedios convergen a cero para rotaciones irracionales.

Contribuciones Clave y Resultados

• Criterio General para el Barrido Fuerte (Teorema 3.5): El artículo establece que cualquier esquema de promediado que satisfaga un teorema de tipo Erdős–Kac exhibe la propiedad de barrido fuerte. Esto generaliza resultados previos de Loyd y Mondal.
• Extensión a Campos Numéricos Arbitrarios (Teorema 1.4): Los autores demuestran que, para cualquier campo numérico $K$, los promedios a lo largo de $\Omega_K$ (factores primos totales) y $\omega_K$ (factores primos distintos) de ideales satisfacen la propiedad de barrido fuerte en sistemas ergonódicos no atómicos. Esto generaliza el resultado de Loyd de $\mathbb{Q}$ a todos los campos numéricos.
• Resolución de la Pregunta 1 (Teorema 3.10): El artículo responde afirmativamente a una pregunta planteada por Le, Moreira, Sun y el segundo autor respecto a los promedios $\frac{1}{N^2} \sum_{1 \le m,n \le N} f(T^{\Omega(m^2+n^2)}x)$. Los autores demuestran que estos promedios también exhiben la propiedad de barrido fuerte al mostrar que $\Omega(m^2+n^2)$ satisface un teorema de tipo Erdős–Kac (Lemas 3.8 y 3.9).
• Convergencia Puntual en Sistemas Únicamente Ergonódicos (Teorema 1.5): Los autores demuestran que, para cualquier sistema únicamente ergódico $(X, T)$ y función continua $f$, los promedios a lo largo de $\Omega_K$ y $\omega_K$ convergen puntualmente a $\int f d\mu$. Esto recupera el teorema de Bergelson–Richter para $\mathbb{Q}$ y lo extiende a los enteros gaussianos y campos numéricos generales.
• Convergencia en Norma (Teorema 4.6): El artículo establece la convergencia en norma $L^2$ para estos promedios en sistemas de medida preservada generales.
• Corolarios de la Teoría de Números: Utilizando los resultados de convergencia dinámica, los autores derivan resultados de equidistribución para $\Omega_K$ y $\omega_K$ módulo $m$ (generalizando a Pillai–Selberg) y para las partes fraccionarias $\{\alpha \Omega_K(a)\}$ (generalizando a Erdős–Delange).

Significación y Reivindicaciones
El artículo afirma proporcionar un marco unificado para comprender la divergencia y la convergencia de los promedios ergódicos a lo largo de funciones aritméticas en campos numéricos.

• Respecto a la Divergencia: Los autores sostienen que la propiedad de barrido fuerte es un fenómeno robusto para estos promedios, supeditado únicamente a que la función aritmética satisfaga una distribución de tipo Erdős–Kac. Esto resuelve la pregunta abierta sobre el caso específico de $\Omega(m^2+n^2)$ y generaliza el alcance de los resultados de divergencia conocidos a todos los campos numéricos.
• Respecto a la Convergencia: Los autores demuestran que, si bien la convergencia puntual falla en sistemas ergonódicos generales, esta se restaura en sistemas únicamente ergonódicos. Los autores señalan que su prueba para el Teorema 1.5 se basa en un fortalecimiento del teorema de los ideales primos de Landau y no proporciona una nueva prueba de dicho teorema en sí mismo.
• Limitaciones y Problemas Abiertos: Los autores señalan modestamente que sus métodos son insuficientes para probar la convergencia de otros tipos de promedios ergódicos, tales como aquellos que involucran $\Omega(N(a))$ (donde el argumento es la norma misma en lugar del ideal). Sugieren que se requeriría una "afirmación dinámica" relativa a las acciones multiplicativas definidas por ideales primos para resolver estos casos, señalando que esto sigue siendo un problema abierto.

En resumen, el trabajo tiende un puente entre la distribución estadística de los factores primos en los campos numéricos y el comportamiento ergódico de los sistemas dinámicos, confirmando que el comportamiento de "barrido fuerte" es el resultado genérico para estos promedios en sistemas no atómicos, mientras que la convergencia puntual se preserva en el entorno únicamente ergódico.