第66章 你是对的（1 / 2）

“霍奇影院的讨论对象，主要包括了两类。”

  “‘类e?tale对象’和‘类frobeni对象’。”

  “粗略地说，前者，我们通常表示为d，由抽象拓扑群π1(x)给出，被认为是一个内自同构的群，同样的，正如在iutt理论中所讲述的那样，我们可以考虑抽象的伽罗瓦范畴的有限e?tale覆盖，而不需要选择基点。”

  “……”

  萧易的讲述开始。

  他的语调缓慢，但却有力。

  似乎很有自信一样，对于自己所说出来的东西，即使放慢速度，任由在场这么多的数学学者们仔细思考，也完全不担心会被发现其中存在的错误。

  在场的人们也都跟随着他缓慢的讲述，认真地分析了起来。

  尽管不是怎么相信萧易的想法会成为终结这场辩论的定论，但不管如何，舒尔茨允许了他继续说下去，而望月新一也没有直接指出他的错误，相反，从他的神情上看过去，似乎还出奇地有种被难住了的感觉。

  再加上这个年轻人缓慢讲述时的那种自信……

  说不定，真的会有奇迹发生了？

  当然，在他们的眼中，萧易缓慢讲述是因为自信，但实际上是因为这是他第一次进行英语演讲，而且还是数学专业的英语演讲，因此才放慢速度，让自己不至于说错。

  不过，对于自己这个想法的自信，他还是有的。

  实际上，在听完舒尔茨和望月新一在第五个问题之后，他就发现了不对劲。

  他们的争辩，使用了他在《非奇点解析和绝对远阿贝尔猜想》中的思想。

  所以，他不仅能够听懂，而且还能够明白他们是怎么得出相应结论的。

  尽管受限于他并没有看完望月新一的iutt论文，毕竟六百多页，就那么一个月不到的时间，再加上其中的晦涩难懂，他也仅仅只是把里面涉及到远阿贝尔几何的内容看完了，毕竟他本身就熟悉远阿贝尔几何。

  而针对其他的内容，了解的就并没有那么透彻了。

  但终究，即使不透彻，但却也让他熟悉了这些理论。

  所以，当望月新一指出“霍奇影院是抽象地来自固定的一次删截椭圆曲线x的数据”时，他就意识到了问题所在。

  “假设  cp，g是p-adic域k上亏格为g的双曲代数曲线。那么  cp，g的k-自同构群自然同构于它的geotric  etale基本群Γ=π1et，geo(cp，g)的连续自同构群。”

  “该定理，即是望月教授于1999年在远阿贝尔几何上所证明的一大重要定理。”

  “再参考之前的内容……”

  说到这，萧易忽然顿了片刻，征询道：“或许我可以使用一下黑板吗？”

  “啊？”

  舒尔茨一时间没反应过来，听清楚萧易的话后，他便迅速地说道：“当然，完全可以，这个房子里面，谁拿着话筒，谁就可以使用黑板。”

  “谢谢！”

  萧易点头，走到了黑板前。

  总算可以用黑板了，前面的那些理论倒是可以口述，但接下来的内容就实在需要用数学式子来进行解释了。

  他找了片空白，开始写了起来。

  【|x|=(li←?z  |g(z)|)/πalg  1  (x)】

  【……】

  一拿到黑板的他，仿佛也回归到了熟悉的环境中，三两下，便将黑板上剩下的那些空白区域给写完了。

  但他并没有就此停下，而是直接拿出了黑板刷，将舒尔茨和望月新一他们刚才所写的东西给擦掉。

  一名普通的大学生，擦掉了一位菲尔兹奖得主，以及一位远阿贝尔几何大师辩论过程中的板书，听起来似乎有些放肆。

  然而，此时并没有人在乎这些事了，相比起萧易写出来的东西，那些板书，也仅仅只是板书，太——微不足道了。