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