爱华网liuxing shang de fenxi
流形上的分析
analysis on manifolds
流形上的大范围分析与整体分析。
从局部看,微分流形与欧氏空间中某个开集同胚,因此流形上的局部分析与欧氏空间开集上的经典分析相仿。这样，所谓流形上的分析主要是指大范围分析与整体分析。这时也会呈现出与欧氏空间开集上的分析相同的现象。例如关于映射的萨德定理和可微函数的惠特尼开拓定理，以及斯托克斯定理等，但更受到注意的是由流形的拓扑结构、微分结构、复结构等给分析带来的影响。
莫尔斯理论 微积分中最基本的问题是一个函数的极大与极小问题。达到极值的必要条件是一阶导数等于0。对于定义在维流形上的实值函数(),[kg1][kg1],如果在坐标映射[455-01]作用下，[455-02]关于的坐标(,,…,)的各个偏导数在 点均为0,就称为的一个临界点。它不依赖于坐标的选取。同样地，极值只能在临界点达到。但是美国数学家H.M.莫尔斯首先在1930年前后认识到这些点的数目与流形的拓扑有着密切的关系。以()记二阶偏导数/构成的矩阵，若()在点满秩，就称为非退化的临界点。这时候，可以选取坐标(,,…，)，使得点的坐标为(0,0,…,0)，而[455-03],就称为这个临界点的指数。[kg1]=0时达到极小;=时达到极大，0时不一定达到极值。这时又称为鞍点。这些非退化的临界点均是孤立的。若 的所有临界点均非退化，就称 为莫尔斯函数。这类函数是很多的，它们按适当的拓扑在函数空间中稠密。
假定是紧的微分流形，为它的一个莫尔斯函数。以记指数为的临界点个数,则为的第个贝蒂数(以有理数作系数的第个同调群的维数)。那么成立莫尔斯不等式 [455-04][455-05][455-005]这里 ()为的欧拉示性数。由这些关系式，可以从的拓扑结构推出莫尔斯函数的极值性质。例如对于二维环面,已知()＝()＝1，()＝2,()＝0，那么环面上的莫尔斯函数的极大值点个数与极小值点个数均为1，鞍点个数为2。另一方面，若巧妙地构造莫尔斯函数,则可推出流形的拓扑结构。
莫尔斯函数的临界点与流形的拓扑之间这种深刻而明确的关系使这个理论有着极为广泛的应用。R.博特的周期性定理本来就是利用莫尔斯理论证明的。S.斯梅尔及其他数学家对高维庞加莱猜想的证明和流形的分类等工作均是建立在这个理论的基础上，莫尔斯本人也曾将这个理论应用于微分几何中的雅可比场等大范围变分的研究。
这个理论已被直接推广到无限维的希尔伯特流形，这种流形与希尔伯特空间局部微分同胚。所考虑的函数必须满足弱紧致条件。
积分周期理论 流形上分析的另一重要分支，述及微分形式的积分周期，它完全反映了流形的同调特征。
如果拓扑空间[kg1][kg1]上每个局部为常数的函数总是整体为常数的话，那么[kg1] 就是连通的。于是，若记(()为局部常数的实值函数构成的向量空间,则dim ()就是 的连通分支数了。这种现象的高维推广，在1930年由法国数学家 G.-W.德·拉姆给出。由于局部常数的函数特征为 d=0，因此对于微分流形，()也将是上的某些微分方程的解。考虑[kg1]1形式 =Σd，这里是[kg1][kg1]上的[kg1][kg1]函数。它沿着道路 [kg2]的积分成为道路的函数[455-06]可以仿照上面一样，要求当固定端点作小的形变时这个积分恒为常数。此时由斯托克斯定理可知d=0，这里d为外微分，即[455-07]另一方面，[455-08]这里，为的端点，即对于形式[kg1]d[kg1]，其积分自然地为局部常数。于是[kg1][kg1]()可考虑成由局部常数的线积分与局部常数函数空间取商构成的向量空间。一般地，若为阶微分形式，d=0，则称为闭的微分形式。若存在-1阶微分形式 使[kg1]＝d，称为正合的微分形式。[455-09]={闭的 阶[kg2]微分形式}/{正合的阶微分形式}称为[kg2] 的第个德·拉姆上同调群。令 为代表德·拉姆上同调类 {}的 阶闭形式， 为代表实可微奇异同调类{}的一个循环
，那么[455-10]与代表元[kg2]、的选取无关，定义了从[455-11]到实可微奇异同调群的对偶空间上的线性映射。德·拉姆定理肯定这个映射当为紧微分流形时是同构，因此[455-12]与实系数的 阶可微奇异上同调群同构。由微分形式在一个可微循环上的积分确定的实数称作这个微分形式的周期。由斯托克斯公式可知正合微分形式的周期全为零。德·拉姆定理表明周期为零的闭形式一定正合,且若,,…,是流形的可微循环的任意一组基,为个任意实数，那么一定存在闭的阶微分形式使得[455-13]
英国数学家W.V.D.霍奇对德·拉姆理论作出了重要改进。在霍奇理论中，一般假定流形为紧的，并具有黎曼度量。利用这个度量，构造作用在微分形式上的拉普拉斯－贝尔特拉米算子 ＝d+,[kg2]这里d为外微分算子，为d的形式共轭（按所给度量）。对于欧氏空间及其通常的平坦度量,即为作用在微分形式的每个分量上的拉普拉斯算子。满足方程=0的 称为调和微分形式。霍奇理论肯定在每个德·拉姆上同调类中存在惟一的调和形式，也即总是存在惟一的调和形式具有预先给定的周期（见霍奇理论）。
示性类 流形上分析常与流形的度量有关，但是将受到该流形的各种示性类的限制。这些示性类虽然可以用度量的曲率矩阵来表示，但是对于不同的度量它们总在同一个上同调类内。设[kg1]为 维流形上的复向量丛，为 的容许连络所对应的曲率矩阵，则混合微分形式[456-01](按外乘积展开)中的2次分量为实值闭外微分形式。它所决定的德拉姆上同调类()与的埃尔米特结构和连络的选取无关，称之为 的第 个陈类。高斯－博内定理肯定[456-02],这里()为紧复流形[kg1]的切丛。假定 为上以为纤维型的维实向量丛。令为的复化,这是以维复向量空间为纤维型的复向量丛。设是复向量丛的第2个陈类,则称[456-03]是第个庞特里亚金类。
层论 复分析中的基本问题是具有给定性质的全纯函数或亚纯函数的存在与多少。问题的局部解是容易的，关键在于如何将这些局部解并接成整体解。层论正是提供了从局部分析到整体分析这个过程的有力工具。这个理论首先由法国数学家J.勒雷为研究代数拓扑而发展起来，但是最重要的应用却首先在复分析（包括复的代数几何）中。这是由于H.嘉当、J.P.塞尔、小平邦彦及D.C.斯潘塞等数学家的工作。
设, 为二个拓扑空间，[kg1]为到的映射且满足下列条件: ①连续且为局部同胚映射；②对每个[kg1][kg1]，[456-04]是个阿贝尔群,且群运算(,)+关于的拓扑是连续的,那就称为上的阿贝尔群层。类似地可以定义具有其他代数结构的层。在复分析中最常用的是各类函数与各类微分形式的芽层。进而设[kg1][kg1]为复流形，，为[kg1][kg1]的二个邻域，,分别为，上的二个函数。如果在的更小邻域[456-06]上＝,就称这二个函数等价。函数的每个等价类称为[kg1][kg1]点的一个函数芽在同一点的芽按普通加法构成阿贝尔群。将上各点的所有 函数芽并在一起即得 上的 函数芽层。映射可取成将芽映到它在X的所在点。例如在点的全纯函数芽全体记成[456-98]，并在一起得到的层[456-98]称为上的全纯函数芽层。映射 :[456-98]→为[456-98]=()。[456-98]的拓扑这样定义：记为全纯函数 在点确定的芽,那么{:[kg1][kg1],为开集且是[kg1]的定义域}构成[456-98]的开集基。这时为局部同胚且群运算连续其他种类的函数芽层的拓扑，甚至各类微分形式芽层的拓扑都可类似地定义。
将普通上同调群的系数代之以层的元素，即得取值在某个层内的上同调群。(，)就是取值在内的第个上同调群。若为常数函数芽层,它就是普通的上同调群，如果为其他函数类的芽层,那么((,)就代表定义在整个 上的这类函数的多少。它往往从高阶上同调群的信息中算得。
例如设{}是非紧黎曼面上的一个离散点集,要求找一个亚纯函数在点具有给定的主部。假定{}为的一
个开覆盖,为上的亚纯函数且在｛｝∩具有给定的主部（这是容易做到的局部问题）。于是在∩上-=就是全纯函数。这些函数{}代表了(，[456-98])中的一个元素。在(,[456-98])=0时,就会在(或更小的开集)上存在全纯函数，使得在∩上－=，从而-=-。这样{-}就是定义在整个S上又满足要求的亚纯函数。所以,具有给定性质的解是否存在就变成某个上同调群为零。所幸总有(,[456-98])=0。在高维，这类问题称为第一库辛问题。当 为施泰因流形时，(,[456-98])=0，因此这个问题有解。类似地寻求具有给定零点集的全纯函数的问题称为第二库辛问题。除了 的施泰因性质外尚需其他条件，例如(, )=0，才能使这个问题有解（见多复变函数论）。
对于维复流形，当为 上的[456-98]模层时, 又称为解析层。记个层[456-98]的直和为 [456-07]它也是层若每个,存在邻域及整数使得[456-08][456-40]0是上的层同态正合序列，就称为凝聚解析层。[456-98]本身即为凝聚解析层。这时候对一切>成立[kg1](，)=0。如果为施泰因流形，则嘉当定理 意味着对一切>0,[kg1](,)=0。如果为紧复流形,那么对一切≥0，[kg1](,)为有限维的。
对于紧黎曼面，dim (,[456-98])= 即为[kg1]的亏格数。上的一个因子是指一个有限形式和[442-22],[kg1][kg1],为整数以()记亚纯函数在的洛朗展开式的首项指数，那么对于任意成立+≥0[kg1]的亚纯函数形成向量空间()[kg2]微分形式d亚纯是指为亚纯函数。对任何成立()≥的亚纯微分形式全体记作(),那么黎曼-罗赫定理肯定 [456-09]每个因子 对应一个全纯线丛()，使本来为亚纯的对象在()内成为全纯的元素对于全纯向量丛:→,以()记 的全纯截面芽层（在的开集上的全纯截面是指全纯映射:[kg1]→,且 为恒同映射）。利用塞尔对偶定理，上述公式左边可写成[456-10][456-41]这种上同调维数的交错和形式。J.P.塞尔在证明了他的对偶定理并重新解释了黎曼－罗赫定理后猜想:当是代数流形时,[456-11][456-42]一定可以写成一个只包含的陈类及 的陈类的多项式在的基本同调类上的值。这猜想立刻被德国数学家F.希策布鲁赫在1954年证明:[456-1][456-12]式中的[456-13][456-17]由以的陈类为系数的形式多项式[442-22]的分解式所决定,即[456-16]， 习惯上称ch()为的陈特征,又称[456-14]为的托德类,若()表示的切丛,则[456-15][456-5a]称为的托德类。
黎曼－罗赫－希策布鲁赫公式又为A.格罗腾迪克推广。他利用复流形上凝聚解析层的性质,将(,)的计算看成一个关于全纯映射的公式如果、是两个代数流形，∶→是个全纯映射，则同时也由建立了和 的所谓黎曼－罗赫群之间的关系。对应的公式就是格罗腾迪克－黎曼－罗赫定理。如果退化为一点，就为常值映射，公式就变成希策布鲁赫公式。这个观点所包含的许多想法使之成为代数 理论以及拓扑 理论的出发点。
希策布鲁赫公式的另一推广就是阿蒂亚－辛格指标定理，由这个定理可推出希策布鲁赫公式对任何紧复流形成立。
微分算子 流形上分析的许多问题常与作用在流形上的微分算子有关。例如霍奇理论中出现的 就是二阶椭圆型算子，这里主要考虑的是任意阶椭圆型算子。
设为紧的可定向维光滑流形。、为上的二个光滑复向量丛。()、()分别记、 的光滑截面空间。线性微分算子∶()→()[kg2]局部地可以用偏导数的矩阵来表示。设[kg2]()为[kg2] 的余切丛，()为([kg1][kg1])[kg2]中的单位球面丛（关于某个黎曼度量）。设∶()→ 为射影，那么有一个与 有关的向量丛同态(): →，称为的象征。当()是一个向量丛同构时，称[kg1][kg1]为椭圆型的(见流形上的偏微分算子)。椭圆型算子的基本性质是它的核 Ker[kg2]( 的零空间)和余核Coker =[kg1]( )/( )都是有限维的。其维数之差()=dim ker[kg1]－dim Coker 称为的解析指标。如果:()→()为的形式共轭算子(关于、
、的度量)，那么也是椭圆型的,并且Cokerker，因此()=dimker-dimker。()在 形变时不变，因此韦夸和盖尔范德猜想()可以用拓扑不变量来表达。这个猜想为M.F.阿蒂亚和I.M.辛格所证实。若以 ch()记由、、()所决定的上同调环(,)中的一个元素，td()为 的托德类，那么称
[457-01]为的拓扑指标，阿蒂亚-辛格指标定理表明
[457-02]
将这个定理应用于 ＝d+，这里d为普通的外微分算子， 是d 的形式共轭，那就得到霍奇理论的一个结论：调和微分形式空间维数的交错和等于流形的欧拉示性数，以及希策布鲁赫的符号差定理。设 为紧复流形，再将这个定理应用于作用在 上的全纯向量丛上的算子[457-03]这里为的形式共轭,那就会表明黎曼－罗赫—希策布鲁赫定理对一切紧复流形成立。由于许多分析问题与椭圆型算子有关，因此这个定理还有许多应用。
阿蒂亚－辛格指标定理可推广到更一般的椭圆复形
[457-04]它们的象征在 ()上正合。由此可得一般椭圆复形的莱夫谢茨不动点公式。应用于德·拉姆复形，即得本来的莱夫谢茨不动点公式，这个定理也可推广到有边界的紧流形的椭圆型边值问题上，还可用于流形的变换群的研究。
在非紧复流形上 算子是经常出现的。它与霍奇理论与超定微分方程组理论密切相关，是高维复分析研究中的一个基本工具。
参考书目
B.Booss and D.D.Bleecker, Topoloy and Analy-sis；The Atiyah-Siner Index Formula and Gane-Theoretic Physics , ChinaAcademic Publishers, Springer-Verlag, Beijing, 1985.
F.Hirzebruch,Topoloical Methods in Alebraic Geometry,Springer-Verlag, Berlin, 1978.
D. W. Kahn, Introduction to Global Analysis,Academic Press, New York, 1980.
J. W.Milnor,Characteristic Classes, Ann. Math.St.,No.76, Princeton Univ. Press, Princeton,1974.
F. W. Warner, Foundations of Differentiable Manifolds and Lie Groups, China AcademicPress, Beijing, 1983.
张锦豪
以上就是网友分享的关于"流形上的分析"的相关资料，希望对您有所帮助，感谢您对爱华网的支持！
