第425章 记住我（2/2）

彭知行自己其实也只读过几篇相关的综述，对谱三元组和局部指標定理的理解还停留在概念层面，真要让他把这个问题继续往下展开，他大概率也说不清楚。

他的想法很简单：我问一个足够难的问题，哪怕肖教授不能当场回答，至少也能让他看我一眼，记住这个提问的华清学生。

肖宿看了他一眼。

然后，让彭知行比较意外的是，他那双琥珀色的眼睛里没有被打扰的不耐烦，也没有被刁难的不悦，反而亮了一下。

那一瞬间的眼神变化很细微，但是坐在第一排的几个学生捕捉到了。

“你这个问题问的挺好的。”肖宿说。

后排的沈殊清和陈远山同时坐直了身体。

肖宿转过身，换了一张新的黑板，又拿起一支新的粉笔，写了起来。

“非交换几何里，谱三元组的局部指標定理在模空间退化边界上的行为，確实是一个开放的问题。

不过你说它和商空间降维框架的关係，本质上是同一个问题在交换和非交换两种代数结构上的不同表现。”

他一边说一边快速在黑板上写著。

“我们先定义模空间的退化边界。

模空间m是材料参数空间的商结构，它的边界?m对应於某种材料性能指標的极值退化情形。

在交换情形下，商空间上的谱分解由atiyah-singer指標定理保证，局部指標是拓扑不变量，在m的內部处处有定义。”

“但是在退化边界上，模空间的底流形不再是光滑的，这个时候交换代数上的谱分解框架就失效了，需要引入非交换代数来替代。

而这就是你提到的connes谱三元组的作用。”

他的粉笔又在黑板上写出了一个谱三元组的定义。

“(a,h,d)，a是非交换c代数，h是希尔伯特空间，d是狄拉克算子。

在商空间的退化边界上，交换代数c∞(m)需要用非交换代数a来替代，这时候局部指標定理的推广形式就是connes的谱三元组局部指標公式。”

他停了半秒，侧过头看著黑板上的公式。

粉笔在公式上方悬停，像是在脑海里验证一条刚刚浮现的路径。

“在光滑的內部区域，局部指標由曲率形式给出，它依赖於狄拉克算子d的谱分解。

但是在退化边界上，d的谱会出现简併，局部指標的离散性会被打破，转变为一种连续分布，这种分布恰好可以由商空间的凸性条件来控制。”

沈殊清和陈远山同时微微张嘴，交换了一个眼神。

能在短短几秒內切中非交换几何中关於退化边界正则性的核心难点，这不是隨机应变，而是那种只有全局推演过整套构造的人才会有的从容。

肖宿的思考速度，简直强的可怕。

符宴民握紧了保温杯，手指关节有些发白。

他有预感，自己可能正在见证一套全新数学工具的诞生。

他今天只是来听肖宿讲一堂基础课的，却没想到能亲眼见到一个尚未被攻克的开放难题被当场拆解。

这种学术机缘，一辈子也碰不上几次。