Con solo una hoja de papel, un lápiz y una regla, cualquiera puede dibujar en pocos minutos un triángulo de Penrose (tribarra de Penrose / Penrose Tribar): tres vigas rectas de sección cuadrada que se unen de dos en dos en ángulo recto ($90^\circ$), formando lo que parece ser un marco triangular cerrado y rígido. O pensemos en la célebre escalera del monasterio en la litografía Ascendente y Descendente (Ascending and Descending, 1960) del artista neerlandés Maurits Cornelis Escher (1898–1972): dos filas de monjes suben y bajan incansablemente por una escalera cuadrangular, ascendiendo perpetuamente y regresando, sin embargo, exactamente a la misma altura de partida.

Cuando contemplamos estas figuras imposibles (Impossible Figures / Impossible Objects), nuestra corteza visual experimenta un peculiar vértigo cognitivo. Si observamos únicamente la esquina superior del triángulo de Penrose, vemos un ensamble tridimensional en ángulo recto completamente ordinario y físicamente impecable. Si desplazamos la mirada hacia la esquina inferior izquierda o hacia la esquina inferior derecha, tampoco se viola ninguna ley de la geometría euclidiana. Sin embargo, en el instante en que el ojo recorre de forma continua el perímetro cerrado de las tres vigas, estalla una catástrofe global: una viga que en un extremo está indiscutiblemente más cerca del observador pasa sin interrupción por detrás de una viga que se encuentra más lejos en el otro extremo.

¿Cómo es posible que la mano humana dibuje sin esfuerzo sobre un plano bidimensional un objeto que es localmente consistente en todas partes, pero globalmente imposible de construir en el espacio euclidiano tridimensional $\mathbb{R}^3$? ¿Y cómo formaliza la matemática moderna el mecanismo exacto mediante el cual la consistencia local (Local Consistency) fracasa al intentar ensamblarse en una existencia global (Global Realizability)?

En 1992, el físico matemático y premio Nobel Sir Roger Penrose publicó su brillante artículo “On the Cohomology of Impossible Figures”. Utilizando la teoría de haces (Sheaf Theory) y la cohomología de Čech (Čech Cohomology), Penrose demostró que una figura imposible no es un simple truco pictórico, sino la manifestación visual directa de una clase de cohomología no trivial en el primer grupo de cohomología de Čech $\check{H}^1(Q; \mathbb{R}^+)$.

En este artículo recorremos la historia de las figuras imposibles desde Oscar Reutersvärd hasta los Penrose y Escher, analizamos cómo la proyección en perspectiva $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ destruye las fibras de profundidad y cómo opera el cálculo de etiquetado de líneas de Huffman–Clowes, desarrollamos paso a paso la formulación cohomológica de Penrose, explicamos el álgebra lineal detrás de las esculturas de «movimiento imposible» de Kokichi Sugihara y revelamos cómo esta misma obstrucción cohomológica gobierna la cohomología de de Rham, el efecto Aharonov–Bohm y la contextualidad cuántica.

1. Dibujar lo inconstruible: Reutersvärd, los Penrose y M.C. Escher

1.1 De la sátira de la perspectiva a la paradoja geométrica pura

Aunque las transgresiones deliberadas de la perspectiva aparecen ya en el grabado Satire on False Perspective (1754) de William Hogarth, el verdadero pionero de los objetos imposibles geométricamente puros fue el artista sueco Oscar Reutersvärd (1915–2002). En 1934, siendo un estudiante de 18 años durante una clase de latín, dibujó nueve cubos en proyección isométrica dispuestos en un anillo triangular cuya profundidad se contradecía cíclicamente (Opus 1). A lo largo de su vida creó más de 2.500 figuras imposibles, inmortalizadas en 1982 en los sellos postales de Suecia.

1.2 Febrero de 1958: El artículo histórico de Lionel y Roger Penrose

De manera independiente, tras visitar una exposición de M.C. Escher durante el Congreso Internacional de Matemáticos (ICM) de Ámsterdam en 1954, el joven matemático de Cambridge Roger Penrose (1931–) destiló la paradoja espacial hasta su mínima expresión geométrica: la tribarra de Penrose (Penrose Tribar). Su padre, el psiquiatra y genetista Lionel S. Penrose (1898–1972), respondió diseñando la escalera infinita de Penrose (Penrose Endless Staircase).

En febrero de 1958, padre e hijo publicaron en el British Journal of Psychology (vol. 49, págs. 31–33) su célebre artículo “Impossible Objects: A Special Type of Visual Illusion”:

“Aquí cada parte de la estructura es aceptable como representación de un objeto sólido normal, pero la catástrofe ocurre como resultado de falsas conexiones entre las partes (false connexions of the parts)…”

