[论文解读] Orbifold Cohomology of the Symmetric Product

Bernardo Uribe|ArXiv.org|Sep 18, 2001

Advanced Algebra and Geometry参考文献 7被引用 8

一句话总结

本文计算了具有平凡 canonical 类的光滑射影曲面 $X$ 的对称积的轨道丛上同调，建立了 $X^n/S_n$ 的轨道丛上同调与希尔伯特纲 $X^{[n]}$ 的整上同调之间的同构（符号变化除外）。该结果证实了Ruan的猜想，即 $X^n/S_n$ 上的轨道丛上杯积结构与 $X^{[n]}$ 上的杯积结构一致，为具有平凡 canonical 丛的曲面提供了截痕解析猜想的上同调实现。

ABSTRACT

Chen and Ruan's orbifold cohomology of the symmetric product of a complex manifold is calculated. An isomorphism of rings (up to a change of signs) $H_{orb}^*(X^n/S_n;\complex) \cong H^*(X^{[n]};\complex)$ between the orbifold cohomology of the symmetric product of a smooth projective surface with trivial canonical class $X$ and the cohomology of its Hilbert scheme $X^{[n]}$ is obtained, yielding a positive answer to a conjecture of Ruan.

研究动机与目标

• 计算光滑射影曲面 $X$（具有平凡 canonical 类）的对称积 $X^n/S_n$ 的轨道丛上同调环。
• 验证Ruan的猜想：$X^n/S_n$ 的轨道丛上同调与希尔伯特纲 $X^{[n]}$ 的整上同调作为分次环同构。
• 在配对中符号变化的条件下，精确建立 $X^n/S_n$ 上的轨道丛杯积结构与 $X^{[n]}$ 上杯积结构的一致性。

提出的方法

• 使用Chen-Ruan的轨道丛上同调框架，通过 $S_n$ 中 $n$-元组的共轭类定义扭扇区，并引入度数偏移数 $\iota_{(g)}$。
• 利用在多扇区 $\widetilde{\Sigma}_3(Y)$ 上的障碍丛构造轨道丛杯积，特别针对满足 $g_1g_2g_3=1$ 的三元组 $(g_1,g_2,g_3)$，以定义环结构。
• 计算每个轨道 $\Gamma_i$ 上障碍丛 $E_{h_1,h_2}^i$ 的欧拉类，证明其为 $e(X)^{r(h_1,h_2)(i)}$，其中 $r(h_1,h_2)(i)$ 是群作用下 $H^1(\Sigma) \otimes \mathbb{C}^{n_i}$ 的固定子空间的维数。
• 将图缺陷函数 $g(h_1,h_2)$ 与指数 $r(h_1,h_2)(i)$ 匹配，证明轨道丛杯积与 $H^*(X)[N]\{S_n\}$ 的环结构一致。
• 利用 $H^*(X)[N]\{S_n\}$ 与 $A(X^n,S_n)[nN]$ 的 $S_n$-不变子环之间的同构，并通过Lehn与Sorger的结果将此识别为希尔伯特纲 $X^{[n]}$ 的上同调。
• 应用Lehn与Sorger的符号反转约定，使轨道丛上同调与 $X^{[n]}$ 的标准上同调对齐，从而解决同构中的符号歧义。

实验结果

研究问题

• RQ1 光滑射影曲面 $X$ 具有平凡 canonical 类时，对称积 $X^n/S_n$ 的轨道丛上同调环是否与希尔伯特纲 $X^{[n]}$ 的整上同调环同构？
• RQ2 在符号约定下，$X^n/S_n$ 上的轨道丛杯积结构是否与 $X^{[n]}$ 上的杯积结构一致？
• RQ3 能否使用群作用与障碍丛技术，显式计算曲面的对称积的轨道丛上同调？
• RQ4 度数偏移数 $\iota_{(g)}$ 如何与对称积及希尔伯特纲的几何结构相互作用？
• RQ5 在轨道丛杯积中，图缺陷函数 $g(h_1,h_2)$ 与障碍丛维数 $r(h_1,h_2)(i)$ 之间的精确关系为何？

主要发现

• 轨道丛上同调环 $H^{*}_{\text{orb}}(X^n/S_n; \mathbb{C})$ 与上同调环 $H^*(X^{[n]}; \mathbb{C})$ 作为分次环同构，仅在基本类的配对中存在符号变化。
• 同构由 $X^n/S_n$ 上的轨道丛杯积结构与 $H^*(X)[2]\{S_n\}$ 的 $S_n$-不变子环匹配而诱导，后者同构于 $H^*(X^{[n]}; \mathbb{C})[2n]$。
• 障碍丛 $E_{h_1,h_2}^i$ 的欧拉类为 $e(X)^{r(h_1,h_2)(i)}$，且 $r(h_1,h_2)(i)$ 与图缺陷函数 $g(h_1,h_2)$ 匹配，证实了杯积相容性。
• 对于具有平凡 canonical 丛的光滑射影曲面 $X$，$X^n/S_n$ 的轨道丛上同调与 $X^{[n]}$ 的上同调在所有度数上同构，度数偏移数准确反映了轨道丛结构。
• 同构中采用的符号约定与Lehn与Sorger引入的一致，其中 $T(a) = -\int_{[X]} a$ 对于 $a \in H^*(X; \mathbb{C})$，从而消除了比较中的符号歧义。
• 该结果为Ruan的猜想提供了肯定回答：当 $X$ 具有平凡 canonical 类时，希尔伯特纲 $X^{[n]}$ 的上同调与 $X^n/S_n$ 的轨道丛上同调作为环同构。