虽然季默想这么吐槽,但最终还是忍住了。
很快两人来到了安检入口。
由陈教授向安保人员说明了情况并做出了担保的保证之后,季默出示了自己的学生证件,并且做了简单地登记,终于得到了安保人员的放行,跟随陈教授来到了会场的后排。
在进来这里之前,原本季默还有些担心,会不会发生没有座位了之类的事情,不过当他真正进来之后却是发现,情况和他想象中的还是有一点区别。
后面两排的座位基本上只坐满了一半,一大群人放着空着的位子不坐,全都挤到了前排旁边的过道上席地而坐。
没有去人堆里凑热闹的打算,季默跟着陈阳在后排找了个位子坐下,然后便快速地取出了随身携带的笔记本,朝着台上的方向看去。
然而看了一会儿,他发现自己根本看不懂陆舟在写什么。
“……大统一理论?”目光死死地盯着白板上的算式,做了一晚上功课的季默皱着眉头,眼中写满了疑问,“不对……好像不是。”
“没错,”陈阳点了点头,看着已经被推到一边的八张白板,思索了片刻之后说道,“几分钟之前,关于大统一理论部分的讲解,应该就已经结束了。”
“那他现在写的是……”
“……应该是标准猜想。”
望着陆舟板书的内容,陈阳那双淡漠的瞳孔中,渐渐染上了一丝震撼的神采。
他的喉结轻轻上下动了动,小声喃喃自语道。
“果然!我的预感没有错……果然是标准猜想!”
愣愣地看了他一眼,季默咽了口唾沫,小声问道。
“……什么预感?”
陈阳:“还记得大统一理论的推论2吗?”
回忆着昨天熬夜刷论文时看到的东西,季默几乎是条件反射地答道。
“任意系数的上同调,都可以用z-系数的上同调算出!”
“正解!”
陈阳点了下头,那副在平时总是没什么仄起平落的语调,这次一次不但被灌注了震撼和激动的情绪,更是罕见地带上了一丝因激动而产生的颤抖。
“……这是代数几何大统一理论最核心的推论之一!根据它,我们直接可以推出,映射l^(n?2i):ai(x)→an?i(x)是同构(0≤i≤n2)!”
听到这句话的一瞬间,季默的瞳孔微微收缩,一双眼睛顿时睁大了。
虽然在学术上他的知识水平和经验都还略显稚嫩,也不清楚这所谓的“直接推出”到底是怎么个推导法,但身为imo大赛的满分金牌得主,再加上平时的课外学习,这些基础的概念他还是清楚的。
陈教授所说的这一结论,正是hard-lefschetz定理的推广!
即,格罗滕迪克的标准猜想的第一部分——lefschetz标准猜想!
“……不愧是陆教授,”仰望着台上的那道身影,还有那一行行沿着笔尖流淌而出的算式,陈阳的眼中交织着震撼与神往的色彩,“昨天晚上,我是突然想到可能存在的这种可能性,一直想到了早上才隐隐约约有了一点头绪……”
然而却没想到的是,他绞尽脑汁想了一整晚才想通的思路,放到了这场报告会上,却像是连难题都谈不上。
白板上,那奔腾如江水的思路,随着流畅的笔触倾泻而下。无论是怎样的沟壑与艰难险阻,在那挥舞着的一寸锋芒之下,都显得苍白而无力。
没有任何障碍能够将它阻拦。
甚至连让它停下几秒都做不到。
以至于当最后的那一行算式、那令他魂牵梦绕的结论被写下时,一切都是如此的水到渠成。
【……综上述可得。】
【映射l^(n?2i):ai(x)→an?i(x)是同构(0≤i≤n2)】
【lefschetz标准猜想,成立!】
那游走的笔锋终于停下了。
也几乎就在那最后的一个标点落成的瞬间,会场内传开了一片接着一片的惊呼声。
在那气氛的牵引下,坐在人群中的萨纳克教授,忍不住抬起了左手,撸起袖口看了眼表上的时间。
“37分钟……!”
震耳欲聋的惊呼将他的声音淹没了。
不敢相信地望着台上,他嘴里喃喃自语着,不断重复着上帝老人家的名讳。
“……上帝,这还是人类吗?”