Com apenas uma folha de papel, um lápis e uma régua, qualquer pessoa pode desenhar em poucos minutos um triângulo de Penrose (tribarra de Penrose / Penrose Tribar): três vigas retas de seção quadrada que se encontram duas a duas em ângulo reto ($90^\circ$), formando o que parece ser uma moldura triangular fechada e rígida. Ou pensemos na célebre escadaria da litografia Subindo e Descendo (Ascending and Descending, 1960) do artista gráfico holandês Maurits Cornelis Escher (1898–1972): duas filas de monges sobem e descem incessantemente uma escada quadrangular no topo de um mosteiro, subindo perpetuamente e, ainda assim, retornando exatamente à mesma altura de partida.

Ao contemplarmos essas figuras impossíveis (Impossible Figures / Impossible Objects), nosso córtex visual experimenta uma peculiar vertigem cognitiva. Olhe apenas para o canto superior do triângulo de Penrose: é uma junção tridimensional em ângulo reto perfeitamente comum e fisicamente impecável. Desloque o olhar para o canto inferior esquerdo ou para o canto inferior direito: nenhuma lei da geometria euclidiana é violada. Contudo, no instante em que os olhos percorrem continuamente o perímetro fechado das três vigas, explode uma catástrofe global — uma viga que em uma extremidade está inquestionavelmente mais próxima do observador passa sem interrupção por trás de uma viga que está mais distante na outra extremidade.

Como é possível que a mão humana desenhe sem esforço em um plano bidimensional um objeto que é localmente consistente em toda parte, mas globalmente impossível de construir no espaço euclidiano tridimensional $\mathbb{R}^3$? E como a matemática moderna formaliza o mecanismo exato pelo qual a consistência local (Local Consistency) falha ao tentar se unir em uma existência global (Global Realizability)?

Em 1992, o físico-matemático e ganhador do Prêmio Nobel Sir Roger Penrose publicou seu brilhante artigo “On the Cohomology of Impossible Figures”. Utilizando a teoria de feixes (Sheaf Theory) e a cohomologia de Čech (Čech Cohomology), Penrose demonstrou que uma figura impossível não é um mero truque de ilusão óptica: ela é a manifestação visual direta de uma classe de cohomologia não trivial no primeiro grupo de cohomologia de Čech $\check{H}^1(Q; \mathbb{R}^+)$.

Neste artigo, traçamos a história das figuras impossíveis de Oscar Reutersvärd aos Penrose e a Escher, analisamos como a projeção em perspectiva $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ destrói as fibras de profundidade e como funciona o cálculo de rotulagem de linhas de Huffman–Clowes, construímos passo a passo a formulação cohomológica de Penrose, revelamos a álgebra linear por trás das esculturas de «movimento impossível» de Kokichi Sugihara e mostramos como essa mesma obstrução cohomológica governa a cohomologia de de Rham, o efeito Aharonov–Bohm e a contextualidade quântica.

1. Desenhando o inconstruível: Reutersvärd, os Penrose e M.C. Escher

1.1 Da sátira da perspectiva ao paradoxo geométrico puro

Embora transgressões deliberadas da perspectiva apareçam já na gravura Satire on False Perspective (1754) de William Hogarth, o verdadeiro pioneiro dos objetos impossíveis geometricamente puros foi o artista sueco Oscar Reutersvärd (1915–2002). Em 1934, como estudante de 18 anos durante uma aula de latim, ele desenhou nove cubos em projeção isométrica formando um anel triangular cuja profundidade se contradizia ciclicamente (Opus 1). Ao longo da vida, criou mais de 2.500 figuras impossíveis, homenageadas em 1982 em selos postais suecos.

1.2 Fevereiro de 1958: O artigo histórico de Lionel e Roger Penrose

Independentemente de Reutersvärd, após visitar uma exposição de M.C. Escher durante o Congresso Internacional de Matemáticos (ICM) em Amsterdã em 1954, o jovem matemático de Cambridge Roger Penrose (1931–) reduziu o paradoxo espacial ao seu esqueleto geométrico mínimo: a tribarra de Penrose (Penrose Tribar). Seu pai, o psiquiatra e geneticista Lionel S. Penrose (1898–1972), respondeu projetando a escada infinita de Penrose (Penrose Endless Staircase).

Em fevereiro de 1958, pai e filho publicaram no British Journal of Psychology (vol. 49, pp. 31–33) seu famoso artigo “Impossible Objects: A Special Type of Visual Illusion”:

“Aqui cada parte da estrutura é aceitável como representação de um objeto sólido normal, mas a catástrofe ocorre como resultado de falsas conexões das partes (false connexions of the parts)…”

