必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这

    种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何

    部件的（有理线性）组合

    「千僖难题」之三庞加莱（Poincare）猜想：如果我们伸缩围绕一个苹果表

    面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩

    为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮

    胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，

    苹果表面是「单连通的」，而轮胎面不是。

    大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，

    他提出三维球面（四维空间中与原点有单位距离的点的全体）的对应问题。这个

    问题立即变得无比困难，从那时起，数学家们就在为此奋斗。

    「千僖难题」之四黎曼（Riemann）假设：有些数具有不能表示为两个更小的

    数的乘积的特殊性质，例如，2，3，5，7，等等。这样的数称为素数；它们在纯

    数学及其应用中都起着重要作用。

    在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国

    数学家黎曼（1826~1866）观察到，素数的频率紧密相关于一个精心构造的所谓

    黎曼蔡塔函数z（s$的性态。著名的黎曼假设断言，方程z（s）=0的所有有意义

    的解都在一条直线上。这点已经对于开始的1，500，000，000个解验证过。证明

    它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。

    「千僖难题」之五杨－米尔斯（Yang-Mills）存在性和质量缺口：量子物

    理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大

    约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何

    对象的数学之间的令人注目的关系。

    基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的

    高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管

    如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被

    大多数物理学家所确认、并且在他们的对于「夸克」的不可见性的解释中应用的

    「质量缺口」假设，从来没有得到一个数学上令人满意的证实。在这一问题上的

    进展需要在物理上和数学上两方面引进根本上的新观念。

    「千僖难题」

    之六纳维叶－斯托克斯（okes）方程的存在性与光

    滑性：起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我