两位北大青年学者与日本数学家合作，解决了拓扑代数几何与数论领域近二十年的核心问题

luyuanhong

两位北大青年学者与日本数学家合作，解决了拓扑代数几何与数论领域近二十年的核心问题

原创  数学家  数学家  2026 年 11 月 3 日 00:00  北京



Takeshi Saito（斎藤毅），东京大学大学院数理科学研究科教授，数论几何领域的国际领军数学家。他于 1989 年在东京大学获得博士学位，师从 Kazuya Kato（加藤和也）。Saito 教授曾获日本数学会代数学赏（1998）和春季赏（2001），其 2017 年发表于 Inventiones Mathematicae 的论文系统建立了正特征域上特征循环的代数理论，是该领域的里程碑式工作。

熊茳楠（Jiangnan Xiong），北京大学数学科学学院 2024 级基础数学研究生，师从刘若川，研究方向为算术代数几何与几何分歧理论。

阳恩林（Enlin Yang），1987 年生于湖南隆回，2025 年 10 月起任首都师范大学教授，此前为北京大学数学科学学院研究员。2006 年至 2010 年就读于清华大学数理基础科学班，2015 年获清华大学数学系博士学位，此后在德国柏林自由大学和雷根斯堡大学从事博士后研究。他的研究聚焦于几何分歧理论和 Motivic 上同调，与赵以庚合作在 Inventiones Mathematicae 上证明了 Saito 猜想在拟射影情形下的情形。

一项连接拓扑学、代数几何与数论的深刻工作，在正特征代数簇上首次系统建立了微局部化理论，解决了该领域悬置近二十年的核心问题。

2026 年 10 月，一篇题为“Singular supports, characteristic cycles, and microlocalization of constructible sheaves”的论文在 arXiv 发布（arXiv:2609.06625），作者为东京大学 Takeshi Saito（斎藤毅）教授、北京大学数学科学学院研究生熊茳楠、首都师范大学教授阳恩林（论文工作期间为北京大学研究员）。该工作在与 Masaki Kashiwara（柏原正树）和 Pierre Schapira 在超越情形下建立的微局部化理论完全平行的框架中，构造了正特征域上可构造层的微局部化，并证明了微局部版本的奇异支撑和特征循环与经典 Beilinson-Saito 构造完全一致。作为推论，该工作证明了 Saito 本人于 2017 年 Inventiones Mathematicae 论文中提出的关于上同调特征类与特征循环之间关系的猜想，并给出了指数公式和 Bloch 导子公式的独立于 Abe（阿部）同伦方法的全新证明。论文的第二、第三作者均为中国青年数学家，这标志着中国学者在算术代数几何这一核心领域正在走向世界前沿。

一、从局部性质到奇异支撑

高中代数课上，我们学过如何解方程。但数学家思考的问题更深入：方程的解在空间中如何分布？它们在哪里光滑，在哪里突变？这门研究几何形状局部性质的学问叫做代数几何。

想象你面前有一张揉皱的纸。大部分地方它是平坦的，但折痕处有突变。数学家想知道：怎样精确描述这些折痕？在 20 世纪 80 年代，日本数学家 Masaki Kashiwara（柏原正树）和法国数学家 Pierre Schapira 发展出一套强大的工具，叫做微局部化理论，用奇异支撑这个概念来刻画函数或层在空间中的折痕位置。他们的方法依赖于复数和微分，在特征为零的世界里非常成功。

但数学世界不只有特征零的温带。在特征为素数 p 的热带世界，数论学家最关心的领域，情况截然不同。这里没有传统意义上的微分，Kashiwara-Schapira 的工具无法直接使用。这就像你有一台精密的显微镜，但它只能在常温下工作，而在高温环境下镜头会失灵。

二、Beilinson 的突破与 Saito 的猜想

2016 年，美国数学家 Alexander Beilinson 取得了一个关键突破。他找到了在不使用微积分的情况下，直接在正特征域上定义奇异支撑的方法。几乎同时，Takeshi Saito（斎藤毅）在此基础上定义了特征循环，一个衡量层在每一点分歧程度的代数对象。

这里的“分歧”是一个核心概念。在数论中，当你在有理数中解方程 x^2=2 时，解不在有理数里，需要扩张到实数。这种扩张在素数 2 处发生了分歧。层的分歧类似，它衡量的是局部信息在跳跃时的复杂程度。

