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

Titel: Gertsch-quotiënt in de "arme man's adelring" A: De Kurepa-Bell-Wilson-congruentie

Auteur: Francis Atta Howard (CIPMA-UNESCO, Universiteit van Abomey-Calavi, Benin)

1. Probleemstelling en Achtergrond

Het artikel richt zich op de Kurepa-conjectuur, geformuleerd door Duro Kurepa in 1971. Deze conjectuur stelt dat voor elke $n > 2$ de grootste gemene deler (ggd) van het linkse faculteit $!n$ en $n!$ gelijk is aan 2:
$$\gcd(!n, n!) = 2$$
Voor oneven priemgetallen $p > 3$ is dit equivalent aan het bewijzen dat:
$$!p = \sum_{k=0}^{p-1} k! \not\equiv 0 \pmod p$$
Hoewel er veel numerieke bewijzen zijn, ontbreekt een strikt analytisch bewijs. Het artikel onderzoekt deze congruentie door nieuwe verbanden te leggen tussen:

• Linkse faculteiten ($K_p$ of $!p$).
• Bell-getallen ($Bell_{p-1}$).
• Wilson-quotiënten ($W_p$).
• Bernoulli-getallen en Fermat-quotiënten.
• De "arme man's adelring" (poor man's adele ring), een algebraïsche structuur $A$ gedefinieerd door Kaneko en Zagier.

2. Methodologie

De auteur hanteert een combinatie van analytische getaltheorie, p-adische analyse en numerieke simulatie:

• Congruentie-analyse: Het afleiden van nieuwe congruenties die $K_p$ relateren aan Bell-getallen, Wilson-quotiënten en Fermat-quotiënten modulo $p$.
• Definitie van nieuwe kwantiteiten: Introduceert het Gertsch-quotiënt ($G_p$) en koppelt dit aan bestaande structuren zoals het Lerch-quotiënt en Agoh-Giuga-quotiënt.
• Algebraïsche inbedding: Gebruik van de ring $A = (\prod_p \mathbb{Z}/p\mathbb{Z}) / (\bigoplus_p \mathbb{Z}/p\mathbb{Z})$, bekend als de "arme man's adelring", om elementen als sequenties van restklassen te behandelen.
• Vladimirov-atomen: Toepassing van de theorie van V.S. Vladimirov (2002) die linkse faculteiten relateert aan Bernoulli-getallen via p-adische getallen.
• Numerieke verificatie: Gebruik van software (PARI/GP) om de congruenties te testen voor priemgetallen tot $10^6$ en specifieke waarden te controleren.

3. Belangrijkste Bijdragen en Definities

A. De Gertsch-quotiënt ($G_p$)

De auteur definieert een nieuw quotiënt gebaseerd op het verschil tussen de linkse faculteit en het Bell-getal:
$$G_p = \frac{K_p - Bell_{p-1} + 1}{p}$$
Gezien de relatie $K_p \equiv Bell_{p-1} - 1 \pmod p$ (Gertsch's resultaat), is $G_p$ een geheel getal.

B. De Kurepa-Bell-Wilson (KBW) Congruentie

Het artikel presenteert een fundamentele congruentie die de linkse faculteit, Bell-getallen en het Wilson-quotiënt ($W_p = \frac{(p-1)!+1}{p}$) verbindt:
$$\frac{K_p + 1}{p} \equiv \frac{Bell_{p-1}}{p} + W_p \pmod p$$
Dit wordt uitgebreid met analogieën voor Lerch- ($L_p$), Fermat- ($q_p$) en Mirimanoff-quotiënten.

C. Inbedding in de Adelring $A$

De auteur toont aan dat deze kwantiteiten natuurlijk leven in de ring $A$. Specifiek wordt het element $\gamma_{K_p}^A$ gedefinieerd als de sequentie van restklassen $(K_p \pmod p)_p$.
$$\gamma_{K_p}^A = (K_p \pmod p)_p \in A$$
De auteur bewijst dat dit element niet nul is in $A$, wat impliceert dat $K_p \not\equiv 0 \pmod p$ voor alle bekende priemgetallen.

D. Verband met Hodge-integrals en Genus

Er wordt een onverwachte link gelegd tussen de Kurepa-factoren en de Hodge-integrals $b_g$ (Faber-Pandhariponde constanten) uit de Gromov-Witten-theorie, waarbij wordt onderzocht of deze constanten informatie kunnen geven over de Kurepa-conjectuur.

4. Kernresultaten

1. Niet-nulheid in $A$:
   Het belangrijkste theoretische resultaat is Stelling 1, die stelt dat $\gamma_{K_p}^A \neq 0$ in de ring $A$. Dit betekent dat er geen oneven priemgetal $p$ bestaat waarvoor $K_p \equiv 0 \pmod p$ voor alle $p$ tegelijkertijd (in de zin van de adelring).

2. Relatie met Wilson-priemgetallen:
   Stelling 4 toont aan dat voor specifieke priemgetallen ($p=3, 7, 2887$) het Gertsch-quotiënt congruent is aan het Wilson-quotiënt:
   $$G_p \equiv W_p \pmod p$$
   Echter, voor de bekende Wilson-priemgetallen ($p=5, 13, 563$) waar $W_p \equiv 0 \pmod p$, is $G_p \not\equiv 0 \pmod p$.

3. Equivalentie met de Kurepa-conjectuur:
   Corollarium 1 stelt dat de Kurepa-conjectuur ($K_p \not\equiv 0 \pmod p$) waar is als er geen priemgetal $p$ bestaat waarvoor $G_p \equiv 0 \pmod p$.
   Stelling 5 bevestigt dat er tot nu toe geen "Gertsch-priemgetallen" bekend zijn (d.w.z. geen $p$ waarvoor $G_p \equiv 0 \pmod p$).

4. Numerieke Observaties:

   • Berekeningen voor $p \le 61$ tonen aan dat $G_p$ altijd een groot positief geheel getal is dat niet deelbaar is door $p$.
   • Er is geen priemgetal gevonden waarvoor de som van de Gertsch- en Wilson-quotiënten (in de adelring) verdwijnt.

5. Betekenis en Conclusie

• Nieuw Perspectief: Het artikel biedt een nieuw raamwerk voor de Kurepa-conjectuur door deze te vertalen naar de taal van adelringen en te koppelen aan andere diepe stellingen in de getaltheorie (zoals Agoh-Giuga en Lerch).
• Versterking van de Conjectuur: Door aan te tonen dat het Gertsch-quotiënt $G_p$ niet nul is in de ring $A$ en dat er geen bekende priemgetallen zijn waarvoor $G_p \equiv 0 \pmod p$, wordt de Kurepa-conjectuur verder ondersteund.
• Interdisciplinaire Link: De poging om verbanden te leggen met Hodge-integrals (algebraïsche meetkunde) en p-adische atomen suggereert dat de oplossing van de Kurepa-conjectuur mogelijk ligt in de interactie tussen verschillende takken van de wiskunde.
• Open Vragen: De auteur stelt dat het bewijs dat $G_p \not\equiv 0 \pmod p$ voor alle $p$ nog steeds ontbreekt, maar dat de huidige heuristiek en numerieke data sterk suggereren dat de conjectuur waar is.

Samenvattend: Dit artikel introduceert het Gertsch-quotiënt als een krachtig hulpmiddel om de Kurepa-conjectuur te analyseren, plaatst deze in de context van de adelring $A$, en levert sterke numerieke en theoretische bewijzen dat $K_p \not\equiv 0 \pmod p$ voor alle oneven priemgetallen.