· 39 min de leitura
A dobra sem vinco existe
Uma conversa sobre a imagem impossível, interrompida horas depois pela chegada do próprio polinômio.
Hoje, 20 de julho de 2026,1 de manhã eu estava conversando com uma IA sobre problemas matemáticos com implicações filosóficas. Chegamos à Conjectura Jacobiana, e a pergunta que ficou foi esta: se ela fosse falsa, daria para fazer uma imagem que só passaria a fazer sentido depois que alguém encontrasse um contraexemplo polinomial de verdade?
A resposta parecia segura: dava para desenhar analogias — uma malha que se enrola, duas folhas que se sobrepõem, o mapa exponencial —, mas a imagem decisiva teria que esperar. A conjectura continuava aberta havia mais de um século. Sem o polinômio, todo “dobramento sem vinco” seria metáfora.
Algumas horas depois apareceu o polinômio.
O mapa
Considere , com
O cálculo direto dá
Portanto, a derivada é invertível em todos os pontos. Não existe lugar em que a transformação amasse uma dimensão, transforme área em linha ou volume em superfície. Pelo teorema da função inversa, cada ponto possui uma pequena vizinhança na qual pode ser desfeita.
Mesmo assim, os três pontos distintos
são enviados para o mesmo ponto:
Não é uma inferência delicada. É possível verificar as duas afirmações expandindo o determinante e substituindo as três coordenadas. Como o determinante constante pode ser normalizado para multiplicando uma coordenada de saída por , isso fornece um contraexemplo à Conjectura Jacobiana em dimensão — e, acrescentando coordenadas identidade, em todas as dimensões superiores.
O caso de duas variáveis permanece aberto.
A visualização que ontem seria ficção
A aplicação completa vive em , isto é, em seis dimensões reais. Mas há uma sorte visual extraordinária: os coeficientes são reais, os três pontos são reais e a imagem comum também é real. A colisão já acontece na restrição
Isso permite desenhar o fenômeno exato, e não um substituto exponencial. A projeção usada abaixo é apenas a velha projeção de três dimensões para a tela; os pontos, as matrizes jacobianas e as igualdades são os do mapa polinomial. As setas entre domínio e imagem indicam a relação , não trajetórias percorridas pelos pontos.
Abra a visualização em tela cheia.
Uma curva que encontra o mesmo ponto três vezes
Há uma maneira ainda mais compacta de ver a colisão. Tome a curva
Ela passa por , e quando , respectivamente. Ao compor o mapa com essa curva, duas coordenadas adquirem imediatamente o fator :
E a primeira coordenada vale nos mesmos três valores. Uma linha atravessando o domínio encontra três lugares diferentes que o mapa não consegue distinguir.
O que a imagem realmente diz
“Dobra sem vinco” ainda é uma metáfora, mas agora é uma metáfora rigorosamente ancorada.
Uma dobra comum explica a sobreposição por um ponto crítico: em algum lugar a superfície perde posto, achata ou muda de orientação. Aqui não há esse lugar. O determinante vale em , em , em e em todos os demais pontos. Cada pequeno cubo continua tridimensional depois da transformação. A falha só aparece quando colocamos regiões distantes lado a lado e percebemos que elas receberam a mesma identidade global.
Isso corrige também uma intuição que eu tinha formulado cedo demais. A questão não é que “alguma informação infinitesimal foi esmagada”. Nenhuma foi. A informação perdida é outra: de qual vizinhança globalmente distinta aquele ponto veio.
Em símbolos:
A conjectura dizia que a rigidez dos polinômios impediria essa traição. Em dimensão três, não impede.
O que caiu — e o que não caiu
Caiu a Conjectura Jacobiana como afirmação para todas as dimensões. Caiu também a expectativa de que a condição jacobiana, combinada com a natureza polinomial, fosse suficiente para transformar controle infinitesimal em controle global.
Não caiu o teorema da função inversa: ele continua garantindo precisamente o que sempre garantiu, uma inversa local. Não caiu automaticamente o caso . E não surgiu uma contradição na matemática: surgiu um objeto que a conjectura dizia não poder existir.
1 O mapa foi divulgado por Levent Alpöge, que atribuiu a pergunta a Akhil e a produção do exemplo a Fable. A fórmula recebeu verificação pública independente. Em 15 de setembro de 2026, Arno van den Essen publicou também uma derivação elementar no arXiv que obtém, a menos de mudanças lineares de coordenadas, o mesmo exemplo de Alpöge. A história completa da descoberta e da atribuição ainda está sendo consolidada. Este texto se apoia somente nas identidades algébricas diretamente verificáveis: $\det JF=-2$ e $F(A)=F(B)=F(C)$.
Há uma ironia boa nisso tudo. A pergunta filosófica era se o todo poderia esconder uma ambiguidade ausente de cada parte local. A resposta chegou não como ensaio, mas como três pontos e um determinante:
Não existe local do crime. Existe apenas o crime global.