导致出现了一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是,在这一推广中,程序的几何出发点变得模糊起来。
在某种意义下,必须加上某些没有任何几何解释的部件。
数学家威廉·瓦伦斯·道格拉斯·霍奇由此断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
换一个形象一点的说法。
现在有两根管子,一个记为1,一个记为2,它们代表两个区域。我们假定所有的管子都是可以随意拉伸和弯曲的。
把两根管子端端相连,就是一个汽车轮胎一样的环,它有两个区域。
我们再用一根直管子记为3,安在这个环的中间,一头连着区域1,一头连着区域2,现在它是有两个洞的双环了,有三个区域两两相连。
现在我们用一个“丁”字型的三叉管,记为区域4,三个端口分别与区域1,区域2,区域3相连。于是现在有4个区域两两相连;我们再用一根四叉管记为区域5,有4个端口分别与区域1,2,3,4相连,现在有5个区域两两相连。
这个步骤可以无限制进行下去,用五叉管,六叉管,.....。构造无穷多个区域,它们都是两两相连的。
这种构造方法就是霍奇猜想。
四色定理、哥德巴赫猜想、费马大定理、黎曼猜想都是在霍奇猜想的工具下完成统一。
当我们用霍奇猜想的方法制造几何拓扑超级结构时:一种歧管
第二百二十四章 霍奇猜想(2/4)