📚 Interaktives Bibliotheksnetzwerk

🌳 Merge & Diskurs — Syntaxanalyse

Was mich an diesen Gebieten hält, ist nicht ein einzelnes Problem, sondern eine Beobachtung, die beim Durcharbeiten konkreter Konstruktionen immer wieder auftaucht: In Zahlentheorie, Topologie, Geometrie und mathematischer Physik tauchen verwandte formale Strukturen auf – unabhängig entwickelt, und doch in einer Weise verbunden, die sich schwer als Zufall lesen lässt. Ob diese Konvergenzen einen gemeinsamen strukturellen Grund haben oder nur ähnliche formale Prinzipien spiegeln, ist eine offene Frage. Mich interessiert es, sie ernst zu nehmen.

Albert Lautmann hat in seinen Arbeiten der 1930er–40er Jahre vorgeschlagen, mathematische Theorien als Realisierungen zugrunde liegender Ideen zu lesen, die selbst durch strukturelle Gegensätze – lokal/global, algebraisch/geometrisch, diskret/kontinuierlich – organisiert sind. Liest man die jüngsten Entwicklungen in der arithmetischen Geometrie durch diesen Rahmen, so fügt sich vieles zusammen: Perfektoid, prismatisch, Langlands-Programm, deriviert und chromatisch zeigen Konvergenzen, die in Lautmanns Sprache als unterschiedliche Realisierungen verwandter dialektischer Prinzipien gelten könnten. Der epistemische Status dieser Lesart ist der einer Interpretation, nicht eines Beweises – aber einer Interpretation, die mathematisch nicht spurlos bleibt, weil sie die Richtung der Arbeit mitbestimmt.

Eine weitergehende Deutung verbindet das mit einem Grundmotiv des Neoplatonismus – wie es bei Iamblichos und Proklos technischer ausgearbeitet ist als bei Plotinus selbst, in der systematischen Behandlung von Partizipation und Prozession –: der Vorstellung, dass höhere Strukturebenen nicht einfacher, sondern umfassender sind und konkrete Objekte als eingeschränkte Erscheinungsformen dieser Ebenen verstanden werden können. Plotinus’ Aufstieg vom Konkreten zu einer reicheren Einheit hat im mathematischen Kontext ein Gegenstück in der Bewegung von Zahlen und Gleichungen zu Modulräumen, Kohomologien und ∞-Kategorien – Strukturen, die nicht durch Abstraktion als Weglassen entstehen, sondern durch Hinzufügen von Kohärenzdaten. Diese Analogie ist nicht als Metapher gemeint, sondern als strukturelle Frage: Verständnis entsteht in der modernen Mathematik typischerweise durch Aufstieg zu Strukturen, in denen zuvor separate Phänomene als Spezialfälle universeller Konstruktionen erscheinen.

Ein methodischer Ausgangspunkt, der die beschriebenen Gebiete verbindet: Arithmetische Phänomene werden durch ihre Einbettung in Modulprobleme geometrisch zugänglich – statt einzelner Objekte betrachtet man Gesamtheiten von Lösungen als geometrische Objekte und fragt nach deren Struktur. Kohomologie ist das Medium dieser Geometrisierung: nicht nur als technisches Werkzeug, sondern als Vergleichs- und Übersetzungsrahmen zwischen verschiedenen mathematischen Welten.

Die Prismatik (Bhatt–Scholze 2022) illustriert, was diese Bewegung konkret bedeutet. Was vorher drei separate Kohomologietheorien waren – de Rham, kristallin, étale – erscheint jetzt als drei Spezialisierungen eines einzigen Objekts: der prismatischen Kohomologie über einem δ-Ring. Das Tilting-Prinzip zeigt dasselbe Muster eine Ebene tiefer: Gemischte Charakteristik und Charakteristik p sind durch denselben Galois-Formalismus beschreibbar, weil die zugehörigen absoluten Galoisgruppen isomorph sind. Drei getrennte Theorien werden zu Aspekten einer einheitlichen Struktur – durch einen Vergleichssatz, der ihre Verschiedenheit nicht verwischt, sondern erklärt. Ein einzelnes Beispiel macht das greifbar: Beim Breuil–Kisin-Modul einer supersingulären elliptischen Kurve ist das zugehörige φ-Modul vom Rang 2 irreduzibel – es lässt sich nicht in φ-stabile Direktsummanden zerlegen, und diese Weigerung zu zerfallen kodiert genau die reine Steigung 1/2 der zugehörigen p-divisiblen Gruppe.

Ein aufschlussreicher Testfall sind die supersingulären Situationen. Hier versagen klassische Methoden strukturell, weil zentrale Objekte fehlen, die am gewöhnlichen Ort selbstverständlich existieren – kanonische Untergruppen, Frobenius-Eigenwerte, Hodge-Zerlegungen. Die Nygaard-Filtrierung auf H² einer supersingulären K3-Fläche liefert ein präzises Bild davon: Ihre Nicht-Spaltbarkeit wird durch die Artin-Invariante σ (mit 1 ≤ σ ≤ 10) gemessen, die die K3-Fläche bis auf Isogenie klassifiziert – ein arithmetischer Invariant, der aus dem Scheitern einer strukturellen Eigenschaft entsteht. Was wie ein lokaler Defekt erscheint, ist ein Hinweis auf den geometrischen Rahmen, in dem das eigentliche Objekt lebt: Kriz konstruiert es auf der präperfektoiden universellen Überlagerung der Modulkurve, wo beide Hodge-Perioden gleichzeitig verfügbar sind und durch eine p-adische Legendre-Relation verbunden werden. Das Ziel dieser Konstruktion ist konkret: die Interpolation spezieller Werte der Hasse-Weil-L-Funktion zu einer p-adischen L-Funktion bei supersingulären Primzahlen – ein Problem, das Bertolini–Darmon–Prasanna für gewöhnliche Primzahlen gelöst hatten und das den supersingulären Fall strukturell versperrte. Das Scheitern des klassischen Apparats zeigt an, auf welcher Ebene die Konstruktion stattfinden muss.

Fargues–Scholze (2021) und Venkatesh zeigen denselben Erkenntnistypus in verschiedenen Varianten. Die operative Sprache des Übergangs von Galois-Darstellungen zu Vektorbündeln auf der FF-Kurve sind die (φ,Γ)-Moduln von Fontaine–Berger–Cherbonnier–Colmez: Jede de-Rham-Darstellung kommt von einem überkonvergenten (φ,Γ)-Modul, und Fargues–Scholze übersetzen diesen Zusammenhang geometrisch. Fargues–Scholze ersetzen die lokale Langlands-Korrespondenz – bisher eine Bijektion von Isomorphieklassen – durch eine Kategorienäquivalenz: Garben auf Bun_G korrespondieren zu ℓ-adischen Garben auf dem L-Parameter-Stack. Das ist keine Verallgemeinerung durch Abstraktion, sondern durch Präzisierung – die kategorische Formulierung macht sichtbar, warum die Korrespondenz gilt, nicht nur dass sie gilt – konkret: Das Basisstratum [*/D×] in der Harder–Narasimhan-Schichtung von Bun_GL 2 geometrisiert die Jacquet–Langlands-Übertragung als Einschränkung von Garben zwischen Strata eines einzigen Raumes. Ausgangspunkt ist dabei eine Beobachtung, die im klassischen Rahmen keine Erklärung findet: Hecke-Eigenwerte treten in der ganzzahligen Kohomologie H*(Γ,ℤ) auch in Torsionselementen auf – Elementen endlicher Ordnung, die rationale Methoden systematisch übersehen. Diese Torsion trägt tiefe arithmetische Information; das Calegari–Venkatesh-Programm ist im Kern eine Antwort auf die Frage, was sie bedeutet. Venkatesh’ derivierte Hecke-Algebra zeigt dasselbe für die Kohomologie arithmetischer Gruppen: Multiplizitäten, die klassisch als numerische Zufälle erscheinen, kodieren motivische Information – ihren Rang kontrolliert die Ordnung der adjungierten L-Funktion bei s=1. Auf Bianchi-Mannigfaltigkeiten Y_Γ wird das handfest: Der derivierte Hecke-Operator T¹ bildet H¹(Y_Γ, 𝔽_p) → H²(Y_Γ, 𝔽_p) ab, und diese Gradverschiebung ist durch eine motivische Klasse in H¹_f(F, Ad&sup0;ρ̄(1)) kontrolliert – eine Operation, die im klassischen Hecke-Formalismus schlicht nicht existiert.

