Hodgen otaksuma
Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit lisätä artikkeliin tarkistettavissa olevia lähteitä ja merkitä ne ohjeen mukaan. |
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äiteMuokkaa
Olkoon
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.