提问，让乔源收回了目光，看向身边的老人，然后点了点头。
「其实是我跟骆师姐一起解决的，不过的确用到了之前论文的一个重要引理」
袁意同点了点头，随后似乎陷入了回忆之中。
「我记得还是九十年代的时候，有次我跟张之文教授一起吃饭，我就问了他一个问题。
你证明的bogomolov猜想在特征p的稳定性由什幺保证？你猜当时他怎幺回答的？」
乔源摇了摇头，他连张之文是谁都不知道。
好在旁边自然有人会捧哏。
「袁老，这可又是我们不知道的故事啊。张教授想必当时也很头疼吧？」
袁意同笑着摇了摇头，答道：「小张当时就拿出笔跟纸，饭菜都还没上桌，就把i—adic上同调的单调性公式给推出来了。」
一句话换来同桌上一阵感慨。
「张教授也是有大才的人啊！」
「哈哈，能在普林斯顿当教授哪能没有两把刷子。」
袁意同笑了笑，然后看向乔源问道：「今天我也问你一个问题，看你能不能在菜都上桌之前把问题解出来如何？」
乔源点了点头，答道：「我试一下吧。
「好。」
袁意同沉吟了片刻，然后随意的拿起筷子，在桌布上随便划拉了两下。
面前的桌布皱成了一个双曲面的痕迹。
「既然你解决了勒让德猜想，那我们就问一个关于素数的问题。
设m是负曲率紧致黎曼流形，其拉普拉斯算子的第一非零特征值λ1（m）与黎曼ζ函数在2处的值与素数的倒数平方和Σp^—2有何本质关联？」
当所有人目光都集中在乔源身上，少年下意识的挠了挠头，然后看向骆余馨问了句：「骆学姐，你带笔跟纸了没？」
骆余馨默不作声的从随身包里拿出一只钢笔跟一个小本子递了过去。
接过纸笔的乔源立刻在本子上书写起来。
一边写还一边开口解释着。
「要考虑selberg迹公式。对于紧致双曲曲面，特征值λ1与素数计数函数的震荡行为有关。
对于高维负曲率流形，热核的渐近行为由特征值控制，而热核又与ζ函数相关。
考虑到特别情况我们有——.其中tr（e^t△）就是热核的迹，它会在t→0+时具有渐进展开，而在t→一时由第一特征值主导。