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

Titolo: Quoziente di Gertsch che vive nell'"anello Adele del povero": Congruenza Kurepa-Bell-Wilson

Autore: Francis Atta Howard
Ambito: Teoria dei Numeri, Algebra, Analisi $p$-adica

1. Il Problema

Il lavoro si concentra sulla Congettura di Kurepa, un problema aperto nella teoria dei numeri che riguarda i fattoriali sinistri (left factorials), definiti come $!n = \sum_{k=0}^{n-1} k!$.
La congettura afferma che per ogni numero primo dispari $p > 3$, il fattoriale sinistro $!p$ non è congruo a zero modulo $p$ (ovvero $!p \not\equiv 0 \pmod p$).
Il documento affronta la difficoltà di dimostrare questa congettura esplorando nuove equivalenze che collegano i fattoriali sinistri ad altre strutture matematiche fondamentali:

• I Numeri di Bell ($Bell_n$).
• Il Teorema di Wilson e il relativo quoziente ($W_p$).
• I Numeri di Derangement (sottopermutazioni).
• I Quozienti di Fermat, Lerch e Agoh-Giuga.
• L'anello Adele "del povero" (Poor Man's Adele Ring), una struttura algebrica definita da Kaneko e Zagier.

L'obiettivo è dimostrare che la congettura di Kurepa può essere riformulata e analizzata attraverso una nuova congruenza, la Congruenza Kurepa-Bell-Wilson (KBW), e un nuovo invariante numerico: il Quoziente di Gertsch ($G_p$).

2. Metodologia

L'autore utilizza un approccio ibrido che combina:

• Analisi Algebrica e Teoria dei Numeri: Estensione di risultati noti (Gertsch, Vladimirov, Kaneko) per costruire nuove identità modulari.
• Teoria $p$-adica: Utilizzo dell'anello Adele $A = (\prod_p \mathbb{Z}/p\mathbb{Z}) / (\bigoplus_p \mathbb{Z}/p\mathbb{Z})$, noto come "anello Adele del povero", per trattare sequenze di congruenze come elementi unici.
• Connessioni con la Geometria Algebrica: Introduzione di costanti legate agli integrali di Hodge (costante $b_g$ di Faber-Pandhariponde) per esplorare analogie con i fattoriali sinistri.
• Verifica Computazionale: Utilizzo del software PARI/GP per calcolare valori numerici di quozienti (Gertsch, Wilson, Lerch) per primi fino a $10^6$ e verificare le ipotesi.

3. Contributi Chiave

A. Definizione del Quoziente di Gertsch ($G_p$)

L'autore introduce formalmente il Quoziente di Gertsch per un primo $p$:
$$G_p = \frac{K_p - Bell_{p-1} + 1}{p}$$
dove $K_p = \sum_{n=0}^{p-1} n!$.
Il lavoro dimostra che $G_p$ è sempre un intero e che la congettura di Kurepa è equivalente all'affermazione che $G_p \not\equiv 0 \pmod p$.

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

Viene stabilita una relazione fondamentale che collega il fattoriale sinistro, i numeri di Bell e il quoziente di Wilson:
$$\frac{K_p + 1}{p} \equiv \frac{Bell_{p-1}}{p} + W_p \pmod p$$
dove $W_p = \frac{(p-1)! + 1}{p}$ è il quoziente di Wilson.
Questa identità permette di esprimere il comportamento di $K_p$ in termini di $W_p$ e $Bell_{p-1}$, creando un ponte tra la congettura di Kurepa e la ricerca di Primi di Wilson (primi per cui $W_p \equiv 0 \pmod p$).

C. L'Anello Adele del Povero e i Quozienti Analoga

Il paper definisce elementi nell'anello Adele $A$ che rappresentano analoghi finiti della costante di Eulero ($\gamma$):

