Mit nichts weiter als einem Blatt Papier, einem Bleistift und einem Lineal kann jeder in wenigen Minuten ein Penrose-Dreieck (Penrose Tribar) zeichnen: Drei gerade Balken mit quadratischem Querschnitt treffen paarweise im rechten Winkel ($90^\circ$) aufeinander und bilden scheinbar einen geschlossenen, starren Dreiecksrahmen. Oder denken wir an die berühmte Klostertreppe in M.C. Eschers Lithografie Treppauf und Treppab (Ascending and Descending, 1960): Zwei Reihen von Mönchen schreiten unaufhörlich eine viereckige Steintreppe hinauf bzw. hinab, steigen immer weiter nach oben und kehren doch nahtlos auf dieselbe Ausgangshöhe zurück.

Wenn wir solche unmöglichen Figuren (Impossible Figures / Impossible Objects) betrachten, erlebt unser visueller Kortex einen eigentümlichen kognitiven Schwindel. Betrachten wir nur die obere Ecke des Penrose-Dreiecks: Es ist eine völlig gewöhnliche, physikalisch einwandfreie dreidimensionale $90^\circ$-Holzverbindung. Wandert der Blick zur linken unteren oder rechten unteren Ecke, ist auch dort jedes Detail lokal vollkommen konsistent mit der euklidischen Geometrie. Doch sobald das Auge den Balken einmal ringsum entlang der geschlossenen Schleife folgt, bricht ein globaler Widerspruch auf: Ein Balken, der sich am einen Ende eindeutig näher am Betrachter befindet, verläuft am anderen Ende plötzlich hinter einem weiter entfernten Balken.

Wie ist es möglich, dass die menschliche Hand auf einer zweidimensionalen Ebene mühelos ein Objekt zeichnen kann, das überall lokal konsistent, aber global im dreidimensionalen euklidischen Raum $\mathbb{R}^3$ unmöglich konstruierbar ist? Und wie beschreibt die moderne Mathematik den exakten Übergang von lokaler Konsistenz (Local Consistency) zu globaler Unmöglichkeit (Global Contradiction)?

Im Jahr 1992 veröffentlichte der spätere Nobelpreisträger und mathematische Physiker Sir Roger Penrose seine wegweisende Arbeit “On the Cohomology of Impossible Figures”. Darin bewies er mithilfe der Garbentheorie (Sheaf Theory) und der Čech-Kohomologie (Čech Cohomology), dass unmögliche Figuren weit mehr sind als bloße optische Täuschungen: Eine unmögliche Figur ist die direkte visuelle Darstellung einer nicht-trivialen Kohomologieklasse in der ersten Čech-Kohomologiegruppe $\check{H}^1(Q; \mathbb{R}^+)$.

In diesem Artikel untersuchen wir die Geschichte unmöglicher Figuren von Oscar Reutersvärd über Lionel und Roger Penrose bis zu M.C. Escher, analysieren den Verlust der Tiefendimension durch die Zentralprojektion $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ und das Huffman–Clowes-Linienkalkül, entwickeln Penroses garbentheoretische Kohomologie-Formulierung Schritt für Schritt und schlagen den Bogen zu Kokichi Sugiharas real gebauten „Impossible Motion“-Skulpturen sowie zur de-Rham-Kohomologie, dem Aharonov–Bohm-Effekt und der Quantenkontextualität.

1. Das Zeichenbare, aber Unbaubare: Reutersvärd, Penrose und Escher

1.1 Von der Perspektivsatire zum reinen geometrischen Paradoxon

Während frühe Kunstwerke wie William Hogarths Kupferstich Satire on False Perspective (1754) komplexe Verdeckungen in ganzen Landschaftsszenen nutzten, schuf der schwedische Künstler Oscar Reutersvärd (1915–2002) im Jahr 1934 als 18-jähriger Schüler während einer Lateinstunde das erste reine unmögliche Objekt (Opus 1): Neun Würfel in isometrischer Parallelprojektion, die ein Dreieck bilden, dessen Tiefe sich zyklisch widerspricht. Reutersvärd zeichnete im Laufe seines Lebens über 2.500 solcher Figuren, die 1982 auf schwedischen Briefmarken gewürdigt wurden.

1.2 Februar 1958: Der Meilenstein von Lionel und Roger Penrose

