尤其是当这位大佬还跟自己已经定下的导师有矛盾还挺大的情况下。
「我听说你虽然在研究优化问题，却利用数学优化的方法解决了勒让德猜想，是真的吗？」
袁意同突然的提问，让乔源收回了目光，看向身边的老人，然后点了点头。
「其实是我跟骆师姐一起解决的，不过的确用到了之前论文的一个重要引理」
袁意同点了点头，随后似乎陷入了回忆之中。
「我记得还是九十年代的时候，有次我跟张之文教授一起吃饭，我就问了他一个问题。
你证明的Bogomolov猜想在特征p的稳定性由什幺保证？你猜当时他怎幺回答的？」
乔源摇了摇头，他连张之文是谁都不知道。
好在旁边自然有人会捧哏。
「袁老，这可又是我们不知道的故事啊。张教授想必当时也很头疼吧？」
袁意同笑着摇了摇头，答道：「小张当时就拿出笔跟纸，饭菜都还没上桌，就把I—adic上同调的单调性公式给推出来了。」
一句话换来同桌上一阵感慨。
「张教授也是有大才的人啊！」
「哈哈，能在普林斯顿当教授哪能没有两把刷子。」
袁意同笑了笑，然后看向乔源问道：「今天我也问你一个问题，看你能不能在菜都上桌之前把问题解出来如何？」
乔源点了点头，答道：「我试一下吧。
「好。」
袁意同沉吟了片刻，然后随意的拿起筷子，在桌布上随便划拉了两下。
面前的桌布皱成了一个双曲面的痕迹。
「既然你解决了勒让德猜想，那我们就问一个关于素数的问题。
设M是负曲率紧致黎曼流形，其拉普拉斯算子的第一非零特征值λ1（M）与黎曼ζ函数在2处的值与素数的倒数平方和Σp^—2有何本质关联？」
当所有人目光都集中在乔源身上，少年下意识的挠了挠头，然后看向骆余馨问了句：「骆学姐，你带笔跟纸了没？」
骆余馨默不作声的从随身包里拿出一只钢笔跟一个小本子递了过去。
接过纸笔的乔源立刻在本子上书写起来。
一边写还一边开口解释着。
「要考虑Selberg迹公式。对于紧致双曲曲面，特征值λ1与素数计数函数的震荡行为有关。
对于高维负曲率流形，热核的渐近行为由特征值控制，而热核又与ζ函数相关。
考虑到特别情况我们有——.其中Tr（e^t△）就是热核的迹，它会在t→0+时具有渐进展开，而在t→一时由第一特征值主导。
而素数倒数平方和出现在ζ（2）中，嗯，可以直接通过Euler乘积公式与素数分布联系起来。
这里特征值入1跟ζ（2）的关联就在于两者一起反应了流形的谱性质。且这种谱性质在负曲率流形上具有刚性。
这种刚性由曲率积分下界来保证！咦？这就是您证明过的Calabi—Yau定理推广形式中的曲率积分下界嘛。
所以在二维情况下————」
对于骆余馨的建议乔源是真听进去了。
沉浸到题目之中后，平时该怎样就怎样。
无非是多了几句解释。
就这样很快乔源便在众目睽睽之下，一边碎碎念，一边在本子上完成了推导过程————
