Avec une simple feuille de papier, un crayon et une règle, n’importe qui peut tracer en quelques minutes une tripoutre de Penrose (triangle de Penrose / Penrose Tribar) : trois poutres droites à section carrée se rencontrent deux à deux à angle droit ($90^\circ$) pour former ce qui semble être un cadre triangulaire fermé et rigide. Songeons encore au célèbre cloître de la lithographie Montée et Descente (Ascending and Descending, 1960) du graveur néerlandais Maurits Cornelis Escher (1898–1972) : deux files de moines gravissent et descendent sans relâche un escalier quadrangulaire, montant perpétuellement tout en revenant exactement à leur altitude de départ.

Face à ces figures impossibles (Impossible Figures / Impossible Objects), notre cortex visuel éprouve un singulier vertige cognitif. Regardez uniquement le coin supérieur du triangle de Penrose : c’est un assemblage de menuiserie tridimensionnel à angle droit parfaitement banal et physiquement irréprochable. Portez le regard sur le coin inférieur gauche, puis sur le coin inférieur droit : là encore, aucune loi de la géométrie euclidienne n’est transgressée. Pourtant, dès que l’œil parcourt le périmètre fermé des trois poutres, une catastrophe globale surgit — une poutre située indubitablement au premier plan à une extrémité passe sans discontinuité derrière une poutre située à l’arrière-plan à l’autre extrémité.

Comment la main humaine peut-elle dessiner sur un plan bidimensionnel un objet qui est localement cohérent partout, mais globalement impossible à réaliser dans l’espace euclidien tridimensionnel $\mathbb{R}^3$ ? Et comment les mathématiques contemporaines formalisent-elles le passage exact de la cohérence locale (Local Consistency) à la contradiction globale (Global Contradiction) ?

En 1992, le physicien mathématicien et futur lauréat du prix Nobel Sir Roger Penrose a publié un article fondateur intitulé “On the Cohomology of Impossible Figures”. En mobilisant la théorie des faisceaux (Sheaf Theory / Théorie des faisceaux) créée par Jean Leray et la cohomologie de Čech (Čech Cohomology), Penrose a démontré qu’une figure impossible n’est nullement une simple illusion d’optique : c’est la manifestation visuelle directe d’une classe de cohomologie non triviale dans le premier groupe de cohomologie de Čech $\check{H}^1(Q; \mathbb{R}^+)$.

Dans cet article, nous retraçons l’histoire des figures impossibles d’Oscar Reutersvärd à Escher et aux Penrose, analysons la géométrie projective de la perte de profondeur sous la projection $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ ainsi que le calcul d’étiquetage de Huffman–Clowes, construisons pas à pas la cohomologie de Čech de Penrose, dévoilons l’algèbre linéaire des sculptures à « mouvement impossible » de Kokichi Sugihara et montrons comment cette même obstruction cohomologique régit la cohomologie de de Rham, l’effet Aharonov–Bohm, la contextualité quantique et la théorie de Hodge sur les graphes.

1. Dessiner l’inconstructible : Reutersvärd, les Penrose et M.C. Escher

1.1 De la satire de la perspective au paradoxe géométrique pur

Si des transgressions délibérées des règles de la perspective linéaire apparaissent dès la gravure Satire on False Perspective (1754) de William Hogarth, le véritable père des figures géométriques impossibles pures est l’artiste suédois Oscar Reutersvärd (1915–2002). En 1934, alors lycéen de 18 ans s’ennuyant pendant un cours de latin, il dessina dans la marge de son manuel neuf cubes disposés en anneau triangulaire paradoxal (Opus 1). Il réalisa au cours de sa vie plus de 2 500 figures impossibles en projection axonométrique, célébrées en 1982 par une série de timbres-poste suédois.

1.2 Février 1958 : L’article historique de Lionel et Roger Penrose

Indépendamment de Reutersvärd, lors du Congrès international des mathématiciens (ICM) d’Amsterdam en 1954, le jeune mathématicien de Cambridge Roger Penrose (1931–) découvrit avec fascination une exposition de M.C. Escher. De retour en Angleterre, il chercha à distiller l’essence pure d’un paradoxe spatial et inventa la tripoutre de Penrose (Penrose Tribar), tandis que son père, le psychiatre et généticien Lionel S. Penrose (1898–1972), conçut l’escalier sans fin de Penrose (Penrose Endless Staircase).

En février 1958, père et fils publièrent dans le British Journal of Psychology (vol. 49, p. 31–33) leur célèbre note “Impossible Objects: A Special Type of Visual Illusion” :

“Ici, chaque partie de la structure est acceptable comme représentant un objet solide normal, mais la catastrophe survient en raison de fausses connexions entre les parties (false connexions of the parts)…”