Tras recibir una separata enviada por los Penrose, Escher creó sus tres litografías más famosas: Belvedere (mayo de 1958), Ascendente y Descendente (marzo de 1960, incorporando la escalera infinita) y Cascada (Waterfall, octubre de 1961, encadenando tres triángulos de Penrose en un acueducto de movimiento perpetuo).

2. Geometría de la visión: Cómo la proyección $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ elimina la profundidad

2.1 Proyección central, proyección paralela y sus fibras unidimensionales

Situemos el centro óptico del ojo del observador en el origen $\mathbf{0} = (0,0,0) \in \mathbb{R}^3$. La proyección central (en perspectiva) $\pi: \mathbb{R}^3 \setminus \{\mathbf{0}\} \to \mathbb{R}^2$ (o sobre la esfera de direcciones $S^2$) proyecta cada punto $\mathbf{r} = (x, y, z)$ con $z > 0$ sobre el plano de imagen a distancia focal $f > 0$:

¿Cuál es la preimagen (la fibra / Fiber) $\pi^{-1}(p)$ de un punto bidimensional $p = \pi(\mathbf{r}_0)$? Dado que reescalar el vector $\mathbf{r}_0$ por cualquier número real positivo $\lambda \in \mathbb{R}^+ = (0, \infty)$ preserva su dirección ($\pi(\lambda \mathbf{r}_0) = \pi(\mathbf{r}_0) = p$), la fibra sobre cada punto $p$ es una semirrecta abierta parametrizada por el grupo multiplicativo de los reales positivos $\mathbb{R}^+ = ((0, \infty), \times)$:

De aquí se desprende una consecuencia geométrica crucial: si aplicamos a cualquier pieza rígida tridimensional $\tilde{Q}_i \subset \mathbb{R}^3 \setminus \{\mathbf{0}\}$ una homotecia radial $\mathbf{r} \mapsto \lambda \mathbf{r}$ centrada en el ojo ($\lambda \in \mathbb{R}^+$), no solo se conservan todos sus ángulos rectos ($90^\circ$), sino que su imagen retiniana $\pi(\lambda \tilde{Q}_i) = \pi(\tilde{Q}_i)$ permanece 100 % idéntica! Bajo proyección paralela ortográfica $\pi_{\text{orth}}(x,y,z) = (x,y)$, esta libertad corresponde a una traslación en profundidad $z \mapsto z + c$ gobernada por el grupo aditivo $(\mathbb{R}, +)$, canónicamente isomorfo a $(\mathbb{R}^+, \times)$ mediante $\ln: (\mathbb{R}^+, \times) \xrightarrow{\sim} (\mathbb{R}, +)$.

2.2 El cálculo de etiquetado de líneas de Huffman–Clowes (1971)

Para resolver el problema inverso de reconstrucción 3D, el sistema visual impone tres supuestos a priori: planaridad de las caras, ortogonalidad ($90^\circ$) y supuesto de punto de vista general. En 1971, David A. Huffman y Max B. Clowes formalizaron el análisis de dibujos poliédricos asignando a cada arista una de cuatro etiquetas: $+$ (arista convexa), $-$ (arista cóncava) y $\rightarrow, \leftarrow$ (contorno oclusivo, dejando la cara visible a la derecha de la flecha).

Sorprendentemente, ¡el triángulo de Penrose supera al 100 % la prueba combinatoria de Huffman–Clowes! Cada vértice (en L, en Y/Fork, en Flecha y en T) es localmente válido. La imposibilidad del triángulo de Penrose no reside en una contradicción combinatoria local, sino en el fracaso global (cohomológico) al cerrar las coordenadas continuas de profundidad alrededor de un bucle topológico no contráctil.

3. Consistencia local frente a contradicción global: Pegado sobre un recubrimiento abierto

Sea $Q \subset \mathbb{R}^2$ el dibujo 2D del triángulo de Penrose, homotópicamente equivalente al círculo ($Q \simeq S^1$). Cubrimos $Q$ con tres conjuntos abiertos $\mathcal{U} = \{U_1, U_2, U_3\}$, cada uno de los cuales contiene una de las tres esquinas $C_1, C_2, C_3$ y la mayor parte de las dos vigas adyacentes:

1. Cada abierto $U_i$ ($i=1,2,3$) es simplemente conexo (contráctil).
2. Las intersecciones dos a dos $U_{12} = U_1 \cap U_2$, $U_{23} = U_2 \cap U_3$ y $U_{31} = U_3 \cap U_1$ son segmentos contráctiles no vacíos en el centro de cada viga.
3. La intersección triple es vacía: $U_1 \cap U_2 \cap U_3 = \emptyset$. El nervio del recubrimiento $N(\mathcal{U})$ es el borde de un triángulo $\partial \Delta^2 \cong S^1$.

