Het jacobiaans vermoeden: het wiskundige raadsel dat al 85 jaar weerstand biedt
Stel je een groot vel elastisch deeg voor dat je op een precieze, wiskundig beschreven manier uitrekt en vervormt: elk punt verschuift volgens een vaste formule naar een nieuwe plek. Zulke formules, opgebouwd uit optellen en vermenigvuldigen van variabelen (zogeheten polynomen), noemen wiskundigen een polynomiale afbeelding. Het jacobiaans vermoeden gaat over een simpel klinkende vraag bij zo'n vervorming: als je op elk punt van het deeg precies even hard (met dezelfde factor) uitrekt, kun je dan altijd de vervorming ongedaan maken met een even nette formule?
Intuïtief lijkt het antwoord evident: als er nergens plooien, scheuren of samenklonteringen ontstaan, moet de vervorming toch omkeerbaar zijn? Voor eenvoudige, ééndimensionale gevallen klopt dat inderdaad. Maar zodra je naar twee of meer dimensies gaat, wordt de vraag verrassend hardnekkig. Sinds de Duitse wiskundige Ott-Heinrich Keller haar in 1939 opperde, hebben generaties wiskundigen geprobeerd het jacobiaans vermoeden te bewijzen of te weerleggen — zonder succes. Het is een van de bekendste onopgeloste problemen in de wiskunde.
Wat is het precies?
Een polynomiale afbeelding neemt een punt met coördinaten (bijvoorbeeld x en y) en zet dat via polynomen om in een nieuw punt. Een simpel voorbeeld: F(x, y) = (x + y², y). Voor elk startpunt levert dit weer een nieuw punt op, volgens een vaste, uitrekenbare formule zonder delingen of wortels — alleen optellen, aftrekken en vermenigvuldigen.
Om te meten hoe sterk zo'n afbeelding een gebied lokaal uitrekt of samendrukt, gebruiken wiskundigen de Jacobiaanse determinant (kortweg de Jacobiaan), vernoemd naar de negentiende-eeuwse wiskundige Carl Gustav Jacobi. Dit is een getal dat je in elk punt kunt berekenen uit de afgeleiden van de formule, en dat aangeeft met welke factor een klein oppervlakje (of volume, in hogere dimensies) lokaal groter of kleiner wordt. Is die factor nul, dan wordt de ruimte op dat punt als het ware platgeslagen — informatie gaat verloren en de afbeelding kan daar onmogelijk omkeerbaar zijn.
Het jacobiaans vermoeden stelt: als de Jacobiaan van een polynomiale afbeelding F overal in de ruimte een constante, niet-nul waarde heeft — dus nergens varieert en nooit nul wordt — dan is F volledig omkeerbaar, én is die omgekeerde afbeelding (de inverse) zelf óók weer een polynomiale formule, geen ingewikkelder wiskundig object.
Voor afbeeldingen van een lijn naar een lijn (het geval met één variabele, n=1) is dit triviaal waar: een polynoom met overal dezelfde, niet-nul afgeleide moet wel van de eenvoudige vorm F(x) = ax + b zijn, en die is direct om te keren. Zodra je naar het vlak gaat (twee variabelen, n=2) of hogere dimensies, wordt het bewijs echter onvindbaar. De reden is dat polynomiale afbeeldingen in meerdere variabelen elkaar op subtiele, moeilijk te doorgronden manieren kunnen beïnvloeden — de eenvoudige logica die in één dimensie werkt, valt in hogere dimensies uit elkaar.
Wat wil men ermee bereiken?
Een bewijs (of weerlegging) van het jacobiaans vermoeden zou vooral onze structurele kennis van polynomiale afbeeldingen enorm vergroten. Dit soort afbeeldingen — ook wel polynomiale automorfismen genoemd wanneer ze omkeerbaar zijn — vormen een fundamenteel bouwblok in de algebraïsche meetkunde, het vakgebied dat meetkundige vormen bestudeert die door polynomiale vergelijkingen worden beschreven. Beter begrip hiervan heeft potentieel gevolgen voor aangrenzende wiskundige velden, waaronder de theorie rond de zogeheten Weyl-algebra, die weer een rol speelt in de wiskundige onderbouwing van de kwantummechanica.
Het is belangrijk om eerlijk te zijn: er is op dit moment geen directe praktische toepassing van het jacobiaans vermoeden. Dit is fundamenteel, zuiver wiskundig onderzoek, gedreven door nieuwsgierigheid en de wens om een dieper begrip van wiskundige structuren te krijgen — niet door een concreet technologisch doel. Wel bestaat er een indirecte, conceptuele band met vakgebieden als multivariate cryptografie (versleutelingsmethoden die steunen op stelsels polynomiale vergelijkingen) en computeralgebra (software die symbolisch met wiskundige formules rekent), omdat die vakgebieden ook draaien om het manipuleren en omkeren van polynomiale afbeeldingen. Dat verband is echter indirect: vooralsnog levert het jacobiaans vermoeden zelf geen nieuwe cryptografische techniek of algoritme op.
Voorbeelden uit de praktijk
Hoewel het jacobiaans vermoeden geen 'praktijkvoorbeelden' in de gebruikelijke technologische zin kent, is de onderzoeksgeschiedenis rijk aan mijlpalen:
- 1939 — Ott-Heinrich Keller formuleert het vermoeden oorspronkelijk voor polynomen met gehele getallen als coëfficiënten.
- 1982 — Hyman Bass, Edwin Connell en David Wright publiceren een invloedrijke reductie: zij tonen aan dat het voldoende is het vermoeden te bewijzen voor het speciale geval van kubische (graad-3) afbeeldingen; als dat lukt, geldt het automatisch voor alle graden.
- 1983 — Ludwik Druzkowski verscherpt deze reductie verder tot een nog specifiekere klasse afbeeldingen, sindsdien 'Druzkowski-afbeeldingen' genoemd, wat het probleem theoretisch hanteerbaarder maakte zonder het op te lossen.
- 1998 — Steve Smale plaatst het jacobiaans vermoeden als probleem nummer 16 op zijn invloedrijke lijst van achttien belangrijke wiskundige problemen voor de 21e eeuw, naast beroemde vraagstukken als het Riemann-vermoeden.
- 2005 en 2007 — Yasuharu Tsuchimoto, en onafhankelijk Alexei Belov-Kanel en Maxim Kontsevich, leggen een verband met het zogeheten Dixmier-vermoeden (over de Weyl-algebra) en tonen aan dat een bewijs van het Dixmier-vermoeden het jacobiaans vermoeden zou impliceren, via technieken uit de zogeheten priemkarakteristiek-rekenkunde ('rekenen modulo een priemgetal').
Hoe ver is de techniek?
Na meer dan 85 jaar is het jacobiaans vermoeden nog altijd volledig onopgelost, ook voor het meest bestudeerde geval van twee variabelen. Er zijn alleen deelresultaten: het vermoeden is bewezen voor afbeeldingen van lage graad, voor bepaalde speciale symmetrische vormen, en het is met computeralgebra geverifieerd voor een beperkt aantal specifieke, kleine gevallen. Een algemeen bewijs blijft echter uit.
Wat dit probleem extra berucht maakt, is het opvallend groot aantal gepubliceerde 'bewijzen' dat na verloop van tijd fout bleek te zijn — een fenomeen dat in de wiskunde soms schertsend het 'kerkhof van foute bewijzen' wordt genoemd. Tientallen wiskundigen hebben in de loop der decennia oplossingen gepubliceerd die bij nader inzien een subtiele fout bevatten. Dit patroon onderstreept zowel hoe verraderlijk moeilijk het probleem is, als hoe belangrijk zorgvuldige peer review in de wiskunde is.
De vooruitgang is traag en incrementeel: elke doorbraak reduceert het probleem tot een iets kleinere, hanteerbaardere klasse van gevallen (zoals bij Bass-Connell-Wright en Druzkowski), maar een definitief bewijs of tegenvoorbeeld is niet in zicht. Er is geen reden om op korte termijn een doorbraak te verwachten.
Wie werken eraan?
Het jacobiaans vermoeden is puur academisch onderzoek, verspreid over wiskunde-instituten wereldwijd — geen enkel techbedrijf houdt zich hiermee bezig, want er is simpelweg geen commercieel toepassingsgebied. Een centrale figuur is de Nederlandse wiskundige Arno van den Essen, verbonden aan de Radboud Universiteit in Nijmegen, die met zijn boek Polynomial Automorphisms and the Jacobian Conjecture (2000) het standaardwerk over dit onderwerp schreef en decennialang een van de belangrijkste coördinatoren van het onderzoeksveld was.
Andere belangrijke bijdragen kwamen van David Wright (destijds Washington University in de Verenigde Staten, medeauteur van de invloedrijke reductie uit 1982) en van Maxim Kontsevich, verbonden aan het Institut des Hautes Études Scientifiques (IHES) in Frankrijk, die samen met Alexei Belov-Kanel het verband met het Dixmier-vermoeden blootlegde. Verder zijn er onderzoeksgroepen actief in onder meer Japan, Polen en diverse Amerikaanse en Europese universiteiten. Het blijft echter een relatief kleine, gespecialiseerde gemeenschap binnen de zuivere wiskunde.