∑ 数学名人档案库
← 返回 姜伯驹 简介档案 深度档案
拓扑学不动点理论

姜伯驹（Jiang Boju）

中国当代拓扑学的领军人物——他以一个「子群」（姜子群）让停滞了几十年的尼尔森不动点理论重新变得「可算」，并在低维拓扑、周期轨道与纽结理论中接连做出原创贡献；他执掌北大数学多年，是中国数学走向世界的重要桥梁，也是「中国现代数学之父」姜立夫之子。

一、生平与时代背景

姜伯驹 1937 年 9 月 4 日生于天津，祖籍浙江平阳（今属龙港市）。他出身于名副其实的数学世家：父亲姜立夫（1890—1978）是哈佛大学数学博士、南开大学数学系的创办者，被公认为「中国现代数学的奠基人之一」；姜立夫门下培养出了陈省身、江泽涵等一代大师。

受家庭熏陶，姜伯驹自幼接触数学。1953 年考入北京大学数学力学系，师从江泽涵——而江泽涵正是其父姜立夫早年在南开的学生（拓扑学，哈佛大学博士，师从莫尔斯与惠特尼），这构成了中国拓扑学「姜立夫—江泽涵—姜伯驹」的代际传承。1957 年毕业后留校任教，此后一生未离开北大。

他的学术生涯几乎与新中国拓扑学的起步同步，却被「文化大革命」强行打断。姜伯驹在动乱中并未完全停止思考，仍在尼尔森数的计算上推进；「文革」结束后，经父亲的大弟子陈省身（当年在南京曾住在姜立夫家楼上，见过尚在初中的姜伯驹）建议，他赴普林斯顿高等研究所访学——那正是其父当年求学与生活过的地方，这段经历让他重新接入国际拓扑学界。

1980 年，43 岁的姜伯驹当选中国科学院院士（数学物理学部），是当时最年轻的院士之一；1985 年当选第三世界科学院（TWAS）院士。1995—1998 年任北京大学数学科学学院院长，还曾任北京数学会理事长、南开数学研究所副所长、教育部理科数学教学指导委员会主任。1989 年获首届陈省身数学奖，2002 年获华罗庚数学奖。夫人徐川荣。

二、学术生涯年表

年份 事件
1937 9 月 4 日生于天津（祖籍浙江平阳）
1953 考入北京大学数学力学系，师从江泽涵
1957 北京大学毕业，留校任教
约 1962 突破尼尔森数计算瓶颈，提出映射的迹群（姜子群）概念（具体年份存疑，一说 1964 年发表）
1964 发表在基本群的子群框架下有效计算尼尔森数的工作，国际拓扑界重新关注尼尔森理论
1966—1976 「文革」期间研究被迫中断，仍私下推进尼尔森数计算
1978 后 赴普林斯顿高等研究所访学（陈省身建议），重返国际学术圈
1980 当选中国科学院院士
1981 发表《曲面自同胚的不动点》（Bull. AMS）；证明代数可切纽结的协边群无限生成（存疑，见第六节）
1983 出版专著《尼尔森不动点理论讲座》（AMS Contemporary Mathematics 14）
1985 当选第三世界科学院（TWAS）院士
1980s 证明紧致带边曲面上自映射的尼尔森不动点猜想（最少不动点数 = 尼尔森数）
1983 给出周期点存在纯周期的代数充分条件
1989 获首届陈省身数学奖
1995 任北京大学数学科学学院院长（至 1998 年）
1996 发展周期轨道的尼尔森理论（引入映射环面方法）
2002 获华罗庚数学奖
2000s 与王诗宬、吴英青等合作研究纽结与链环的手性、Conway 位势函数

三、核心成果（逐条技术解析）

1. 姜子群（迹群）与尼尔森数的可计算性（约 1962—1964）

问题背景：尼尔森（Jakob Nielsen，1921）把自映射 $f:X\to X$ 的不动点按「道路同伦」分成不动点类，定义尼尔森数 $N(f)$ 为「本质不动点类」（指数非零的类）的个数。$N(f)$ 是同伦不变量，且是同伦类中映射不动点数的下界。但 $N(f)$ 长期以来难以实际计算——Reidemeister 给出了类的代数描述（Reidemeister 集 $R(f)$），却无法判断哪些类的指数非零。1940 年代后这一理论几近停滞。

