Das Synthese-Projekt aller Projekte: Scholzes Cartier-Dualität auf Gestalten verbindet die solid-p-adische Seite (VCQ3), die liquid-archimedische Seite (LAQ), Anima IV und die anderen Projekte zu einem einheitlichen Bild.
Scholzes Gestalten (Scholze–Stefanich, Februar 2026) ist die bisher weitreichendste Synthese abstrakter Geometrie: Ein Gestalt ist ein Ringgestalt ($\mathrm{Gest} = \mathrm{StRing}^{\mathrm{op}}$), und die klassische algebraische Geometrie, die kondensierte Mathematik, die motivische Homotopietheorie und die p-adische Hodge-Theorie sind alle Spezialfälle.
Theorem 1.28 (Aoki): Motive ≈ Ringgestalten. D.h. die motivische Homotopiekategorie $\mathrm{SH}$ definiert Gestalten $[\mathrm{Spec}\,\mathbb{Z}]_{\mathrm{SH}}$, $[\mathrm{Spec}\,\mathbb{Q}_p]_{\mathrm{SH}}$, etc.
Cruciale Beobachtung Scholzes (zitiert in Gestalten): Alle seine Dualitätsbeispiele sind Spezialfälle der Cartier-Dualität — „except the very first one using $L^2$-functions". Der $L^2$/Banach-archimedische Fall (= die liquide Welt) ist die Ausnahme. Das bestätigt die zentrale These von LAQ unabhängig.
Cartier-Dualität in der klassischen Theorie: Für einen kommutativen Gruppenring $G$ über einem Ring $R$ ist die Cartier-Duale $G^\vee = \mathcal{H}om(G, \mathbb{G}_m)$. In Scholzes Gestalten-Rahmen verallgemeinert dies zu einem universellen Dualitätsprinzip.
Die Cartier-Dualität verbindet die Projekte:
| Projekt | Cartier-Duales Objekt | Rahmen |
|---|---|---|
| VCQ3 (solid p-adisch) | Derived Hecke ↔ Selmer-Gruppe | D(Solidℤp) |
| LAQ (liquid arch.) | Regulator ↔ Motive-Kohomologie | Liquid ℝ-Moduln |
| Anima IV (Spektrum) | κ-Kombinationen ↔ Dualgruppen | Kondensierte ∞-Topos |
| ArithGauge | Reidemeister-Torsion ↔ Alexander-Pol. | Mazur–Morishita |
| Floer-Condensed | Novikov-Ring ↔ Symplektische Kohom. | Kondensiert solid |
Die übergreifende Synthese (qwen3:235b + r1:70b) identifiziert:
Alle Projekte sind Instanzen von zwei dualen Strukturen: einerseits die solid-p-adische Welt (VCQ3, ArithGauge, Greenberg, RM), andererseits die liquid-archimedische Welt (LAQ, Anima IV/V, Bost). Die Cartier-Dualität auf Gestalten ist der formale Rahmen, der beide verbindet [STRUKTURELL].
Die vollständige Vereinheitlichung läuft über das adelische Fraktur-Quadrat: $$\bigwedge^* L^* \longrightarrow (\text{solid bei } p) \times (\text{liquid bei } \infty)$$ Dies ist exakt die Richtung, in die Clausens Analytic-Stacks-Programm zeigt. Die Klammer ist formulierbar, aber nicht bewiesen.
Scholzes explizite Ausnahme des $L^2$-Falls aus der Cartier-Dualität (in Gestalten) ist ein präzises Indiz für die Unvollständigkeit des Rahmens für die archimedische Seite. LAQ ist das Projekt, das genau diese Lücke umreißt.
Für ein finites, flaches, kommutatives Gruppenschema $G/S$ ist das Cartier-Dual definiert als $$G^D := \underline{\mathrm{Hom}}_{S\text{-gr}}(G,\mathbb{G}_{m,S})$$ mit der kanonischen Paarung $\langle\cdot,\cdot\rangle: G\times_S G^D\to\mathbb{G}_{m,S}$ (bilinear, nicht-entartet). Kanonische Beispiele: $\mu_n^D \cong \mathbb{Z}/n\mathbb{Z}$; $(\mathbb{Z}/n\mathbb{Z})^D \cong \mu_n$; für $p$-divisible Gruppen $(G_\nu)$: $(G_\nu^D)$ ist ebenfalls $p$-divisibel [BELEGT, Demazure-Gabriel 1970, S. 442-445; Tate, p-divisible groups, 1967, S. 176; Oort, 1966, S. 15].
Isomorphismen: $G \cong (G^D)^D$ und $\mathrm{Hom}_S(G,H^D) \cong \mathrm{Hom}_S(H,G^D)$ (Hopf-Algebren-Interpretation: $A \leftrightarrow A^*$ via Evaluationsabbildung $A\otimes A^* \to k$) [BELEGT, Oort S. 15].
Der Begriff „Gestalten" ist in der algebraischen Geometrie nicht standardisiert. Die Synthese untersuchte klassische Cartier-Dualität auf Gruppenschemata. Verbindung zum Scholze-Stefanich-Papier Gestalten (Feb. 2026): der Begriff dort bezieht sich auf eine spezifische Konstruktion im geometrischen Langlands-Programm — eine kanonische Brücke zur klassischen Cartier-Dualität existiert nicht explizit [OFFEN].
Pontryagin-Dualität (kompakte abelsche Gruppen), Serre-Dualität (Kurven) und Cartier-Dualität teilen das Prinzip nicht-entarteter Paarungen. Eine einheitliche Theorie in derivierten Kategorien ist aktives Forschungsfeld, aber nicht formalisiert [SPEKULATIV; keine formale Brücke nachgewiesen].
Offene Fragen aus der Synthese: Verallgemeinerung auf $p$-divisible Gruppen mit zusätzlicher Struktur (Polarisierungen) → symplektische Geometrie auf Modulräumen [KONJEKTUR]; Erweiterung auf $(\infty,1)$-Kategorien [OFFEN, aktive Forschung derivierter algebraischer Geometrie]; Galois-Darstellungen aus Cartier-dualen „Gestalten" [OFFEN, $p$-adische Hodge-Theorie-Kontext].