• $\gamma^W_A$: Analogia del quoziente di Wilson.
• $\gamma^G_A$: Analogia del quoziente di Gertsch.
• $\gamma^L_A$: Analogia del quoziente di Lerch.
  L'autore dimostra che l'elemento corrispondente a $K_p$ in $A$ è non nullo, fornendo una prova strutturale della validità della congettura all'interno di questo contesto algebrico.

D. Connessione con i Numeri di Vladimirov e Bernoulli

Vengono rivisitate le equivalenze proposte da V. S. Vladimirov (2002) che collegano i fattoriali sinistri ai numeri di Bernoulli ($B_k$). L'autore estende questi risultati per includere il quoziente di Wilson e le costanti degli integrali di Hodge ($b_g$), ponendo domande su come queste costanti geometriche possano influenzare la non-divisibilità di $K_p$ modulo $p$.

4. Risultati Principali

1. Non-nullità del Quoziente di Gertsch: Attraverso calcoli numerici e ragionamenti teorici, l'autore afferma che non esistono primi noti per cui $G_p \equiv 0 \pmod p$. Questo supporta fortemente la congettura di Kurepa.
2. Relazione con i Primi di Wilson: Viene dimostrato che se esistesse un primo $p$ tale che $W_p \equiv 0 \pmod p$ (un primo di Wilson) e contemporaneamente $G_p \equiv 0 \pmod p$, allora la congettura di Kurepa sarebbe falsa. Tuttavia, i primi di Wilson noti ($5, 13, 563$) non soddisfano la condizione $G_p \equiv 0 \pmod p$.
3. Equivalenze Modulari:
   • $K_p \equiv Bell_{p-1} - 1 \pmod p$ (già noto, ma riproposto come base).
   • $K_p \equiv Der_{p-1} \pmod p$ (collegamento con le sottopermutazioni).
   • Nuove identità che legano $G_p$ ai quozienti di Fermat ($q_p(2), q_p(3)$) e Mirimanoff.
4. Verifica Numerica:
   • I valori di $G_p$ sono stati calcolati per $p \le 61$ (Tabella 3), mostrando che sono interi grandi ma non divisibili per $p$.
   • È stato verificato che per $p=3, 7, 2887$, il quoziente di Gertsch coincide con il quoziente di Wilson modulo $p$, ma non è zero.
5. Teorema 1 e 2: Dimostrazione formale che l'elemento $\gamma^{K_p}_A$ nell'anello Adele è diverso da zero, implicando che $K_p \not\equiv 0 \pmod p$ per i primi considerati.

5. Significato e Implicazioni

• Nuovo Invariante: L'introduzione del Quoziente di Gertsch offre un nuovo strumento per attaccare la congettura di Kurepa, spostando il focus dalla somma diretta dei fattoriali a una relazione strutturale con i numeri di Bell e i quozienti di Wilson.
• Unificazione Teorica: Il lavoro unifica concetti apparentemente disparati: la combinatoria (Numeri di Bell, Derangement), la teoria dei numeri classica (Wilson, Fermat), la teoria $p$-adica (Anelli Adele) e la geometria algebrica (Integrali di Hodge).
• Progresso verso la Risoluzione: Sebbene non fornisca una dimostrazione definitiva della congettura di Kurepa per tutti i primi, riduce il problema alla ricerca di un "Primo di Gertsch" (un primo per cui $G_p \equiv 0 \pmod p$). L'assenza di tali primi nei calcoli computazionali e la loro natura teorica suggeriscono che la congettura sia vera.
• Impatto sulla Teoria dei Numeri Modulare: La connessione tra i quozienti di Wilson e i quozienti di Gertsch all'interno dell'anello Adele "del povero" apre nuove strade per lo studio delle congruenze di Kurepa-Bell-Wilson e delle loro generalizzazioni.

In sintesi, il paper di Howard propone una riformulazione elegante e potente della congettura di Kurepa, fornendo evidenze numeriche e teoriche solide a supporto della sua validità, e stabilendo un ponte tra la teoria dei numeri classica e strutture algebriche moderne.