Die Verbindung zur mathematischen Physik folgt einem verwandten Muster, ist aber in Teilen noch programmatischer Natur. Freeds Ergebnis (2008) – dass der WZW-Term der chiralen Lagrangedichte im Anderson-Dual des Spin-Bordismus-Spektrums lebt, nicht in gewöhnlicher Kohomologie – ist mathematisch etabliert und präzise: dasselbe Prinzip wie im arithmetischen Fall, ein klassisches Objekt ist auf einer geometrisch reicheren Ebene beheimatet. Die Interpretation von Ben-Zvi–Sakellaridis–Venkatesh (2024), nach der Langlands-Dualität der elektrisch-magnetischen Dualität einer 4d TQFT entspricht, ist konzeptuell weitreichend; ihre vollständige mathematische Ausarbeitung ist noch im Gange.

Das schärfste Beispiel für die Verbindungen zwischen diesen Gebieten liefert die chromatische Homotopietheorie – weil sie mathematisch wörtlich zu verstehen ist, nicht metaphorisch. Barthel–Schlank–Stapleton–Weinstein (2024) berechnen Homotopiegruppen der K(n)-lokalen Sphäre, indem sie den Faltings-Isomorphismus zwischen Lubin-Tate- und Drinfeld-Turm direkt als Berechnungswerkzeug einsetzen – einen Satz, der ursprünglich in der lokalen Langlands-Theorie stand. Die formale Gruppe, die in der Zahlentheorie Deformationsräume klassifiziert, klassifiziert in der stabilen Homotopietheorie periodische Familien; dieselbe Invariante, dieselbe Geometrie. Das Goerss–Henn–Mahowald–Rezk-Ergebnis bei p = 3 macht das buchstäblich: Die K(2)-lokale Sphäre wird aus den Homotopie-Fixpunkten der Automorphismengruppe G₂₄ der supersingulären Kurve y² = x³ − x über 𝔽₃ aufgebaut – Homotopiegruppen einer Sphäre, berechnet aus den Automorphismen einer benannten Kurve. Hier ist die Verbindung kein Deutungsrahmen, sondern ein Beweis.

Quellen: Venkatesh (Forum Math. Pi 2019) · Prasanna–Venkatesh (Astérisque 2021) · Scholze (Publ. Math. IHÉS 2012) · Fargues–Scholze (arXiv:2102.13459) · Bhatt–Scholze (Ann. of Math. 2022) · Kriz (Princeton UP 2021) · Freed (J. Diff. Geom. 2008) · Ben-Zvi–Sakellaridis–Venkatesh (arXiv:2409.04677) · Barthel–Schlank–Stapleton–Weinstein (arXiv:2402.00960) · Lautmann: Essai sur les notions de structure et d’existence en mathématiques (1938)

What keeps me engaged with these fields is not a single problem, but an observation that arises from working through specific constructions: number theory, topology, geometry, and mathematical physics exhibit related formal structures – developed independently, yet connected in a way that is difficult to read as coincidence. Whether these convergences reflect a common structural ground or merely analogous formal principles is an open question. What interests me is taking that question seriously.

Albert Lautmann proposed in his work of the 1930s–40s to read mathematical theories as realizations of underlying ideas, themselves organized by structural oppositions – local/global, algebraic/geometric, discrete/continuous. Reading recent developments in arithmetic geometry through this frame, much falls into place: perfectoid, prismatic, Langlands, derived, and chromatic show convergences that, in Lautmann’s language, could be read as different realizations of related dialectical principles. The epistemic status of this reading is that of an interpretation, not a proof – but an interpretation that leaves mathematical traces, because it shapes the direction of work.