Após receber uma separata enviada pelos Penrose, Escher criou sua trilogia imortal: Belvedere (maio de 1958), Subindo e Descendo (março de 1960, incorporando a escada infinita) e Queda d’Água (Waterfall, outubro de 1961, encadeando três triângulos de Penrose em um aqueduto de movimento perpétuo).

2. Geometria da visão: Como a projeção $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ apaga a profundidade

2.1 Projeção central, projeção paralela e suas fibras unidimensionais

Coloquemos o centro óptico do olho do observador na origem $\mathbf{0} = (0,0,0) \in \mathbb{R}^3$. A projeção central (em perspectiva) $\pi: \mathbb{R}^3 \setminus \{\mathbf{0}\} \to \mathbb{R}^2$ (ou sobre a esfera de direções $S^2$) projeta cada ponto $\mathbf{r} = (x, y, z)$ com $z > 0$ no plano de imagem à distância focal $f > 0$:

Qual é a pré-imagem (a fibra / Fiber) $\pi^{-1}(p)$ de um ponto bidimensional $p = \pi(\mathbf{r}_0)$? Como o escalonamento radial $\mathbf{r}_0 \mapsto \lambda \mathbf{r}_0$ por qualquer número real positivo $\lambda \in \mathbb{R}^+ = (0, \infty)$ preserva sua direção ($\pi(\lambda \mathbf{r}_0) = \pi(\mathbf{r}_0) = p$), a fibra sobre cada ponto $p$ é uma semirreta aberta parametrizada pelo grupo multiplicativo dos reais positivos $\mathbb{R}^+ = ((0, \infty), \times)$:

Isso implica uma consequência geométrica fundamental: se aplicarmos a qualquer peça rígida tridimensional $\tilde{Q}_i \subset \mathbb{R}^3 \setminus \{\mathbf{0}\}$ uma homotetia radial $\mathbf{r} \mapsto \lambda \mathbf{r}$ centrada no olho ($\lambda \in \mathbb{R}^+$), não apenas todos os seus ângulos retos ($90^\circ$) são preservados, mas sua imagem retiniana $\pi(\lambda \tilde{Q}_i) = \pi(\tilde{Q}_i)$ permanece 100% idêntica! Sob projeção paralela ortográfica $\pi_{\text{orth}}(x,y,z) = (x,y)$, essa liberdade corresponde a uma translação de profundidade $z \mapsto z + c$ pelo grupo aditivo $(\mathbb{R}, +)$, canonicamente isomorfo a $(\mathbb{R}^+, \times)$ via $\ln: (\mathbb{R}^+, \times) \xrightarrow{\sim} (\mathbb{R}, +)$.

2.2 O cálculo de rotulagem de linhas de Huffman–Clowes (1971)

Para resolver o problema inverso de reconstrução 3D, o sistema visual aplica três premissas a priori: planaridade das faces, ortogonalidade ($90^\circ$) e hipótese de ponto de vista geral. Em 1971, David A. Huffman e Max B. Clowes formalizaram a análise de desenhos poliédricos atribuindo a cada aresta um de quatro rótulos: $+$ (aresta convexa), $-$ (aresta côncava) e $\rightarrow, \leftarrow$ (contorno de oclusão, mantendo a face visível à direita da seta).

Surpreendentemente, o triângulo de Penrose passa 100% no teste combinatório de Huffman–Clowes! Cada junção (em L, Y/Fork, Seta e T) é localmente válida. A impossibilidade do triângulo de Penrose não reside em uma contradição combinatória local, mas na falha global (cohomológica) em fechar as coordenadas contínuas de profundidade ao redor de um laço topológico não contrátil.

3. Consistência local vs. Contradição global: Colagem sobre uma cobertura aberta

Seja $Q \subset \mathbb{R}^2$ o desenho 2D do triângulo de Penrose, homotopicamente equivalente ao círculo ($Q \simeq S^1$). Cobrimos $Q$ com três conjuntos abertos $\mathcal{U} = \{U_1, U_2, U_3\}$, cada um contendo um dos três cantos $C_1, C_2, C_3$ e a maior parte das duas vigas adjacentes:

1. Cada aberto $U_i$ ($i=1,2,3$) é simplesmente conexo (contrátil).
2. As interseções dois a dois $U_{12} = U_1 \cap U_2$, $U_{23} = U_2 \cap U_3$ e $U_{31} = U_3 \cap U_1$ são segmentos contráteis não vazios no meio de cada viga.
3. A interseção tripla é vazia: $U_1 \cap U_2 \cap U_3 = \emptyset$. O nervo da cobertura $N(\mathcal{U})$ é a fronteira de um triângulo $\partial \Delta^2 \cong S^1$.