Saito 意识到，他定义的特征循环和另一位数学家 Ahmed Abbes 合作定义的上同调特征类应该存在深刻联系。前者基于 Beilinson 的奇异支撑，后者基于更传统的上同调理论。2017 年，他在 Inventiones Mathematicae 上提出猜想：这两种看似来自不同世界的对象，实际上是同一个东西。但他无法证明。问题卡在了一个关键技术上：如何在正特征域上构造微局部化。

三、正特征的微局部化

Saito 、熊茳楠和阳恩林的工作，正是要填上这个缺口。

他们的核心想法是：既然正特征域上没有传统的微分，那就用 Fourier 变换来模拟微局部化。Fourier 变换在信号处理中很常见，它把一个随时间变化的信号分解成不同频率的成分。在代数几何中，层论意义上的 Fourier 变换把一个空间上的层变成对偶空间上的层。Saito 团队证明，对这个 Fourier 变换后的对象取支撑，得到的结果与 Beilinson 的奇异支撑完全一致。

这听起来可能有点抽象。换一个角度：他们实际上建立了一本字典，把 Kashiwara-Schapira 在特征零世界中用微分定义的概念，翻译成了正特征世界中用 Fourier 变换定义的概念。翻译之后，两个世界里的理论完全对应。这个结果本身就很优美，它说明数学的不同分支之间存在深刻的统一性。

论文的核心结果可以用两个等式概括：微局部奇异支撑等于经典奇异支撑，微局部特征循环等于经典特征循环的循环类。用数学语言表达就是 SSμ(F)=SS(F) 和 CCμ(F)=clCC((F) 。

四、从抽象理论到数论应用

这个结果为什么重要？因为它打开了后续应用的大门。

Saito 猜想就是第一个被攻克的堡垒。该猜想断言上同调特征类等于特征循环的循环类，而论文证明的第二等式恰恰蕴含了这一结论。论文还给出了指数公式和 Bloch 导子公式的新证明。Bloch 导子公式是数论中一个深刻的结果，它把一个算术对象的分歧程度与一个几何量，即微分形式的陈类，联系起来。这个公式在曲线情形早已被 Bloch 本人证明，但在高维情形一直进展缓慢。Saito 团队的新证明绕过了之前 Abe（阿部）用 ∞-范畴建立的同伦方法，在技术上更加直接。

更重要的是，这个理论框架本身具有很大的扩展潜力。Saito 在论文中明确指出，他们采用的方法统一了特征零和正特征的情形。这意味着 Kashiwara-Schapira 在特征零世界中的许多经典结果，比如关于 D-模的黎曼-希尔伯特对应，可能都在正特征世界中有平行的版本。这为算术代数几何开辟了新的研究方向。

五、数学的统一之美

回顾这段历史，一个有趣的细节值得注意。Saito 在论文的引言中坦承，他早在 2004 年与 Abbes 合作时就考虑过微局部化方法，但当时认为这条路径走不通，转而使用了另一种更直接的方法。直到多年后，他重新计算了一个 Artin-Schreier 层的例子，才发现当初的判断过于草率。这提醒我们：在数学研究中，有时走不通的路只是当时工具不够，而非方向错误。

论文的另一个亮点是它的独立性。Saito 团队的结果不依赖于 Abe（阿部）的 ∞-范畴方法，也不依赖于特征零世界的结果，而是从头建立了一套自洽的理论。这种独立性使得该理论更容易被推广到其他情形，比如 motivic 上同调或者刚性解析空间。

从更宏观的视角看，这项工作延续了 20 世纪数学的一个伟大主题：寻找不同数学分支之间的深刻联系。Kashiwara 和 Schapira 在复几何中建立的微局部化理论，与 Beilinson 和 Saito 在正特征代数几何中建立的特征循环理论，看似诞生于完全不同的土壤，但 Saito 团队的工作证明，它们共享着同一个深层结构。这正是数学的魅力所在。当你以为自己在探索一条全新的道路时，往往会发现它最终通向一座早已存在的宏伟建筑，只是你之前从未找到那扇门。

来源｜arXiv:2609.06625 及网络公开报道

撰文｜数学家编译小组

排版｜司徒

校对｜慧玲

责编｜燕北平