Sobre cada $U_i$, elegimos un modelo 3D estándar $\tilde{Q}_i^{\text{std}}$, de modo que cualquier levantamiento 3D rígido válido viene dado por $\tilde{Q}_i(d_i) = d_i \cdot \tilde{Q}_i^{\text{std}}$ con un factor de escala de profundidad $d_i \in \mathbb{R}^+$.

Para pegar sin discontinuidades $\tilde{Q}_1(d_1)$ y $\tilde{Q}_2(d_2)$ sobre el solapamiento $U_{12} = U_1 \cap U_2$, el escorzo de la viga exige una razón fija $f_{12} = r > 1$. Por la simetría rotacional de orden 3 en el plano, en los tres solapamientos se requiere:

Multiplicando las tres ecuaciones alrededor del ciclo cerrado $1 \to 2 \to 3 \to 1$, los factores $d_i$ se cancelan y emerge la contradicción global:

  flowchart TD
    subgraph Cover["Recubrimiento abierto U = {U1, U2, U3} del dibujo 2D Q ≃ S¹"]
        U1["Abierto U1 (Esquina C1)<br/>Levantamiento 3D local Q̃1(d1): Unión ortogonal 90° válida"]
        U2["Abierto U2 (Esquina C2)<br/>Levantamiento 3D local Q̃2(d2): Unión ortogonal 90° válida"]
        U3["Abierto U3 (Esquina C3)<br/>Levantamiento 3D local Q̃3(d3): Unión ortogonal 90° válida"]
    end

    U1 -->|"Solapamiento U12 = U1 ∩ U2 Condición de pegado<br/>d1 / d2 = f12 = r > 1"| U2
    U2 -->|"Solapamiento U23 = U2 ∩ U3 Condición de pegado<br/>d2 / d3 = f23 = r > 1"| U3
    U3 -->|"Solapamiento U31 = U3 ∩ U1 Condición de pegado<br/>d3 / d1 = f31 = r > 1"| U1

    U1 & U2 & U3 --> Holonomy["Holonomía cíclica en el bucle 1 → 2 → 3 → 1<br/>Φ(f) = f12 · f23 · f31 = r³ > 1 ≠ 1"]
    Holonomy --> Obstruction["¡Obstrucción cohomológica global!<br/>Clase no trivial [f] ∈ Ȟ¹(Q; ℝ⁺) ≅ ℝ<br/>⇒ No existe asignación global de profundidad (d1, d2, d3)"]

4. La formulación de Sir Roger Penrose (1992): Haces y cohomología de Čech

En “On the Cohomology of Impossible Figures” (1992), Roger Penrose define el grupo de ambigüedad (Ambiguity Group) $G = (\mathbb{R}^+, \times)$ y construye el complejo de cocadenas de Čech del haz localmente constante $\mathcal{F}$ sobre el buen recubrimiento $\mathcal{U} = \{U_1, U_2, U_3\}$:

• 0-cocadenas $C^0(\mathcal{U}, \mathbb{R}^+) = (\mathbb{R}^+)^3$: Asignaciones de profundidad $d = (d_1, d_2, d_3)$ para cada parche.
• 1-cocadenas $C^1(\mathcal{U}, \mathbb{R}^+)$: Razones de transición $f = (f_{12}, f_{23}, f_{31})$ en cada solapamiento $U_{ij}$ con $f_{ji} = f_{ij}^{-1}$.
• Operadores coborde (Coboundary Operators): $(\delta^0 d)_{ij} = d_i / d_j$ y $(\delta^1 f)_{ijk} = f_{ij} f_{jk} f_{ki}$, cumpliendo $\delta^1 \circ \delta^0 = 1$.

Como $U_1 \cap U_2 \cap U_3 = \emptyset$, toda 1-cocadena es automáticamente un 1-cociclo ($Z^1(\mathcal{U}, \mathbb{R}^+) = \ker \delta^1 \cong (\mathbb{R}^+)^3$). Una estructura 3D globalmente consistente existe si y solo si $f$ es un 1-coborde ($f \in B^1(\mathcal{U}, \mathbb{R}^+) = \operatorname{Im} \delta^0$), es decir, $f_{ij} = d_i / d_j$.

El primer grupo de cohomología de Čech es el grupo cociente:

donde el homomorfismo de holonomía $\Phi(f) = f_{12} f_{23} f_{31}$ tiene por núcleo exactamente $B^1(\mathcal{U}, \mathbb{R}^+)$. En el triángulo de Penrose, $\Phi(f) = r^3 \neq 1$ ($\ln \Phi(f) = 3\ln r \neq 0$), estableciendo el Teorema de Penrose (1992): ¡una figura imposible es literalmente un elemento no trivial $[f] \neq 1$ del primer grupo de cohomología de Čech $\check{H}^1(Q; G)$!

Al cortar el triángulo en un punto, el espacio pasa a ser un intervalo contráctil $Q_{\text{cut}} \simeq [0, 1]$ cuya cohomología se anula ($\check{H}^1([0, 1]; \mathbb{R}^+) = \{1\}$). Por ello, las esculturas físicas (como la de East Perth en Australia) pueden construirse como un gancho 3D abierto cuyos extremos separados en profundidad se alinean sobre un mismo rayo visual $\pi^{-1}(p)$ desde un único punto de vista accidental.

5. Las esculturas de Kokichi Sugihara y el paradigma universal de la cohomología

5.1 El álgebra lineal del «movimiento imposible» de Kokichi Sugihara

El matemático japonés Kokichi Sugihara (杉原厚吉) demostró en Machine Interpretation of Line Drawings (MIT Press, 1986) que un dibujo lineal es realizable como un poliedro 3D continuo de caras planas si y solo si el sistema lineal de ecuaciones de incidencia y desigualdades de profundidad

admite solución $\mathbf{w}$. Mientras que el cerebro humano añade inconscientemente restricciones de ortogonalidad $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ (haciendo el sistema incompatible con $\check{H}^1 \neq 0$), Sugihara elimina $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ y construye sólidos 3D reales y cerrados $\mathbf{w}^*$ mediante caras trapezoidales oblicuas. Como nuestra corteza visual sigue imponiendo el supuesto de ángulos rectos, percibe una rampa físicamente descendente como si fuera ascendente, haciendo que bolas de madera parezcan rodar cuesta arriba desafiando la gravedad.

5.2 El paradigma universal de haces y cohomología en la ciencia

  flowchart TD
    Root["Arquitectura universal de haces (Sheaves) y cohomología H¹(X, F)<br/>Medición de la obstrucción global al pegar datos localmente consistentes"]

    Root --> Dom1["1. Geometría de figuras imposibles<br/>(Penrose, 1992)"]
    Root --> Dom2["2. Geometría diferencial y cohomología de de Rham<br/>(H¹_dR(M) = Formas cerradas / exactas)"]
    Root --> Dom3["3. Física de gauge y efecto Aharonov–Bohm<br/>(Conexiones planas en fibrados U(1))"]
    Root --> Dom4["4. Contextualidad cuántica y no-localidad de Bell<br/>(Abramsky & Brandenburger, 2011)"]
    Root --> Dom5["5. Topología aplicada y clasificación de Hodge<br/>(Ghrist; Jiang–Lim–Yao–Ye)"]

    Dom1 --> Obs1["Local: Esquinas 3D de 90° válidas Q̃_i(d_i)<br/>Obstrucción global: Producto cíclico Φ = ∏ f_ij ≠ 1<br/>⇒ Imposible construir un sólido 3D ortogonal cerrado"]
    Dom2 --> Obs2["Local: 1-forma irrotacional dω = 0 (ω = df_i localmente)<br/>Obstrucción global: Integral de línea ∮_γ ω ≠ 0 (ej. dθ)<br/>⇒ No existe potencial escalar global f en el plano perforado"]
    Dom3 --> Obs3["Local: Campo magnético nulo B = ∇×A = 0 (A = ∇χ_i)<br/>Obstrucción global: Flujo magnético encerrado ∮ A·dl ≠ 0<br/>⇒ Desfase cuántico observable en una región libre de campo"]
    Dom4 --> Obs4["Local: Distribución clásica en cada contexto de medición<br/>Obstrucción global: Cohomología no nula en el ciclo de contextos<br/>⇒ No existe modelo global de variables ocultas no contextual"]
    Dom5 --> Obs5["Local: Comparaciones por pares consistentes (A > B, B > C)<br/>Obstrucción global: Ciclos de Condorcet (C > A) en H¹(G; ℝ)<br/>⇒ Imposibilidad de ranking global transitivo o sincronización"]

Ese asombro que experimentamos al recorrer con la vista el triángulo de Penrose o la escalera de Escher es la prueba viviente de que nuestra corteza visual calcula un transporte paralelo alrededor de un bucle cerrado y detecta en tiempo real una clase de cohomología no trivial en $\check{H}^1(Q; \mathbb{R}^+)$.

Referencias

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.