Après avoir reçu un tiré à part de cet article envoyé par les Penrose, Escher créa sa trilogie immortelle : Belvédère (mai 1958), Montée et Descente (mars 1960, intégrant l’escalier des Penrose) et Chute d’eau (Waterfall, octobre 1961, enchaînant trois triangles de Penrose en un aqueduc perpétuel).

2. Géométrie de la vision : Comment la projection $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ écrase les fibres de profondeur

2.1 Projection centrale, projection parallèle et leurs fibres unidimensionnelles

Plaçons le centre optique de l’œil de l’observateur à l’origine $\mathbf{0} = (0,0,0) \in \mathbb{R}^3$. La projection centrale (perspective) $\pi: \mathbb{R}^3 \setminus \{\mathbf{0}\} \to \mathbb{R}^2$ (ou vers la sphère des directions visuelles $S^2$) projette tout point $\mathbf{r} = (x, y, z)$ du demi-espace $z > 0$ sur le plan rétinien situé à la distance focale $f > 0$ :

Quelle est l’image réciproque (la fibre / Fiber) $\pi^{-1}(p)$ d’un point d’image bidimensionnel $p = \pi(\mathbf{r}_0)$ ? Puisque toute homothétie radiale $\mathbf{r}_0 \mapsto \lambda \mathbf{r}_0$ par un réel strictement positif $\lambda \in \mathbb{R}^+ = (0, \infty)$ conserve la direction du rayon visuel ($\pi(\lambda \mathbf{r}_0) = \pi(\mathbf{r}_0) = p$), la fibre au-dessus de chaque point $p$ est une demi-droite ouverte paramétrée par le groupe multiplicatif $\mathbb{R}^+ = ((0, \infty), \times)$ :

Il en découle une propriété géométrique fondamentale : si l’on applique à n’importe quel fragment rigide tridimensionnel $\tilde{Q}_i \subset \mathbb{R}^3 \setminus \{\mathbf{0}\}$ une homothétie $\mathbf{r} \mapsto \lambda \mathbf{r}$ centrée sur l’œil ($\lambda \in \mathbb{R}^+$), non seulement tous ses angles dièdres ($90^\circ$) sont strictement préservés, mais son image rétinienne bidimensionnelle $\pi(\lambda \tilde{Q}_i) = \pi(\tilde{Q}_i)$ demeure rigoureusement identique ! En projection parallèle orthographique $\pi_{\text{orth}}(x,y,z) = (x,y)$, cette liberté correspond à une translation de profondeur $z \mapsto z + c$ gouvernée par le groupe additif $(\mathbb{R}, +)$, canoniquement isomorphe à $(\mathbb{R}^+, \times)$ via le logarithme $\ln: (\mathbb{R}^+, \times) \xrightarrow{\sim} (\mathbb{R}, +)$.

2.2 Le calcul d’étiquetage des lignes de Huffman–Clowes (1971)

Pour résoudre le problème inverse mal posé de la reconstruction 3D, le cortex visuel impose des a priori de régularité : planéité des faces, orthogonalité ($90^\circ$) et hypothèse de point de vue général. En 1971, David A. Huffman et Max B. Clowes ont formalisé l’interprétation des dessins polyédriques en attribuant à chaque arête l’une des quatre étiquettes physiques : $+$ (arête convexe), $-$ (arête concave), et $\rightarrow, \leftarrow$ (contour d’occultation, la face visible se trouvant à droite de la flèche).

Or, fait remarquable, le triangle de Penrose réussit à 100 % le test combinatoire de Huffman–Clowes ! Chaque jonction (L, Y/Fork, Flèche, T) possède une interprétation 3D valide. L’impossibilité du triangle de Penrose ne provient donc pas d’une incompatibilité combinatoire locale, mais d’une obstruction globale (cohomologique) au recollement des coordonnées continues de profondeur le long d’un lacet non contractile.

3. Cohérence locale et contradiction globale : Le recollement sur un recouvrement ouvert

Soit $Q \subset \mathbb{R}^2$ le dessin bidimensionnel du triangle de Penrose, qui a le type d’homotopie du cercle ($Q \simeq S^1$). Recouvrons $Q$ par trois ouverts $\mathcal{U} = \{U_1, U_2, U_3\}$, chacun contenant l’un des trois coins $C_1, C_2, C_3$ ainsi que la majeure partie des deux poutres adjacentes :

1. Chaque ouvert $U_i$ ($i=1,2,3$) est simplement connexe (contractile).
2. Les intersections deux à deux $U_{12} = U_1 \cap U_2$, $U_{23} = U_2 \cap U_3$ et $U_{31} = U_3 \cap U_1$ sont des segments contractiles non vides situés au milieu de chaque poutre.
3. L’intersection triple est vide : $U_1 \cap U_2 \cap U_3 = \emptyset$. Le nerf du recouvrement $N(\mathcal{U})$ est donc exactement le bord du triangle $\partial \Delta^2 \cong S^1$.

