查看“︁莫尔斯同调”︁的源代码

[[微分拓扑]]中，'''莫尔斯同调'''是光滑[[流形]]的[[同调论]]，利用[[光滑结构]]和流形上的辅助[[度量]]来构造，而结果是[[拓扑不变量|拓扑不变]]的，实际上同构于[[奇异同调]]。莫尔斯同调也是[[弗洛尔同调]]的各种无穷维推广的模型。

== 正式定义 ==
给定任意（紧）光滑流形，令''f''是莫尔斯函数，''g''是其上的黎曼度量（这些都是辅助性的，归根结底莫尔斯同调不依赖于它们）。<math>(f, g)</math>给出了[[梯度]]向量场。若同''f''所有[[临界点 (数学)|临界点]]相关联的[[稳定流形|稳定]]与不稳定流形与彼此[[横截性|横截]]相交，则称<math>(f, g)</math>为'''莫尔斯–斯梅尔对'''。

对任何这样的一对<math>(f, g)</math>，可以证明任意两临界点之间的指标之差等于点间梯度流的[[模空间]]维度。于是，索引为''i''的临界点与指标为<math>i-1</math>的临界点间存在1维流模空间。每个流都可通过定义域中的1维平移进行重参数化。模去重参数化后，[[商空间]]是0维，即未参数化流线的[[可定向性|有向]]点集。

[[链复形]]<math>C_*(M, (f, g))</math>可定义如下。链集是临界点生成的'''Z'''-[[模]]。复形的微分''d''将指标为''i''的临界点''p''送到指标-<math>(i-1)</math>临界点之和，系数对应''p''到指标<math>(i-1)</math>-临界点的未参数化流线的（有符号）数字。因为模空间的紧性，所以此种流线数量有限。

从对梯度流模空间如何紧化的理解，这定义了[[链复形]]（<math>d^2 = 0</math>）。即，<math>d^2(p)</math>中，指标-<math>(i-2)</math>临界点''q''的系数是由从''p''到指标为<math>i-1</math>的某临界点''r''的指标1流，以及''r''到''q''的另一个指标1流组成的断裂流的（有符号）数。断裂流恰好构成了指标2流的模空间边界：任何不断裂指标2流序列的极限都可以证明是这种形式，而且所有断裂流都作为不断裂指标2流的极限出现。非参数化指标2流以1维族形式出现，会紧化为有界紧1维流形。紧1维流形的界的符号计数为0证明<math>d^2(p)=0</math>。
== 莫尔斯同调不变性 ==
可以证明，此复形的同调与用于定义它的莫尔斯–斯梅尔对<math>(f,\ g)</math>无关。总可以定义在任意两给定对<math>(f_0,\ g_0),\ (f_1,\ g_1)</math>之间插值的对<math>(f_t,\ g_t)</math>的同伦。通过[[分岔理论|分岔分析]]或[[连续映射]]，总可以定义<math>C_*(M, (f_0, g_0))</math>到<math>C_*(M, (f_1, g_1))</math>的链映射，可以证明这两个莫尔斯同调同构。使用同伦同伦的类似论证表明，这种同构是规范的。

另一种证明莫尔斯同调不变性的方法是将其与奇异同调直接关联起来。可以定义到达奇异同调的映射：将临界点送到与之相关联的非稳定流形相关联的奇异链。反过来，奇异链通过梯度向量场的流被送到极限临界点。要严格做到这一点，最简单的方法是使用[[流 (数学)|流]]理论。

将与指标为''i''的临界点相关联的非稳定流形视作''i''-胞腔（cell），并证明莫尔斯对应于胞腔复形的有界映射，于是得到与[[胞腔同调]]的同构，这样也可以证明与奇异同调的同构。

== 相关构造 ==
这种莫尔斯方法的构造来自[[勒内·托姆]]与[[斯蒂芬·斯梅尔]]的工作。[[约翰·米尔诺]]关于[[h-配边]]理论的书中也隐式地使用了这种方法。

从莫尔斯同调同构于奇异同调的事实出发，考虑适当秩的同调群所需生成子（临界点）数量（，并考虑莫尔斯复形的截断类型（truncation），得到更强的不等式），可得莫尔斯不等式。莫尔斯同调的存在从[[范畴化]]的意义上“解释”了莫尔斯不等式。

[[爱德华·威滕]]在1980年代初提出了一个相关构造，有时也称作莫尔斯–威滕理论。

莫尔斯同调可以推广到指标有限、度量完整、函数满足[[帕莱-斯梅尔紧性条件]]的有限维非紧/无限维流形，如[[黎曼流形]]上测地线的能量泛函。指标与余指标都无穷、但任何一对临界点的相对指标都有限的推广就是[[弗洛尔同调]]。

