第92章 学术会议 七
徐辰面对白板。
他手中的粉笔,化作了开天辟地的利剑,在黑色的虚空中,斩出了一道道白色的光痕。
这一次,他没有再用PPT,也没有再看一眼讲稿。
所有的公式,所有的推导,所有的逻辑链条,都像早已在他脑海中演练了千百遍一样,喷涌而出。
他转身,笔尖触碰到白板,发出清脆的声响。
接下来的四十分钟,徐辰没有再看台下一眼。
他仿佛进入了一个只有他和数学存在的真空世界。
「考虑?上的混合Motive范畴?_?。」
「设 D?(?_?)为有界导出范畴。我们将广义CNTT函子Φ定义为一个傅立叶-向井变换:」
Φ(F)= Rπ??(π?*(F)??_CNTT)(读作:Phi F等于 R派二下星作用于派一下星F张量积L K_CNTT)
「其中核_CNTT∈ D?(?_?×?_?)编码了筛法的算术信息。」
台下,原本还有些躁动的窃窃私语,不知何时已经彻底消失了。
一种无形的压迫感,随着白板上那些希腊字母和同调符号的增加,逐渐笼罩了整个会场。
坐在第三排的一位年轻博士生,忍不住低声问身边的导师:「教授,他这是在做什麽?用代数几何的工具去解数论题?这……这能行吗?」
那位头发花白的导师,此刻正死死地盯着白板,眉头紧锁。听到学生的提问,他头也不回地低声喝道:「闭嘴!仔细看!他在构建一个……全新的桥梁!」
徐辰一边书写,一边用冷静的声音,进行着引导式的独白。
「经典分析中的障碍项 R(x)~ log(log x)对应于Motivic设置中的一个非平凡扩张类:」
[ξ]∈ Ext1_?(?(0),?(1))?????(读作:克西的类属于 M上的Ext一作用于 Q零 Q一,同构于 Q乘张量 Q)
他在白板中间,画了一个交换图表,箭头如同迷宫般交错。
「在权过滤 W_?下,该类[ξ]位于 Gr^W?。然而,我们的函子Φ的目标空间有一个严格的权约束。」
笔尖飞速游走,写下了一连串令人眼花缭乱的谱序列计算。
E??,= Ext?_?(H(Φ(F)),?(n))? H??_?(...)(读作:E二 p q等于 M上的Ext p作用于 H q Phi F和 Q n,收敛于 M上的H p加q)
「根据Motive的格罗滕迪克-黎曼-罗赫定理,陈特徵 ch(Φ([ξ]))必须在关联的分次环中消逝。」
他手中的笔猛地一顿,然后在那个复杂的算式后面,写下了一个巨大的丶决绝的符号:
= 0
「它消逝了。」
声音依旧平静,却如同一声惊雷。
「因为在Motivic的意义下,『边界』是几何平坦的。其上同调类是平凡的。」
「因此,误差项被吸收了。」
随着最后一个等号的落下,徐辰在白板的最下方,写下了一个不等式。
liminf_{x→∞}|{n≤ x : n∈, n≡ 0 (mod 2)}|/(x/2)≥ 10??(读作:当x趋向于无穷大时,小于等于x且属于G的偶数个数除以 x的一半的下极限,大于等于万分之一)
他放下笔,拍了拍手上的粉笔灰,转过身,面向全场。
他的脸上没有狂喜,没有激动,只有一种理所当然的淡然。