Unabhängig von Reutersvärd besuchte der junge Cambridger Mathematiker Roger Penrose (1931–) während des Internationalen Mathematikerkongresses (ICM) 1954 in Amsterdam eine Ausstellung von M.C. Escher (1898–1972). Fasziniert von Eschers Raumillusionen reduzierte Roger Penrose das Paradoxon auf seine reinste geometrische Essenz: den aus drei rechtwinklig verbundenen Vierkantbalken bestehenden Penrose-Dreiecksrahmen (Penrose Tribar). Sein Vater, der Psychiater und Genetiker Lionel S. Penrose (1898–1972), entwarf als Antwort darauf die endlose Penrose-Treppe (Penrose Endless Staircase).

Im Februar 1958 veröffentlichten Vater und Sohn im British Journal of Psychology (Bd. 49, S. 31–33) ihren berühmten dreiseitigen Aufsatz “Impossible Objects: A Special Type of Visual Illusion”:

“Hier ist jeder einzelne Teil der Struktur als Darstellung eines normalen festen Körpers akzeptabel, doch die Katastrophe entsteht durch falsche Verbindungen der Teile (false connexions of the parts)…”

Als die Penroses einen Sonderdruck an Escher schickten, schuf dieser seine berühmtesten Meisterwerke: Belvedere (Mai 1958), Treppauf und Treppab (Ascending and Descending, März 1960, basierend auf der Penrose-Treppe) und Wasserfall (Waterfall, Oktober 1961, aufgebaut aus drei verketteten Penrose-Dreiecken).

2. Geometrie des Sehens: Wie die Projektion $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ die Tiefe auslöscht

2.1 Zentralprojektion, Parallelprojektion und ihre 1D-Fasern

Befindet sich das Auge des Betrachters (das optische Zentrum) im Ursprung $\mathbf{0} = (0,0,0) \in \mathbb{R}^3$, so bildet die Zentralprojektion (Perspektivprojektion) $\pi: \mathbb{R}^3 \setminus \{\mathbf{0}\} \to \mathbb{R}^2$ (bzw. auf die Richtungssphäre $S^2$) jeden Raumpunkt $\mathbf{r} = (x, y, z)$ mit $z > 0$ auf die Bildebene im Abstand $f > 0$ ab:

Was ist das Urbild (die Faser / Fiber) $\pi^{-1}(p)$ eines einzelnen 2D-Bildpunktes $p = \pi(\mathbf{r}_0)$? Da jede Streckung um einen positiven Skalenfaktor $\lambda \in \mathbb{R}^+ = (0, \infty)$ entlang des Sehstrahls die Richtung unverändert lässt ($\pi(\lambda \mathbf{r}_0) = \pi(\mathbf{r}_0) = p$), ist die Faser über jedem Punkt $p$ ein eindimensionaler offener Halbstrahl, parametrisiert durch die multiplikative Gruppe der positiven reellen Zahlen $\mathbb{R}^+ = ((0, \infty), \times)$:

Daraus folgt eine fundamentale geometrische Eigenschaft: Skaliert man ein beliebiges starres 3D-Bauteil $\tilde{Q}_i \subset \mathbb{R}^3 \setminus \{\mathbf{0}\}$ vom Ursprung aus um den Faktor $\lambda \in \mathbb{R}^+$ ($\mathbf{r} \mapsto \lambda \mathbf{r}$), so bleiben sowohl sämtliche 3D-Winkel ($90^\circ$) als auch das 2D-Netzhautbild $\pi(\lambda \tilde{Q}_i) = \pi(\tilde{Q}_i)$ exakt identisch! Unter orthographischer Parallelprojektion $\pi_{\text{orth}}(x,y,z) = (x,y)$ entspricht dieser Freiheit eine Tiefenverschiebung $z \mapsto z + c$ durch die additive Gruppe $(\mathbb{R}, +)$, die über den Logarithmus $\ln: (\mathbb{R}^+, \times) \xrightarrow{\sim} (\mathbb{R}, +)$ kanonisch isomorph zu $\mathbb{R}^+$ ist.

2.2 Das Huffman–Clowes-Linienkalkül (1971)

Um aus einer 2D-Linienzeichnung einen 3D-Körper zu rekonstruieren, nutzt das visuelle System starke A-priori-Annahmen: Ebenheit der Flächen (Planarity), Rechtwinkligkeit (Orthogonality, $90^\circ$-Prior) und die Annahme eines allgemeinen Blickpunkts (General Viewpoint Assumption).