A further reading connects this to a central motif in Neoplatonism – one more technically elaborated in Iamblichus and Proclus than in Plotinus himself, through their systematic treatment of participation and procession –: the idea that higher structural levels are not simpler but more comprehensive, and that concrete objects can be understood as restricted appearances of these levels. Plotinus’ ascent from the concrete to a richer unity has a counterpart in the mathematical movement from numbers and equations to moduli spaces, cohomologies, and ∞-categories – structures that arise not by abstraction as omission, but by adding coherence data. This analogy is not meant as a metaphor, but as a structural question: understanding in modern mathematics typically arises through ascent to structures in which previously separate phenomena appear as special cases of universal constructions.

A methodological starting point that unifies the fields described here: arithmetic phenomena become geometrically accessible through their embedding in moduli problems – instead of individual objects, one studies the totality of solutions as a geometric object and asks about its structure. Cohomology is the medium of this geometrization: not only as a technical tool, but as a framework for comparison and translation between different mathematical worlds.

Prismatic cohomology (Bhatt–Scholze 2022) illustrates what this movement concretely means. What were previously three separate cohomology theories – de Rham, crystalline, étale – appears as three specializations of a single object: prismatic cohomology over a δ-ring. The tilting principle shows the same pattern one level deeper: mixed characteristic and characteristic p are describable through the same Galois formalism, because the corresponding absolute Galois groups are isomorphic. Three separate theories become aspects of a unified structure – through a comparison theorem that does not blur their differences, but explains them. One example makes this tangible: the Breuil–Kisin module of a supersingular elliptic curve has an irreducible rank-two φ-module – it admits no φ-stable direct summand decomposition, and this refusal to split encodes precisely the pure slope 1/2 of the associated p-divisible group.

The supersingular situations provide an instructive test case. Here classical methods fail structurally, because central objects are absent that exist at the ordinary locus without difficulty – canonical subgroups, Frobenius eigenvalues, Hodge decompositions. The Nygaard filtration on H² of a supersingular K3 surface gives a precise measure of this: its failure to split is the Artin invariant σ (1 ≤ σ ≤ 10) classifying the K3 surface up to isogeny – an arithmetic invariant that emerges from the failure of a structural property. What appears as a local defect is a signal about the geometric level at which the actual object lives: Kriz constructs it on the preperfectoid universal cover of the modular curve, where both Hodge periods are simultaneously available and connected by a p-adic Legendre relation. The goal of this construction is concrete: the interpolation of special values of the Hasse-Weil L-function into a p-adic L-function at supersingular primes – a problem that Bertolini–Darmon–Prasanna had solved for ordinary primes and that structurally blocked the supersingular case. The failure of the classical apparatus shows at which level the construction must take place.

Fargues–Scholze (2021) and Venkatesh show the same type of understanding in different variants. The operative language of the passage from Galois representations to vector bundles on the FF-curve is the (φ,Γ)-module formalism of Fontaine–Berger–Cherbonnier–Colmez: every de Rham representation comes from an overconvergent (φ,Γ)-module, and Fargues–Scholze translate this connection geometrically. Fargues–Scholze replace the local Langlands correspondence – previously a bijection of isomorphism classes – by a categorical equivalence: sheaves on Bun_G correspond to ℓ-adic sheaves on the L-parameter stack. This is not generalization through abstraction, but through precision – the categorical formulation makes visible why the correspondence holds, not merely that it does – concretely: the basic stratum [*/D×] in the Harder–Narasimhan stratification of Bun_GL 2 geometrizes the Jacquet–Langlands transfer as restriction of sheaves between strata of a single space. The starting point is an observation that has no explanation in the classical framework: Hecke eigenvalues appear in the integral cohomology H*(Γ,ℤ) in torsion elements – elements of finite order that rational methods systematically miss. This torsion carries deep arithmetic information; the Calegari–Venkatesh program is at its core an answer to the question of what it means. Venkatesh’s derived Hecke algebra shows the same for the cohomology of arithmetic groups: multiplicities that appear classically as numerical accidents encode motivic information – their rank is controlled by the order of the adjoint L-function at s=1. On Bianchi manifolds Y_Γ this becomes concrete: the derived Hecke operator T¹ maps H¹(Y_Γ, 𝔽_p) → H²(Y_Γ, 𝔽_p), and this degree shift is controlled by a motivic class in H¹_f(F, Ad&sup0;ρ̄(1)) – an operation that simply does not exist in the classical Hecke formalism.

