“怎么样,庞先生,你有把握解决这个问题吗?”
一旁的树老似笑非笑地看着庞学林道。
庞学林淡淡一笑,说道:“我可以试试。”
庞学林当然不愿意和墨菲两人被这个看似慈祥,实际上却心机无比深沉的老妖怪一直控制着。
毕竟不管是寻找高维人类文明,还是为永夜号的安全着想,他都必须脱离树老的掌控。
但是短时间内他也想不到太好的脱困之法,只能暂时在这里待着,和树老虚以委蛇。
至于帮助树老解决一些数学以及物理学方面的问题,庞学林倒不怎么抗拒。
在这个树洞里长时间生活,研究数学问题无疑是打发时间的最好办法。
树老笑道:“行,庞先生,那我就不打搅你的研究了。不过在努力研究的同时,我希望你和墨菲女士能够更加努力地造人,毕竟这才是你们的主要工作。”
庞学林淡淡道:“放心吧,树老,这一点我当然明白。”
“那就好。”
树老瞬间消失。
……
接下来的时间,庞学林将所有注意力都投入到霍奇猜想的研究中去。
现代数学自伽罗瓦的群论诞生以来,越来越倾向于提炼出对事物本质抽象的认识。
一百多年以来,数学家们在抽象的基础上继续建立更深的抽象,每一层次的抽象都更加远离我们日常的经验世界。
以群论为例,我们通用的“加、减、乘、除”则被抽象为四种运算法则。
霍奇猜想则是现代数学极端抽象体系下诞生的难题。
作为高度专业的问题,它处理的对象与人们的直觉相去甚远,以至于不但对猜想本身的对错难以下判断,甚至连问题本身的表述都在寻求建立真正的共识。
因此,对于霍奇猜想的定义,得从几何学的诞生开始谈起。
古希腊时期,毕达哥拉斯用演绎法证明了直角三角形斜边平方等于两直角边平方之和,即毕达哥拉斯定理。
自此,人类便开始将形状与数学联系在一起。
两百年后,欧几里得把人们公认的一些事实列成定义和公理,以形式逻辑的方法,用这些定义和公理来研究各种图形的性质,从而建立了一套从公理、定义出发,论证命题得到定理的几何学论证方法,形成了一个严密的逻辑体系——几何学。
经过数千年的更迭,人们对于形状的研究越来越复杂,而这时,霍奇猜想就应运而生。
十七世纪七十年代以前,几何和代数都有了相当的发展,但它们是互相分离的两个学科。
笛卡尔对当时的几何方法和代数方法进行比较思考,他主张把几何学的问题归结成代数形式的问题,用代数学的方法进行计算、证明,从而达到最终解决几何问题的目的。
依照这种思想他创立了我们现在称之为的“解析几何学”。
笛卡尔的数学思想证明了如果你抽象一步进一步,几何实际上是与代数相同,几何可以转化为代数方程,代数方程同样也可以转化为几何图形。
如果你想看到某条线与特定圆交叉的位置,你可以几何地绘制形状,或者只是用代数方式比较方程。
两种方法都会给出相同的答案。
到了19世纪,数学家尝试推广笛卡尔的方法。
他们从一些代数方程入手,把这些方程的解定义为“几何”对象。
以这种方式从代数方程产生的对象,就被称为“代数簇”。
因此,代数簇是几何图像的一种推广。
任何一个几何对应都是一个代数簇,但是有许多代数簇是不可能被直观化的。
然而,并不因为某个特定的代数簇不可能被直观化,你就不能对它做(代数)几何。
你能做,只不过这是没有图形的几何。
之后,数学家很快发现更复杂的方程,或者甚至方程组都在一起工作,可以在各种维度产生惊人的形状。
数学家为了得到更加复杂的形状,发现了一个非常实用的方法,基本想法是在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
这种技巧非常好用,使得它可以用许多不同的方式来推广。
数学家希望通过这种方法,用各种不同类型的方式一步一步地扩展,最终建立一组强有力的代数方程或/和几何工具,使各种复杂的对象分类成一些具体的简单的几何对象及其组合。
这使得数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是,在这一推广中,几何出发点变得模糊起来。
到底应该从哪些简单几何对象组合起?
组合的程序/序列又是什么?
因此,必须加上一些没有任何几何解释的"非几何"基本模块。
正是基于这样的困境,1958年,英国数学家,第13次国际数学大会的主席霍奇教授提出:对于射影代数簇空间,在非奇异复射影代数簇上,任何一个霍奇类都可以表达为代数闭链类的有理线性(几何部件的)组合。
这句话用一个通俗的数学语言表述,就是:
设x是一个射影代数流形,?(x,q)是代数上闭链的子空间,即由x中余维数p为的代数子簇的基本类所生成的q向量空间。霍奇猜想断言,可以用霍奇理论来“计算”子空间,具体地说,h^2p(x,q)h^2p(x,q)。
这里面,所谓的“非奇