看著刘浩然匆匆离去的背影，肖宿重新把注意力放回了《量子场论路径积分。
但看了几页之后，他忽然想起什么，打开瀏览器，搜索“罗伯特·格林 论文”。
很快，纽约大学数学系的教授页面弹了出来，上面列出了格林教授近年来的主要工作。
肖宿快速瀏览著那些標题和摘要，手指在触摸板上滑动。
《高维代数簇上有理点分布的有效界
《模曲线与阿贝尔簇的算术性质
《p进霍奇理论与应用……
肖宿的目光在最后一个標题上停留了片刻。
p进霍奇理论，这不正是彼得·舒尔茨那套“perectoid spaces”理论涉及的方向吗？
他记得之前看过舒尔茨2011年的那篇奠基性论文《padic hodge theory or rigidanalytic spaces and perectoid spaces。
那篇文章他花了差不多一周才完全消化，里面的思想极其深刻，用p进几何的工具重构了古典的霍奇理论。
如果格林教授的研究也涉及这个方向，那讲座可能会很有趣。
肖宿点开格林教授最近的一篇预印本，开始快速阅读。
他的阅读速度极快。
大概二十分钟之后，肖宿已经对格林教授的工作风格和主要技术手段有了大致把握。
很扎实的算术几何研究，偏重经典方法，但也能看到一些现代p进几何思想的影子。
就在这时，手机又震动了一下。
这次是陈林发来的消息。
“肖哥！！！救命啊！！！”
后面跟了一串崩溃的表情。
肖宿回覆：“？”
陈林秒回：“数学分析期中捲髮下来了，我最后那道题证明写崩了，扣了15分！老周说那道题用的技巧跟你上周跟我讲的一个引理很像，但我当时没完全听懂……你现在有空吗？求指点！”
肖宿看了看时间，下午四点十分。
他回覆：“图书馆东区四楼，过来吧。”
五分钟后，陈林抱著一沓草稿纸和试卷，哭丧著脸出现在肖宿对面。
“肖哥，你看这题。”
他把试卷推过来，指著最后一道压轴题。
“证明：若在[0,1]上连续，在(0,1)內可导，且(0)=(1)=0，则存在ξ(0,1)，使得(ξ)=(ξ)。”
肖宿扫了一眼题目，点点头。
“嗯，用你之前问我的那个微分中值定理的推广形式』。”
“对啊！你当时说构造辅助函数(x)=e^{x}(x)，然后用罗尔定理。但我考试时脑子一抽，构造了个(x)=(x)e^{x}，然后就全错了……”
陈林欲哭无泪。
肖宿拿过草稿纸，写下一个简洁的证明过程。
“设(x)=e^{x}(x)。则在[0,1]上连续，在(0,1)內可导，且(0)=(0)=0，(1)=e^{1}(1)=0。由罗尔定理，存在ξ(0,1)，使(ξ)=0。”
“而(x)=e^{x}(x)e^{x}(x)=e^{x}[(x)(x)]。故(ξ)=e^{ξ}[(ξ)(ξ)]=0。由於e^{ξ}≠0，故(ξ)(ξ)=0，即(ξ)=(ξ)。证毕。”
陈林盯著那几行字，表情从困惑到恍然再到懊恼。
“就这么简单？！我考试时怎么就没想到用e^{x}呢……”
“因为你被形式迷惑了。”
肖宿平静地说。
“这道题的本质是要构造一个函数，让它的导数能產生(x)(x)的结构。e^{x}的导数是e^{x}，所以乘上去后，乘积的导数会出现(x)(x)项。这是標准技巧。”
陈林挠著头：“道理我都懂，可考试时就是反应不过来。肖哥，你这种一眼看穿问题本质的能力到底是怎么练出来的？”
肖宿沉默了几秒，似乎在思考如何回答。
最后他说：“多想想为什么』，少记怎么做』。
每个技巧背后都有它的几何或代数原因。
比如这个e^{x}，它是指数函数，是指数函数导数的自相似性导致了这种构造可行。
想明白这一点，下次遇到类似问题自然就能想到。”
陈林似懂非懂地点点头，把肖宿写的证明过程仔细抄在笔记本上。
抄完后，他忽然压低声音，神秘兮兮地问：“肖哥，我听说……你那篇投jams的论文，有消息了？”
肖宿摇摇头：“还没。审稿周期通常很长。”