1 基本概念
1.1 定义与直观含义
Gromov–Witten不变量是用于记录“满足给定条件的曲线有多少”的一类几何不变量。它并不直接数出某个集合中的元素个数，而是通过模空间、交叉理论和虚拟基本类等工具，对曲线的出现方式进行代数化编码。由于真实曲线往往会出现退化、重合或分裂，这类不变量通常采用“带权计数”的方式来获得稳定结果。
从直观上看，它回答的是：在一个给定空间里，某种拓扑类型的曲线是否存在、如何分布，以及在附加若干点条件后能形成怎样的枚举结构。正因如此，Gromov–Witten不变量成为现代几何中连接“形状”与“计数”的关键桥梁。
1.2 研究对象与适用空间
Gromov–Witten理论主要研究两类背景下的曲线映射：一类来自辛几何，另一类来自代数几何。前者强调光滑流形上的伪全纯曲线，后者强调代数簇上的稳定映射。两种框架在技术细节上不同，但核心思想都围绕“从曲线映射的模空间中提取不变量”。
适用空间一般要求具备足够好的几何结构，使得曲线的模空间可以进行紧化处理，并能够定义适当的交叉数。典型对象包括闭辛流形、射影代数簇以及某些带额外结构的推广空间。
1.2.1 辛流形中的伪全纯曲线
在辛几何中，研究对象常是一类配备辛形式的流形。为了讨论曲线，需要选取与辛结构相容的几乎复结构，再考虑满足相应偏微分方程的伪全纯映射。此时曲线不必是代数意义下的解析曲线，但仍可通过几何分析手段加以研究。
这类曲线在适当条件下具有较好的紧性和能量性质，适合构造计数理论。伪全纯曲线的模空间通常是Gromov–Witten理论的起点。
1.2.2 代数簇中的稳定映射
在代数几何中，Gromov–Witten理论通常建立在代数簇之上，研究从带标记点的代数曲线到目标空间的稳定映射。稳定性条件保证模空间不会因自同构过多而失控，从而可以得到较好的代数几何对象。
稳定映射的观点更便于使用射影几何、层上同调与交叉理论等工具，也使许多实际计算能够在代数框架中完成。
1.3 与曲线计数问题的关系
Gromov–Witten不变量本质上是曲线计数问题的现代化表达。传统枚举几何常试图回答“某种次数和种类的曲线经过若干点后有多少条”，但直接计数容易遇到退化情形。Gromov–Witten理论通过将问题转化为模空间上的积分或交数，提供了更稳健的定义。
这种处理方式不仅适用于真正的几何计数，也适用于有理曲线、椭圆曲线以及更高亏格曲线的统计。它因此成为枚举几何中的基础工具之一。
1.4 典型符号与记号约定
在文献中，Gromov–Witten不变量常记作若干带有度数、亏格和标记数的符号。常见记法包括以 \(g\) 表示亏格、以 \(n\) 表示标记点个数、以 \(\beta\) 表示同调类或曲线次数。插入条件通常写成若干同调类或上同调类的乘积。
评价映射、ψ类、虚拟基本类等对象也有固定记号。不同作者在排版与指数位置上可能略有差异，但其核心含义大体一致。
2 数学背景
2.1 辛几何基础
辛几何为Gromov–Witten理论提供了重要的分析背景。其关键在于利用辛形式描述偶数维流形上的面积结构，并借助几乎复结构构造伪全纯曲线。与纯粹的欧几里得几何不同，辛几何更重视曲线的能量、变形和全局相容性。
这一背景使得曲线计数不再依赖单纯的代数表达，而是与偏微分方程和微分拓扑紧密结合。
2.1.1 辛形式与几乎复结构
辛形式是一种闭的、非退化的二次微分形式，用来定义流形上的面积测度和几何约束。几乎复结构则是在切丛上模拟复数乘法的线性算子，通常要求与辛形式相容。
当二者满足适当兼容性时，可以为曲线方程提供统一的解析框架。Gromov–Witten理论中的很多紧致性与正则性结论，都建立在这种结构配对之上。
2.1.2 伪全纯映射
伪全纯映射是满足某种广义柯西—黎曼方程的映射。它们在局部上类似于复解析映射，但目标空间一般不是复流形，而是带有几乎复结构的辛流形。
这类映射的优势在于既保留了足够的解析刚性，又允许在更广泛的几何环境中定义曲线空间，从而构成Gromov–Witten理论的核心对象。
2.2 代数几何基础
代数几何为Gromov–Witten理论提供了另一套语言。在这里，曲线映射通常以射影簇上的稳定映射为中心，相关问题可通过模空间与交叉理论进行表达。与辛几何相比，这一框架更强调代数闭包、同调类与参数空间的构造。
由于代数几何具有丰富的紧化方法和可计算结构，它特别适合处理具体例子和生成函数公式。
2.2.1 射影簇与曲线
射影簇是代数几何中的基本对象之一，通常可视作某些齐次多项式零点集。曲线作为一维代数簇，在其中的嵌入与映射构成许多枚举问题的基础。
Gromov–Witten不变量往往记录这些曲线的次数、属数及其与子簇的相交方式，因此射影簇是最常见的目标空间之一。
2.2.2 模空间与稳定曲线
模空间用于分类满足某些条件的几何对象。对于带标记点的曲线，稳定曲线的概念保证其自同构群有限，从而使参数空间具有良好性质。
在Gromov–Witten理论中，稳定曲线及其模空间是构造稳定映射模空间的基础。它们使得曲线计数能够在一个可控的几何空间中进行。
2.3 交叉理论基础
交叉理论研究几何对象之间的相交方式，并用同调、上同调和积分来表达交数。Gromov–Witten不变量之所以能成为“数”，正是因为它最终被转化为某种交叉数或积分值。
这一部分理论提供了将几何问题代数化的关键工具，也使得不变量能够与其他分支如拓扑学、表示论发生联系。
2.3.1 同调与上同调
同调与上同调用于描述空间中的环、洞与代数型的测度结构。在Gromov–Witten理论中，插入条件通常以同调类或上同调类的形式出现，作为积分中的因子。
这些类的配对关系决定了最终的数值结果，因此它们是构造不变量时不可缺少的语言。
2.3.2 交数与积分公式
交数是几何对象相交方式的代数量化结果。若能把曲线模空间上的问题转化为合适的积分，便可通过交叉理论得到具体数值。
Gromov–Witten不变量正是利用这类积分公式，将抽象的曲线枚举转化为可处理的代数计算。
3 模空间构造
3.1 稳定映射模空间
稳定映射模空间是Gromov–Witten理论的核心几何对象。它由所有满足稳定性条件的带标记曲线到目标空间的映射构成，并按适当等价关系分类。由于模空间通常并不光滑，甚至可能存在奇异和边界部分，因此需要进一步的紧化与虚拟技术。
这一模空间既记录曲线本身，也记录它们在退化极限下的行为，是定义不变量的基础平台。
3.1.1 域曲线与标记点
域曲线指的是映射的出发曲线，通常是一个带有若干标记点的代数曲线或黎曼曲面。标记点用于施加条件，例如要求曲线经过指定子流形或满足特定插入约束。
标记点的加入可以提高模空间的可控性，也使得关联函数与分裂公式能够自然表达。
3.1.2 映射次数与同伦类
映射次数或同伦类用于描述曲线在目标空间中“卷绕”的方式。不同次数通常对应不同的几何类型，也直接影响模空间的维数和不变量的数值。
在许多情形下，Gromov–Witten不变量会按同调类分块记号，以便分别统计不同拓扑类型的曲线贡献。
3.2 紧化与边界退化
稳定映射模空间往往不是自然意义下紧的，需要通过加入退化极限来进行紧化。这样处理后，模空间包含分裂曲线、带泡沫分支的曲线以及其他极限对象，从而形成闭合的参数空间。
紧化的目的不是增加额外的几何复杂性，而是确保计数在连续变形下保持稳定。
3.2.1 泡沫化现象
泡沫化是指曲线在极限过程中产生附加球面分支的现象。它常见于能量集中情形，反映了曲线不再平滑收敛，而是分解成主曲线与若干附属分量。
这种现象是Gromov紧性理论的重要组成部分，也是边界项处理的主要来源之一。
3.2.2 稳定化过程
稳定化过程用于消除不满足稳定性的退化分量。若某些分支由于标记点过少或映射过于平凡而不稳定，则需要借助额外结构将其纳入标准模空间。
这一过程使得退化曲线仍可作为模空间中的合法点，从而保证整体理论闭合一致。
3.3 维数公式
模空间维数的计算在Gromov–Witten理论中至关重要，因为它决定了哪些插入条件能够产生零维交叉数。实际使用中常常依赖虚拟维数，而不是字面上的几何维数。
维数公式不仅反映目标空间的拓扑数据，也体现域曲线的亏格、标记点数和映射类信息。
3.3.1 虚拟维数
虚拟维数是考虑奇异性和不规则性后得到的“期望维数”。当实际模空间并不光滑或维数跳变时，虚拟维数提供了一个统一的计数基准。
Gromov–Witten不变量通常要求插入条件的总次数与虚拟维数相匹配，以便得到非平凡的数值。
3.3.2 指标理论解释
指标理论为虚拟维数提供分析解释。通过研究线性化算子的指标，可以得到模空间在局部上的期望维度，并识别出正则性缺陷。
这种解释将偏微分方程、微分算子与几何计数连接起来，是理论严谨性的关键来源。
4 Gromov–Witten不变量的定义
4.1 基本构造
Gromov–Witten不变量通常通过在稳定映射模空间上施加评价映射、ψ类以及其他插入条件，再结合虚拟基本类进行积分来定义。其本质是把几何条件转换为可在模空间上运算的代数量。
这种构造兼顾了曲线的局部几何信息与全局拓扑信息，因此能够稳定地记录枚举结果。
4.1.1 评价映射
评价映射把模空间中的一个映射对象送到其标记点在目标空间中的像。借助这些映射，可以把目标空间上的同调类拉回到模空间，从而作为积分中的插入因子。
它是将“曲线经过某点”这类几何条件写成代数表达的基本工具。
4.1.2 ψ类与插入
ψ类通常与标记点处的 cotangent 线丛相关，用于记录曲线在标记点附近的切向信息。与普通插入类结合后，可以定义更精细的关联不变量。
这些插入项让Gromov–Witten理论不仅能数曲线，还能编码曲线在标记点处的更高阶接触数据。
4.2 积分定义
不变量的最终值通常由模空间上的积分给出。由于模空间可能并不光滑，直接积分往往不可行，因此需要借助虚拟基本类来替代普通的基本类。
这种积分定义是Gromov–Witten理论最常见、也最严格的表述方式。
4.2.1 虚拟基本类
虚拟基本类是对模空间“期望几何形状”的代数替代。它把奇异、退化与维数不整齐等问题统一处理，使得积分可以在一个规范化的同调类上进行。
没有虚拟基本类，许多模空间上的自然积分都无法被严格定义。
4.2.2 交叉数计算
在插入条件满足维数匹配时，积分可以转化为交叉数计算。此时，不变量不再只是抽象符号，而成为实际可求的数值。
交叉数的解释也表明，Gromov–Witten不变量本质上是一种广义的计数工具，只是计数对象并不总是离散点，而是带有权重的曲线配置。
4.3 无穷远与边界项处理
由于模空间经过紧化，边界和退化对象会影响积分定义。为保证不变量的良定义，需要妥善处理这些边界项，并确保它们不会破坏最终数值的稳定性。
这一部分的技术处理通常体现为对模空间边界分层、退化极限和拼接行为的细致分析。
4.3.1 稳定性条件
稳定性条件限制了允许出现的退化分量，防止模空间因自同构过多而失去可控性。它同时也是紧化和虚拟技术得以成立的基础。
通过稳定性约束，边界结构变得可管理，进而有利于定义精确的不变量。
4.3.2 紧化后的不变量性质
在适当紧化之后，Gromov–Witten不变量对退化过程保持不变。也就是说，虽然模空间内部的几何对象可能发生分裂或重组，但最终积分值应保持一致。
这正是“不变量”之名的核心含义。
5 性质与公理
5.1 不变量性
Gromov–Witten不变量的基本要求是对几何变形保持稳定。只要目标空间在适当意义下连续变化，相关不变量通常不应改变。该性质使其具有强大的分类与比较能力。
不变量性也是许多应用成立的前提，尤其是在量子上同调和镜像对称中尤为重要。
5.1.1 同胚不变性与变形不变性
在适当范围内，Gromov–Witten不变量往往对目标空间的变形保持不变。对于辛流形而言，它与辛同胚或变形路径密切相关；对于代数几何对象，则通常体现为在族中的稳定性。
这种变形不变性使得不变量能够反映空间的深层几何结构，而非偶然的坐标选择。
5.1.2 参数选择独立性
在定义过程中会涉及几乎复结构、扰动项以及辅助数据。理论要求最终结果不依赖这些技术参数，而只依赖于空间本身及所选的几何类。
参数独立性是保证理论内在一致性的关键，也是虚拟技术成功的标志之一。
5.2 分裂公理
分裂公理描述曲线在退化时如何分解为若干部分，以及相应不变量如何拆分为较简单的不变量之积或求和。它体现了模空间边界结构与枚举公式之间的对应关系。
这类公理使Gromov–Witten理论具备递归计算的潜力。
5.2.1 遍历分裂
遍历分裂强调当曲线穿越退化边界时，计数如何在不同分支间重新分配。它说明复杂曲线的贡献可以通过更基础的构件拼装而成。
这一思想在关联函数和切割公式中十分常见。
5.2.2 切割与拼接公式
切割与拼接公式把一个整体曲线的计数问题分解为多个局部问题。通过在节点处断开并分别计数，再按匹配条件拼接，可重建原始不变量。
这些公式是很多实际计算的基础，也反映了理论的可组合性。
5.3 遗忘映射与单位元性质
遗忘映射用于忽略某些标记点，而单位元性质则说明在插入某些基本类时，不变量如何保持自然的代数行为。二者共同体现了Gromov–Witten理论的规范性。
它们也保证了关联函数的代数结构与普通乘法结构之间的一致关系。
5.3.1 标记点遗忘
在模空间中，去掉一个标记点会引入自然的遗忘映射。该映射常用于比较不同标记数下的不变量，并推导递推关系。
通过遗忘标记点，可以分析插入条件的冗余性和稳定性变化。
5.3.2 基本类与单位
基本类在上同调代数中扮演单位元素的角色。插入基本类通常不会引入新的几何约束，因此相关不变量满足简化性质。
这一点使Gromov–Witten理论具有类似代数系统的组织结构。
6 计算方法
6.1 递推关系
递推关系是实际计算Gromov–Witten不变量的重要手段。它们通过较低次数、较低亏格或较少标记点的已知结果，逐步推导更复杂的情况。
在许多经典空间上，递推公式可以显著降低计算难度。
6.1.1 维特公式与相关递推
在具体情形中，某些公式可将高阶不变量表示成较低阶项的组合。类似维特型递推的思路常用于处理关联函数和分裂边界贡献。
这类公式通常依赖分裂公理、稳定映射的结构以及维数匹配条件。
6.1.2 关联函数的约束
关联函数常满足一系列约束方程，例如对称性、单位关系和退化关系。利用这些约束可以把大量不变量压缩为少数生成数据。
因此，关联函数不仅是记号上的方便，也是一种系统化的计算框架。
6.2 局部化技术
局部化技术通过引入群作用，将复杂积分化简为固定点或固定子流形上的贡献之和。该方法在可计算实例中尤其高效。
它把全局几何问题转化为局部分析，极大提高了实际求值能力。
6.2.1 等变局部化
等变局部化要求空间携带群作用，并将积分转化为与群作用相容的形式。借助这一机制，原本高维的积分可以拆解为若干局部项。
在Gromov–Witten计算中，这一方法常用于具有自然对称性的目标空间。
6.2.2 固定点贡献
固定点贡献指的是局部化公式中来自群作用固定点的项。每个固定点或固定图都对应一个可单独计算的局部数据块。
最终不变量是这些局部贡献按规则组合后的结果。
6.3 生成函数方法
生成函数把一系列Gromov–Witten不变量组织成一个统一的解析或形式幂级数对象。这样可将大量离散数据整合进少数函数中，便于识别结构与推导方程。
这一方法在量子上同调和镜像对称中尤为常见。
6.3.1 量子势函数
量子势函数汇总了不同次数、亏格和插入条件下的不变量信息。它通常满足某些非线性方程，并反映目标空间的整体几何特征。
通过研究量子势函数，可以发现不变量之间的深层联系。
6.3.2 关联函数生成元
关联函数生成元是把所有相关不变量按变量与权重统一编码的方式。借此，复杂的组合关系可转化为函数恒等式或微分方程。
这使得Gromov–Witten理论与解析函数、微分方程理论之间建立了紧密联系。
7 重要实例
7.1 射影空间上的不变量
射影空间是Gromov–Witten理论中最经典、最容易入门的目标空间之一。其几何结构较为规整，便于直接计算和检验一般理论。
对于低维射影空间，许多不变量可以由已知的直线和曲线几何直观地理解。
7.1.1 低维射影空间
在二维或三维射影空间中，曲线计数问题往往与直线、二次曲线和更高次数曲线的配置有关。由于空间结构清晰，这些例子常被用来展示理论的基本机制。
它们也为理解维数匹配和插入条件提供了直观范例。
7.1.2 线性子空间的计数
射影空间中的许多问题可归结为曲线是否与若干线性子空间相交。通过安排点、线或超平面条件，可以得到具体的Gromov–Witten数值。
这类计数往往与经典几何中的交点问题紧密相关。
7.2 曲线与曲面情形
在曲线和曲面背景下，Gromov–Witten不变量常表现出更丰富的退化与枚举行为。由于维数较低，某些情形可直接计算，而另一些则体现出特殊的代数结构。
这些实例有助于理解亏格、拓扑类型和目标空间维度如何共同影响不变量。
7.2.1 椭圆曲线示例
椭圆曲线具有平滑、紧致且代数结构丰富的特点。对其上曲线映射的研究常涉及自同构、度数和模空间的精细性质。
在某些设定中，椭圆曲线上的不变量具有特别整齐的代数表现，适合作为理论示例。
7.2.2 代数曲面上的枚举
代数曲面上的枚举问题比曲线更复杂，因为曲线可以在二维目标中以多种方式嵌入或退化。Gromov–Witten不变量在这里常用于统计特定次数和属数的曲线类。
这类问题体现了曲面几何与曲线计数之间的密切联系。
7.3 简单 Calabi–Yau 情形
Calabi–Yau型空间在Gromov–Witten理论中占据重要位置。它们常具有平衡的几何性质，使得某些计数结果呈现出特殊的有限性和整齐性。
在简单情形下，这些空间为镜像对称与生成函数公式提供了经典舞台。
7.3.1 有限计数现象
在部分Calabi–Yau背景中，满足条件的曲线数量往往是有限且可定义的，这使得枚举结果具有明确的几何意义。与高维或一般型空间相比，这种有限计数现象尤为突出。
它也说明Gromov–Witten不变量并非总是抽象的形式对象，而可能直接反映可见的曲线条数。
7.3.2 与镜像对称的联系
Calabi–Yau情形是镜像对称的重要测试场。A模型中的Gromov–Witten不变量与B模型中的周期积分、微分方程和变分结构之间存在深刻对应。
这类联系推动了大量预测与后续验证工作，也提升了Gromov–Witten理论的影响力。
8 应用
8.1 枚举几何
Gromov–Witten不变量最直接的应用领域是枚举几何。它提供了对曲线和交点问题的统一计数框架，能够处理退化、重合和多重覆盖等传统方法难以应对的情况。
在实际问题中，它常被用来计算特定次数曲线的数量，或判断某种配置是否可实现。
8.1.1 有理曲线计数
有理曲线是最常被计数的对象之一。通过Gromov–Witten不变量，可以系统研究在给定条件下有多少有理曲线存在，并处理它们的重数问题。
这类结果对经典枚举几何具有重要补充意义。
8.1.2 交点问题
交点问题关注几何对象之间的相交方式。Gromov–Witten理论能够把“经过若干子流形”的要求纳入统一的积分框架，从而给出可计算的答案。
因此，它不仅是曲线计数工具，也是交叉理论的自然延伸。
8.2 量子上同调
量子上同调是在经典上同调的基础上引入曲线计数修正后的代数结构。Gromov–Witten不变量为其乘法规则提供系数，使得原本静态的上同调环具有“量子化”特征。
这一领域将代数、几何与物理语言结合起来，形成了极具代表性的现代结构。
8.2.1 小量子乘法
小量子乘法通常只考虑低阶或特定插入条件下的不变量，因而具有较清晰的结构。它对经典杯积进行了修正，反映出空间中非平凡曲线的贡献。
这一乘法常作为理解更复杂量子结构的入门模型。
8.2.2 量子修正
量子修正指的是由曲线计数引入的额外项，它们改变了经典代数关系。通过这些修正，上同调环获得新的结构常数和新的几何信息。
Gromov–Witten不变量正是这些修正项的来源。
8.3 镜像对称
镜像对称是Gromov–Witten理论最著名的应用方向之一。它把A模型中的曲线计数与B模型中的复几何或周期理论联系起来，形成跨领域对应。
这一联系不仅产生了大量预测，也为许多复杂不变量提供了可验证的计算路径。
8.3.1 A模型与B模型对应
A模型侧重辛几何和曲线计数，B模型则侧重复结构、周期积分和变形理论。镜像对称提出这两种看似不同的几何结构在深层上可能等价。
Gromov–Witten不变量通常在A模型中出现，并通过镜像映射与B模型数据相对应。
8.3.2 预测与验证
镜像对称最重要的成就在于产生可检验的枚举预测。许多由B模型推导出的公式后来被Gromov–Witten理论或相关几何方法验证。
这种“先预测、后证明”的互动极大推动了现代几何的发展。
9 扩展与推广
9.1 带边界与相对版本
除了闭流形或闭代数簇之外，Gromov–Witten理论还可推广到带边界或相对情形。此时，曲线除了满足内部条件，还可能与指定子空间发生相对接触。
这些扩展版本使理论能够处理更广泛的几何边界行为。
9.1.1 相对Gromov–Witten理论
相对理论研究曲线相对于某个子空间的接触方式与枚举性质。与普通版本相比，它额外记录曲线在指定除子附近的行为。
这类推广在切割公式、退化技巧和拼接问题中很有用。
9.1.2 开弦相关推广
开弦相关推广通常涉及带边界的曲线或弧形映射，并与更广义的物理模型相联系。它在定义上更为复杂，通常需要额外的边界条件和结构约束。
尽管技术难度较高，这一方向扩展了曲线计数理论的适用范围。
9.2 导出与虚拟技术
随着模空间理论的发展，导出几何和虚拟技术逐渐成为处理奇异模空间的标准工具。它们为Gromov–Witten理论提供了更统一的现代语言。
这些方法特别适合描述模空间的“正确维数”和“正确同调类”。
9.2.1 虚拟链与虚拟类
虚拟链和虚拟类是对非光滑模空间的替代性几何对象。它们使得本应在理想光滑空间中进行的积分，能够在复杂模空间上被严格定义。
这类工具是现代Gromov–Witten理论不可缺少的一部分。
9.2.2 导出几何视角
导出几何将模空间连同其切向、障碍及高阶同伦信息一起编码，从而提供更精细的结构描述。对于Gromov–Witten理论而言，这一视角有助于解释虚拟维数与虚拟类的来源。
它把传统几何与同伦代数结合起来，形成了更统一的理论框架。
9.3 高维与额外结构
当目标空间具有更复杂的局部结构或群作用时，Gromov–Witten理论也可以相应推广。这样的版本适用于带奇异点、商空间或对称性结构丰富的几何对象。
这些推广拓宽了理论的覆盖范围，也与表示论和组合结构建立了联系。
9.3.1 orbifold Gromov–Witten理论
orbifold版本用于研究带有有限群商奇异性的空间。由于局部模型含有非平凡稳定子，曲线计数会出现额外扇区和修正项。
这一理论在带奇异性空间的枚举问题中尤为重要。
9.3.2 带群作用的版本
当目标空间或模空间具有群作用时，可构造等变版本的Gromov–Witten理论。它能够把对称性纳入不变量定义之中，并与局部化方法天然兼容。
这使得许多原本难以直接处理的空间变得更易计算。
10 相关概念
10.1 Donaldson–Thomas不变量
Donaldson–Thomas不变量是代数几何中的另一类计数不变量，主要用于统计某些层或理想层的模空间。它与Gromov–Witten不变量在某些情形下通过深层对偶或对应关系联系起来。
两者虽然定义方式不同，但都体现了现代几何中“虚拟计数”的思想。
10.2 Seiberg–Witten理论中的类比
Seiberg–Witten理论提供了研究四维流形的另一套不变量体系。其思想与Gromov–Witten理论在“通过解方程得到几何信息”这一点上存在类比。
二者分别来自不同背景，但都强调利用解析方程和模空间提取拓扑数据。
10.3 稳定映射与Hurwitz数
稳定映射与Hurwitz数都与曲线映射和分支覆盖有关。Hurwitz数主要统计给定分支行为的覆盖映射，而稳定映射则提供更广泛的模空间框架。
在某些情形下，两者之间存在自然联系，尤其是在低维目标空间和特定分支条件下。
10.4 关联函数与Frobenius流形
关联函数是Gromov–Witten理论的组织方式，而Frobenius流形则是与之密切相关的几何代数结构。后者通常出现在量子上同调和可积系统的语境中。
通过研究关联函数，可以在适当条件下构造或识别Frobenius流形结构，从而揭示不变量背后的代数一致性。