Sobre cada $U_i$, escolhemos um modelo 3D padrão $\tilde{Q}_i^{\text{std}}$, de modo que qualquer levantamento 3D rígido válido é dado por $\tilde{Q}_i(d_i) = d_i \cdot \tilde{Q}_i^{\text{std}}$ com um fator de escala de profundidade $d_i \in \mathbb{R}^+$.

Para colar continuamente $\tilde{Q}_1(d_1)$ e $\tilde{Q}_2(d_2)$ sobre a interseção $U_{12} = U_1 \cap U_2$, o escorço da viga exige uma razão fixa $f_{12} = r > 1$. Pela simetria rotacional de ordem 3, nas três interseções exige-se:

Multiplicando as três equações ao longo do ciclo fechado $1 \to 2 \to 3 \to 1$, os fatores $d_i$ se cancelam e surge a contradição global:

  flowchart TD
    subgraph Cover["Cobertura aberta U = {U1, U2, U3} do desenho 2D Q ≃ S¹"]
        U1["Aberto U1 (Canto C1)<br/>Levantamento 3D local Q̃1(d1): Junta ortogonal 90° válida"]
        U2["Aberto U2 (Canto C2)<br/>Levantamento 3D local Q̃2(d2): Junta ortogonal 90° válida"]
        U3["Aberto U3 (Canto C3)<br/>Levantamento 3D local Q̃3(d3): Junta ortogonal 90° válida"]
    end

    U1 -->|"Interseção U12 = U1 ∩ U2 Condição de colagem<br/>d1 / d2 = f12 = r > 1"| U2
    U2 -->|"Interseção U23 = U2 ∩ U3 Condição de colagem<br/>d2 / d3 = f23 = r > 1"| U3
    U3 -->|"Interseção U31 = U3 ∩ U1 Condição de colagem<br/>d3 / d1 = f31 = r > 1"| U1

    U1 & U2 & U3 --> Holonomy["Holonomia cíclica ao longo do laço 1 → 2 → 3 → 1<br/>Φ(f) = f12 · f23 · f31 = r³ > 1 ≠ 1"]
    Holonomy --> Obstruction["Obstrução cohomológica global!<br/>Classe não trivial [f] ∈ Ȟ¹(Q; ℝ⁺) ≅ ℝ<br/>⇒ Não existe atribuição global de profundidade (d1, d2, d3)"]

4. A formulação de Sir Roger Penrose (1992): Feixes e cohomologia de Čech

Em “On the Cohomology of Impossible Figures” (1992), Roger Penrose define o grupo de ambiguidade (Ambiguity Group) $G = (\mathbb{R}^+, \times)$ e constrói o complexo de cocadeias de Čech do feixe localmente constante $\mathcal{F}$ sobre a boa cobertura $\mathcal{U} = \{U_1, U_2, U_3\}$:

• 0-cocadeias $C^0(\mathcal{U}, \mathbb{R}^+) = (\mathbb{R}^+)^3$: Atribuições de profundidade $d = (d_1, d_2, d_3)$ para cada aberto.
• 1-cocadeias $C^1(\mathcal{U}, \mathbb{R}^+)$: Razões de transição $f = (f_{12}, f_{23}, f_{31})$ em cada interseção $U_{ij}$ com $f_{ji} = f_{ij}^{-1}$.
• Operadores cobordo (Coboundary Operators): $(\delta^0 d)_{ij} = d_i / d_j$ e $(\delta^1 f)_{ijk} = f_{ij} f_{jk} f_{ki}$, satisfazendo $\delta^1 \circ \delta^0 = 1$.

Como $U_1 \cap U_2 \cap U_3 = \emptyset$, toda 1-cocadeia é automaticamente um 1-cociclo ($Z^1(\mathcal{U}, \mathbb{R}^+) = \ker \delta^1 \cong (\mathbb{R}^+)^3$). Uma estrutura 3D globalmente consistente existe se e somente se $f$ for um 1-cobordo ($f \in B^1(\mathcal{U}, \mathbb{R}^+) = \operatorname{Im} \delta^0$), isto é, $f_{ij} = d_i / d_j$.

O primeiro grupo de cohomologia de Čech é o grupo quociente:

