经过这一出,底下的学生更是不敢提问了,又是一阵沉默。
    肖宿的目光扫过全班,那双琥珀色的眼睛扫过的时候,底下的学生都移开了眼神,避免和他对视。
    这一节確实很简单,应该没什么问题了。
    看来他已经说明白了。
    他正这么想著,忽然从后排传来一个声音。
    “肖教授,我有一个问题。”
    所有人都回头了。
    说话的是一个坐在后排靠走廊位置的男生,穿著一件华清大学的校服卫衣,胸前印著显眼的校徽。
    在一屋子京大学生中间,这身打扮显得格外扎眼。
    事实上,今天这间教室里坐著的不只是京大的学生。
    因为肖宿的第一堂课早就在京大和华清的学生论坛上传开了,不少华清的学生特地骑车穿过中关村大街跑过来旁听。
    华清校內的选课系统里当然没有这门课,但是这拦不住他们自带摺叠椅来蹭课,不过大家都很默契的选择了低调处事,不会像他那么高调的穿著標誌性的衣服。
    这个华清的男生叫彭知行,是华清数学科学中心研二的学生。
    他今天来旁听,目的很纯粹,就是想亲眼看看传说中的肖宿到底是什么样的。
    能考上华清数学系的研究生,他自然也是同龄人中的佼佼者,甚至在班级里也是被同学们称为“大佬”的存在。
    但是这堂课他越听越觉得自己的专业基础跟一张纸片一样薄,他引以为傲的那些知识储备在肖宿的推导速度面前连入门都算不上。
    这让彭知行心里很不舒服。
    101看书 读好书选 101 看书网,????????????.??????超讚 全手打无错站
    倒不是嫉妒,可就是心里不舒服。
    他不甘心就这么默默地走出这间教室,他想让肖宿注意到自己,证明自己也不是一个纯粹来凑热闹的旁观者。
    所以他举起了手。
    “肖教授,”彭知行站起来,儘量让自己的声音听起来平静一些,“我最近在看非交换几何方面的文献,对connes的谱三元组理论有些兴趣。
    您刚才讲的商空间降维框架里,商空间上的谱分解处理的是交换代数上的模结构。
    如果把这个框架推广到非交换的情形,谱三元组的局部指標定理在模空间的退化边界上会怎么表现呢?”
    这个问题一出,教室里至少一半的人连问题本身都没听懂。
    剩下那一半听懂了问题表述的人,比如曹平和许昌寧,则是同时在心里倒吸了一口凉气。
    非交换几何,那是阿兰·孔涅在八十年代建立的用来描述量子空间几何结构的数学分支。
    这个领域已经够偏门了,彭知行居然还追问到了谱三元组的局部指標定理在模空间退化边界上的行为,这个问题如果展开討论,已经不只是高阶选修课的水平,而是实打实的开放研究课题了。
    后排的沈殊清微微皱了一下眉,目光从肖宿身上移到了彭知行身上。
    这个问题根本就不是一个课堂提问能够解决的,这个学生提这个问题根本不是为了求知解惑,更像是刻意拋出一个超高难度的学术难题,想在课堂上博取教授的关注。
    彭知行自己其实也只读过几篇相关的综述,对谱三元组和局部指標定理的理解还停留在概念层面,真要让他把这个问题继续往下展开,他大概率也说不清楚。
    他的想法很简单:我问一个足够难的问题,哪怕肖教授不能当场回答,至少也能让他看我一眼,记住这个提问的华清学生。
    肖宿看了他一眼。
    然后,让彭知行比较意外的是,他那双琥珀色的眼睛里没有被打扰的不耐烦,也没有被刁难的不悦,反而亮了一下。
    那一瞬间的眼神变化很细微,但是坐在第一排的几个学生捕捉到了。
    “你这个问题问的挺好的。”肖宿说。
    后排的沈殊清和陈远山同时坐直了身体。
    肖宿转过身,换了一张新的黑板,又拿起一支新的粉笔,写了起来。
    “非交换几何里,谱三元组的局部指標定理在模空间退化边界上的行为,確实是一个开放的问题。
    不过你说它和商空间降维框架的关係,本质上是同一个问题在交换和非交换两种代数结构上的不同表现。”
    他一边说一边快速在黑板上写著。
    “我们先定义模空间的退化边界。
    模空间m是材料参数空间的商结构,它的边界?m对应於某种材料性能指標的极值退化情形。
    在交换情形下,商空间上的谱分解由atiyah-singer指標定理保证,局部指標是拓扑不变量,在m的內部处处有定义。”
    “但是在退化边界上,模空间的底流形不再是光滑的,这个时候交换代数上的谱分解框架就失效了,需要引入非交换代数来替代。
    而这就是你提到的connes谱三元组的作用。”
    他的粉笔又在黑板上写出了一个谱三元组的定义。
    “(a,h,d),a是非交换c代数,h是希尔伯特空间,d是狄拉克算子。
    在商空间的退化边界上,交换代数c∞(m)需要用非交换代数a来替代,这时候局部指標定理的推广形式就是connes的谱三元组局部指標公式。”
    他停了半秒,侧过头看著黑板上的公式。
    粉笔在公式上方悬停,像是在脑海里验证一条刚刚浮现的路径。
    “在光滑的內部区域,局部指標由曲率形式给出,它依赖於狄拉克算子d的谱分解。
    但是在退化边界上,d的谱会出现简併,局部指標的离散性会被打破,转变为一种连续分布,这种分布恰好可以由商空间的凸性条件来控制。”
    沈殊清和陈远山同时微微张嘴,交换了一个眼神。
    能在短短几秒內切中非交换几何中关於退化边界正则性的核心难点,这不是隨机应变,而是那种只有全局推演过整套构造的人才会有的从容。
    肖宿的思考速度,简直强的可怕。
    符宴民握紧了保温杯,手指关节有些发白。
    他有预感,自己可能正在见证一套全新数学工具的诞生。
    他今天只是来听肖宿讲一堂基础课的,却没想到能亲眼见到一个尚未被攻克的开放难题被当场拆解。
    这种学术机缘,一辈子也碰不上几次。