第235章 自由修炼空间的启发(2/2)
随后,林叶不再浪费一分一秒的时间,翻开第一本书,整个人瞬间沉浸了进去,仿佛一块干燥的海绵被扔进了知识的汪洋。
真正的闭关,开始了。
前几天的时间,他像是一台不知疲倦的扫描仪,将pal vjta的《丢番图逼近与值分布理论》尽可能啃透。
在他的脑海里,原本泾渭分明的数论高度与复分析特征函数开始创建起妙的同构关系。
「原来如此……vjta字典的内核,就是将数论中的近似转化为几何上的接触阶数。」
接下来,林叶的主攻方向转向了mally的《全纯莫尔斯不等式》。这是一块极硬的骨头,涉及到复杂的复流形曲率估计。
他在草稿纸上疯狂推导,试图理解如何利用【jt丛】——也就是高端导数构成的纤维丛,来捕捉曲线的渐近行为。
他意识到,jt微分算子就像是一个高维的捕兽夹,只要曲线试图逃逸,算子就会通过导数项将其锁死。 接着他又开始啃那几篇冷门的苏联数学家论文。
那是上世纪80年代关于【双曲几何与线性退化】的开创性工作,虽然符号体系古老且晦涩,但林叶却在其中发现了一种惊人的直觉——利用几何空间的负曲率来压制动力系统的混沌。
时间飞逝。
第十四天,最后的一个小时。
林叶手中的最后一份预印本论文只剩下最后数页。
他的阅读速度极快,大脑高速运转,将每一个引理都拆解、吸收。
「原来……对数导数引理在几何上对应的是切丛的异度量……」
:
当他翻过最后一页,看清最后一个【...】(证明完毕)的符号时。
「叮!」
「本次自由修炼时间已耗尽。」
系统的提示音精准令人发指,几乎是在林叶合上数据的同一秒响起。 「呼……」
林叶长出了一口气,看着正在崩塌消散的教室,有些意犹未尽地摇了摇头。
「原本还想着如果能提前看完,还能留点时间在空间里做个总结推导什么的……看来系统对我的阅读速度和理解能力也是了如指掌啊,一秒钟的羊毛都不给薅。」
随著白光一闪,失重感传来。
……
现实世界,陈景明的办公室中。
林叶猛地睁开眼。
窗外的阳光和刚进入修炼空间的时候没有任何变化,就连姚清扬送来的那几份感谢信也依然放在旁边的位置上。
大概唯一不同的就是他脑海中多出的那十四天的记忆。
他没有休息,而是立刻拿起笔,在面前的白板上开始疯狂书写。
虽然他从修炼空间里学习到的知识相当之多,其中大部分对于目前的研究来说显然都用不上。
但剩下的那一部分——关于jt微分算子构造和误差项控制的内核思想,正是他此刻最急需的拼图。 「不需要全部照搬。」
林叶的眼神越来越亮,「我只需要借用vjta字典里的第二主定理框架,然后把流体的耗散项塞进去……」
「这里……用jt丛的截面来定义一个新的高度函数。」
「然后……利用莫尔斯不等式控制上同调群的维数增长。」
系统提供的学习数据,一定是能够用到的,对此,林叶已经感受过很多次了。
而这次,系统仍然没有让他失望。
随着思路的理顺,林叶再次一头扎进了封闭式的研究中。
接下来,又是现实中度过的两个周,办公室的灯光几乎彻夜不熄。
凭借着修炼空间中收获的知识,原本卡住林叶的高度函数发散问题,开始像冰雪消融般瓦解。
:
他成功构造出了一个【加权jt微分算子】。
在绝大多数情况下,这个算子能够完美地控制住解曲线的增长,迫使流体轨迹乖乖地待在伪双曲流形的安全区域内。 仿佛这个问题的证明进度条,都开始狂飙了起来,直接从原本的不到一半,飙升到了90%。
然而就像是进度条总是会在马上完成的时候卡住。
冰雪消融后才能看到里面还藏着什么东西。
就在距离终点只差最后一步的时候,林叶手中的笔,停住了。
这一停,就是整整三天。
面前的白板上,写满了一个巨大的不等式,但在不等式的最右端,有一个刺眼的项无法消除。
【基点轨迹问题】
这就是横亘在他面前的最后一道天堑。
「艹……这么玩是吧?」
林叶看着那个顽固的符号,眉头紧锁,眼中布满了血丝。
他在修炼空间里学到的所有工具,都基于一个前提:假设解曲线不会落入微分算子的零点集。
而这个「零点集」,指的便是基点轨迹,英文里面叫【ba l】。 换句话说,他造了一个完美的捕兽夹,只要野兽踩上去就会被抓住。
但是,如果这个捕兽夹在某些特定的几何位置会失效呢?
如果流体极其狡猾,它的运动轨迹恰好就沿着这些失效点在跑呢?
这就是所谓的线性退化。
一旦发生这种情况,所有的算术高度控制都会瞬间失效,流体依然可以在这个盲区里无限加速,最终导致爆破。
这个问题的难度,极高。
它触及到了代数几何中最本质的困难——如何控制一般型代数簇上全纯曲线的退化行为。
这也是n-fft-lan猜想至今未被完全解决的内核原因。
而对于林叶来说,这个问题更是致命的。
因为他要证明的是n方程的无条件正则性。
只要存在哪怕一种微乎其微的退化轨迹无法被排除,他的整个证明大厦就会在最后一刻轰然倒塌。
: 「必须证明流体轨迹与基点轨迹是横截的,或者证明流体根本进不去那个区域。」
林叶扔下手中的马克笔,笔在地上弹了两下,滚到了角落里。
他颓然地靠在沙发上,看着天花板。
工具已经用尽了。
不管是修炼空间学来的技巧,还是他自己的物理直觉,在这个纯粹的几何退化问题面前,似乎都失去了效力。
总不能南辕北辙地跑去证明n-fft-lan猜想嘛。
这和他最开始想要证明邦别里-朗猜想来证明n方程的全局正则性也没什么区别了。
此时他也算是真正明白了,这种世界级的问题为什么能够被称之为世界级了。
只要想要继续研究下去,那么就一定会撞上越来越难的东西,要么想办法绕过去,要么就只能硬刚——而硬刚的结果一般也就只会是碰的头破血流,然后灰头土脸地放弃。
毕竟你想要硬刚的对象,可都是这些几十年都未曾被解决,而一旦被解决就一定会给整个领域都带来变革的问题。
之前的邦别里-朗猜想是这样,现在的这个n-fft-lan猜想亦是如此。
林叶在座位上恍惚了片刻,好一会儿后,方才摇了摇脑袋,然后从座位上站了起来。 甚至刚站起来的时候还有点重心不稳,往旁边倾斜了一点,赶快控制住身形后方才站稳。
看看电脑右下角,现在已经是4月28日,而时间也都已经晚上十点了——当然,这个时间点对于他来说实在是算不上多晚。
「哎……算了,还是先回宿舍休息休息吧。」
从今年的寒假结束之后他就几乎都是这样的闭关工作了,直到现在都已经过去将近两个半月了。
要是再加上进入修炼空间的时间,那就更多了。
他真的是好长一段时间没有好好休息过了。
捂了捂脑袋,简单收拾了一下之后,便直接离开了办公室。
: