Ein lakatosianisches Forschungsjournal zur Riemannschen Hypothese
Spektrale, nichtkommutative und arithmetische Zugänge zur RH — dokumentiert als lückenlos nachvollziehbare Kette aus Konstruktionen, Tests, Audits und No-Go-Resultaten.
Stand: 26. Juli 2026 · letzter Eintrag: NEU-228 · 332 Forschungsdokumente
Kontrollblatt Objekt X · Gesamtindex · Statusregister · Offene Probleme · Glossar · Konventionen · Literatur · Einstiegsprompt
Das Programm untersucht, ob sich die Riemannsche Hypothese als Spektraleigenschaft eines konkret konstruierten Operatorobjekts formulieren lässt — genannt Objekt X.
Die fünf Komponenten sind: eine 2-dimensionale Spektraltripel-Algebra, eine
Hochschild-2-Klasse, eine Hochschild-4-Klasse, die Wodzicki-Residuum-Spurform auf der
Bost–Connes-Algebra sowie die fünfte Schicht der relativen Primkanten
Zwei RH-Äquivalenzen strukturieren das Programm:
mit den Hankelmatrizen $H_N^{(0)}=(\mu_{i+j}){i,j\le N}$, $H_N^{(1)}=(\mu{i+j+1})_{i,j\le N}$
über den Momenten
Es enthält keinen Beweis der Riemannschen Hypothese. Es ist ein offengelegtes Arbeitsjournal: Jeder Eintrag trägt eine explizite epistemische Statusmarke, negative Resultate werden gleichrangig dokumentiert, und mehrere zentrale Knoten sind ausdrücklich offen. Die Dokumente sind nicht peer-reviewed.
Das Programm folgt einer lakatosianischen Disziplin: Ein harter Kern von Konstruktionen wird durch einen Schutzgürtel aus Tests umgeben, und jede Behauptung erhält eine Marke, die ihren Sicherungsgrad angibt.
| Marke | Bedeutung |
|---|---|
✓ [M] |
Mathematisch gesichert — vollständiger Beweis im Dokument |
✓ [K] |
Konstruktiv/typgeprüft — Objekt existiert und ist wohldefiniert, Konsequenzen noch offen |
✓ [R] |
Methodisches Resultat oder Reduktionssatz |
⚠ [M] |
Konditional gesichert — gilt unter noch offenen Voraussetzungen |
✗ [M] |
No-Go: widerlegt oder Obstruktion gesichert |
❓ [O] |
Explizit offener Knoten |
Zusätze wie [M]_part (teilweise), [M]_neg (negativ geschlossen) oder [K/M] treten
im Fließtext auf. Offene Knoten tragen eindeutige Bezeichner der Form [O-219-5e1h]
und bilden zusammen einen gerichteten azyklischen Abhängigkeitsgraphen (DAG).
Journalnummerierung. NEU-XXX ist keine Qualitätsangabe, sondern eine fortlaufende
Journalnummer. Buchstabensuffixe (NEU-219u) bezeichnen Verfeinerungen innerhalb eines
Stranges. Nummern können mehrfach vergeben sein, wenn ein Strang parallel verzweigte —
solche Fälle sind im Gesamtindex sichtbar.
| Strang | Umfang | Inhalt |
|---|---|---|
| 00 — Grundlegung | 19 | Minimalaxiome, Ebenen I–XVI, Spektraltriage, adelische und archimedische Basiskonzepte |
| 01 — Primkanten-Algebra und Werkzeuge | 57 | NEU-3 – NEU-57: Wodzicki-Residuum, BC-Resolvente, Feshbach-Reduktion, Fourier-Hebung, Nelson-Selbstadjungiertheit |
| 02 — Jacobi-Limes und Divisorgraph | 33 | NEU-58 – NEU-90: Weyl-/Stieltjes-Funktion, Möbius-Feshbach-Identität, Ihara-Reduktion, Schleifeninvarianten |
| 03 — Weil-Form und Nullstellenstatistik | 31 | NEU-91 – NEU-120: Bochner-Tor, Goldston–Montgomery-Transfer, GUE-Formfaktor, Herglotz-Weil-Brücke |
| 04 — Grenzoperator und Renormierung | 41 | NEU-121 – NEU-150: Jacobi-Grenzoperator, PSWF-Brücke, Selbstenergie, Mangoldt-Spur, Mellin-Finite-Part |
| 05 — Primkanal und Fourierladung | 33 | NEU-151 – NEU-173: Kanalgewichte, Rohkopplungsquotient, Zeugenroute für |
| 06 — Hochschild-Kohomologie der BC-Algebra | 78 | NEU-174 – NEU-219z: geladene |
| 07 — Weil-Explizitformel und Hankelpositivität | 29 | NEU-220 – NEU-221e: Gammafaktor, Konturtransport, Krein-Raum, Spektraldeterminante, Hankel-Hierarchie |
| Audits und Methodik | 4 | Strangübergreifende Korrekturaudits und Strukturdiagnosen |
Jeder Strangordner enthält eine eigene README.md mit vollständiger Dokumenttabelle.
| Resultat | Marke | Eintrag |
|---|---|---|
| Relative Primkanten |
✓ [M] |
NEU-44 |
| Kantendiagonale Hebung |
✓ [M] |
NEU-44 |
| Fourier-Hebungsformel |
✓ [M] |
NEU-42 |
| Selbstadjungiertheit von |
⚠ [M] |
NEU-53/54 |
| PSWF-Brücke und Kancellationslemma | ✓ [M] |
NEU-130/131 |
| Welt-2-Entscheidung |
✓ [M] |
NEU-135D |
| Mangoldt-Spur |
✓ [M] |
NEU-141 |
| Logarithmischer Koeffiziententyp |
✓ [M] |
NEU-216 |
| Geladener Cup-Aufstieg $L^{\mathrm{cup}}{g;\mathbf p}\in Z^4(A{\mathrm{alg}},M)_g$ | ✓ [M] |
NEU-218 |
| Xi-Masterkontur mit exakten Vorzeichen und Polbuchhaltung | ✓ [M] |
NEU-220k |
| Vollständige Hankel-Hierarchie ist RH-äquivalent | ✓ [M] |
NEU-220w |
Zentrale Formeln in kompakter Form:
H_rel,N = ⊕_{p≤N} ⊕_m H_{m→pm} (NEU-44)
T_p^rel(e_u0 V_p)= −u0·s0·log(p)·ℓ_{s0,m0}·E_*^rel (NEU-42 §10)
Σ_rel^ren(β) = Σ_p p^{−β}/(1−p^{−β})·P_p (NEU-136)
Tr(R·Σ_rel^ren) = −ζ'/ζ(β), Re β > 1 (NEU-141)
|c_p|² = O((log p)² / p) (NEU-135D)
R_p = log(p)/|c_p|² ≳ p/log(p) [unbeschränkt] (NEU-141)
μ_k = −(k+1)/(2k+2)!·(log Ξ)^(2k+2)(0) (NEU-220w)
Negative Strukturresultate sind hier gleichwertige Ergebnisse — sie schließen Routen dauerhaft und lokalisieren das Hindernis.
| No-Go | Eintrag |
|---|---|
X = m_arith ist kategorial falsch; |
NEU-114/115 |
| Direkt-Summen-Obstruktion für den kollektiven Birman–Schwinger-Operator | NEU-50 |
| Dichte-No-Go für kanalabhängige Kopplung | NEU-82 |
| $Z(A_{\mathbb Q})g = 0$ für $g\neq 1\Gamma$ — reguläre geladene Nullkozykelroute ausgeschlossen | NEU-182/183 |
| $Z^0(A, {}{\mathrm{id}}A{\sigma_\beta}) = 0$ für |
NEU-183 |
| Globaler Bimodul-No-Go via Zentralisatorbeweis | NEU-215 |
|
O-219-NoGo: kanonischer Basislift |
NEU-219u |
| Off-Axis-Trägheit: Positivitäts-No-Go und Similarity-No-Go im Nullstellenpaar-Kreinraum | NEU-220t |
| Gewöhnliche Spurklassen-Determinante für |
NEU-220u |
Das O-219-No-Go ist das strukturell schärfste Resultat des Programms: Es zeigt, dass die
Zyklizitätsobstruktion eingabeunabhängig im Faktor
| Strang | Engpass | Status |
|---|---|---|
| Weil-Momentquelle (primär) | Hebungsabstieg: gilt |
❓ [O] NEU-221e, [O-221-1c1a0]
|
| Zyklisches Tripel |
|
❓ [O] NEU-221d, [O-221-1c1b/c]
|
| Adelische Quellkonstruktion | Positive Momentfolge |
❓ [O] NEU-220w |
| Fourierladung |
Explizites |
❓ [O] NEU-161/162 |
| Regulierte Spur im kritischen Streifen | $\operatorname{Tr}{\mathrm{reg}}(R\Sigma{\mathrm{rel}}^{\mathrm{ren}})$ für |
❓ [O] NEU-141.D |
| Singulärwert-Wachstum |
|
❓ [O] NEU-57 |
| Schur-Test exakt | Nelson-Bedingung 1 exakt statt heuristisch |
❓ [O] NEU-55 |
| Rückrichtung RH | ❓ [O] |
Vollständige Liste mit Verzweigungsbedingungen: OFFENE_PROBLEME.md.
Erster Überblick (ca. 30 Minuten) Minimalaxiome → Ebene XVI: Objekt X → Statusregister → Offene Probleme
Der analytische Hauptpfad NEU-44 (Primkanten) → NEU-42 (Fourier-Hebung) → NEU-63 (Weyl-Funktion) → NEU-136 (Selbstenergie) → NEU-141 (Mangoldt-Spur) → NEU-220k (Xi-Masterkontur) → NEU-220w (Hankel-Kriterium)
Der kohomologische Pfad
NEU-174 (Hochschild-Komplex) → NEU-176 (geladene
Wer nur die harten Ergebnisse sucht STATUS.md listet gesicherte Sätze, No-Gos und konditionale Resultate ohne Zwischenschritte.
Wer am Programm mitarbeiten will EINSTIEGSPROMPT.md fasst den vollständigen Arbeitskontext auf Stand NEU-221e zusammen — Architektur, geschlossene Routen, aktuelle Sperren, Arbeitsregeln und den nächsten konkreten Knoten. Gedacht als Einstiegstext für eine neue Arbeits- oder KI-Sitzung.
| Repository | Inhalt |
|---|---|
| riemann-hypothese-katalog | Frühere Katalogfassung: BC-System, Koszul, HH-Kohomologie |
| rh-maieutic-program | Maieutisches Forschungsprogramm — sokratische Herleitungsketten |
| Riemann | Numerische Experimente mit der Zetafunktion (Python) |
| prolate-primes-paper | Koerzivität der prolaten Gram-Form auf Primzahl-Stützpunkten (TeX) |
| pswf-coercivity-programme | Uniforme Koerzivität an Airy-reskalierten Primzahlen |
| arith-spectral-bridge | Modulare Arithmetik ↔ Spektraloperatoren (Jupyter) |
| prime-quasicrystal-diffraction | Beugungsspektren arithmetischer Punktmengen |
Dieses Repository ist die kuratierte öffentliche Fassung eines privaten Forschungsjournals. Die Dokumentinhalte sind unverändert übernommen; neu sind die thematische Ordnung, die Navigationsebene und die vereinheitlichten Dateinamen. Details zur Migration: MITWIRKEN.md.
Korrekturen, Gegenbeispiele und Verschärfungen sind ausdrücklich willkommen — negative Befunde sind in diesem Programm gleichwertige Beiträge. Bitte über Issues.
Lizenz: CC BY 4.0 · Zitierangaben: CITATION.cff