Het Hodge-vermoeden: de brug tussen vorm en getal die niemand kan bewijzen
Stel je een ingewikkeld gebeeldhouwd voorwerp voor, gemaakt door een reeks wiskundige vergelijkingen in plaats van met beitel en hamer. Zulke vormen, algebraïsche variëteiten genoemd, kunnen bollen, donuts of veel ingewikkeldere veelvlakken in hogere dimensies zijn. Wiskundigen willen weten welke "verborgen onderdelen" zo'n vorm precies bevat: welke lussen, gaten en deelstukken zitten erin, en zijn die deelstukken zelf ook weer nette, met vergelijkingen te beschrijven vormen? Het Hodge-vermoeden is een voorspelling over precies die vraag, geformuleerd door de Schotse wiskundige William Hodge rond 1950.
Het bijzondere is dat er twee manieren zijn om naar zo'n vorm te kijken: een meetkundige (welke stukken kun je er letterlijk uitsnijden met vergelijkingen) en een meer abstracte, algebraïsche manier via iets dat cohomologie heet — een soort boekhouding van alle gaten en lussen in een vorm, los van hoe die precies is opgebouwd. Hodge ontdekte dat bepaalde posten uit die boekhouding, de zogenoemde Hodge-klassen, er sterk uitzien alsof ze bij een echt uitsnijdbaar deelstuk horen. Zijn vermoeden zegt: dat is ook altijd zo. Tot op de dag van vandaag heeft niemand dat kunnen bewijzen, en niemand heeft een tegenvoorbeeld gevonden.
Wat is het precies?
Om het vermoeden te begrijpen, moet je een paar begrippen op een rij zetten. Een complexe projectieve algebraïsche variëteit is een meetkundig object dat volledig is vastgelegd door een stelsel polynoomvergelijkingen (vergelijkingen met alleen optellen, vermenigvuldigen en machtsverheffen), en dat "compact" en "glad" is: geen scherpe randen, geen gaten die naar oneindig lopen. Denk aan een cirkel gegeven door x² + y² = 1, maar dan in veel hogere dimensies en met complexe in plaats van gewone getallen.
Van zo'n vorm kun je de cohomologie berekenen: een systeem van getallen en structuren dat aangeeft hoeveel onafhankelijke "lussen" of "gaten" van elke dimensie de vorm heeft. Dankzij Hodge zelf weet men dat je deze cohomologie, zodra je met complexe getallen werkt, kunt opsplitsen in nette bouwstenen: de zogeheten Hodge-decompositie. Sommige van die bouwstenen, de klassen van het type (p,p), gedragen zich bijzonder: ze zijn in zekere zin "symmetrisch" op een manier die past bij een echt meetkundig deelstuk.
Een algebraïsche cykel is zo'n echt deelstuk: een deelvariëteit die zelf ook weer gegeven wordt door polynoomvergelijkingen, bijvoorbeeld een kromme op een oppervlak, of een oppervlak in een hogerdimensionale ruimte. Elke algebraïsche cykel levert automatisch een Hodge-klasse op. De vraag van het Hodge-vermoeden is het omgekeerde: is elke Hodge-klasse (met rationale, dus breuk-achtige coëfficiënten) op te bouwen uit zulke algebraïsche cykels? Hodge vermoedde van wel. Als dat klopt, betekent het dat de abstracte boekhouding van cohomologie nooit iets "verzint" dat niet ook echt meetkundig aanwezig is.
Wat wil men ermee bereiken?
Het Hodge-vermoeden staat niet op zichzelf: het is een sleutelvraag binnen de algebraïsche meetkunde, het vakgebied dat vormen bestudeert die met polynoomvergelijkingen zijn gedefinieerd. Als het vermoeden waar blijkt, geeft dat wiskundigen een krachtig hulpmiddel: ze zouden dan puur met algebraïsche of topologische technieken (die vaak makkelijker te hanteren zijn) iets kunnen zeggen over de meetkundige, uitsnijdbare deelstukken van een variëteit, zonder die deelstukken zelf te hoeven vinden.
Daarnaast hangt het vermoeden nauw samen met andere grote open problemen, zoals de standaardvermoedens van Grothendieck over cohomologietheorieën, en met vragen over motieven — een soort ultieme, alomvattende structuur die alle verschillende cohomologietheorieën van een variëteit zou moeten verenigen. Een bewijs (of weerlegging) van het Hodge-vermoeden zou dus verstrekkende gevolgen hebben voor een heel netwerk van verwante theorieën, niet alleen voor dit ene probleem.
Er is ook een praktische reden waarom er zoveel aandacht naar uitgaat: het Hodge-vermoeden is een van de zeven Millennium Prize Problems, aangewezen in het jaar 2000 door het Clay Mathematics Institute in de Verenigde Staten als de belangrijkste onopgeloste vragen in de wiskunde. Op het oplossen van elk van deze problemen staat een prijs van 1 miljoen dollar. Tot nu toe is alleen het Poincaré-vermoeden opgelost, door Grigori Perelman rond 2003; de overige zes, waaronder het Hodge-vermoeden, staan nog open.
Voorbeelden uit de praktijk
Omdat het Hodge-vermoeden een zuiver wiskundig vraagstuk is, bestaan er geen "toepassingen" in de zin van producten of technologieën. Wel is er een reeks belangrijke deelresultaten en case-specifieke bewijzen die laten zien hoe onderzoekers het probleem stukje bij beetje in kaart brengen.
- De (1,1)-stelling van Lefschetz (1924). Nog vóór Hodge zijn vermoeden formuleerde, bewees Solomon Lefschetz al dat de voorspelling klopt voor het eenvoudigste type Hodge-klassen, de zogeheten (1,1)-klassen. Dit resultaat, vernoemd naar hem, is decennialang het stevigste bewezen fundament onder het vermoeden gebleven.
- Abelse variëteiten en K3-oppervlakken. Voor bepaalde families van variëteiten met veel symmetrie, zoals abelse variëteiten (een soort hogerdimensionale generalisatie van de gewone torus) en zogeheten K3-oppervlakken, hebben wiskundigen in de decennia na Hodge speciale gevallen van het vermoeden weten te bewijzen, onder meer dankzij werk van onderzoekers als Steven Zucker in de jaren zeventig.
- Claire Voisin en de integrale variant (2002). De Franse wiskundige Claire Voisin liet zien dat een sterkere, "integrale" versie van het vermoeden (met gehele in plaats van rationale coëfficiënten) niet klopt: zij vond expliciete tegenvoorbeelden. Dit weerlegt niet het oorspronkelijke Hodge-vermoeden, maar laat wel zien hoe precies de formulering van dit soort vermoedens moet zijn, en waarom de rationale versie de "juiste" is om aan te vallen.
- Kubische viervouden. Voor een specifieke klasse van variëteiten, kubische viervouden (vierdimensionale vormen gedefinieerd door graad-3-vergelijkingen), is er substantieel onderzoek gedaan naar wanneer Hodge-klassen algebraïsch zijn, onder meer door wiskundigen als Brendan Hassett; dit soort werk verbindt het Hodge-vermoeden met vragen over rationaliteit van variëteiten.
- Lage dimensies liggen vast. Voor variëteiten van complexe dimensie 3 of lager volgt het vermoeden al uit de Lefschetz (1,1)-stelling in combinatie met algemene structuurstellingen (zoals hard Lefschetz en Poincaré-dualiteit). Het echte mysterie zit dus in variëteiten van dimensie 4 en hoger.
Hoe ver is de techniek?
Meer dan zeventig jaar na de formulering is het Hodge-vermoeden nog altijd onbewezen, en er is geen brede consensus over welke aanpak uiteindelijk zal werken. Het probleem staat bekend als notoir lastig, juist omdat het een brug probeert te slaan tussen twee soorten wiskunde (topologie/analyse enerzijds, algebraïsche meetkunde anderzijds) die niet vanzelfsprekend op elkaar aansluiten.
De vooruitgang verloopt vooral via het uitbreiden van de lijst bewezen speciale gevallen: specifieke families van variëteiten, specifieke dimensies, of variëteiten met bijzondere symmetrieën. Een algemeen bewijs, dat voor alle variëteiten in alle dimensies werkt, is er niet en lijkt op basis van de huidige technieken ook niet binnen handbereik.
Een belangrijk obstakel is dat er tot nu toe geen tegenvoorbeeld is gevonden, wat het vermoeden geloofwaardig houdt, maar er is evenmin een duidelijk pad naar een bewijs. Sommige verwante vermoedens (zoals de standaardvermoedens van Grothendieck) zijn zelf ook nog open, wat betekent dat zelfs de gereedschapskist waarmee je het Hodge-vermoeden zou willen aanpakken, nog niet compleet is. Onderzoekers beschouwen het dan ook als een probleem voor de (zeer) lange termijn, zonder concreet tijdspad.
Wie werken eraan?
Het Hodge-vermoeden wordt beheerd en financieel ondersteund als prijsvraag door het Clay Mathematics Institute in de Verenigde Staten, dat in 2000 de zeven Millennium Prize Problems aankondigde. Onderzoek naar het vermoeden zelf en naar de bredere Hodge-theorie vindt echter vooral plaats binnen de academische wiskunde, verspreid over instituten wereldwijd.
In Frankrijk is het Institut des Hautes Études Scientifiques (IHES) van oudsher een centrum voor algebraïsche meetkunde en Hodge-theorie, mede dankzij het werk van Pierre Deligne, die fundamentele bijdragen leverde aan gemengde Hodge-structuren. De wiskundige Claire Voisin, verbonden aan het Collège de France en eerder aan het Institut de Mathématiques de Jussieu in Parijs, geldt internationaal als een van de meest vooraanstaande specialisten op het gebied van Hodge-theorie en algebraïsche cykels.
In de Verenigde Staten dragen instituten als het Institute for Advanced Study in Princeton bij aan onderzoek naar aanverwante vragen in de algebraïsche meetkunde, mede via het werk van wiskundigen als Phillip Griffiths, die medegrondlegger is van de moderne theorie van Hodge-structuren. Verder blijft het probleem onderwerp van onderzoek en publicatie aan universiteiten wereldwijd, van Europa tot de Verenigde Staten tot Japan, zonder dat één land of instituut het "claimt".