第176章 俞巍（3 / 3）
“就是那个用顾辛流型的奇点结构来构造弗洛尔同调的那个引理。”
迟艺把论文翻到那一页，“我看了好几遍，总觉得那个奇点附近的局部模型，和他在第二章里定义的那个加权度量之间，好像缺了一步连接。”
俞巍想了想，从衝锋衣口袋里掏出一支笔，又从前面储物格里翻出一张废纸的空白背面，侧过身画了起来。
“你看啊，”他边说边画，“他在第二章里定义的加权度量，本质上是把奇点附近的局部坐標做了一个重標度。这个重標度不是任意的，它依赖於奇点的milnor数，就是那个衡量奇点复杂程度的拓扑不变量。”
他画了一个小圆，在里面標了几个点。
“然后在第三章，他构造弗洛尔同调的时候，用到的不是这个重標度本身，而是它的导数。也就是说，他把奇点附近的那一小块区域，看成是一个『形变参数』的族。每个参数对应一个不同的重標度，这些重標度之间的差异，就是弗洛尔同调的那个微分算子的来源。”
迟艺盯著那张纸看了一会儿，眉头皱起来。
“所以……那个微分算子的核，就对应著那些在重標度变换下保持不变的东西？”
“对！”
俞巍眼睛一亮，“你抓到重点了。那些保持不变的东西，就是弗洛尔同调群。
它们不依赖於具体的重標度怎么选，只依赖於奇点本身的拓扑结构。
这就是为什么肖宿能用这个框架去处理那么多不同的问题，因为不同的物理体系，对应的是不同的奇点类型，但底层的数学结构是一样的。” ↑返回顶部↑
迟艺把论文翻到那一页，“我看了好几遍，总觉得那个奇点附近的局部模型，和他在第二章里定义的那个加权度量之间，好像缺了一步连接。”
俞巍想了想，从衝锋衣口袋里掏出一支笔，又从前面储物格里翻出一张废纸的空白背面，侧过身画了起来。
“你看啊，”他边说边画，“他在第二章里定义的加权度量，本质上是把奇点附近的局部坐標做了一个重標度。这个重標度不是任意的，它依赖於奇点的milnor数，就是那个衡量奇点复杂程度的拓扑不变量。”
他画了一个小圆，在里面標了几个点。
“然后在第三章，他构造弗洛尔同调的时候，用到的不是这个重標度本身，而是它的导数。也就是说，他把奇点附近的那一小块区域，看成是一个『形变参数』的族。每个参数对应一个不同的重標度，这些重標度之间的差异，就是弗洛尔同调的那个微分算子的来源。”
迟艺盯著那张纸看了一会儿，眉头皱起来。
“所以……那个微分算子的核，就对应著那些在重標度变换下保持不变的东西？”
“对！”
俞巍眼睛一亮，“你抓到重点了。那些保持不变的东西，就是弗洛尔同调群。
它们不依赖於具体的重標度怎么选，只依赖於奇点本身的拓扑结构。
这就是为什么肖宿能用这个框架去处理那么多不同的问题，因为不同的物理体系，对应的是不同的奇点类型，但底层的数学结构是一样的。” ↑返回顶部↑