“霍奇影院的讨论对象,主要包括了两类。”
“‘类etae对象’和‘类frobeni对象’。”
“粗略地说,前者,我们通常表示为d,由抽象拓扑群π(x)给出,被认为是一个内自同构的群,同样的,正如在iutt理论中所讲述的那样,我们可以考虑抽象的伽罗瓦范畴的有限etae覆盖,而不需要选择基点。”
“……”
萧易的讲述开始。
他的语调缓慢,但却有力。
似乎很有自信一样,对于自己所说出来的东西,即使放慢度,任由在场这么多的数学学者们仔细思考,也完全不担心会被现其中存在的错误。
在场的人们也都跟随着他缓慢的讲述,认真地分析了起来。
尽管不是怎么相信萧易的想法会成为终结这场辩论的定论,但不管如何,舒尔茨允许了他继续说下去,而望月新一也没有直接指出他的错误,相反,从他的神情上看过去,似乎还出奇地有种被难住了的感觉。
再加上这个年轻人缓慢讲述时的那种自信……
说不定,真的会有奇迹生了?
当然,在他们的眼中,萧易缓慢讲述是因为自信,但实际上是因为这是他第一次进行英语演讲,而且还是数学专业的英语演讲,因此才放慢度,让自己不至于说错。
不过,对于自己这个想法的自信,他还是有的。
实际上,在听完舒尔茨和望月新一在第五个问题之后,他就现了不对劲。
他们的争辩,使用了他在《非奇点解析和绝对远阿贝尔猜想》中的思想。
所以,他不仅能够听懂,而且还能够明白他们是怎么得出相应结论的。
尽管受限于他并没有看完望月新一的iutt论文,毕竟六百多页,就那么一个月不到的时间,再加上其中的晦涩难懂,他也仅仅只是把里面涉及到远阿贝尔几何的内容看完了,毕竟他本身就熟悉远阿贝尔几何。
而针对其他的内容,了解的就并没有那么透彻了。
但终究,即使不透彻,但却也让他熟悉了这些理论。
所以,当望月新一指出“霍奇影院是抽象地来自固定的一次删截椭圆曲线x的数据”时,他就意识到了问题所在。
“假设cp,g是p-adic域k上亏格为g的双曲代数曲线。那么cp,g的k-自同构群自然同构于它的otricetae基本群Γ=πet,o(cp,g)的连续自同构群。”
“该定理,即是望月教授于年在远阿贝尔几何上所证明的一大重要定理。”
“再参考之前的内容……”
说到这,萧易忽然顿了片刻,征询道:“或许我可以使用一下黑板吗?”
“啊?”
舒尔茨一时间没反应过来,听清楚萧易的话后,他便迅地说道:“当然,完全可以,这個房子里面,谁拿着话筒,谁就可以使用黑板。”
“谢谢!”
萧易点头,走到了黑板前。
总算可以用黑板了,前面的那些理论倒是可以口述,但接下来的内容就实在需要用数学式子来进行解释了。
他找了片空白,开始写了起来。
【|x|=(i←z|g(z)|)πag(x)】
【……】
一拿到黑板的他,仿佛也回归到了熟悉的环境中,三两下,便将黑板上剩下的那些空白区域给写完了。
但他并没有就此停下,而是直接拿出了黑板刷,将舒尔茨和望月新一他们刚才所写的东西给擦掉。
一名普通的大学生,擦掉了一位菲尔兹奖得主,以及一位远阿贝尔几何大师辩论过程中的板书,听起来似乎有些放肆。
然而,此时并没有人在乎这些事了,相比起萧易写出来的东西,那些板书,也仅仅只是板书,太——微不足道了。