1971 entwickelten David A. Huffman und Max B. Clowes unabhängig voneinander das Huffman–Clowes-Linienkalkül, das jeder Kante einer Polyederzeichnung eines von vier Labels zuweist: $+$ (konvexe Kante), $-$ (konkave Kante) sowie $\rightarrow, \leftarrow$ (verdeckende Umrisskante, bei der die sichtbare Fläche rechts des Pfeils liegt).

Bemerkenswerterweise besteht das Penrose-Dreieck den kombinatorischen Huffman–Clowes-Test zu 100 %! Jede einzelne Ecke (L-, Y/Fork-, Arrow- und T-Kreuzung) besitzt eine physikalisch gültige 3D-Interpretation. Das Scheitern des Penrose-Dreiecks liegt also nicht in einer lokalen kombinatorischen Unverträglichkeit, sondern im Nicht-Schließen kontinuierlicher Tiefenkoordinaten entlang einer topologisch nicht-kontrahierbaren Schleife.

3. Lokale Konsistenz vs. Globaler Widerspruch: Das Verkleben über einer offenen Überdeckung

Sei $Q \subset \mathbb{R}^2$ die 2D-Zeichnung des Penrose-Dreiecks, die topologisch zum Kreis $S^1$ homotopieäquivalent ist ($Q \simeq S^1$). Wir überdecken $Q$ mit drei offenen Mengen $\mathcal{U} = \{U_1, U_2, U_3\}$, wobei jedes $U_i$ eine der drei rechtwinkligen Ecken $C_i$ samt den angrenzenden Balkenabschnitten enthält:

1. Jedes $U_i$ ($i=1,2,3$) ist einfach zusammenhängend (kontrahierbar).
2. Die paarweisen Durchschnitte $U_{12} = U_1 \cap U_2$, $U_{23} = U_2 \cap U_3$ und $U_{31} = U_3 \cap U_1$ liegen in der Mitte der drei Balken und sind nicht-leer und kontrahierbar.
3. Der Dreifachdurchschnitt ist leer: $U_1 \cap U_2 \cap U_3 = \emptyset$. Der Nerv der Überdeckung $N(\mathcal{U})$ ist somit der Dreiecksrand $\partial \Delta^2 \cong S^1$.

Über jedem $U_i$ existiert ein eindeutiges standardisiertes 3D-Eckenmodell $\tilde{Q}_i^{\text{std}}$, und jeder gültige lokale 3D-Lift über $U_i$ hat die Form $\tilde{Q}_i(d_i) = d_i \cdot \tilde{Q}_i^{\text{std}}$ mit einem positiven Tiefenskalenfaktor $d_i \in \mathbb{R}^+$.

Damit auf dem Überlappungsbereich $U_{12} = U_1 \cap U_2$ die beiden 3D-Teile $\tilde{Q}_1(d_1)$ und $\tilde{Q}_2(d_2)$ nahtlos ineinander übergehen, erzwingt die perspektivische Verkürzung des Balkens ein festes Verhältnis $f_{12} = r > 1$. Wegen der dreizähligen Rotationssymmetrie gilt auf allen drei Überlappungen:

Multipliziert man diese drei Gleichungen entlang des geschlossenen Zyklus $1 \to 2 \to 3 \to 1$, kürzen sich alle $d_i$ heraus und es folgt der globale Widerspruch:

  flowchart TD
    subgraph Cover["Offene Überdeckung U = {U1, U2, U3} der 2D-Figur Q ≃ S¹"]
        U1["Offene Menge U1 (Ecke C1)<br/>Lokaler 3D-Lift Q̃1(d1): Gültiges 90°-Gelenk"]
        U2["Offene Menge U2 (Ecke C2)<br/>Lokaler 3D-Lift Q̃2(d2): Gültiges 90°-Gelenk"]
        U3["Offene Menge U3 (Ecke C3)<br/>Lokaler 3D-Lift Q̃3(d3): Gültiges 90°-Gelenk"]
    end

    U1 -->|"Überlappung U12 = U1 ∩ U2 Verklebebedingung<br/>d1 / d2 = f12 = r > 1"| U2
    U2 -->|"Überlappung U23 = U2 ∩ U3 Verklebebedingung<br/>d2 / d3 = f23 = r > 1"| U3
    U3 -->|"Überlappung U31 = U3 ∩ U1 Verklebebedingung<br/>d3 / d1 = f31 = r > 1"| U1

    U1 & U2 & U3 --> Holonomy["Zyklische Holonomie entlang 1 → 2 → 3 → 1<br/>Φ(f) = f12 · f23 · f31 = r³ > 1 ≠ 1"]
    Holonomy --> Obstruction["Globale Kohomologie-Obstruktion!<br/>Nicht-triviale Klasse [f] ∈ Ȟ¹(Q; ℝ⁺) ≅ ℝ<br/>⇒ Keine globale 3D-Tiefenzuweisung (d1, d2, d3) möglich"]

