Hodgen otaksuma

Hodgen otaksuma on eräs tärkeimmistä algebrallisen geometrian ratkaisemattomista ongelmista. Se liittyy epäsingulaarisiin kompleksisiin algebrallisiin varistoihin ja niiden alivaristoihin. Otaksuma sanoo, että tietyt de Rhamin kohomologialuokat ovat algebrallisia, eli summia alivariston kohomologialuokkien Poincarén duaaleista. Hodgen otaksuma on yksi Clay-instituutin millennium-ongelmista, eli ongelman ratkaisijalle on luvattu miljoonan Yhdysvaltain dollarin palkinto.

Hodgen otaksuman väite

Olkoon

$\operatorname {Hdg} ^{k}(X)=H^{2k}(X,\mathbf {Q} )\cap H^{k,k}(X).$

Tätä ryhmää sanotaan X:n astetta 2k oleviksi Hodgen luokkien muodostamaksi ryhmäksi. Hodgen otaksuma kuuluu:

Olkoon X projektiivinen kompleksinen monisto. Tällöin jokainen Hodgen luokka X:ssä on rationaalinen lineaarikombinaatio X:n kompleksisten alivaristojen kohomologialuokista.

Projektiivinen kompleksinen monisto on kompleksinen monisto, joka voidaan upottaa kompleksiseen projektiiviseen avaruuteen. Koska projektiivisessa avaruudessa on Fubinin–Studyn metriikka, tällainen monisto on aina Kählerin monisto. Chowin lauseen mukaan kompleksinen monisto on myös sileä projektiivinen algebrallinen monisto, eli se on homogeenisten polynomien nollakohtien kokoelma.

Clay-instituutin seitsemän ratkaisematonta ongelmaa

P=NP ● Hodgen otaksuma ● Poincarén otaksuma (ratkaistu) ● Riemannin hypoteesi ●
Yangin–Millsin olemassaolo ● Navierin–Stokesin yhtälöt ● Birchin ja Swinnerton-Dyerin konjektuuri