从这个角度来讲,ABC猜想是质数结构的未知宇宙的强力探测器,仅次于黎曼猜想。
一旦ABC猜想被证明,对于数论的影响之巨大,无异于相对论和量子物理之于现代物理学。
要解决这个猜想,需找到一把钥匙,通过各种资料的查询,马由基本确定了远阿贝尔几何,作为解开ABC猜想的一个途径。
远阿贝尔几何由代数几何教皇格罗滕迪克于二十世纪八十年代创建,是数学界一门非常年轻的学科。
这门学科研究对象是不同几何物体上的代数簇的基本群的结构相似性。
近代分析学之父巴纳赫说:“数学家能找到定理之间的相似之处,优秀的数学家能看到证明之间的相似之处,卓越的数学家能察觉到数学分支之间的相似之处。最后,究级的数学家能俯瞰这些相似之处之间的相似之处。”
格罗腾迪克,便称得上是真正意义上的究级数学家,远阿贝尔几何便是一门研究“相似之相似”的数学分支。
数学界曾经流传一句话:爱因斯坦对物理学有多重要,格罗滕迪克对数学就有多重要。
在现代代数几何领域,格罗滕迪克就是当之无愧的教皇。
格罗滕迪克的数学向来以艰涩著称,因为他几乎不考虑具体的示例,都是从尽可能抽象的角度出发,思考支配某个数学问题背后的宏大数学结构。
远阿贝尔几何便是格罗滕迪克在他的遗作《纲领草案》中留下的宏伟框架,只可惜还没来得急往里面填充血肉,这位二十世纪最伟大的数学家便在离群索居中离开了人世。
接下来里时间,马由全身心投入到远阿贝尔几何和一般化泰希米勒几何理论的相关研究中去。
这一理论抽象晦涩,理解起来很难,马由隐隐能感受到这一理论背后所隐藏着的宏大的数学结构。
他用电脑没日没夜地推演,通过这些解析,对远阿贝尔几何的理解也在逐步深入。
但有一点可以肯定,用远阿贝尔几何,确实能表现出加法结构和乘法结构的相似性,而ABC猜想的核心,便与这两大问题有关。
马由总觉得,以现有的远阿贝尔几何框架,恐怕很那解决这一问题。
必须在这一框架下增加一些全新的东西。
若自己想要证明ABC猜想的话,恐怕得提出一套全新的理论体系才行。
但这个难度更大了,在数学领域,攻克一个猜想容易,但想要开创一套体系却极难。
但凡开创一套全新数学体系的,几乎都是开宗立派大宗师级别的人物。
比如开创群论的伽罗瓦,虽然他在21岁那年便英年早逝,但在任何有史以来最伟大数学家排名标准中,伽罗瓦都是前五乃至前三的存在。
又比如,现代代数几何奠基人格罗滕迪克,EGA、SGA、FGA,洋洋洒洒数千页,是代数几何史上的不朽名著,使代数几何这个古老的数学分支焕发出了新的活力,最终导致他的学生皮埃尔·德利涅完全证明了韦伊猜想,这被认为是20世纪纯粹数学最重大的成就之一。
电脑飞速运行,软件解析数字构建的模型,出现了一道破口,马由眼神越来越亮。
他终于触摸到了数论宇宙的边缘。
坚硬的冰层开始破碎融化,潜藏在冰层下的深层次素数结构渐渐浮出水面。
远阿贝尔几何的框架体系被他彻底揉碎重组,一套全新的数学理论正在悄然酝酿。
一种即将突破的预感从心中涌出,马由闭上眼睛,整理思路,再度在软件上,调整各种系数。
渐渐的,一条全新的数学道路,开始呈现在他的眼前,前程荒凉,但道路已通达,等待着他去拓荒。
现在的远阿贝尔几何更准确地说,应叫做《马氏几何》。
他吸收了远阿贝尔几何的精华,对其框架体系进行了大刀阔斧的改革,它不但能精确描述加法结构与乘法结构的相似性,甚至还能描述乘方性质。
这是一套全新的数学体系,将其命名为《马氏几何》,实至名归。
而且马由隐隐感觉到,接下来,只要他慢慢将这一理论填充血肉,补上各种漏洞,到时候不但能完美解决ABC猜想,甚至孪生素数猜想、冰雹猜想等数论领域的著名问题,都在它的解决范围内。
只是现在,这一理论还相当稚嫩,马由也只是想到了一个初步的框架结构,他也没办法预测,自己到底需要多久才能将这一理论补充完整。但是有电脑和软件的运算,这个目标到不难完成,仅仅是水磨工夫,花费一点时间而已。
他也不急,大学毕业后,研究生阶段来完成,甚至拖到千禧年后,可一举推论千禧年七大猜想中的部分难题,并顺理成章。
但有了正确的工具,先把问题解决,将来有机会再完善这个工具,才是正确的方式。
他需要短时间出成果,确立自己在这个领域的学术能力。