4. Sir Roger Penroses Formulierung (1992): Garben und Čech-Kohomologie

In “On the Cohomology of Impossible Figures” (1992) fasste Roger Penrose die Skalierungsfreiheit in der abelschen Ambiguitätsgruppe (Ambiguity Group) $G = (\mathbb{R}^+, \times)$ zusammen und betrachtete den Čech-Kokettenkomplex der lokal konstanten Garbe $\mathcal{F}$ mit Werten in $G$:

• 0-Koketten $C^0(\mathcal{U}, \mathbb{R}^+) = (\mathbb{R}^+)^3$: Familien $d = (d_1, d_2, d_3)$ lokaler Tiefenskalierungen.
• 1-Koketten $C^1(\mathcal{U}, \mathbb{R}^+)$: Übergangsverhältnisse $f = (f_{12}, f_{23}, f_{31})$ auf den Durchschnitten $U_{ij}$ mit $f_{ji} = f_{ij}^{-1}$.
• Korandoperatoren (Coboundary Operators): $(\delta^0 d)_{ij} = d_i / d_j$ und $(\delta^1 f)_{ijk} = f_{ij} f_{jk} f_{ki}$, wobei $\delta^1 \circ \delta^0 = 1$ gilt.

Da $U_1 \cap U_2 \cap U_3 = \emptyset$ ist, ist jede 1-Kokette automatisch ein 1-Kozyklus ($Z^1(\mathcal{U}, \mathbb{R}^+) = \ker \delta^1 \cong (\mathbb{R}^+)^3$). Eine global konsistente 3D-Realisierung existiert genau dann, wenn $f$ ein 1-Korand ist ($f \in B^1(\mathcal{U}, \mathbb{R}^+) = \operatorname{Im} \delta^0$), also $f_{ij} = d_i / d_j$ für ein globales $(d_1, d_2, d_3)$ gilt.

Die erste Čech-Kohomologiegruppe ist die Faktorgruppe:

Der surjektive Holonomie-Homomorphismus $\Phi(f) = f_{12} f_{23} f_{31}$ besitzt genau die Koränder $B^1(\mathcal{U}, \mathbb{R}^+)$ als Kern ($\ker \Phi = B^1$). Für das Penrose-Dreieck gilt $\Phi(f) = r^3 \neq 1$ ($\ln \Phi(f) = 3\ln r \neq 0$). Damit lautet Penroses Hauptsatz über unmögliche Figuren (1992): Die globale 3D-Unbaubarkeit einer lokal konsistenten Zeichnung $Q$ wird exakt durch ein nicht-triviales Element $[f] \neq 1$ in der ersten Čech-Kohomologiegruppe $\check{H}^1(Q; G)$ gemessen!

Schneidet man das Dreieck an einer Stelle auf, wird der Raum zu einem kontrahierbaren Intervall $Q_{\text{cut}} \simeq [0, 1]$, dessen Kohomologie verschwindet ($\check{H}^1([0, 1]; \mathbb{R}^+) = \{1\}$). Deshalb lassen sich reale Skulpturen (wie in East Perth, Australien) als offener Haken in 3D bauen, dessen räumlich getrennte Enden nur aus einem einzigen zufälligen Blickwinkel (Accidental Viewpoint) entlang desselben Sehstrahls $\pi^{-1}(p)$ im 2D-Bild zu $S^1$ verschmelzen!

5. Kokichi Sugiharas „Impossible Motion“-Körper und die Universalität der Garbenkohomologie

5.1 Kokichi Sugiharas lineare Algebra unmöglicher Festkörper

Der japanische Mathematiker Kokichi Sugihara (杉原厚吉) zeigte in seinem Werk Machine Interpretation of Line Drawings (MIT Press, 1986), dass eine Linienzeichnung genau dann als allgemeines 3D-Polyeder mit ebenen Flächen realisierbar ist, wenn das lineare Gleichungs- und Ungleichungssystem

