卓越讲坛：指标定理简介

卓越讲坛：指标定理简介

学习过程

刘博教授在提及 $Atiya-Singer$ 指标定理前，先从拓扑、几何和复分析的三个现代理论成果开始引入。

先从3维空间中的2维曲面，例如球面、环面等开始谈起：

一、拓扑：

判断两个空间是否同胚为拓扑学的中心问题之一。其中同胚不变量相同为同胚的必要条件，比较常见的同胚不变量有：连通分支数、基本群结构和 $Euler$ 数。

其中，$Euler数\chi =2(1-g)$ 分类了所有的定向闭曲面，$g$ 为亏格数（可以简单理解为洞的个数），当 $g=0$ 时，就是凸多边形的情形（$V-E+F=2$）。

二、几何：

曲面的曲率 $K$ 用来度量曲面在每一点的弯曲程度，又叫做高斯曲率。高斯发现它是一个内蕴的量，由曲面自身的度量决定而与外围空间无关。特别地，针对定向闭曲面，有 $Guass-Bonnet$ 公式：$\frac{1}{2\pi }{\int }_{M}Kd\sigma =\chi (M)$，公式左边是高斯曲率在整个曲面上的积分，高斯曲率是曲面的局部性质，右边 $\chi (M)$ 是定向闭曲面 $M$ 对应的 $Euler$ 数，是曲面的整体性质，所以 $Guass-Bonnet$ 公式建立了曲面的局部性质与整体性质之间的联系，同时说明了拓扑量可以由几何来构造。

三、复分析：

经典的 $Riemann-Roch$ 问题描述如下：

在紧致 $Riemann$ 面 $S$ 上给定不同的点 $z_1,z_2,...,z_N$ 和给定 $N$ 个非零整数 $m_1,m_2,...,m_N$ , 令 $\mathcal{L}$ 为 $S$ 上满足下面条件 $(i)$ 和 $(ii)$ 的亚纯函数 $f$ 的集合 :

$(i)$ $f$ 在 $z_i$ 处的重数 ${\nu }_{z_i}(f)\ge m_i$ , 其中 $i=1,2,..,N$ ;

$(ii)$$f$ 在其余各点 $z$ 的重数 ${\nu }_z(f)\ge 0$ ;

求集合 $\mathcal{L}$ 的维数 $dim\mathcal{L}$ .

$Riemann$ 不等式给出了维数的下界：$dim\mathcal{L}\ge \sum m_i+1-g(S)$ ，其中 $g(S)$ 表示亏格数。

确定形式由 $Roch$ 给出： $dim\mathcal{L}=\sum m_i+1-g(S)+i$ ，其中 $i$ 为满足 $(i)$ 和 $(ii)$ 条件的亚纯函数微分形式的维数。

在一般的 $n$ 维空间中，比空间维数低一维的曲面叫做超曲面，而无论是曲线、曲面还是超曲面，都属于一个更一般的概念——流形。

上述三个分支的结论其实在高维紧流形中可以得到推广：

1. $Euler$ 数在高维下推广为贝蒂数的交错和：

$\chi (M)={\sum }_{k=1}^n(-1{)}^{k}dim{H}^k(M)$，其中 $H^k(M)$ 表示 $k$ 次同调群。

2. $Guass-Bonnet-Chern$ 定理：

对偶数（ $2n$ ）维紧流形有 $\chi (M)=\frac{1}{(2\pi {)}^n}{\int }_{M}Pf(R^{T}M)$ 。

3. $Hirzebruch-Riemann-Roch$ 定理：

$dim\mathcal{L}-i$ 推广为 $\chi (M)={\sum }_{k=0}^n(-1{)}^{k}dim{H}_{\overline{\partial }}^k(M,E)$ ；

$\sum m_i+1-g(S)$ 推广为 ${\int }_{M}Td(M)ch(E)$ ；

即 $\chi (M)={\int }_{M}Td(M)ch(E)$ 。

与此同时，$Hirzebruch$ 还提出了符号差定理：

设 $M^{4n}$ 为 $4n$ 维紧定向流形，$H^{\ast }(M)$ 是 $deRham$ 上同调群，定义 $J:H^{2n}(M)\times H^{2n}(M)\to R$ ；

则 $sign(J)={\int }_{M}L(M)$ ，同时符号差也为该流形的不变量。

不难发现，上述提及的拓扑不变量都能写成积分的形式，而指标定理就是在找寻它们之间共性的过程中发现的：

$I_{nd}(P)={\int }_{T^{\ast }M}\hat{A}(T^{\ast }X{)}^{2}ch(\sigma (P))$ 为分析的不变量 ，其中 $P$ 为某种算子。

特别地，当 $P$ 取某些特定的算子，即可得到之前所推广的各种定理。

最后，刘博教授指出：指标定理将拓扑、几何和分析联系在了一起，是数学各分支统一性的很好例证。

个人体会

由于本人非数学专业，所以在听讲的过程中很多地方还是不太能理解，但指标定理的统一性让我深刻体会到了数学之美：指标架起了拓扑、几何和分析三者沟通的桥梁，让某些困难的问题可以进行研究领域的转化从而得到解答。

同时，我对高等代数中部分内容也深有感触：

在高等代数中，同构这个概念架起了两个线性空间之间相互转换的桥梁，因为它保持双射和两者的线性结构。

一个抽象的线性空间在线性同构的意义下与具体列向量空间（坐标空间）是一样的，

任何一个抽象的线性映射（几何）都与表示矩阵诱导的线性映射（代数）是一样的，

从而架起了几何和代数之间的桥梁，当几何问题较难解决时不妨可以转化为矩阵用代数问题去处理，当代数问题较难处理时有时利用几何直观更容易解决。