🔢 mathematics

A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

Dieser Artikel liefert einen uneingeschränkten Beweis der Vermutung des perfekten Quaders für 1.072 explizite Fasern von Master-Tupeln, indem er zeigt, dass jedes primitive Euler-Quaderpaar aus einer Standardparametrisierung hervorgeht, und nachweist, dass die zugehörigen elliptischen Kurven unter verifizierten Bedingungen mit Rang null nur entartete rationale Punkte besitzen.

Ursprüngliche Autoren: René Peschmann

Veröffentlicht 2026-05-01

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: René Peschmann

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Die Jagd nach der „perfekten Kiste"

Stellen Sie sich vor, Sie sind ein Tischler, der versucht, eine perfekte rechteckige Kiste (ein Quader) aus Holz zu bauen. Sie haben drei Regeln für diese Kiste:

Alle drei Seitenlängen müssen ganze Zahlen sein (wie 3, 4 oder 5 Zoll).
Wenn Sie die Diagonale über eine der sechs flachen Seiten messen, muss auch diese Messung eine ganze Zahl sein.
Wenn Sie die Diagonale von einer Ecke der Kiste zur gegenüberliegenden Ecke messen (durch den leeren Raum im Inneren), muss auch diese Messung eine ganze Zahl sein.

Dies ist das Problem des perfekten Quaders. Mathematiker suchen seit 1740 nach einer solchen Kiste. Bisher hat niemand eine gefunden, aber sie konnten auch nicht beweisen, dass eine nicht existiert. Es ist wie die Suche nach einem Einhorn: Jeder hat den Wald abgesucht, aber niemand hat bewiesen, dass Einhörner unmöglich sind.

Die Strategie des Autors: Der „Master-Blueprint"

Der Autor, René Peschmann, versuchte nicht, jeden möglichen Kasten einzeln zu bauen. Stattdessen erkannte er, dass jeder mögliche Kasten einem spezifischen „Master-Blueprint" folgt.

