世界七大数学难题之一，霍奇猜想究竟讲的啥？

~

古希腊时期，毕达哥拉斯用演绎法证明了直角三角形斜边平方等于两直角边平方之和，即毕达哥拉斯定理。自此，人类便开始将形状与数学联系在一起。

200年后，欧几里得把人们公认的一些事实列成定义和公理，以形式逻辑的方法，用这些定义和公理来研究各种图形的性质，从而建立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，形成了一个严密的逻辑体系——几何学。

经过数千年的更迭，人们对于形状的研究越来越复杂，而这时，霍奇猜想就应运而生。

霍奇猜想诞生的背景

17
世纪 70
年代以前，几何和代数都有了相当的发展，但它们是互相分离的两个学科。笛卡尔对当时的几何方法和代数方法进行比较思考，他主张把几何学的问题归结成代数形式的问题，用代数学的方法进行计算、证明，从而达到最终解决几何问题的目的。依照这种思想他创立了我们现在称之为的“解析几何学”。

笛卡尔的数学思想证明了如果你抽象一步进一步，几何实际上是与代数相同，几何可以转化为代数方程，代数方程同样也可以转化为几何图形。

如果你想看到某条线与特定圆交叉的位置，你可以几何地绘制形状，或者只是用代数方式比较方程。 两种方法都会给出相同的答案。

到了19世纪，数学家尝试推广笛卡尔的方法。他们从一些代数方程入手，把这些方程的解定义为“几何”对象。以这种方式从代数方程产生的对象，就被称为“代数簇”。

球射影空间上的代数簇

因此，代数簇是几何图像的一种推广．任何一个几何对应都是一个代数簇，但是有许多代数簇是不可能被直观化的。然而，并不因为某个特定的代数簇不可能被直观化，你就不能对它做（代数）几何。你能做，只不过这是没有图形的几何。

之后，数学家很快发现更复杂的方程，或者甚至方程组都在一起工作，可以在各种维度产生惊人的形状。

数学家为了得到更加复杂的形状，发现了一个非常实用的方法，基本想法是在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧非常好用，使得它可以用许多不同的方式来推广。

数学家希望通过这种方法，用各种不同类型的方式一步一步地扩展，最终建立一组强有力的代数方程或／和几何工具，使各种复杂的对象分类成一些具体的简单的几何对象及其组合。这使得数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。

不幸的是，在这一推广中，程序的几何出发点变得模糊起来在这种扩展过程中，几何出发点变得模糊起来——到底从哪些简单几何对象组合起；组合的程序／序列又是什么。因此，必须加上一些没有任何几何解释的＂非几何＂基本模块。

正是基于这样的困境， 1958年，英国数学家，第13次国际数学大会的主席霍奇教授提出：对于射影代数簇空间，在非奇异复射影代数簇上, 任何一个霍奇类都可以表达为代数闭链类的有理线性（几何部件的）组合。

这句话是什么意思呢？“非奇异射影代数簇”指代的是由一个代数方程的解所生成的光滑的多维物体的“表面”。简单而言就是：任何一个形状的几何图形，不管它有多复杂(只要你能想得出来)，它都可以用一堆简单的几何图形拼成。

霍奇猜想提出的意义

现代数学自伽罗瓦的群论诞生以来，越来越倾向于提炼出对事物本质抽象的认识。

一百多年以来，数学家们在抽象的基础上继续建立更深的抽象，每一层次的抽象都更加远离我们日常的经验世界。以群论为例，我们通用的“加、减、乘、除”则被抽象为四种运算法则。

霍奇猜想则是现代数学极端抽象体系下诞生的难题。作为高度专业的问题，它处理的对象与人们的直觉相去甚远，以至于不但对猜想本身的对错难以下判断，甚至连问题本身的表述都在寻求建立真正的共识。

也就是说这个问题的表述是否严谨合理在数学界都还存在一定的争论。有些人甚至说它应该更准确地称为一个不着边际的猜测。

而霍奇猜想的证明将在代数几何、分析和拓扑学这三个学科之间建立起一种基本的联系。

霍奇猜想的证明进展

美国数学学会曾出版专门关于霍奇猜想研究进展的书。在其序言的开头有一段对霍奇猜想的陈述，它被这本书描述为这个猜想的“通俗版本”：

这本书曾出版了两版。第二版在1999年出版，共有368页，每页都排得密密麻麻。根据已知的情况作了更新。其中列出了发表于1950年至1996年的71篇论文，这些论文都仅仅是关于这个猜想的一个方面，即所谓阿贝尔簇上的霍奇猜想的。这本书的作者在序言中承认，即使有了这个补遗，这个综合报告仍然是不完全的，要读者参阅其他资料。

也就是说说从1958年提出，霍奇猜想的研究进展几乎为0，而唯一有突破的一次证明还是在霍奇猜想提出之前，是由美国数学家莱夫谢茨于1925年解决的，他证明了霍奇猜想的一种情况。

复杂几何图形

相比起大名鼎鼎的庞加莱猜想、哥德巴赫猜想等，霍奇猜想可以称之为世界上最难的数学问题，诞生半个多世纪，数学家依然对它束手无策。

