Gertsch quotient living in the "poor man's adele ring" $\mathcal{A}$: Kurepa-Bell-Wilson congruence

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los componentes solicitados:

Título: Cociente de Gertsch viviendo en el "anillo de adeles del hombre pobre": Congruencia Kurepa-Bell-Wilson

Autor: Francis Atta Howard (Cátedra Internacional en Física Matemática y Aplicaciones, Universidad de Abomey-Calavi, Benín).

---

1. El Problema

El artículo aborda la Conjetura de Kurepa, planteada en 1971, la cual establece que para todo entero $n > 2$, el máximo común divisor entre el factorial izquierdo $!n$ y el factorial $n!$ es 2. Equivalentemente, para todo primo impar $p > 3$, se debe cumplir que:
$$!p = \sum_{k=0}^{p-1} k! \not\equiv 0 \pmod p$$
A pesar de los esfuerzos computacionales y teóricos de diversos autores (Mijajlović, Barsky, Gertsch, etc.), la conjetura sigue sin demostrarse rigurosamente. El problema central de este trabajo es explorar nuevas equivalencias algebraicas y aritméticas que relacionen los factoriales de Kurepa con otros objetos matemáticos fundamentales (números de Bell, cocientes de Wilson, números de Bernoulli) dentro del marco de los anillos de adeles finitos, con el objetivo de generar nuevos criterios para probar o refutar la conjetura.

2. Metodología

El autor emplea un enfoque híbrido que combina:

• Teoría de Números Analítica y Modular: Uso extensivo de congruencias módulo $p$, teoremas de Wilson, Fermat y propiedades de los números de Bernoulli ($B_k$) y de Bell ($Bell_n$).
• Álgebra de Anillos de Adeles Finitos: Introducción de conceptos de Kaneko y Zagier sobre el "anillo de adeles del hombre pobre" ($A$), definido como el cociente del producto directo de $\mathbb{Z}/p\mathbb{Z}$ sobre la suma directa. Esto permite tratar secuencias de residuos módulo $p$ como elementos de un anillo algebraico.
• Analogías Heurísticas: Extensión de constantes analíticas (como la constante de Euler-Mascheroni $\gamma$) a versiones discretas en el anillo $A$ (denominadas $\gamma_A$).
• Verificación Computacional: Uso de software matemático (PARI/GP) para verificar congruencias y calcular valores de cocientes para primos hasta $10^6$ y más allá, buscando contraejemplos o patrones.
• Conexiones con Geometría Algebraica: Vinculación de los factoriales de Kurepa con integrales de Hodge y constantes de Faber-Pandhariponde ($b_g$).

3. Contribuciones Clave

A. Definición del Cociente de Gertsch ($G_p$)

El autor define formalmente el Cociente de Gertsch como:
$$G_p = \frac{K_p - Bell_{p-1} + 1}{p}$$
donde $K_p = !p$. Dado que $K_p \equiv Bell_{p-1} - 1 \pmod p$ (resultado conocido de Gertsch), el numerador es divisible por $p$, garantizando que $G_p$ es un entero.

B. La Congruencia Kurepa-Bell-Wilson (KBW)

Se establece una relación fundamental que conecta el factorial de Kurepa, los números de Bell y el cociente de Wilson ($W_p = \frac{(p-1)! + 1}{p}$):
$$\frac{K_p + 1}{p} \equiv \frac{Bell_{p-1}}{p} + W_p \pmod p$$
Esta identidad permite descomponer el comportamiento de $K_p$ en términos de otros cocientes conocidos.

C. Embedding en el Anillo de Adeles ($A$)

El trabajo demuestra que ciertos cocientes derivados de la conjetura de Kurepa residen naturalmente en el anillo $A$ (el "anillo de adeles del hombre pobre"). Se definen elementos como:

• $\gamma^W_A = (W_p \pmod p)_p$ (Análogo de Wilson).
• $\gamma^G_A = (G_p \pmod p)_p$ (Análogo de Gertsch).
• $\gamma^L_A = (L_p \pmod p)_p$ (Análogo de Lerch).

El autor demuestra que $\gamma^G_A \neq 0$ en $A$, lo que implica que $G_p \not\equiv 0 \pmod p$ para los primos conocidos.

D. Conexión con la Conjetura de Agoh-Giuga

Se establece una equivalencia entre la Conjetura de Kurepa y la Conjetura de Agoh-Giuga ($p B_{p-1} \equiv -1 \pmod p$) a través de nuevos cocientes y relaciones con los números de Bernoulli, utilizando identidades de Miki y propiedades de los átomos de Vladimirov.

4. Resultados Principales

1. Teorema 1: Se prueba que el elemento $\gamma^{K_p}_A = (K_p \pmod p)_p$ en el anillo de adeles $A$ es no nulo. Esto refuerza la validez de la conjetura de Kurepa para los primos verificados, ya que $K_p \not\equiv 0 \pmod p$.
2. Teorema 2: Se derivan múltiples formas de la congruencia KBW, incluyendo versiones que involucran el cociente de Lerch, el cociente de Fermat ($q_p(x)$) y el cociente de Mirimanoff.
   • Ejemplo: $\frac{K_p + 1}{p} \equiv \frac{Bell_{p-1}}{p} + \sum_{x=1}^{p-1} q_p(x) \pmod p$.
3. Relación con Primos de Wilson: Se observa que $G_p \equiv W_p \pmod p$ para ciertos primos (como $p=3, 7, 2887$). Sin embargo, para los primos de Wilson conocidos ($5, 13, 563$) donde $W_p \equiv 0 \pmod p$, el cociente de Gertsch no es cero ($G_p \not\equiv 0 \pmod p$).
4. Ausencia de "Primos de Gertsch": Hasta la fecha, no se ha encontrado ningún primo $p$ tal que $G_p \equiv 0 \pmod p$. El autor propone que si existiera tal primo, la conjetura de Kurepa sería falsa.
5. Conexión con Integrales de Hodge: Se exploran relaciones entre los factoriales de Kurepa y las constantes $b_g$ de Faber-Pandhariponde, sugiriendo que la estructura de los factoriales de Kurepa podría tener implicaciones en la geometría enumerativa, aunque esta conexión se presenta como una pregunta abierta más que un teorema cerrado.

5. Significado e Implicaciones

• Nueva Perspectiva Algebraica: El artículo trasciende el enfoque puramente computacional de la Conjetura de Kurepa al situarla dentro de la estructura de los anillos de adeles finitos ($A$). Esto permite utilizar herramientas de teoría de números algebraica y análisis p-ádico.
• Unificación de Conceptos: Logra unificar conceptos dispares como los factoriales de Kurepa, los números de Bell, los cocientes de Wilson y las constantes de Euler en un marco coherente mediante las identidades KBW, KBL y KBF.
• Criterio de Refutación: Proporciona un criterio claro para refutar la conjetura: la existencia de un primo $p$ tal que $G_p \equiv 0 \pmod p$. Dado que los cálculos numéricos hasta $p \approx 10^6$ no muestran tal caso, la evidencia computacional a favor de la conjetura se fortalece.
• Puente entre Disciplinas: La mención de las integrales de Hodge y las constantes de Faber-Pandhariponde sugiere posibles conexiones profundas entre la teoría de números combinatoria y la geometría algebraica, abriendo nuevas vías de investigación interdisciplinaria.

En conclusión, el artículo no demuestra la Conjetura de Kurepa, pero ofrece un marco teórico robusto y nuevas herramientas (el cociente de Gertsch y su embedding en el anillo $A$) que redefinen el problema, proporcionando un camino prometedor para futuros intentos de demostración o refutación.