阿蒂亞-辛格指標定理

title: 微分算子的符号.
content: 设 formula_2 是带 formula_3 个变元 formula_4 的 formula_5 阶微分算子。其符号定义是以 formula_6 为变元的函数,其定义是将 映至  因此符号对变元 formula_9 是个 "n" 次齐次多项式。若此多项式满足 formula_10,则称 formula_2 是椭圆算子。  例一. 带 formula_3 个变元的拉普拉斯算子其符号为 formula_13,这是一个椭圆算子。  以上所述是 formula_14 上的偏微分算子。今考虑微分流形 formula_15,其上的 formula_5 阶偏微分算子可以藉局部坐标系定义。此时其符号是 formula_15 的余切丛 formula_18 上的函数;对固定的 formula_19,其符号是向量空间 formula_20 上的 formula_5 次齐次函数,此定义与局部座标的选取无关(偏微分算子在坐标变换下的变换较为复杂,只能以射流丛定义;然而其最高阶项的变换规律似于张量)。  进一步言之,对于向量丛之间的偏微分算子 formula_22(一样以局部坐标定义),其符号是拉回丛 formula_23 的截面。若对每个 formula_19,此符号限制为可逆映射 formula_25,则称 formula_2 为椭圆算子。  粗略来说,椭圆算子的关键特性在于它们「几乎」可逆。对于紧流形上的椭圆算子 formula_22,存在一个椭圆伪微分算子 formula_28 使得 formula_29 与 formula_30 都是紧算子。由此可推知 formula_2 的核与余核都是有限维的。
title: 解析指标.
content: 既然 formula_2 有伪逆,它便是 Fredholm 算子。对这类算子,可定义指标为 在微分几何的脉络下,常另称为formula_2的解析指标。  例二. 考虑流形 formula_34,算子 formula_35,其中 formula_36,这是最简单的椭圆算子。若 formula_37,则 formula_38,反之则为零空间;其伴随算子 formula_39 满足类似的性质,不难算出 formula_2 的指数为零。由此例可见 formula_41 与 formula_42 在 formula_43 变化时可能有不连续点,但其差则是个常数。
title: 拓扑指标.
content: 设 formula_15 是 "n" 维紧微分流形,椭圆偏微分算子 formula_22 的拓扑指标定义为  换言之,是同调类 formula_47 的最高维项在 formula_15 的基本同调类上的取值。在此:
title: 指标定理.
content: 符号同前。椭圆算子 formula_2 的解析指标在微小的扰动下不变,因此产生了一个自然的问题,称为指标问题:可否以流形 formula_15 及向量丛 formula_59 的拓扑不变量表示解析指标?  阿蒂亚-辛格指标定理给出的解答是:  解析指标通常难以计算,而拓扑指标尽管定义复杂,却往往有直截了当的几何意义。借由选取适当的椭圆算子 formula_22,指标定理可以给出丰富的几何信息。
title: 例子.
title: 欧拉示性数.
content: 设 formula_15 为有定向的紧流形。任选一黎曼度量,取 formula_62,并取 formula_63,定义算子 formula_64。此时的拓扑指标等于 formula_15 的欧拉示性数,解析指标等于 formula_66。
title: 希策布鲁赫-黎曼-罗赫定理.
content: 设 formula_15 为紧复流形,formula_68 为其上的复向量丛。定义  则解析指标等于 而拓扑指标等于
title: Â 亏格与 Rochlin 定理.
content: 流形的Â亏格是个有理数。对于自旋流形,这个值总是整数,若 formula_73,则它还是个偶数。这个定理可以由指标定理导出,方法是考虑适当的狄拉克算子;当 formula_73 时,此算子的核与余核带有四元数环上的向量空间结构,其复维度必为偶数,因此解析指标也必然是偶数。
title: 历史渊源.
content: 盖尔芳特首先注意到解析指标的同伦不变性,并在1959年提出了椭圆算子的指标问题,希望以流形的拓扑不变量描述解析指标。黎曼-罗赫定理是最早知道的特例;另一方面,波莱尔与希策布鲁赫早先证明了自旋流形的Â亏格的整性,并猜想这个性质可以由某个狄拉克算子的指标诠释。这个问题也由阿蒂亚与辛格在1961年联手解决。  阿蒂亚与辛格在1963年宣布他们的指标定理,但一直没有正式发表,只出现在 Palais 在1965年出版的书上。他们在1968年发表了第二个证明,用K理论取代了初版证明中的配边论手法。  阿蒂亚、博特与 Patodi 在 1973 年以热传导方程的手法给出另一个证明。格茨勒基于爱德华·维腾(1982)及 Alvarez-Gaume(1983)的想法,给出了局部狄拉克算子的局部指标定理的简短证明,这涵摄了实际应用中的大多数例子。
title: 证明手法.
title: 伪微分算子.
content: 伪微分算子的想法可以从欧氏空间上的常系数偏微分算子解释,在此情况下,这些算子不外是多项式函数的傅立叶变换;如果我们容许更一般的函数,其傅立叶变换就构成了伪微分算子。对于一般的流形,可以透过局部坐标系定义伪微分算子,只是手续稍微繁琐一些。  指标定理的许多证明中都利用伪微分算子,而非一般的微分算子,因为前者的理论更富弹性。举例来说,椭圆算子的伪逆不是微分算子,却仍是伪微分算子;另一方面,群 formula_75 的元素对应到椭圆伪微分算子的符号。  对伪微分算子可以定义阶数,这个数可以是任意实数,甚至是负无穷大;此外也能定义其符号。椭圆伪微分算子定义为些对长度够长的余切向量为可逆的伪微分算子。指标定理的多数版本皆可推广到椭圆伪微分算子的情形。
title: 配边.
content: 指标定理的首个证明奠基于希策布鲁赫-黎曼-罗赫定理,并运用到配边理论与伪微分算子。想法简述如下。  考虑由资料 formula_76 构成的环,其中 formula_15 是紧定向微分流形,formula_78 是向量丛,其加法与乘法分别由不交并与积导出;我们考虑此环对关系 formula_79 的商环。这个构造类似于配边环,不过此时我们还虑及流形上的向量丛。解析指标与拓扑指标皆可诠释为从此环映至整数环的同态。托姆的配边理论给出了这个环的一组生成元,我们可以对这些较简单的例子验证指标定理,从而导出一般的情形。
title: K 理论.
content: 阿蒂亚与辛格正式发表的第一个证明采用了K-理论。设 formula_80 为紧流形,formula_81 为闭浸入,他们对椭圆算子定义了一个推前运算 formula_82,并证明 formula_82 保持指标。我们一方面可取 formula_84 为一个包括 formula_15 的高维球面;另一方面,仍取 formula_84 为前述球面,而 formula_15 为其内一点。由于 formula_82 保持指标,而拓扑指标也具备相容的运算,两相比较后可将指标定理化约到一个点的情形,此时极易证明。
title: 热传导方程.
content: 阿蒂亚、博特 与 Patodi 在1973年给出了热传导方程手法的证明。格茨勒、伯利纳与弗尼在2002年给出一个精神相近的简化证明,其中利用了超对称的想法。  设 formula_2 为偏微分算子,formula_39 为其伴随算子,则 formula_91、formula_92 是自伴算子,并具有相同的非零特征值(记入重数),但是它们核空间不一定有相同维度。formula_2 的指标写作  在此 formula_95 可任取。  上式右侧是两个热核的差,它们在 formula_96 时有渐近表示式,它乍看复杂,但不变量理论表明其中有许多相销项,借此可明确写下领导项,由此可证出指标定理。这些相销现象稍后也得到超对称理论的诠释。  其中的每个箭头都是伪微分算子,其符号构成一个正合复形。当只有两项非零时,前述条件等价于其间的算子是椭圆的,因此椭圆算子是椭圆复形的特例。反过来说,给定一个椭圆复形,分别考虑其奇次项与偶次项的直和,其间的映射由原复形的映射及伴随映射给出,如此则可得到椭圆算子。
title: 阿贝尔奖公告上的引语.
content: 当阿蒂亚与辛格在2004年获得阿贝尔奖时,公告上是这么形容阿蒂亚-辛格指标定理的:

Summary: 在数学中,阿蒂亚-辛格指标定理断言:对于紧流形上的椭圆偏微分算子,其解析指标(与解空间的维度相关)等于拓扑指标(决定于流形的拓扑性状)。它涵摄了微分几何中许多大定理,例如陈-高斯-博内定理和黎曼-罗赫定理,在理论物理学中亦有应用。

Atiyah-Singer-Indexsatz: Der Atiyah-Singer-Indexsatz ist eine zentrale Aussage aus der globalen Analysis, einem mathematischen Teilgebiet der Differentialgeometrie. Er besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (Fredholm-Index, eng verbunden mit der Dimension des Lösungsraums) gleich dem scheinbar allgemeineren, aber einfacher zu berechnenden topologischen Index ist. (Dieser wird über topologische Invarianten definiert.)