The connection to mathematical physics follows a related pattern, but is partly still programmatic in nature. Freed’s result (2008) – that the WZW term of the chiral Lagrangian lives in the Anderson dual of the spin bordism spectrum, not in ordinary cohomology – is mathematically established and precise: the same principle as in the arithmetic case, a classical object is at home on a geometrically richer level. The interpretation of Ben-Zvi–Sakellaridis–Venkatesh (2024), according to which Langlands duality corresponds to the electric-magnetic duality of a 4d TQFT, is conceptually far-reaching; its full mathematical elaboration is still ongoing.

The sharpest illustration of the connections between these fields comes from chromatic homotopy theory – because it is to be understood mathematically literally, not metaphorically. Barthel–Schlank–Stapleton–Weinstein (2024) compute homotopy groups of the K(n)-local sphere by directly applying the Faltings isomorphism between the Lubin-Tate and Drinfeld towers as a computational tool – a theorem that originated in local Langlands theory. The formal group that classifies deformation spaces in number theory classifies periodic families in stable homotopy theory; the same invariant, the same geometry. The Goerss–Henn–Mahowald–Rezk resolution at p = 3 makes this literal: the K(2)-local sphere is built from homotopy fixed points of the automorphism group G₂₄ of the supersingular curve y² = x³ − x over 𝔽₃ – homotopy groups of a sphere, computed from the automorphisms of a named curve. Here the connection is not an interpretive frame, but a proof.

Sources: Venkatesh (Forum Math. Pi 2019) · Prasanna–Venkatesh (Astérisque 2021) · Scholze (Publ. Math. IHÉS 2012) · Fargues–Scholze (arXiv:2102.13459) · Bhatt–Scholze (Ann. of Math. 2022) · Kriz (Princeton UP 2021) · Freed (J. Diff. Geom. 2008) · Ben-Zvi–Sakellaridis–Venkatesh (arXiv:2409.04677) · Barthel–Schlank–Stapleton–Weinstein (arXiv:2402.00960) · Lautmann: Essai sur les notions de structure et d’existence en mathématiques (1938)

Impressum (§ 5 DDG)

Betreiber (Privatperson, nicht-kommerziell):
Thomas Riepe
Heinz-Kapelle-Straße 12
10407 Berlin, Deutschland
E-Mail: thomasriepe(at)gmail.com

Inhaltlich verantwortlich gem. § 18 Abs. 2 MStV:
Thomas Riepe, Heinz-Kapelle-Straße 12, 10407 Berlin

Zweck: Private, nicht-kommerzielle 3D-Visualisierung einer Privatbibliothek. Kein Gewerbe, keine kommerzielle Absicht.

Datenschutz (DSGVO)

Verantwortlicher: Thomas Riepe, Heinz-Kapelle-Straße 12, 10407 Berlin, thomasriepe(at)gmail.com.
Diese Website verarbeitet keine personenbezogenen Daten aktiv. Keine Cookies. Kein Tracking. Keine Nutzerprofile. Keine Drittdienste. Der Server (Port 7871, lokal, Berlin) kann technische Logs führen (IP, Zeitstempel) — nur für die Dauer der Session, ohne Speicherung.

Betroffenenrechte (Art. 15–21 DSGVO): thomasriepe(at)gmail.com
Aufsichtsbehörde: BlnBDI, www.datenschutz-berlin.de

§ 5 DDG · § 18 Abs. 2 MStV · Stand: Juni 2026