1 基本概念
1.1 定义与直观理解
量子上同调是对经典上同调环的一种带有“曲线计数信息”的修正。它仍然保留上同调类作为基本元素，但其乘法不再只由普通的交叉理论决定，而是额外加入了通过流形内部伪全纯曲线所产生的贡献。直观上，可以把它理解为：当两个上同调类相乘时，不仅要看它们在静态几何中的交汇，还要考虑它们能否通过某些曲线“间接相连”。
这种结构把空间的拓扑特征与更精细的几何数据结合起来，因此既是代数不变量，也是几何不变量。与经典上同调相比，量子上同调通常更敏感，能够区分一些传统上同调无法区分的现象。
1.2 与经典上同调的关系
经典上同调的乘法由杯积给出，反映的是子流形或余维对象之间的交叉行为。量子上同调在形式上保留了同样的向量空间底层，但乘法规则被重新定义，加入了来自曲线模空间的修正项。
在某些“退化极限”下，量子修正会消失，此时量子乘积退回到杯积。也就是说，经典上同调可视为量子上同调的基本骨架，而量子上同调则是在其上叠加了更丰富的枚举几何信息。
1.3 量子修正的来源
所谓量子修正，来源于对流形中伪全纯曲线的计数。由于曲线可以以不同方式穿过、连接或绕过几何对象，原本局部的交叉关系会出现额外项。这样的额外项不是随机补丁，而是由严格定义的模空间积分或相关不变量产生。
这些修正项体现了“量子”这一称呼的含义：代数运算不再只是静态的，而是包含了由几何过程诱导的贡献。其结果往往依赖于曲线类、能量以及相关约束条件。
1.4 适用的几何对象
量子上同调最常见于辛流形和某些复几何对象，尤其是在具有良好伪全纯曲线理论的情形下。对于紧致辛流形、Kähler流形以及许多代数簇的合适版本，都可以构造相应的量子上同调。
不过，并非所有空间都能直接定义出理想的量子环结构。通常需要满足一定的紧致性、可定向性、横截性或虚拟技术条件，才能使相关模空间计数具有良好定义。
2 数学背景
2.1 辛几何基础
辛几何研究带有闭非退化2-形式的光滑流形，这类结构为曲线和面积的研究提供了自然框架。量子上同调的现代构造，正是从辛几何中的伪全纯曲线理论发展而来。
2.1.1 辛流形与伪全纯曲线
辛流形是配备辛形式的流形，这种形式可以测量二维方向上的“面积”。伪全纯曲线则是在几乎复结构下满足某种广义柯西-黎曼方程的映射，它们在辛几何中扮演核心角色。
这些曲线既像复曲线，又适应更一般的辛背景，因此能够作为计数对象参与量子修正的构造。曲线的存在与分类通常比单纯的拓扑数据更细腻。
2.1.2 J-结构与模空间
J-结构即几乎复结构，用于把辛流形与复分析式的工具联系起来。选择合适的J结构后，可以定义伪全纯曲线的模空间，即把满足方程的曲线按某种等价关系分类后得到的空间。
模空间的几何性质决定了计数是否可行。若模空间具有预期维数并满足适当紧致性，则可以通过积分或交叉数得到稳定的不变量。
2.2 代数拓扑基础
量子上同调虽然源于几何，但其表达方式高度代数化，离不开上同调环、配对和分级等代数拓扑工具。
2.2.1 上同调环与杯积
上同调环是把上同调群连同杯积组合起来得到的代数结构。杯积反映了上同调类之间的交互关系，具有结合性和分级交换性。
在量子上同调中，杯积是最基础的参照对象。量子乘积可以视作对杯积的一种扩展，使环结构对曲线计数更敏感。
2.2.2 Poincaré对偶
Poincaré对偶说明，在适当的紧致定向流形中，同调与上同调之间存在深刻对应。这种对应使得几何中的“子流形交叉”与代数中的“配对”能够互相翻译。
量子上同调中的许多结构常建立在这一对偶框架上。特别是三点函数和结构常数的定义，通常需要借助这种非退化配对来提取数值信息。
2.3 枚举几何基础
枚举几何关注满足特定条件的几何对象有多少个，或如何按参数分类。量子上同调正是把这类“计数”嵌入了代数结构之中。
2.3.1 曲线计数问题
曲线计数问题研究的是满足若干约束条件的曲线数量，例如经过给定点、满足指定同调类或具有特定度数的曲线。由于高维情况下曲线会出现退化和重叠，计数通常需要更精细的定义。
Gromov–Witten理论提供了现代的解决框架，使这类计数从朴素枚举变为稳定不变量。量子上同调则把这些计数结果组织成环结构。
2.3.2 交叉理论
交叉理论关注几何对象如何在空间中相遇。经典交叉数往往对应有限个横截交点，而在更复杂的情形中，还要考虑重数、维数和退化情况。
量子上同调中的修正项，本质上就是把“通过曲线产生的间接交叉”也纳入交叉理论的范围。这使得原本局部的相遇关系变成了全局的枚举问题。
3 量子上同调的构造
3.1 Gromov–Witten不变量
Gromov–Witten不变量是量子上同调的核心数据来源。它们通过对带标记点的曲线模空间进行积分或计数，给出与流形几何相关的数值不变量。
3.1.1 代数定义
从代数角度看，Gromov–Witten不变量通常由评价映射、模空间的虚拟基本类以及插入的上同调类共同定义。它们可以表示为某种积分，或更抽象地说，是模空间上的配对结果。
这些不变量按曲线的同调类、标记点数和插入条件分类，因此形成一组结构丰富的数列或张量。它们满足若干公理，使得后续量子乘积具有良好性质。
3.1.2 几何含义
几何上，Gromov–Witten不变量记录了满足特定条件的伪全纯曲线的“数量”。在严格意义上，这种数量往往不是简单整数，而是经过虚拟修正后的稳定计数。
它们反映了曲线如何在流形中弯曲、分裂和连接，也说明了空间的几何结构比经典上同调所能表达的更为精细。
3.2 量子乘积
量子乘积是量子上同调中最重要的运算。它将两个上同调类组合为第三个类，但组合规则由曲线计数决定，而不只是由普通交叉决定。
3.2.1 乘法结构的定义
量子乘积通常通过三点Gromov–Witten不变量定义。给定若干上同调类，利用这些不变量提取乘积后的结构系数，从而得到一个新的乘法。
该乘法在形式上可写成经典杯积加上若干按曲线类分层的修正项。不同同调度或能量层的贡献共同决定最终结果。
3.2.2 与杯积的比较
与杯积相比，量子乘积更“敏感”。杯积只看类与类的直接交叠，而量子乘积会把可由曲线连接的额外信息纳入运算。
在低阶或退化情形中，两者可能一致；但在有丰富曲线结构的空间中，量子乘积往往出现新的非平凡项，从而改变环的整体面貌。
3.3 量子环
量子环是赋予量子上同调以环结构后的整体对象。它不仅是一个向量空间，还记录了乘法、分级和单位元等信息。
3.3.1 环结构与基
量子环通常选取经典上同调的一组基作为线性底层，然后在其上定义量子乘法。这样，环中的元素仍可按熟悉的上同调类展开，但乘法系数已经包含枚举几何内容。
基的选择可以影响表示方式，但不改变本质结构。借助合适的基，量子环的结构常数与几何数据之间的对应关系会更清晰。
3.3.2 结合律与单位元
量子环通常满足结合律，这一性质并非显而易见，而是由Gromov–Witten理论中的切分关系保证。单位元则一般由流形的基本上同调类给出，延续了经典上同调中的自然角色。
结合律确保多重乘积没有歧义，单位元则使量子环成为真正意义上的有单位代数结构。这也是量子上同调能够进入更广泛代数框架的重要原因。
3.4 次数与分级
量子上同调不仅关心元素的线性组合，还要记录它们的次数和能量层次。分级结构使得不同几何贡献不会混杂在一起。
3.4.1 量子次数
量子次数是对经典次数的扩展，通常与曲线类的Chern数、维数或标记点数有关。它帮助区分来自不同曲线度数的乘积项。
这种分级在计算中非常重要，因为它限制了某些结构常数只能在特定次数上出现，从而使理论具有更强的可控性。
3.4.2 能量与同伦类分解
曲线的能量通常与其所代表的同伦类或同调类相关。量子上同调往往按这些类进行分解，使每一部分对应不同的“曲线级别”。
这种分解有助于理解复杂乘积背后的来源：某些项来自低能量简单曲线，另一些则来自更高阶的曲线贡献。
4 主要性质
4.1 交换性与结合性
量子上同调在适当条件下通常满足分级交换性，即交换两个元素时可能出现符号因子，但整体仍具良好对称性。结合性则意味着多重乘积的括号方式不影响结果。
这两项性质使量子上同调能够作为规范的代数对象使用，也保证了它与其他代数结构之间的兼容性。
4.2 三点函数与结构常数
三点函数是量子上同调中最基本的数值表达式之一。它通过三个上同调类的配对，提取出量子乘积的结构常数。
结构常数刻画了基元素相乘后的展开系数，实际计算中往往正是这些常数决定了量子环的具体样貌。对于许多例子，掌握三点函数就等于掌握了整个量子乘法。
4.3 稳定性与变形不变性
量子上同调的重要优点之一是具有一定程度的变形不变性。只要几何对象在合适的同胚、同伦或辛同胚意义下连续变形，相关不变量通常保持不变。
这种稳定性说明量子上同调不是偶然的局部现象，而是反映了空间深层的几何结构。它也使其成为比较不同流形的重要工具。
4.4 对偶性与非退化配对
量子上同调通常保留经典Poincaré对偶所带来的配对结构。这个配对常被用来把乘积结果转化为可计算的数值，并确保环结构具有良好的非退化性。
非退化配对还使量子上同调与Frobenius代数等结构产生联系，为后续的理论推广提供了基础。
5 计算方法
5.1 模空间积分
许多量子上同调计算都归结为对模空间进行积分。积分对象往往来自评价映射拉回的上同调类，再与虚拟基本类配对。
5.1.1 评估映射
评估映射把“曲线及其标记点”送到流形中的对应点。它是把模空间上的几何数据与目标流形上的上同调类连接起来的桥梁。
通过评估映射，可以把流形中的条件转化为模空间上的约束，从而进行统一的积分或交叉计算。
5.1.2 虚拟基本类
虚拟基本类是处理模空间非光滑、非横截或维数异常时的关键工具。它提供了一个经过修正的“正确维度”上的积分对象。
没有虚拟基本类，很多模空间并不适合直接计数；有了它，量子不变量才得以在广泛情形下严格定义。
5.2 递推公式
量子上同调的计算常依赖递推和分裂技巧。通过把复杂曲线空间拆成较简单部分，可以逐步求出结构常数。
5.2.1 维特定理与切分关系
维特定理及其相关切分关系描述了模空间在退化边界上的分解方式。它们允许把高复杂度的不变量表达为低复杂度数据的组合。
这类关系是证明结合律和导出递推公式的重要基础，也是实际计算中最常用的工具之一。
5.2.2 轴向分解与关联关系
轴向分解可理解为把曲线模空间沿某些自然边界或参数方向拆开分析。关联关系则记录了不同分解方式之间的兼容性。
借助这些关系，许多量子不变量可以从少量初始数据递推得到，从而避免完全依赖直接枚举。
5.3 典型例子
典型例子帮助说明量子上同调并非抽象空谈，而是可具体计算的对象。射影空间与Grassmann流形是最常见的演示场景。
5.3.1 射影空间的量子上同调
射影空间的量子上同调具有非常经典且可显式写出的关系。其量子环往往在一个生成元上附加多项式关系，后者带有来自有理曲线计数的修正项。
这一例子常被用作入门模板，因为它既保留了熟悉的几何直观，又清楚展示了量子修正如何改变代数关系。
5.3.2 Grassmann流形的情形
Grassmann流形的量子上同调比射影空间更复杂，因为其几何结构更丰富，涉及子空间族的计数问题。其量子乘法与Schubert演算有密切联系。
在这类空间中，量子修正体现为更复杂的结构常数和更精细的组合规律，也因此成为现代计算中的重要样板。
6 重要例子
6.1 简单空间的量子环
对于一些结构较简单的空间，例如低维球面、射影线或某些基本Kähler流形，量子环往往可以完整写出。它们通常只包含少量生成元和关系，因此便于直接观察量子修正的形态。
这些例子的重要性在于，它们为一般理论提供了可验证的实验场，也帮助理解抽象定义如何落到具体公式上。
6.2 Fano流形中的表现
在Fano流形中，反规范类具有较强的正性，这使得伪全纯曲线理论往往更活跃。相应的量子上同调通常更加丰富，结构常数也更容易出现非平凡贡献。
因此，Fano流形是量子上同调研究中的核心对象之一。许多著名计算和镜像对称结果都首先在这类空间中得到验证。
6.3 旗流形与同质空间
旗流形和一般同质空间具有高度对称性，因而量子上同调往往能借助群作用、Schubert分解等方法进行处理。其结构常数与表示论和组合几何存在深层联系。
这类空间的量子环展示了对称性如何与曲线计数相互作用，也为代数几何和表示论之间的桥梁提供了范例。
6.4 Kähler流形中的特例
在Kähler流形中，复结构、度量与辛结构相互兼容，因而是量子上同调理想的研究环境之一。许多复代数簇都属于这一框架。
不过，具体可定义的量子结构仍取决于曲线模空间的良性程度。某些Kähler流形上的量子上同调只在特定条件下才具有最简洁的形式。
7 理论联系
7.1 镜像对称
镜像对称把某些几何对象成对联系起来，使量子上同调与复几何中的另一套结构形成对应。它是推动该领域快速发展的关键思想之一。
7.1.1 A模与B模对应
在镜像对称框架中，A模侧通常与辛几何和量子上同调相关，B模侧则与复结构和复变形有关。两侧的对象虽然定义方式不同，却在深层上呈现对应关系。
这种对应使量子上同调的某些复杂计算可以转化为另一侧更易处理的问题，尤其在预势函数和周期积分方面非常显著。
7.1.2 Yukawa耦合与预势函数
Yukawa耦合在这里可视为某种三阶导数结构，反映量子上同调或镜像对称中的三点信息。预势函数则是把这些数据编码为一个生成函数。
通过预势函数，可以系统地组织量子修正和结构常数。它既是理论表达的重要工具，也是实际计算的压缩形式。
7.2 Frobenius流形
Frobenius流形是一种同时带有乘法、度量和可积结构的几何对象，与量子上同调在形式上高度相似。许多量子上同调的局部结构都能诱导出Frobenius流形。
7.2.1 乘法与度量结构
在Frobenius流形中，切空间上的乘法与一个平坦度量相容。量子上同调的结构常可转化为这种切空间代数，从而形成几何与代数的统一描述。
这种统一性使量子上同调不仅是一个不变量集合，也成为研究可积系统和局部几何结构的入口。
7.2.2 WDVV方程
WDVV方程是量子上同调预势函数满足的一组非线性方程，反映了乘法的结合性。它在数学物理和枚举几何中都极其重要。
这组方程将量子乘积的兼容条件浓缩成解析形式，成为连接Frobenius流形、镜像对称与量子上同调的核心纽带。
7.3 同伦代数与A∞结构
量子上同调也与同伦代数中的高阶结构有关。尤其在更一般的开闭弦框架中，A∞结构提供了描述高阶乘法与同伦修正的自然语言。
7.3.1 开闭弦背景下的解释
在开闭弦背景里，曲线不仅可看作封闭对象，还可与边界条件和额外代数数据相联系。量子上同调在此可被看作一种闭弦侧的代数投影。
这种解释加强了它与物理模型之间的联系，也说明量子修正并非孤立公式，而是更大同伦结构的一部分。
7.3.2 高阶乘法的关联
A∞结构允许乘法在高阶上满足“到同伦为止”的结合关系。它与量子上同调中的修正项在思想上相通，都是通过额外层次来修补严格代数中的不足。
因此，量子上同调可被视为从高阶结构中抽取出的相对简洁版本，而高阶乘法则在更精细的范围内表达同类现象。
8 变体与推广
8.1 小量子上同调
小量子上同调通常只考虑有限维的修正范围，常由少数参数控制。它保留最基础的曲线计数信息，适合做初步计算和局部分析。
由于结构较简洁，小量子上同调往往是研究大量子版本的起点。
8.2 大量子上同调
大量子上同调引入更多参数，通常对应于把全部相关上同调类都作为变量处理。这样得到的结构更完整，但也更复杂。
大量子版本能够编码更丰富的几何变形信息，是镜像对称和预势函数研究中的重要形式。
8.3 量子K理论
量子K理论可视为量子上同调的K理论类比。它不再只关注上同调类，而是改用向量丛或K群元素作为基本对象，并引入相应的曲线计数修正。
这一推广保留了“量子修正”的精神，同时改变了底层代数框架，因此在表达方式和计算技巧上都更为不同。
8.4 带边界或相对情形
带边界或相对情形研究的是曲线在有边界条件、相对除子或额外约束下的计数。相应理论通常更微妙，因为边界和相对条件会影响模空间的结构。
这些推广使量子上同调能够适应更广阔的几何背景，也促进了它与开放弦、相对不变量等方向的联系。
9 应用与影响
9.1 枚举几何中的应用
量子上同调为枚举几何提供了统一而强有力的语言。许多曲线计数问题、交叉计数问题和结构常数问题，都可以借助它转化为系统化的代数计算。
它不仅给出数值答案，还揭示这些答案之间的组织规律，因此对现代枚举几何具有基础性作用。
9.2 物理中的超对称场景
在某些超对称理论框架下，量子上同调对应于特定的物理量和真空结构。其数学公式与物理中的相关函数、配分函数及耦合常数存在密切联系。
这使得量子上同调成为数学物理中极具代表性的交叉对象，也推动了许多新概念的诞生与传播。
9.3 代数几何中的计算工具
在代数几何中，量子上同调常被用作计算和比较不同空间的重要工具。它把难以直接处理的曲线信息编码成代数结构，便于利用符号计算和结构定理分析。
对于某些代数簇，量子上同调甚至可以反推几何性质，成为判断空间类型和研究变形的重要手段。
9.4 现代数学研究中的地位
量子上同调已成为现代数学中非常活跃的主题之一。它横跨辛几何、代数拓扑、复几何、表示论和数学物理，并不断与新理论发生联系。
由于其兼具可计算性与深层结构性，它既是研究前沿，也是许多后续理论的基础语言。
10 相关概念
10.1 Gromov–Witten理论
Gromov–Witten理论是一套以伪全纯曲线模空间为核心的理论体系，用于定义曲线计数不变量。量子上同调的构造几乎直接建立在它之上。
10.2 Floer同调
Floer同调是研究辛几何与哈密顿动力系统的同调理论，强调轨线与曲线的分析方法。它与量子上同调在技术和思想上关系密切。
10.3 Chen–Ruan上同调
Chen–Ruan上同调是面向orbifold的一种上同调理论，带有年龄分级和额外修正。它常被视为量子修正思想在奇异空间背景中的相邻概念。
10.4 Dubrovin理论
Dubrovin理论研究Frobenius流形、可积系统与量子上同调之间的联系。它为量子上同调提供了重要的几何—代数框架。