目前，两名毕业于北京大学数学科学学院的80后中国数学家恽之玮、张伟证明了函数域中的高阶Gan-Gross-Prasad猜想，张伟和恽之玮所发现证明的这个公式和7个“千禧年问题”中的3个（霍奇猜想、黎曼假设、BSD猜想）都有关系。恽之玮在接受CCTV采访时说：“我们的等式是连接了数论和几何的两个量，几何那边和代数几何中的霍奇猜想有关，数论那边和黎曼假设中的黎曼Zeta函数有关，这个等式本身可以看作是在BSD猜想框架下的一些拓展”。

恽之玮,张伟

希望中国数学家可以在这个千年未决的难题上取得一点小的突破，这样数学家才知道霍奇猜想通往的方向究竟会是哪里。

---

东乡县13229385330： 霍奇猜想是什么? - ？
鞠滕益心：[答案] 霍奇猜想是代数几何的一个重大的悬而未决的问题.它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想.属于世界七大数学难题之一.

东乡县13229385330： “世纪难题”之二:霍奇猜想讲的是什么呢? - ？
鞠滕益心： 此难题由苏格兰数学家W?霍奇在1950年提出.基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块黏合在一起来形成.这种技巧是变得如此有用,使得它可以用许多不同的方式来推广,最终导致一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展.不幸的是,在这一推广中,程序的几何出发点变得模糊起来.在某种意义下,必须加上某些没有任何几何解释的部件.霍奇猜想断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合.

东乡县13229385330： 霍奇猜想怎么证明 - ？
鞠滕益心： 对于(1,1)类的霍奇猜想已经在霍奇本人提出本猜想前的1924年由 Lefschetz证明.换句话说,霍奇猜想对于H^2成立.实际上,这是霍奇提出其猜想的动机之一. 除此以外,还成立以下定理:如果霍奇猜想对于度数p的霍奇类成立,其中p<n,n是上述射影代数簇的维数,那么对于度数为2n-p的霍奇类,霍奇猜想也成立. 霍奇猜想是代数几何的一个重大的悬而未决的问题.由威廉·瓦伦斯·道格拉斯·霍奇提出,它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想.属于世界七大数学难题之一.

东乡县13229385330： 七大数学难题解决了几个(千禧年七大数学难题被解决了几个) ？
鞠滕益心： 七大数学难题解决了一个,七个“世界难题”是:NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想.这七个问题都被悬赏一百万美元.美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”,克雷数学研究所的董事会决定建立七百万美元的大奖基金,每个“千年大奖问题”的解决都可获得一百万美元的奖励.

东乡县13229385330： 世界7大数学难题是?？
鞠滕益心： 世界七大数学难题 这七个“千年大奖问题”是: NP完全问题、霍奇猜想 、庞加莱猜想、黎曼假设、杨-米尔斯理论、纳卫尔-斯托可方程、BSD猜想千年大奖问题.[请采纳]

东乡县13229385330： 被称为数学7大难题是哪些?？
鞠滕益心： 一: P (多项式算法)问题对NP (非多项式算法)问题 二: 霍奇(Hodge)猜想 三: 庞加莱(Poincare)猜想 四: 黎曼(Riemann)假设 五: 杨-米尔斯(Yang-Mills)存在性和质量缺口 六: 纳维叶-斯托克斯(Navier-Stokes)方程的存在性与光滑性 七: 贝赫(Birch)和斯维讷通-戴尔(Swinnerton-Dyer)猜想

东乡县13229385330： 庞加莱的猜想是什么? - ？
鞠滕益心：[答案] 如果我们伸缩围绕一个苹果表面的橡皮带,那么我们可以既不扯断它,也不让它离开表面,使它慢慢移动收缩为一个点.另一... 美国克莱数学研究所的科学顾问委员会把庞加莱猜想列为七个“千禧难题”(又称世界七大数学难题)之一,这七道问题被...

东乡县13229385330： 世界数学难题 - ？
鞠滕益心： 世界近代三大数学难题1、费尔马大定理2、四色问题3、哥德巴赫猜想 世界七大数学难题 一、P(多项式时间)问题对NP(nondeterministic polynomial time,非确定多项式时间)问题 二、霍奇(Hodge)猜想 三、庞加莱(Poincare)猜想 四、...

东乡县13229385330： 世界有几项数学难解题 - ？
鞠滕益心： 世界七大数学难题分别是: P/NP问题(P versus NP) 霍奇猜想 庞加莱猜想(The Poincaré Conjecture),此猜想已获得证实. 黎曼猜想(The Riemann Hypothesis) 杨-米尔斯存在性与质量间隙(Yang-Mills Existence and Mass Gap) 纳维-斯托克斯存在性与光滑性(Navier-Stokes existence and smoothness) 贝赫和斯维讷通-戴尔猜想(The Birch and Swinnerton-Dyer Conjecture)

东乡县13229385330： 世界七大数学猜想是什么? - ？
鞠滕益心： 1. P问题对NP问题2. 霍奇(Hodge)猜想3. 庞加莱(Poincare)猜想4. 黎曼(Riemann)假设5. 杨-米尔斯(Yang-Mills)存在性和质量缺口6. 纳维叶-斯托克斯方程的存在性与光滑性7. 贝赫和斯维讷通-