柏原正树 · 世界数学发展史

获奖原因

柏原正树（Masaki Kashiwara，1947– ）获 2025 年阿贝尔奖，表彰他对代数分析（algebraic analysis）与表示论的基础性贡献。他是现代”代数分析”学派的核心人物，最著名的成就是创立 D-模理论（D-module theory） 与 晶体基（crystal basis）理论。

在 D-模理论中，他把线性偏微分方程组视为微分算子环上的模，从而把分析、代数几何与层论统一起来，并证明了正则奇点 D-模的黎曼–希尔伯特对应（Riemann–Hilbert correspondence）。在表示论中，他与路斯提格（Lusztig）各自独立发展的晶体基理论，为量子群与胞腔模提供了组合骨架，深刻影响了当代数学物理。

问题来龙去脉

一、把微分方程变成”代数对象”

经典上，一组线性偏微分方程 $\mathcal M$ 的解空间是分析对象。柏原正树（师从中野茂男、继承佐藤干夫的”超函数”与”微局部分析”传统）的洞见是：用微分算子环 $D_X$ 来”代数地”研究方程组本身。

令 $D_X$ 为流形 $X$ 上的代数微分算子环，则一个线性方程组的解由模 $\mathcal M$ （即 $D_X$ 上的一个模，描述”哪些算子作用在未知函数上为零”）编码。于是：

方程组的”解” = $\mathcal M$ 的某种同调群；
方程组的奇性、传播、可解性 = 模的代数不变量。

这一视角把偏微分方程翻译成交换代数 / 同调代数的语言，使几何工具得以介入分析。

二、黎曼–希尔伯特对应

经典的黎曼–希尔伯特问题问：给定单值群（monodromy），是否存在具有该单值性的线性常微分方程组？柏原证明了其深远的推广——正则奇点 holonomic D-模的黎曼–希尔伯特对应：

$\text{正则奇点 holonomic } D\text{-模} \quad \longleftrightarrow \quad \text{可构造层（constructible sheaves）}.$

也就是说，一个微分方程系统（D-模）与它在各个开集上的”局部解如何粘合”的层结构，是一一对应的。这条定理把微分方程的解析理论与代数拓扑（层、上同调）桥接起来，是 20 世纪末分析学最深刻的成果之一，也是后来 perverse 层 与几何表示论的基石。

三、晶体基：量子群的组合骨架

在表示论一侧，柏原与路斯提格（Lusztig）各自独立地发展了**晶体基（crystal basis）**理论。考虑量子群 $U_q(\mathfrak g)$ 在 $q\to 0$ 极限下的表示：

当 $q$ 是一个未定元、再令 $q\to 0$ ，表示的基会”退化”为一组合清晰、无 signs 的基——晶体基；
晶体基上携带称为 Kashiwara 算子 的箭头，构成一个组合图（晶体图），完整记录了表示的结构。

晶体基让”量子群表示”变成纯组合对象，直接催生了 胞腔模（canonical basis）、簇代数（cluster algebras） 与数学物理中可积系统的新发展，并深刻影响了几何朗兰兹与范畴化（categorification） 纲领。

四、意义与后续

柏原正树的工作横跨分析、代数几何、表示论与数学物理，是”代数分析”这一日本学派的世界性标志。他创立的 D-模理论与晶体基，如今已是现代几何表示论、数学物理（共形场论、规范理论）不可或缺的语言。2025 年阿贝尔奖表彰的，正是他数十年来为数学提供的这两套”通用引擎”。