Hodgen otaksuma

Hodgen otaksuma tai Hodgen konjektuuri on eräs tärkeimmistä algebrallisen geometrian ratkaisemattomista ongelmista. Se liittyy epäsingulaarisiin kompleksisiin algebrallisiin varistoihin ja niiden alivaristoihin. Varistoa voidaan ajatella polynomien muodostaman yhtälöryhmän ratkaisuina. Karkeasti sanottuna Hodgen konjektuuri kertoo, että tietyt hyvin abstraktit Hodgen kohomologialuokat voidaan aina rakentaa alivaristoista, eli niillä on jonkinlainen geometrinen linkki.[1]

Hodgen otaksuma on nimetty skotlantilaisen William Vallance Douglas Hodgen mukaan. Otaksuma on yksi Clay-instituutin Millennium-ongelmista, eli ongelman ratkaisijalle on luvattu miljoonan Yhdysvaltain dollarin palkinto. Hodgen konjektuuria pidetään usein Millennium-ongelmista kaikista vaikeimpana selittää maallikolle.[2]

Hodgen otaksuman väite

Hodgen otaksuma sanoo, että tietyt de Rhamin kohomologialuokat ovat algebrallisia, eli summia alivariston kohomologialuokkien Poincarén duaaleista.

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.[3]

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.

  1. Win a million dollars with maths, No. 4: The Hodge Conjecture | Matt Parker the Guardian. 1.3.2011. Viitattu 30.1.2022. (englanniksi)
  2. Geometriaa ilman kuvia Tiede. 6.3.2012. Viitattu 30.1.2022.
  3. Deligne, Pierre: The Hodge Conjecture Clay-instituutti. Viitattu 30.1.2022. (englanniksi)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.