关键思想：姜伯驹引入了基本群中的一个子群——现称姜子群（Jiang subgroup）或迹群。对基点 $x_0$，$J(f,x_0)\subset \pi_1(X,f(x_0))$ 定义为 $x_0$ 在所有「循环同伦」${h_t:f\simeq f}$（即 $h_0=h_1=f$ 的同伦）下的「迹」（trace）所生成的子群。它刻画了基本群中那些能被 $f$ 到自身的同伦「搬运」回去的元素。

精确结论（姜条件）：若 $J(f)=\pi_1(X)$（姜子群等于整个基本群，即姜条件成立），则 $f$ 的所有不动点类的指数都相等。因此： - 若莱夫谢茨数 $L(f)=0$，则每个类指数为零，$N(f)=0$； - 若 $L(f)\neq 0$，则每个类指数非零，$N(f)$ 就等于 Reidemeister 类的个数 $R(f)$，而 $R(f)$ 是可以代数计算的（等于 $\pi_1$ 中轨道 $\alpha\sim f_#(\alpha)^{-1}$ 的个数）。

意义：这一条件在大量流形（如李群、陪集空间、$K(\pi,1)$ 的许多情形）上成立，使尼尔森数从「理论上存在」变成「可手算」，一举重新激活了沉寂三十年的尼尔森不动点理论。这个子群从此以他的姓氏命名，是当代不动点理论教科书的标准概念。

2. 尼尔森不动点猜想（带边曲面情形）

问题背景：Wecken 定理（1942）断言：对维数 $\ge 3$ 的紧致连通流形，任给自映射 $f$，同伦类中总存在恰有 $N(f)$ 个不动点的映射，即最少不动点数 $\mathrm{MF}[f]=N(f)$。但对曲面（2 维），Wecken 的维数论证失效——1980 年代前人们不知道曲面映射是否也总能达到这个下界，这就是「尼尔森不动点猜想」在曲面情形的版本。

结果：姜伯驹在 1980 年代运用低维拓扑（含瑟斯顿曲面自同胚分类的思想）证明：对紧致带边曲面上的任意自映射，$\mathrm{MF}[f]=N(f)$ 成立，即尼尔森数是精确的下界。这把 Wecken 定理的「例外维数」从带边曲面中清除。

与前人关系 / 局限：Wecken 处理了 $\dim\ge 3$；姜把带边曲面补上。闭曲面的一般情形后来由国内外学者继续推进（姜与合作者在 2000 年前后证明：许多闭流形上所有保向自同胚都同痕于无不动点自同胚，与猜想互补）。带边情形的证明依赖低维拓扑的精细技巧，是中国低维拓扑的代表性成果。

3. 周期点与周期轨道的尼尔森理论（1983—1996）

背景：不动点是周期点的特例（周期 1）。自然要问：能否用尼尔森式的同伦不变量估计给定周期的周期点个数？

结果： - 1983 年，他给出存在「指定纯周期」周期点的代数充分条件。 - 1996 年，他在《尼尔森周期轨道理论》中系统引入映射环面（mapping torus）方法：同胚 $h$ 的 $n$ 周期轨道对应映射环面 $T_h$ 中的闭轨道，从而把周期点问题转化为环面基本群中的 Reidemeister 轨道问题，建立了周期轨道的尼尔森型不变量。

意义：把不动点理论与动力系统的周期轨道研究连接起来，其方法后被 Gottlieb 等推广（Gottlieb–Jiang 关于同胚周期轨道的工作），是拓扑动力系统的重要工具。

4. 低维拓扑与纽结理论（1980s—2000s）

姜伯驹后期把拓扑方法推进到纽结理论： - 与林晓松（X.S. Lin）、王诗宬（S. Wang）、吴英青（Y.Q. Wu）合作，给出检测纽结与链环各种「非手性」（achirality）的方法，并给出 Conway 位势函数（Colored Link 的 Conway potential function）的交叉变换公式与初值算法（2002）。 - 2006 年与倪忆、王诗宬、周青合作，首次构造出具有 Property IE 与不具有 Property IE 的非纤维化纽结例子。 - 2011 年与王诗宬、张倩合作，提出不动点类的一种等价定义。

（存疑）Neglected Science 等二手资料记他 1981 年「证明了代数可切纽结的协边群无限生成」。该结论确为 1981 年前后的重要结果，但原始文献归属需进一步核对，故此处标为存疑，不作为其核心贡献定论。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源