第104章 数学不是那么简单..但也不难！
第104章数学不是那么简单..但也不难！
张树文犹豫了片刻，然后选择站了起来，走到乔喻的身边，随手将最后的板书擦掉，然后开始了现场讲解bayi8● cc
「Riemann—Roch定理是代数几何中的一个基本定理，用于描述代数曲线上某些函数或形式的维度bayi8● cc具体来说，Riemann—Roch定理适用于代数曲线X上的任意除子D，定理陈述代数曲线上与除子D相关联的函数空间L（D）的维数bayi8● cc
它的具体陈述就是（D）=deg（D）1—g（K—D）bayi8● cc它有两个部分互为补充，描述了除子D与剩余部分K—D的平衡关系bayi8● cc但有特殊情况，当D的度数足够大时，（K—D）为零，所以这种情况下（D）=deg（D）1—g，你明白这代表什么吗？」
「D的度数足够大，维数与度数就是线性关系bayi8● cc」乔喻立刻答道bayi8● cc「那么当D为零的时候..」
「（0）=1—g（....，张教授，我明白您的意思了....所以这部分的证明其实可以不用那么繁琐，因为亏格g（X）可以直接通过Riemann—Roch定理得出，咦，那这部分的证明就不那么麻烦了...让我想想..」
说完，乔喻拿起了粉笔，开始在黑板另一边书写bayi8● cc
「也就是说构建函数的时候....，dimQH1（Cp是量子化后的同调群维数，嗯，取决于曲线的亏格g和量子算..这部分可以通过计算典范因子，得到H1C）的维..所以分解后的维数关系直接就是dimQH1（Cp）=g·f（Q），张教授，您看这部分的推导这样对不对？」
张树文深吸了口气，让自己表情没有一丝动容，然后点了点头bayi8● cc
「太好了，那下一步就好证明...导出同调群的维数后，那么量子化同调群的维数越大，就代表曲线几何复杂性越高，曲线上的有理点个数就会受限，再加上Jacobian又能进一步影响有理点个数
亏格是最核心的几何不变量之一，不能简化，那么#C（K）sf（g，Jac（Cp）？呼，不是，这样看的话，我感觉这个方法好像真能把常数C的公式给推导出来啊？」乔喻下意识的感慨道bayi8● cc
真的，台下的陈卓阳听到乔喻这句话，都懵了bayi8● cc
虽然他同样被乔喻的悟性震撼著，但听到这句话大家真不生气么？压根没百分百信心证明出来的东西，你还敢接受45分钟的研