onde o homomorfismo de holonomia $\Phi(f) = f_{12} f_{23} f_{31}$ tem como núcleo exatamente $B^1(\mathcal{U}, \mathbb{R}^+)$. No triângulo de Penrose, $\Phi(f) = r^3 \neq 1$ ($\ln \Phi(f) = 3\ln r \neq 0$), estabelecendo o Teorema de Penrose (1992): uma figura impossível é literalmente um elemento não trivial $[f] \neq 1$ do primeiro grupo de cohomologia de Čech $\check{H}^1(Q; G)$!

Ao cortar o triângulo em um ponto, o espaço torna-se um intervalo contrátil $Q_{\text{cut}} \simeq [0, 1]$ cuja cohomologia se anula ($\check{H}^1([0, 1]; \mathbb{R}^+) = \{1\}$). Por isso, esculturas físicas (como a de East Perth, na Austrália) podem ser construídas como um gancho 3D aberto cujas extremidades separadas em profundidade se alinham sobre um mesmo raio visual $\pi^{-1}(p)$ a partir de um único ponto de vista acidental.

5. As esculturas de Kokichi Sugihara e o paradigma universal da cohomologia

5.1 A álgebra linear do «movimento impossível» de Kokichi Sugihara

O matemático japonês Kokichi Sugihara (杉原厚吉) demonstrou em Machine Interpretation of Line Drawings (MIT Press, 1986) que um desenho linear é realizável como um poliedro 3D contínuo de faces planas se e somente se o sistema linear de equações de incidência e desigualdades de profundidade

admitir solução $\mathbf{w}$. Enquanto o cérebro humano adiciona inconscientemente restrições de ortogonalidade $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ (tornando o sistema incompatível com $\check{H}^1 \neq 0$), Sugihara remove $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ e constrói sólidos 3D reais e fechados $\mathbf{w}^*$ usando faces trapezoidais oblíquas. Como nosso córtex visual continua impondo o pressuposto de ângulos retos, ele percebe uma rampa fisicamente descendente como se fosse ascendente, fazendo com que bolas de madeira pareçam rolar ladeira acima desafiando a gravidade.

5.2 O paradigma universal de feixes e cohomologia na ciência

  flowchart TD
    Root["Arquitetura universal de feixes (Sheaves) e cohomologia H¹(X, F)<br/>Medição da obstrução global ao colar dados localmente consistentes"]

    Root --> Dom1["1. Geometria de figuras impossíveis<br/>(Penrose, 1992)"]
    Root --> Dom2["2. Geometria diferencial e cohomologia de de Rham<br/>(H¹_dR(M) = Formas fechadas / exatas)"]
    Root --> Dom3["3. Física de calibre e efeito Aharonov–Bohm<br/>(Conexões planas em fibrados U(1))"]
    Root --> Dom4["4. Contextualidade quântica e não-localidade de Bell<br/>(Abramsky & Brandenburger, 2011)"]
    Root --> Dom5["5. Topologia aplicada e ranking de Hodge<br/>(Ghrist; Jiang–Lim–Yao–Ye)"]

    Dom1 --> Obs1["Local: Cantos 3D de 90° válidos Q̃_i(d_i)<br/>Obstrução global: Produto cíclico Φ = ∏ f_ij ≠ 1<br/>⇒ Impossível construir um sólido 3D ortogonal fechado"]
    Dom2 --> Obs2["Local: 1-forma irrotacional dω = 0 (ω = df_i localmente)<br/>Obstrução global: Integral de linha ∮_γ ω ≠ 0 (ex. dθ)<br/>⇒ Não existe potencial escalar global f no plano perfurado"]
    Dom3 --> Obs3["Local: Campo magnético nulo B = ∇×A = 0 (A = ∇χ_i)<br/>Obstrução global: Fluxo magnético encerrado ∮ A·dl ≠ 0<br/>⇒ Defasagem quântica observável em região livre de campo"]
    Dom4 --> Obs4["Local: Distribuição clássica em cada contexto de medição<br/>Obstrução global: Cohomologia não nula no ciclo de contextos<br/>⇒ Não existe modelo global de variáveis ocultas não contextual"]
    Dom5 --> Obs5["Local: Comparações por pares consistentes (A > B, B > C)<br/>Obstrução global: Ciclos de Condorcet (C > A) em H¹(G; ℝ)<br/>⇒ Impossibilidade de ranking global transitivo ou sincronização"]

Esse espanto que sentimos ao percorrer com os olhos o triângulo de Penrose ou a escada de Escher é a prova viva de que nosso córtex visual calcula um transporte paralelo ao redor de um laço fechado e detecta em tempo real uma classe de cohomologia não trivial em $\check{H}^1(Q; \mathbb{R}^+)$.

Referências

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.