听着乔喻认真中带着几分得意的语气,炫耀当时的心态,田言真又笑了,温言道:「嗯,我希望你能一直记住这种感觉,最好能对这种感觉上痛。数学研究的过程往往是很枯燥的,更多的乐趣其实来自于最终的成果。
尤其是你以后会接触更多困难的问题。可能会被困在某个地方,长时间得不到解答。那种痛苦你暂时还没体会到,但每个真正立志在数学上有所建树的人未来都可能遇到,甚至可能是人生中的常态。
否则的话,历史上出过那麽多惊世绝艳丶成果让人拍案叫绝的数学家,为什麽他们留下的不止是定理,还有困扰数学们几十年甚至几个世纪的猜想?
你很幸运,能在这麽年轻的年纪就体验到数学成果带来的乐趣。记住这种感觉,以后如果真的遇到瓶颈,感觉坚持不下去了,就想想今天的感觉!
而且你的年纪就是要表现的时候!不要在乎别人怎麽说。年轻人不出风头,难道风头都让一帮老头子去出?只要你有那个能力,就尽管表演,老师给你兜底!」
乔喻很受教的点了点头,然后更唱瑟了。
好吧,他今天心里的确美滋滋的,但显然不止是因为在会场上当众出了些许风头的原因。不过听到导师这麽跟他说,倒是让乔喻感觉更得意了。
田导都这麽说了,以后哪个师兄师弟再吃味,他就有话说了。
毕竟他也很为难的,属于奉旨装逼,你们要有意见都去跟田导提,不关我的事情。。
「对了,丁教授刚才还在说会议那边教授们已经吵成一团了。有人认为你的想法是对的,也有人觉得你的想法异想天开。谭教授很支持你的想法,他说感觉你应该是对的。争取这两天把详细的证明过程给写出来。我知道你有这个能力。
但你也不要有压力。哪怕最终证明是错了也没关系,要知道这次参与会议的都是相关领域的顶级专家。你的想法能引起他们的争论,这本来就是一种成功。」
乔喻撒了撇嘴,说道:「田导,虽然您说的大部分内容,我都很认同,但您最后这句话有部分我不能认同!」
被顶了一句,田言真也不着恼,笑着问道:「哦?哪部分你不能认同?」
乔喻言之凿凿道:「您说参加这次会议的都是相关领域顶级专家这句话。这麽说吧,我都把问题给他们讲的那麽清楚了,他们竟然还觉得我是异想天开,这足以说明他们属于半碗水,绝对算不了顶级专家!」
一句话,直接让田言真沉默了。
他突然觉得专门把这小子叫来一趟,纯属浪费时间。这心态,比他年轻时候天知道好了多少倍。
好家夥,完整证明过程都没给出来,人家质疑了就是半碗水,这自信,绝对过了百分之九十九的同龄人。起码在不迷信权威这块,这小子已经站在了世界金字塔尖。
不过话又说回来,田言真还真挺喜欢乔喻这种舍我其谁的强势性子。而且这种性格,还真适合未来扛起燕北学派这杆旗。
唯一的问题大概是,等这小子成长起来,他退下去之后,以后如果真有意见相悖的地方,他大概是无法影响这小子的决策。不过也无所谓了。
只要乔喻能在三十岁之前拿到菲尔兹奖,未来华夏数学界的旗帜大概都得这小子来扛,他到时候就看看好了。希望到时候乔喻能给他一个惊喜,让华夏数学界在世界数学界上的话语权更加高。
如果乔喻能做到这一点,帮他出一口恶气,国内那些屁事还真不重要。
「好,好,好,说得很好。这次研讨会还有两天,实在不行可以延长一天。最后一天交给你,时间你自己安排,刚刚我只是希望,但现在是要求。总之你要在研讨会之前,拿出完整的东西来。让那些反对你的教授都无话可说。没问题吧?」
田言真乾脆的提出了要求。
这小子对自己都不太客气,他也没必要太客气了。
乔喻拍着胸脯说道:「放心吧,田导。我已经大概有想法了。回头我只要把这种局部形变模结构给出准确的定义,然后证明出来了就行了。
您应该也知道了,那位埃弗顿教授都把我构想出的特殊奇异点直接定义为乔点了。现在不就是把乔点的共轭性证明过程补足嘛。这个简单,最多明天晚上就能搞定。」
田言真瞥了乔喻一眼,说道:「那行,只要你觉得证明过程不会出现意外,我当然是相信你的。证明过程写完了,随时跟我联系。先来给我看看。
「没问题,田导!那我先去了,为了让您早点看到我的证明过程,我分秒必争。
「好,去吧。对了,明天早上是谭教授的讲座,你就不用过去了,如果有需要我让他单独给你讲课。下午那场菲利斯教投的讲座,你还是要去一下,机会难得。」
「知道了,田导。」
回到房间,乔喻坐在电脑前,直接打开了LaTex。接下来就是证明了。
论文最重要的部分就是非线性的共轭脊络结构成立,也就是完整证明代数簇上的两个远端奇异点p1和p2,它们分别具有局部的脊络奇异性,并且通过非线性同调映射相互影响。
乔喻回来的路上已经想好了,该如何证明。
第一步自然是局部结构分析,无非是通过定义局部方程,来描述奇异点的几何结构,再通过计算Janet矩阵来检查奇异点的性质,以及利用吹起跟解析分解的方式,研究其脊络结构。
这些都是现成的方法,乔喻都不需要过脑子。重点就是非线性同调映射的构建。
真正让乔喻需要思考的就是选择什麽工具来计算p1和p2的局部同调,这大概是唯一的难点。不同的同调理论工具在处理这部分内容的时候,会直接影响可解性。
经过审慎的思考后,乔喻决定用层同调加grothendieck局部同调的方式来处理这个问题。
层同调能更方便的捕捉代数簇局部几何和拓扑信息,grothendieck局部同调则提供了处理局部环和代数结构更深层次的工具,能够进一步分析奇异点的局部代数环的性质,揭示奇异点处代数簇的细微代数结构。
这应该是最简单的,将奇异点的局部同调维数和局部环的性质通过同调映射关联起来的方法。
乔喻追求的恰好也是能够用简单直接的方式,让那些觉得他的推理有问题的所谓资深教授们闭上嘴巴。
其实也可以用层同调加deRham同调,乔喻觉得也能得出一样的结论。不过deRham同调在处理解析奇异点或代数簇上的解析形式时,提供的是微分几何的视角,会让问题解决起来更复杂。
这块就没必要用解析几何来炫技了。而且乔喻觉得自己的解析几何其实并不强,万一用deRham同调证明过程出了什麽漏洞,不管是田导还是师爷爷怕是都会觉得脸上无光。。
毕竟导师跟师爷爷可都是解析几何方向上的大佬级人物。
总之把这个问题解决了,整个证明过程就完成了大半。接下来无非就是按部就班的内容,只要这样的点存在,通过高阶范畴论导出的函子必定失效。
导出函子不等价,所有的结论自然不攻自破。
真正的难点还是在如何重构ambidexterity定理,让这个关键定理能在几何朗兰兹猜想证明过程中重新生效。这个阶段,乔喻打算自己出手解决这个问题,但就不告诉对面。。。