Au-dessus de chaque ouvert $U_i$, on dispose d’un relèvement 3D standard $\tilde{Q}_i^{\text{std}}$, et tout relèvement rigide valide s’écrit $\tilde{Q}_i(d_i) = d_i \cdot \tilde{Q}_i^{\text{std}}$ où $d_i \in \mathbb{R}^+$ désigne le facteur d’échelle de profondeur du coin $C_i$.

Pour recoller continûment $\tilde{Q}_1(d_1)$ et $\tilde{Q}_2(d_2)$ sur la zone de chevauchement $U_{12} = U_1 \cap U_2$, le raccourci perspectif de la poutre impose un rapport fixe $f_{12} = r > 1$. Par symétrie de rotation d’ordre 3, les trois conditions de recollement s’écrivent :

En multipliant ces trois relations le long du lacet fermé $1 \to 2 \to 3 \to 1$, les facteurs $d_i$ s’éliminent et révèlent une contradiction algébrique immédiate :

  flowchart TD
    subgraph Cover["Recouvrement ouvert U = {U1, U2, U3} du dessin 2D Q ≃ S¹"]
        U1["Ouvert U1 (Coin C1)<br/>Relèvement 3D local Q̃1(d1) : Joint orthogonal 90° valide"]
        U2["Ouvert U2 (Coin C2)<br/>Relèvement 3D local Q̃2(d2) : Joint orthogonal 90° valide"]
        U3["Ouvert U3 (Coin C3)<br/>Relèvement 3D local Q̃3(d3) : Joint orthogonal 90° valide"]
    end

    U1 -->|"Chevauchement U12 = U1 ∩ U2 Condition de recollement<br/>d1 / d2 = f12 = r > 1"| U2
    U2 -->|"Chevauchement U23 = U2 ∩ U3 Condition de recollement<br/>d2 / d3 = f23 = r > 1"| U3
    U3 -->|"Chevauchement U31 = U3 ∩ U1 Condition de recollement<br/>d3 / d1 = f31 = r > 1"| U1

    U1 & U2 & U3 --> Holonomy["Holonomie cyclique le long du lacet 1 → 2 → 3 → 1<br/>Φ(f) = f12 · f23 · f31 = r³ > 1 ≠ 1"]
    Holonomy --> Obstruction["Obstruction cohomologique globale !<br/>Classe non triviale [f] ∈ Ȟ¹(Q; ℝ⁺) ≅ ℝ<br/>⇒ Aucune affectation globale de profondeur (d1, d2, d3) n'existe"]

4. La formulation de Sir Roger Penrose (1992) : Faisceaux et cohomologie de Čech

Dans son article “On the Cohomology of Impossible Figures” (1992), Roger Penrose définit le groupe d’ambiguïté (Ambiguity Group) $G = (\mathbb{R}^+, \times)$ et considère le faisceau localement constant $\mathcal{F}$ de fibre $G$ sur $Q$. Le complexe de cochaînes de Čech associé au bon recouvrement $\mathcal{U} = \{U_1, U_2, U_3\}$ s’écrit :

• 0-cochaînes $C^0(\mathcal{U}, \mathbb{R}^+) = (\mathbb{R}^+)^3$ : Assignations d’échelles de profondeur locales $d = (d_1, d_2, d_3)$.
• 1-cochaînes $C^1(\mathcal{U}, \mathbb{R}^+)$ : Rapports de transition $f = (f_{12}, f_{23}, f_{31})$ sur les intersections $U_{ij}$ avec $f_{ji} = f_{ij}^{-1}$.
• Opérateurs cobord (Coboundary Operators) : $(\delta^0 d)_{ij} = d_i / d_j$ et $(\delta^1 f)_{ijk} = f_{ij} f_{jk} f_{ki}$, vérifiant $\delta^1 \circ \delta^0 = 1$.

Puisque $U_1 \cap U_2 \cap U_3 = \emptyset$, toute 1-cochaîne est un 1-cocycle ($Z^1(\mathcal{U}, \mathbb{R}^+) = \ker \delta^1 \cong (\mathbb{R}^+)^3$). Le dessin est globalement réalisable en 3D si et seulement si $f$ est un 1-cobord ($f \in B^1(\mathcal{U}, \mathbb{R}^+) = \operatorname{Im} \delta^0$), c’est-à-dire s’il existe $d \in C^0$ tel que $f_{ij} = d_i / d_j$.

Le premier groupe de cohomologie de Čech est le groupe quotient :

