霍奇猜想是最反直觉的世界数学难题,可以说汇集了最抽象的数学概念。
它是关于非奇异复代数簇的代数拓扑,和它由定义子簇的多项式方程,所表述的几何的关联的猜想。
在个非奇异射影代数簇上,每一个调和微分形式都是代数闭链的,上同调类的一个有理组合。
其猜想以现代数学的本质,使它大部分几乎不可能被普通人所领会。
这点倒是和数论形成了鲜明对比。
是夜。
锦城飞机设计研究所。
某房间里徐源坐在书桌旁,垂下视线整个人显得非常专注。
俨然已经进入到了深度学习状态。
如果顺着他的视线看去,则能发现桌面上堆积着大量写满数学公式的手稿。
全都是他在锦城这段时间的杰作。
“非奇异射影代数簇,一个光滑的多维曲面。”
“就像是某个球面通过解代数方程,从而得到一个光滑的二维曲面。”
徐源思维快速运转下,边自顾自说着数学术语,边在草稿上书写公式。
“x y z=a”
……
随着时间逐渐过去,直到时钟指针来到晚上十点时徐源才停下动作。
接着看了眼光幕上的进度条,然后从深度学习状态脱离。
——
任务:霍奇猜想证明
学科:数学
进度:5%
结果:未完成
“想要证明霍奇猜想,在代数几何和分析以及拓扑学这三个学科之间,建立起一种基本的联系,果然是不容易做到的事情啊。”
将手中的笔放进桌面上的笔筒,神情复杂的感慨句伸手揉了揉太阳穴。
先前他从黎曼曲面思想推广成高度抽象概念复流形方面入手。
即黎曼曲面的一个有着一种复杂拓扑结构的多维模拟物。
得到非奇异射影复代数簇,就是一种特殊类型的复流形。
借助分析方法应用于代数流形,意识到由一个非奇异射影复代数簇,所产生的微分形式的有理上同调类可以被看作是拉普拉斯方程的解。
使得面板进度条上的进度增长到百分之五。
要知道在此之前进度条始终为零,表明他并没有找到正确的方向。
因此突然看到有了百分之五的增长,他心里也显得非常激动兴奋。
有种终于找对方法的感觉。
虽说距离真正证明霍奇猜想还非常遥远,但无疑是给了他一剂强心针。
对霍奇猜想的研究更具有信心。
可惜这剂强心针的效果并没有持续太长时间。
很快他便发现从这个方向研究,进度始终没有出现新的增长。
就像是从一个困境进入了新的困境。
出现这种情况,大概率说明眼下的证明思路并不是正确的。
也就是说需要推翻重来。
如此先前他的那些手稿,就全部成了废稿。
没有任何价值。
不过这种情况倒也在他的预料之内,毕竟真那么容易证明的话,也就不会被称作是世界数学难题了。
何况还是世界数学难题中最抽象的。
但眼下的困境并不能说明问题,他证明霍奇猜想的信心并没有消失。
反正在时间方面,非常充足。
下秒他站起身走到窗户处将窗户关上,顿时又若有所思的低喃起来。
“看来要和德利涅教授多交流下代数几何,这样或许能帮助我诞生灵感。”
通过这段时间对霍奇猜想的研究情况,他深知单靠自己还是难度太大了些,与数学家们互相交流探讨,说不定更容易碰撞出新的灵感。
而在代数几何领域,德利涅的权威程度绝对是没有人质疑的。
关键对方还在霍奇理论的研究上,有着不小的科研学术成就。
但就当他准备打开电脑发一封邮件时,目光又落在了墙上的钟表指针。
看到都已经过了晚上十点,略作思索摇摇头低喃。
“算了。”
“还是过两天再说吧。”
“明天的首飞测试可不能耽误。”
“早点睡觉。”
说完洗漱好便回到床上休息,让自己明天保持一个精神的状态。
是的。
经过这两个月的组装,无人机已经通过了全项地面测试流程。
具备首飞测试的要求。
经过所里的研究,决定把试飞时间定在明天。
至于无人机则依旧沿用之前的名字,型号为翼龙察打一体无人机。
其飞行测试内容,主要为最大飞行时间和航程,以及最大起飞重量。
因为锦城飞机设计研究所的无人机项目,从立项之初便被其他两个研究所关注。
都很关注这样远航程重挂载多用途的无人机,实际表现具体能达到何种程度。
所以奉天研究所的高玉河院士,和西飞研究室的黄运良总设计师,得知翼龙要进行首飞测试后,也都表示要过来观看。
今天下午就已经全部到达锦城。
除此之外。
还包括航空工业董事长陆东明,以及空军方面指挥官岳金伟。
无一例外他们都对翼龙充满好奇。
如果只是普通的无人机,那么这种首飞测试,基本都是研究所内部的事。
关键先前在航空工业集团会议上,徐源讲解了翼龙无人机的预期参数。
那上万千米的最大航程,以及超过四十个小时的续航时间。
无论哪个数据都让人不得不关注。
况且在这种航程续航下,最大起飞重量还直接超过了6000千克。
这种性能强大的无人机,相信任何一个国家,都希望能够得到。
不过那么多人前来观看首飞测试,这对于翼龙整个项目团队也是压力倍增。
毕竟这要是最终测试结果和预期相差太多,那锦城飞机设计研究所就显得丢面子了。
……
彻夜无话。
翌日。
徐源在所里食堂吃完早饭,便和梁占军赵岳峰等项目团队成员,前往锦城飞机设计研究所机场。
当初正是在这里,面向世界完成了第五代国产隐身战斗机的首飞。
向全球展示了最先进的隐身战斗机。
而今天则是翼龙的舞台。
只是唯一的区别是,这次属于内部首飞测试,暂时并不会向外界公布。
主要翼龙的各项参数实际会达到何种程度,目前还都是未知数。
肯定不会贸然公开。
徐源刚来到测试机场,眺望过去顿时便见高玉河和黄运良以及陆东明这些熟悉身影。
另外岳金伟也早就来到了现场。
然后便是锦城飞机设计研究所所长贾跃光。
因为正值七月份天气炎热季节,大家基本都穿着淡色短袖衬衫。
只有岳金伟依旧是全身制服。
但让他有些意外的是,对方几人正和常汉平交谈。
看上去还关系很熟络样子。
不过想到奉天和西京研究所项目,除了海外进口也会使用西发的发动机,对此互相熟悉倒也正常。
念头停留在这里,徐源也不再迟疑,当即加快脚上步伐走了过去。
“高院士。”
“岳指挥。”
……
近前后徐源先和距离最近的高玉河和岳金伟打了声招呼问候。
随即又和后面的黄运良陆东明,以及常汉平等人互相寒暄了几句。
话音刚落,耳旁便传来高玉河惊喜的声音。
“刚才要不是和老常聊,我们还不知道你这架无人机使用的涡桨发动机,居然是你自己设计出来的。”
尽管知道徐源在多个领域都有研究,但在此之前并不知道徐源还懂发动机。
并且从常汉平的评价来看,所设计的发动机性能还非常优越。
无论他还是黄运良,自己研究所的飞机项目,研发都离不开发动机。
能看到国产发动机技术更新,那绝对是好事。