für den Vektor $\mathbf{w}$ aller Eckentiefen $z_k$ und Ebenengleichungsparameter $(a_m, b_m, c_m)$ eine Lösung besitzt. Während das menschliche Gehirn unbewusst zusätzliche Rechtwinkligkeitsbedingungen $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ erzwingt (was auf $\check{H}^1 \neq 0$ und Unlösbarkeit führt), ließ Sugihara $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ weg und berechnete reale, lückenlos geschlossene 3D-Körper $\mathbf{w}^*$ aus schiefen Trapezflächen. Da unser Gehirn beim Betrachten weiterhin den $90^\circ$-Prior erzwingt, interpretiert es eine physikalisch bergab geneigte Rampe als bergauf führend – sodass Holzkugeln scheinbar entgegen der Schwerkraft nach oben rollen!

5.2 Das universelle Paradigma der Kohomologie in Mathematik, Physik und Informatik

  flowchart TD
    Root["Universelle Architektur von Garben (Sheaves) & Kohomologie H¹(X, F)<br/>Messung der globalen Obstruktion beim Verkleben lokal konsistenter Daten"]

    Root --> Dom1["1. Geometrie unmöglicher Figuren<br/>(Penrose, 1992)"]
    Root --> Dom2["2. Differentialgeometrie & de-Rham-Kohomologie<br/>(H¹_dR(M) = Geschlossene / Exakte Formen)"]
    Root --> Dom3["3. Eichtheorie & Aharonov–Bohm-Effekt<br/>(Flache Zusammenhänge auf U(1)-Bündeln)"]
    Root --> Dom4["4. Quantenkontextualität & Bell-Nichtlokalität<br/>(Abramsky & Brandenburger, 2011)"]
    Root --> Dom5["5. Angewandte Topologie & Hodge-Ranking<br/>(Ghrist; Jiang–Lim–Yao–Ye)"]

    Dom1 --> Obs1["Lokal: Gültige 90°-3D-Ecken Q̃_i(d_i)<br/>Globale Obstruktion: Zyklisches Produkt Φ = ∏ f_ij ≠ 1<br/>⇒ Unbaubar als geschlossener orthogonaler 3D-Körper"]
    Dom2 --> Obs2["Lokal: Wirbelfreie 1-Form dω = 0 (ω = df_i lokal)<br/>Globale Obstruktion: Ringintegral ∮_γ ω ≠ 0 (z.B. dθ)<br/>⇒ Kein globales eindeutiges Skalarpotential f auf M"]
    Dom3 --> Obs3["Lokal: Magnetfeld B = ∇×A = 0 (A = ∇χ_i lokal)<br/>Globale Obstruktion: Eingeschlossener Fluss ∮ A·dl ≠ 0<br/>⇒ Messbare Quantenphasenverschiebung im feldfreien Raum"]
    Dom4 --> Obs4["Lokal: Klassische Wahrscheinlichkeitsverteilung je Messkontext<br/>Globale Obstruktion: Nicht-triviale Kohomologie über Kontextzyklus<br/>⇒ Kein globales nicht-kontextuelles verborgenes Variablenmodell"]
    Dom5 --> Obs5["Lokal: Konsistente Paarvergleiche (A > B, B > C)<br/>Globale Obstruktion: Condorcet-Zyklen (C > A) in H¹(G; ℝ)<br/>⇒ Keine globale transitive Rangliste oder Uhrensynchronisation"]

Das Staunen, das uns beim Betrachten von Eschers endloser Treppe oder des Penrose-Dreiecks ergreift, ist nichts Geringeres als der unmittelbare Erfahrungsbeweis dafür, dass unser visueller Kortex entlang geschlossener Pfade eine Parallelverschiebung integriert und in Echtzeit eine nicht-triviale Kohomologieklasse in $\check{H}^1(Q; \mathbb{R}^+)$ detektiert.

Literaturverzeichnis

1. Penrose, L. S., & Penrose, R. (1958). “Impossible Objects: A Special Type of Visual Illusion.” British Journal of Psychology, 49(1), 31–33.
2. Penrose, R. (1992). “On the Cohomology of Impossible Figures.” Structural Topology, 17, 11–16.
3. Huffman, D. A. (1971). “Impossible Objects as Nonsense Sentences.” Machine Intelligence, 6, 295–323.
4. Sugihara, K. (1986). Machine Interpretation of Line Drawings. MIT Press.
5. Abramsky, S., & Brandenburger, A. (2011). “The Sheaf-Theoretic Structure of Non-Locality and Contextuality.” New Journal of Physics, 13(11), 113036.