[[谢尔盖·彼得罗维奇·诺维科夫]]将这一构造推广到与流形上[[闭形式和恰当形式|闭1形式]]相关联的同调论。莫尔斯同调是1形式<math>{\rm d}f</math>的特例。诺维科夫理论的一个特例是[[圆值莫尔斯理论]]，Michael Hutchings与Yi-Jen Lee将其同[[解析扭子]]与[[塞伯格-威滕理论]]联系起来。

== 莫尔斯–博特同调 ==
莫尔斯同调可在莫尔斯–博特环境下进行，即，当函数没有孤立的非退化临界点、而有临界流形（且在某点的切空间与该店的黑塞核重合）。若待研究函数在非离散李群上不变，这种情形就会经常出现。

为描述由此产生的链复形及其同调，要在每个临界子流形上引入一般莫尔斯函数。链将由以下路径组成：始于辅助莫尔斯函数临界点的临界流形，沿着关于某度量的梯度轨迹离开子流形，沿莫尔斯–博特函数的梯度向量场直到遇到其他临界流形，或者沿临界子流形上莫尔斯函数相关联的梯度轨迹流动一段时间，直到遇到另一个临界子流形等等；或流到原子流形中的临界点，并停止。见(Frauenfelder)。这种莫尔斯–博特同调的构造见于Bourgeois关于[[切触同调]]的未发表工作中，当中临界子流形是[[里布轨道]]集，临界子流形间的梯度流是辛化切触流形中的伪全纯曲线，趋近于里布轨道的相关临界流形中的里布轨道。
若将每个莫尔斯函数扩展为临界子流形附近支持的整个流形上的一个函数，就可以显式地写下扰动原莫尔斯–博特函数的莫尔斯–斯梅尔函数。即，将每个扩展后的函数乘以某小的正常数，求和并将结果加到原莫尔斯–博特函数上。前述断裂流将会<math>C^0</math>接近这个莫尔斯–斯梅尔函数的流线。

== 参考文献 ==
* {{cite book|last1=Banyaga|first1= Augustin |authorlink1=Augustin Banyaga| last2=Hurtubise|first2= David|year=2004|title=Lectures on Morse Homology| location=Dordrecht|publisher= Kluwer Academic Publishers|isbn=1-4020-2695-1}}
* {{cite journal|last=Bott|first=Raoul|authorlink=Raoul Bott|url=http://www.numdam.org/item?id=PMIHES_1988__68__99_0|title=Morse Theory Indomitable|journal=[[Publications Mathématiques de l'IHÉS]]|volume=68|year=1988|pages=99–114|doi=10.1007/BF02698544|s2cid=54005577|access-date=2024-02-19|archive-date=2020-11-09|archive-url=https://web.archive.org/web/20201109040547/http://www.numdam.org/item?id=PMIHES_1988__68__99_0|dead-url=no}}
* Farber, Michael.  Topology of Closed One-Forms.  American Mathematical Society, 2004.
* Hutchings, Michael.  [http://math.berkeley.edu/~hutching/teach/276-2010/mfp.ps Lecture notes on Morse homology (with an eye towards Floer theory and pseudoholomorphic curves)] {{Wayback|url=http://math.berkeley.edu/~hutching/teach/276-2010/mfp.ps |date=20240219085837 }}.
* Kerman, Ely.  [https://web.archive.org/web/20070318214437/http://www.math.sunysb.edu/~ely/mf-notes.ps Lecture Notes:From Morse Homology to Floer Homology]
* Novikov, Sergei.  Multivalued functions and functionals. An analogue of the Morse theory, Soviet Math. Dokl. 24 (1981), pp.&nbsp;222–226. Translation of {{cite journal| title=Многозначные функции и функционалы. Аналог теории Морса | journal=[[Doklady Akademii Nauk SSSR]] | volume=270 | issue=1 | pages=31–35}}
* J. Jost, Riemannian Geometry and Geometric Analysis, Fourth Edition, Universitext, Springer, 2005
* {{cite journal|last=Frauenfelder|first= Urs|title=The Arnold–Givental conjecture and moment Floer homology|journal=[[International Mathematics Research Notices]] |year=2004|volume=2004|issue= 42|pages= 2179–2269|doi=10.1155/S1073792804133941|mr=2076142| arxiv=math.SG/0309373|doi-access= free}}
* {{cite journal|last=Witten|first= Edward|authorlink=Edward Witten|  title=Supersymmetry and Morse theory|journal=  [[Journal of Differential Geometry]]|volume= 17 |year=1982|issue= 4|pages=661–692|doi= 10.4310/jdg/1214437492|doi-access=free}}

[[Category:同调论]]
[[Category:莫尔斯理论]]