霍奇猜想
霍奇猜想是代数几何的一个重大的悬而未决的问题。由威廉·瓦伦斯·道格拉斯·霍奇提出,它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想。属于世界七大数学难题之一。
霍奇猜想 (Hodge Conjecture)
在非奇异复射影代数簇上, 任一霍奇类是代数闭链类的有理线性组合。[1]
背景
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。
基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用,使得它可以用许多不同的方式来推广;最终导致一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是,在这一推广中,程序的几何出发点变得模糊起来。在某种意义下,必须加上某些没有任何几何解释的部件。霍奇猜想断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
问题
霍奇猜想是代数几何的一个重大的悬而未决的问题。它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想。它在霍奇的著述的一个结果中出现,他在1930至1940年间通过包含额外的结构丰富了德拉姆上同调的表述,这种结构出现于代数簇的情况(但不仅限于这种情况)。[2]
现状
黎曼假设、庞加莱猜想、霍奇猜想、贝赫和斯维讷通-戴尔猜想、纳维叶―斯托克斯方程、杨―米尔理论、P问题对NP问题被称为21世纪七大数学难题。2000年5月,美国的克莱数学研究所为每道题悬赏百万美元求解。目前,这一难题仍没有被破解。
已知的情形
对于(1,1)类的霍奇猜想已经在霍奇本人提出本猜想前的1924年由 Lefschetz证明。换句话说,霍奇猜想对于H^2成立。实际上,这是霍奇提出其猜想的动机之一。
除此以外,还成立以下定理:如果霍奇猜想对于度数p的霍奇类成立,其中p<n,n是上述射影代数簇的维数,那么对于度数为2n-p的霍奇类,霍奇猜想也成立。