Stellen Sie sich das Problem wie eine riesige Bibliothek vor. Anstatt jedes einzelne Buch (jeden möglichen Kasten) zu überprüfen, erkannte der Autor, dass die Bibliothek in 1.072 spezifische Regale (sogenannte „Fasern") organisiert ist. Jedes Regal enthält eine bestimmte Familie von Kästen, die durch einen einfachen Satz von Zahlen erzeugt werden.

Das Papier beweist, dass auf 1.072 dieser spezifischen Regale es mathematisch unmöglich ist, einen perfekten Kasten zu bauen.

Wie der Beweis funktioniert: Das „Ampel"-System

Um zu beweisen, dass auf einem bestimmten Regal kein perfekter Kasten existieren kann, verwendet der Autor einen cleveren mathematischen Trick mit „Ampeln" und „Sackgassen".

Die Karte (Die Kurve): Der Autor verwandelt das Kasten-Bau-Problem in eine Karte (eine mathematische Kurve). Jeder mögliche Kasten entspricht einem Punkt auf dieser Karte.
Die trivialen Punkte: Der Autor weiß, dass es 8 Punkte auf dieser Karte gibt, die „kaputte" Kästen darstellen (bei denen eine Seitenlänge null ist). Dies sind die „trivialen" Lösungen. Wir wissen, dass diese existieren, aber es sind keine echten Kästen.
Das Ziel: Das Ziel ist es zu beweisen, dass es keine anderen Punkte auf der Karte gibt. Wenn es keine anderen Punkte gibt, gibt es keine perfekten Kästen für dieses Regal.

Die „Torsions-Schnitt"-Analogie

Der Autor verwendet eine Methode namens Torsions-Schnitt. Stellen Sie sich die Karte als Autobahn vor und die „Punkte" als Autos.

Der Autor betrachtet eine kleinere, einfachere Straße (ein „elliptischer Quotient"), die mit der Hauptautobahn verbunden ist.
Er prüft, ob der Verkehr auf dieser kleineren Straße stehen geblieben ist (mathematisch: der „Rang" ist null). Wenn der Verkehr steht, stecken die Autos in einem kleinen Parkplatz fest (der „Torsions"-Gruppe).
Er zählt die Autos auf diesem Parkplatz. Er stellt fest, dass der Parkplatz nur genug Platz für die 8 „kaputten" Kästen bietet.
Die Schlussfolgerung: Da die kleinere Straße nur zu den 8 kaputten Kästen führt und die Hauptautobahn damit verbunden ist, muss die Hauptautobahn auch nur diese 8 kaputten Kästen haben. Es können keine „perfekten" Kästen dort existieren.

Das „magische Zertifikat": Der Beweis, dass der Verkehr steht

Der schwierigste Teil des Beweises ist zu zeigen, dass der Verkehr auf der kleineren Straße tatsächlich steht (Rang = 0). Manchmal geraten Standard-Computertools in Verwirrung und sagen: „Der Verkehr steht vielleicht, oder er bewegt sich langsam."

Der Autor entwickelte ein zweistufiges „magisches Zertifikat", um dies zu klären:

Der erste Check: Ein Standard-Computertool (PARI) versucht, die Autos zu zählen. Wenn es „0 Autos" sagt, großartig.
Der zweite Check (Das Kolyvagin-Zertifikat): Wenn das erste Tool unsicher ist, verwendet der Autor eine fortschrittlichere, rigorose Methode, die „modulare Symbole" beinhaltet. Stellen Sie sich dies vor wie das Überprüfen des Motors eines Autos mit einem hochpräzisen Diagnosetool. Wenn das Tool zeigt, dass der Motor aus ist (der „L-Wert" ist ungleich null), dann bewegt sich das Auto definitiv nicht. Dieser Schritt ist „unbedingt", das heißt, er stützt sich nicht auf irgendwelche unbewiesenen Vermutungen oder Annahmen.

Die Ergebnisse: 52,5 % des Waldes

Der Autor führte diesen gesamten Prozess auf einem Computer für alle Regale durch, bei denen die beteiligten Zahlen relativ klein waren (bis zu 100).

Es gab 2.040 Regale zu überprüfen.
Der Autor konnte erfolgreich beweisen, dass 1.072 davon keine perfekten Kästen enthalten.
Dies deckt etwa 52,5 % der Regale in diesem spezifischen Bereich ab.

Was dies bedeutet (und was nicht)

Was es tut: Es beweist, dass für eine riesige, spezifische Liste von 1.072 Familien von Kästen ein perfekter Quader unmöglich ist. Dies ist ein massiver Schritt vorwärts, der beweist, dass das „Einhorn" in diesen spezifischen Teilen des Waldes nicht existiert.
Was es nicht tut: Es beweist nicht, dass ein perfekter Quader überall nicht existiert. Es gibt noch 968 Regale (und unendlich viele weitere jenseits des Bereichs von 100), die der Autor noch nicht beweisen konnte. Einige dieser verbleibenden Regale sind „schwierig", weil der Verkehr auf den kleineren Straßen scheinbar in Bewegung zu sein scheint, was die Analogie des „steckengebliebenen Autos" scheitern lässt.

Zusammenfassung

René Peschmann baute einen hochentwickelten mathematischen Filter. Er nahm die unmögliche Aufgabe, jeden möglichen Kasten zu überprüfen, und zerlegte sie in 1.072 handhabbare Gruppen. Unter Verwendung einer Kombination aus dem Zählen „kaputter" Kästen und fortschrittlicher Motordiagnostik bewies er, dass in 1.072 spezifischen Gruppen ein perfekter Kasten mathematisch unmöglich ist. Dies ist ein großer Sieg in der Suche, auch wenn der gesamte Wald noch nicht geräumt ist.

1. Problemstellung

Das Paper behandelt die Vollkommene-Quader-Vermutung (Vermutung B), ein langjähriges offenes Problem der elementaren Zahlentheorie.

Definition: Ein Euler-Quader ist ein rechteckiges Parallelepiped mit ganzzahligen Kanten $(X, Y, Z)$ und ganzzahligen Flächendiagonalen. Ein vollkommener Quader ist ein Euler-Quader, der zusätzlich eine ganzzahlige Raumdiagonale besitzt ( $\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$ ).
Die Vermutung: Es existiert kein vollkommener Quader in $\mathbb{N}^3$ .
Aktueller Stand: Während computergestützte Suchen perfekte Quader mit Kantenlängen bis zu $5 \cdot 10^{11}$ ausgeschlossen haben, existiert kein allgemeiner Beweis. Bisherige algebraisch-geometrische Ansätze waren auf spezifische Unterfamilien beschränkt oder beruhten auf unbewiesenen Hypothesen (z. B. der verallgemeinerten Riemannschen Vermutung).

2. Methodik

Der Autor kombiniert strukturelle Zahlentheorie, algebraische Geometrie und rigorose computergestützte Verifikation. Der Ansatz verläuft in drei Hauptphasen:

A. Strukturelle Reduktion auf Master-Tupel

Das Paper stellt einen strukturellen Klassifikationssatz (Satz 2.4) auf, der beweist, dass jeder primitive Euler-Quader aus einem eindeutigen „Master-Tupel" $(a, b, m, n) \in \mathbb{N}^4$ hervorgeht, das spezifische Teilerfremdheits- und Paritätsbedingungen erfüllt.

Die Kanten des Quaders werden aus standardmäßigen pythagoreischen Parametrisierungen abgeleitet: $U_1 = a^2-b^2, V_1=2ab$ und $U_2=m^2-n^2, V_2=2mn$ .
Die Bedingung für einen perfekten Quader reduziert sich darauf, zu prüfen, ob ein bestimmtes Polynom $f_1$ (das das Quadrat der Raumdiagonale darstellt) eine perfekte Quadratzahl ist.
Dies reduziert den unendlichen Suchraum auf die Analyse spezifischer Fasern, definiert durch die Parameter $(m, n)$ .

B. Zerlegung der Kurve vom Geschlecht 3

Für eine feste Master-Tupel-Faser $(m, n)$ wird die Bedingung für einen perfekten Quader in eine hyperelliptische Kurve vom Geschlecht 3 $H_{m,n}$ kodiert.

Die Kurve ist definiert durch $v^2 = P(t^2)Q(t^2)$ , wobei $t = a/b$ .
Die Jacobische der Kurve, $\text{Jac}(H_{m,n})$ , zerfällt (bis auf Isogenie) in ein Produkt von drei elliptischen Kurven: $E_{PQ}$ , $E_{uV}$ und $E_3$ .
Das Paper konzentriert sich auf die elliptischen Quotienten $E_{uV}$ und $E_3$ .

C. Das Torsions-Schnitt-Argument

Der Kern des Beweismechanismus stützt sich auf das Torsions-Schnitt-Lemma (Lemma 4.2).

Prämisse: Wenn ein elliptischer Quotient $E_q$ den Rang 0 hat (d. h. seine rationalen Punkte sind endlich und bestehen nur aus Torsionspunkten), dann ist die Anzahl der rationalen Punkte auf der Kurve vom Geschlecht 3, $H_{m,n}$ , durch die Größe der Torsionsuntergruppe von $E_q$ beschränkt.
Logik:
1. Verifiziere $\text{rk}(E_q(\mathbb{Q})) = 0$ .
2. Berechne $|E_q(\mathbb{Q})_{\text{tors}}|$ .
3. Bilde rationale Punkte von $H_{m,n}$ auf $E_q$ ab. Da die Abbildung vom Grad 2 ist, gilt $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$ .
4. Kritischer Schritt: Die Kurve $H_{m,n}$ besitzt stets 8 bekannte „triviale" rationale Punkte, die degenerierten Quadern entsprechen (bei denen eine oder mehrere Kanten null sind).
5. Wenn die aus dem Torsions-Schnitt abgeleitete obere Schranke genau 8 beträgt, dann existieren keine nicht-trivialen (vollkommenen Quader-)Punkte auf dieser Faser.

D. Unbedingte Rang-Zertifizierung

Um sicherzustellen, dass der Beweis unbedingter Natur ist (d. h. nicht auf unbewiesenen Vermutungen wie der GRH beruht), verwendet der Autor zwei komplementäre Techniken zur Verifikation der Rang-Null-Hypothese:

2-Descent: Unter Verwendung von ellrank in PARI/GP werden rigorose Schranken $[r_{low}, r_{up}]$ ermittelt. Wenn $r_{low} = r_{up} = 0$ , ist der Rang als Null bewiesen.
Modulare Symbole (Kolyvagin-Theorem): Für Fälle, in denen das 2-Descent mehrdeutig ist (z. B. $[0, 2]$ $[0, 2]$ ), berechnet der Autor $L(E, 1)/\Omega_E$ $L (E, 1) / Ω_{E}$ exakt unter Verwendung modularer Symbole in Sage.
- Nach dem Modularitätstheorem und dem Theorem von Kolyvagin ist, wenn $L(E, 1) \neq 0$ , der Rang 0.
- Für semistabile Kurven (was auf alle vorkommenden Faktoren zutrifft) ist die Manin-Konstante 1, was sicherstellt, dass die Berechnung der modularen Symbole exakt und unbedingter Natur ist.

3. Hauptbeiträge

Strukturelle Klassifikation (Satz 2.4): Beweis der Umkehrung der Parametrisierung durch Master-Tupel, der zeigt, dass jeder primitive Euler-Quader einem Master-Tupel entspricht. Dies war ein fehlendes Glied in der vorherigen Literatur.
Torsions-Schnitt-Argument: Anwendung einer verfeinerten Schnittschranke auf die elliptischen Quotienten $E_{uV}$ und $E_3$ . Im Gegensatz zu früheren Arbeiten, die sich auf $E_A$ konzentrierten, nutzt dieses Paper die spezifische Geometrie von $E_{uV}$ und $E_3$ , um die Punktzahl exakt auf 8 zu erzwingen.
Verfeinerte Lift-Zählung: Wenn die naive Torsionsschranke zu locker ist (z. B. Torsionsgröße 8 ergibt eine Schranke von 12), führt der Autor eine explizite Enumeration der 8 Torsionspunkte auf dem quartischen Modell durch. Durch Überprüfung, welche Punkte rational auf die Kurve vom Geschlecht 3 „liftet", wird die Schranke wieder auf 8 verfeinert.
Unbedingte Zertifizierungs-Pipeline: Ein robuster computergestützter Arbeitsablauf, der PARI/GP und SageMath kombiniert und keine Abhängigkeit von der verallgemeinerten Riemannschen Vermutung (GRH) oder der Vermutung von Birch und Swinnerton-Dyer erfordert, sondern stattdessen auf dem Theorem von Kolyvagin und der Schranke von Edixhoven für die Manin-Konstante beruht.

4. Ergebnisse

Umfang: Die Studie umfasst alle teilerfremden Paare $(m, n)$ mit $\max(m, n) \le 100$ und ungeradem $m-n$ . Es gibt 2.040 solche Paare.
Erfolgsquote: Die Methode beweist unbedingterweise die Nichtexistenz perfekter Quader auf 1.072 Fasern (ca. 52,5 % des Suchraums).
Aufschlüsselung der bewiesenen Fasern:
- 827 Fasern über $E_3$ : 359 durch scharfes 2-Descent, 468 durch Zertifizierung mittels modularer Symbole.
- 245 Fasern über $E_{uV}$ : Alle erforderten das verfeinerte Argument der Lift-Zählung (Fall c), da die Torsionsgröße 8 betrug.
Ergebnis: Für diese 1.072 Fasern ist die Menge der rationalen Punkte auf der zugehörigen Kurve vom Geschlecht 3 genau die Menge der 8 degenerierten Punkte. Somit existiert für kein Master-Tupel, das von diesen $(m, n)$ -Paaren abgeleitet ist, ein vollkommener Quader.

5. Bedeutung und Einschränkungen

Bedeutung:
- Dies ist der erste unbedingte Beweis der Nichtexistenz perfekter Quader auf einer großen, expliziten Menge von Fasern ohne Rückgriff auf unbewiesene Vermutungen.
- Es demonstriert die Kraft der Kombination expliziter Descent-Verfahren mit Berechnungen modularer Symbole zur Lösung von Rang-Null-Fällen in Kurvenfamilien.
- Es liefert einen konkreten Rahmen (Master-Tupel) für zukünftige exhaustive Suchen.
Einschränkungen & Zukünftige Arbeit:
- Abdeckung: Das Ergebnis deckt nur ca. 52 % der Fasern bis $m,n \le 100$ ab. Die verbleibenden 968 Fasern haben entweder mehrdeutige Ränge, die das aktuelle Rechenbudget übersteigen (Leitfähigkeit $> 10^{12}$ ), oder einen Gesamtrang der Jacobischen $\ge 3$ , wodurch Standard-Chabauty-Methoden unanwendbar werden.
- Schwierige Fasern: Fasern, bei denen alle drei elliptischen Faktoren einen Rang $\ge 1$ haben (z. B. $(5,2)$ ), bleiben offen.
- Erweiterungen: Der Autor schlägt vor, dass Quadratisches Chabauty (p-adische Methoden) und Mordell-Weil-Siebung die notwendigen nächsten Schritte sind, um die verbleibenden „schwierigen" Fasern zu bewältigen und die Schranke möglicherweise auf höhere $m, n$ zu erweitern.

Zusammenfassend liefert Peschmann einen rigorosen, computergestützten Beweis, der die Möglichkeit perfekter Quader für eine signifikante Teilmenge des Parameterraums ausschließt und damit einen neuen Maßstab für unbedingte Ergebnisse in diesem klassischen Problem setzt.