Le morphisme d’holonomie $\Phi(f) = f_{12} f_{23} f_{31}$ a pour noyau exactement $B^1(\mathcal{U}, \mathbb{R}^+)$. Pour le triangle de Penrose, $\Phi(f) = r^3 \neq 1$ ($\ln \Phi(f) = 3\ln r \neq 0$), d’où le théorème de Penrose (1992) : l’obstruction à la réalisabilité 3D globale d’un dessin localement valide $Q$ est exactement caractérisée par une classe de cohomologie non triviale $[f] \neq 1$ dans $\check{H}^1(Q; G)$ !

Si l’on coupe le triangle en un point, l’espace devient un intervalle contractile $Q_{\text{cut}} \simeq [0, 1]$ dont la cohomologie s’annule ($\check{H}^1([0, 1]; \mathbb{R}^+) = \{1\}$). C’est pourquoi les sculptures physiques (comme celle d’East Perth en Australie) sont en réalité des crochets 3D ouverts dont les deux extrémités décalées en profondeur s’alignent sur un même rayon visuel $\pi^{-1}(p)$ depuis un unique point de vue accidentel !

5. Les sculptures à « mouvement impossible » de Kokichi Sugihara et l’universalité de la cohomologie

5.1 L’algèbre linéaire des solides impossibles de Kokichi Sugihara

Le mathématicien japonais Kokichi Sugihara (杉原厚吉) a démontré dans Machine Interpretation of Line Drawings (MIT Press, 1986) qu’un dessin linéaire est réalisable comme polyèdre 3D à faces planes si et seulement si le système linéaire d’équations d’incidence et d’inégalités de profondeur

admet une solution $\mathbf{w}$. Alors que le cerveau humain ajoute inconsciemment des équations d’orthogonalité $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ (rendant le système incompatible avec $\check{H}^1 \neq 0$), Sugihara supprime $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ et construit de vrais solides 3D continus $\mathbf{w}^*$ composés de trapèzes inclinés. Trompé par son a priori d’orthogonalité, notre cerveau perçoit une pente physiquement descendante comme une rampe montante, donnant l’illusion stupéfiante que des billes en bois remontent la pente contre la gravité !

5.2 Le paradigme universel des faisceaux et de la cohomologie à travers les sciences

  flowchart TD
    Root["Architecture universelle des faisceaux (Sheaves) et de la cohomologie H¹(X, F)<br/>Mesurer l'obstruction globale au recollement de données localement cohérentes"]

    Root --> Dom1["1. Géométrie des figures impossibles<br/>(Penrose, 1992)"]
    Root --> Dom2["2. Géométrie différentielle & cohomologie de de Rham<br/>(H¹_dR(M) = Formes fermées / exactes)"]
    Root --> Dom3["3. Théorie de jauge & effet Aharonov–Bohm<br/>(Connexions plates sur fibrés U(1))"]
    Root --> Dom4["4. Contextualité quantique & non-localité de Bell<br/>(Abramsky & Brandenburger, 2011)"]
    Root --> Dom5["5. Topologie appliquée & classement de Hodge<br/>(Ghrist ; Jiang–Lim–Yao–Ye)"]

    Dom1 --> Obs1["Local : Coins 3D orthogonaux valides Q̃_i(d_i)<br/>Obstruction globale : Produit cyclique Φ = ∏ f_ij ≠ 1<br/>⇒ Impossible à construire comme solide 3D orthogonal fermé"]
    Dom2 --> Obs2["Local : 1-forme irrotationnelle dω = 0 (ω = df_i localement)<br/>Obstruction globale : Intégrale de boucle ∮_γ ω ≠ 0 (ex: dθ)<br/>⇒ Aucun potentiel scalaire global f sur le plan épointé"]
    Dom3 --> Obs3["Local : Champ magnétique nul B = ∇×A = 0 (A = ∇χ_i)<br/>Obstruction globale : Flux magnétique enlacé ∮ A·dl ≠ 0<br/>⇒ Déphasage quantique observable en région sans champ"]
    Dom4 --> Obs4["Local : Distribution de probabilité classique sur chaque contexte<br/>Obstruction globale : Classe de cohomologie non nulle sur le cycle<br/>⇒ Aucun modèle global à variables cachées non contextuel"]
    Dom5 --> Obs5["Local : Comparaisons par paires cohérentes (A > B, B > C)<br/>Obstruction globale : Cycles de Condorcet (C > A) dans H¹(G; ℝ)<br/>⇒ Pas de classement global transitif ni de synchronisation"]

Ce vertige qui nous saisit lorsque notre regard parcourt le triangle de Penrose ou l’escalier d’Escher est la preuve directe que notre cortex visuel effectue un transport parallèle le long d’un lacet fermé et détecte en temps réel une classe de cohomologie non triviale dans $\check{H}^1(Q; \mathbb{R}^+)$.

Références

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.