查看“︁稳定映射”︁的源代码

[[辛拓扑]]与[[代数几何]]中，可以构造满足特定条件的'''稳定映射'''的[[模空间]]，从[[黎曼曲面]]映射到给定[[辛流形]]。此模空间是[[格罗莫夫-威滕不变量]]的精髓，在[[枚举几何]]与[[第二型弦理論#IIA型弦論|IIA型弦论]]中有应用。[[马克西姆·孔采维奇]]在1992年左右提出了稳定映射的概念，并发表在{{harvtxt|Kontsevich|1995}}。

由于构造过程冗长而困难，我们不在[[格罗莫夫-威滕不变量]]条目进行，而在这里进行。

==光滑伪全纯曲线==
固定一闭辛流形''X''，[[辛形式]]为<math>\omega</math>。令''g''、''n''是[[自然数]]（含0），''A''是''X''中的2维[[同调]]类。则，可以考虑[[伪全纯曲线]]集合

:<math>((C, j), f, (x_1, \ldots, x_n))\,</math>

其中<math>(C, j)</math>是[[亏格]]为''g''的光滑闭[[黎曼曲面]]，有''n''个标记点<math>x_1, \ldots, x_n</math>，且

:<math>f : C \to X\,</math>

是函数，对<math>\omega</math>-驯顺[[殆复流形|殆复结构]]''J''和非齐次项<math>\nu</math>的某种选择满足扰动[[柯西–黎曼方程]]

:<math>\bar \partial_{j, J} f := \frac{1}{2}(df + J \circ df \circ j) = \nu.</math>

一般来说，只接受使''C''的无心[[欧拉示性数]]<math>2 - 2g - n</math>为负的''g''、''n''，则域是'''稳定'''的，就是说只有有限多个''C''的全纯自同构保标记点。

<math>\bar \partial_{j, J}</math>是[[椭圆算子]]，因此是[[弗雷德霍姆算子]]。经过大量分析论证（在合适的[[索博列夫空间|索博列夫范数]]中完成，使用[[隐函数定理]]与[[巴拿赫流形]]的[[萨德定理]]，并利用[[次椭圆形算子|椭圆正则性]]恢复光滑性），可以证明对<math>\omega</math>-驯顺的''J''和扰动<math>\nu</math>的一般选择，亏格为''g''、有''n''个标记点、表示''A''类的<math>(j, J, \nu)</math>-全纯曲线集形成光滑有向[[轨形]]

:<math>M_{g, n}^{J, \nu}(X, A)</math>

维度由[[阿蒂亚-辛格指标定理]]给出：

:<math>d := \dim_{\mathbb{R}} M_{g, n}(X, A) = 2 c_1^X(A) + (\dim_{\mathbb{R}} X - 6)(1 - g) + 2 n.</math>

==动机==
[[模空间]]<math>M_{g, n}^{J, \nu}(X, A)</math>不是[[紧空间|紧]]的，因为曲线序列可以退化为奇异曲线，而后者不在上面定义的模空间中。''f''的'''能量'''（指导数的[[Lp範數|<math>L^2</math>范数]]）集中在域的某一点时，就会这样。

可通过重缩放集中点周围的映射来捕捉能量。这样做的效果是在集中点处的原域周围附加一个球，称作'''泡'''，并将映射延伸到整个球。重缩放后的映射可能仍有能量集中在点上，因此必须迭代地重缩放，最终将整个'''泡树'''附着在原域上，使映射在新域的每个光滑分量上都表现良好。

==定义==
'''稳定映射'''定义为来自黎曼曲面的伪全纯映射，最差有有节（nodal）奇点，使得映射只有有限多自同构。

具体来说，这意味着：对于有节黎曼曲面的光滑成分，若有不超过有限多个保标记点与节点的自同构，则称这组分'''稳定'''。那么稳定映射是伪全纯映射，至少有一个稳定域成分，使得对其他域成分，
*映射在此分量上非恒定，或
*成分是稳定的。

重要的是，稳定映射的定义域不一定是稳定曲线。可以（迭代地）收缩其不稳定成分，这样产生稳定曲线的过程，叫做域''C''的'''稳定化'''<math>\mathrm{st}(C)</math>。

==稳定映射紧化==
亏格为''g''、有''n''个标记点的黎曼曲面出发的稳定映射集形成了模空间
 
:<math>\overline{M}_{g, n}^{J, \nu}(X, A).</math>

当且仅当满足以下条件，稳定映射序列收敛，这样便定义了拓扑。
*其（稳定化）域收敛于曲线的德利涅-芒福德模空间<math>\overline{M}_{g, n}</math>；
*它们在远离节点的紧子集上的所有导数均匀收敛；
*集中在任一点的能量等于极限映射中附着于该点的泡树的能量。

稳定映射的模空间是紧的，即，任何稳定映射序列都收敛。为证明之，可以迭代地重缩放映射序列。每次迭代都会出现新的极限域，可能是奇异的，其能量集中程度较上一代变低。在这一步，辛形式<math>\omega</math>以一种关键的方式进入。任何表示同调类''B''的光滑映射的能量下界都是'''辛面积'''

:<math>\omega(B) \leq \frac{1}{2} \int |df|^2,</math>

当且仅当映射是伪全纯映射时取等。这就限制了每次重缩放捕获的能量，意味着只要有限次重缩放就能捕获所有能量。最后，新极限域上的极限映射是稳定的。

紧化空间还是光滑有向轨形。具有非平凡自同构的映射对应轨形上具有各向同性（isotropy）的点。

==格罗莫夫–威滕伪循环==
为构造格罗莫夫–威滕不变量，将稳定映射的模空间在'''估值映射'''下前推

:<math>M_{g, n}^{J, \nu}(X, A) \to \overline{M}_{g, n} \times X^n,</math>
:<math>((C, j), f, (x_1, \ldots, x_n)) \mapsto (\mathrm{st}(C, j), f(x_1), \ldots, f(x_n))</math>

从而在适当条件下得到[[有理数|有理]]同调类

:<math>GW_{g, n}^{X, A} \in H_d(\overline{M}_{g, n} \times X^n, \mathbb{Q}).</math>

由于模空间是轨形，所以有理系数是必须的。估值映射定义的同调类独立于一般的<math>\omega</math>-驯顺''J''与扰动<math>\nu</math>的选择。对给定的数据''g''、''n''、''A''，它被称作''X''的'''格罗莫夫–威滕（GW）不变量'''。配边论证可用于证明在同痕意义上，此同调类与<math>\omega</math>的选择无关。于是，格罗莫夫-威滕不变量是辛流形的辛同痕类的不变量。

“合适条件”很微妙，主要是因为多重覆盖映射（通过域的[[分支覆叠]]分解的映射）可以形成比预期维度更大的模空间。

处理这问题的最简单方法是假设目标流形''X''在一定意义上是半正定的或[[法诺簇|法诺]]的。选择这假设的目的是为使多重覆盖映射的模空间在非多重覆盖映射空间中的余维度至少为2，那么估值映射的像就形成了伪循环（pseudocycle），从而诱导出预期维度的良定义同调类。

要定义GW不变量而不嘉定某种半正定性，需要一种困难的技术构造，即'''虚拟模循环'''。

==参考文献==
* Dusa McDuff and Dietmar Salamon, ''J-Holomorphic Curves and Symplectic Topology'', American Mathematical Society colloquium publications, 2004. {{isbn|0-8218-3485-1}}.
*{{Cite journal |first1=Maxim |last1=Kontsevich | title=Enumeration of rational curves via torus actions | year=1995 | journal=Progr. Math. |volume=129|pages=335–368 |mr=1363062 }}

[[Category:辛拓扑]]
[[Category:复流形]]
[[Category:弦理论]]