第52章 发布会（1 / 2）

于是，又过了半个小时。

凯拉·诺兰还是伏在桌子上，仔细寻找李昂文稿中可能存在的陷阱。

结果是根本找不出来。

以至于在一旁的李昂提醒道：「诺兰教授，你要不要休息一下？或者……喝杯咖啡？」

「不用。」

凯拉摇摇头。

喝咖啡这种小事，自然要排在正事后面，比如说，研究清楚李昂这篇文稿中一些核心内容。

「李昂，我们直奔主题。第一个问题，你这篇文章中，定义了『法尔廷斯高度』：hF(A):=1/[K:Q]deg^(ωA/S)，你在尝试给一个阿贝尔簇赋予实数不变量，关键是这里非常依赖于模型选择，如果改变紧化，你设置的这个deg^会不会变化？」

凯拉一口气提出疑问。

李昂摇摇头，不紧不慢回应道：「并不会。关键在于引理2.4，我证明了如果L1丶L2同属于数域K上同一个射影空间，并且它们的连续截面相同，那么deg^(L1)=deg^(L2)+O(log︱ΔK︱)……具体推导过程是这样。」

李昂拿起笔，当着凯拉的面现场开始演算。

很快，李昂现场做完补充。

凯拉十分隐晦的做了一个深呼吸，让自己冷静下来。

李昂在计算中展露出的完整性和技术性，已经完全超过大学生甚至博士生通常能独立完成的范畴。

真是太不可思议了。

不过凯拉明白，现在不是半场开香槟的时候，她需要进一步验证心中的某些猜测，再把李昂这篇文稿拿出去给同行审校，又或者召开一场盛大的数学交流会。

「好。」凯拉点点头，随后指向下一个点，「那么你的核心引理3.7，对于固定数域K和整数g，存在常数c1(K，g)，c2(K，g)使得，对于K上任意亏格g的曲线C，其雅可比簇Jac(C)的法尔廷斯高度满足 c1≤hF(Jac(C))≤c2。这个双边界的证明，你依赖于亏格公式的算数类比，那么第18页的不等式(3.12)中，常数γ(g)的具体表达式是什么？」

李昂看了眼凯拉，心里有些疑惑。

诺兰教授提出的这个新问题，在数论领域算挺基础的了。

最起码在李昂数学达到3级之后，是这么想的。