[论文解读] The Chen-Ruan Cohomology Ring of Mirror Quintic

B. Doug Park, Mainak Poddar|ArXiv.org|Oct 12, 2002

Algebraic Geometry and Number Theory参考文献 14被引用 5

一句话总结

本文通过利用周期的Riemann双线性关系识别障碍丛，计算了ℙ⁴中五次3-流形的Batyrev镜像轨道丛的Chen-Ruan轨道丛上同调环。研究提供了明确的环结构，并通过局部化方法验证了轨道丛欧拉特征数积分，得出轨道丛欧拉类积分的关键结果为1/25，为射影单纯轨道丛中的Calabi-Yau超曲面提供了一种可推广的方法。

ABSTRACT

We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Calabi-Yau hypersurfaces in projective simplicial toric varieties, modulo a conjecture that the Riemann bilinear relations are adequate for identifying the obstruction bundle for any complex orbifold.

研究动机与目标

• 计算ℙ⁴中五次3-流形的Batyrev镜像轨道丛的Chen-Ruan轨道丛上同调环。
• 利用周期的Riemann双线性关系识别该情形下的障碍丛。
• 为射影单纯轨道丛中的Calabi-Yau超曲面开发计算Chen-Ruan环结构的一般方法。
• 通过局部化技术验证轨道丛欧拉类积分，避免依赖全局商结构。
• 提供与上同调型平坦化猜想和Ruan关于轨道丛与平坦化解析量子上同调的猜想相容的框架。

提出的方法

• 使用ℙ⁴中五次超曲面的镜像族，模去(ℤ₅)³，其方程为x₁⁵ + x₂⁵ + x₃⁵ + x₄⁵ + x₅⁵ + ψx₁x₂x₃x₄x₅ = 0。
• 应用Riemann双线性关系识别轨道丛上同调计算中的障碍丛。
• 利用轨道几何描述轨道丛，通过其对偶多面体Δ⁰（在ℤ⁴中顶点为v₁至v₅）实现。
• 在扭曲扇形上使用T-等变局部化，计算法丛与障碍丛的等变欧拉类。
• 应用[CK]中的局部化公式，并在每个不动点处通过除以局部群的阶（25）进行修正。
• 通过两种方法计算轨道丛欧拉类积分：特例计算与T-等变局部化，确认结果一致。

实验结果

研究问题

• RQ1 能否利用周期的Riemann双线性关系识别镜像五次超曲面Chen-Ruan上同调的障碍丛？
• RQ2 Batyrev镜像五次3-流形的Chen-Ruan轨道丛上同调环的显式结构是什么？
• RQ3 局部化方法是否能正确计算障碍丛的轨道丛欧拉类积分？
• RQ4 该计算能否在不假设镜像五次超曲面为全局商的前提下完成，从而推广至其他轨道丛Calabi-Yau超曲面？
• RQ5 根据Ruan的猜想，轨道丛上同调环与其中平坦化解析的量子上同调之间有何关系？

主要发现

• 利用周期的Riemann双线性关系，成功识别了镜像五次超曲面的障碍丛。
• 显式计算了镜像五次超曲面的Chen-Ruan轨道丛上同调环，其贡献来自阶为5的群元素对应的扭曲扇形。
• 通过局部化方法计算轨道丛欧拉类积分∫_{X_{(g)}}^{orb} e(E_{(g)})，结果为1/25，与特例方法结果一致。
• 在不动点q₃、q₄、q₅处，法丛的T-等变欧拉类分别为(−1/5 u₂)(−1/5 u₁ − 2/5 u₂)、(1/5 u₂)(−1/5 u₁ − 1/5 u₂)和(1/5 u₁ + 2/5 u₂)(1/5 u₁ + 1/5 u₂)。
• 通过Cartier除子数据定义L_{(g)}与F_{(g)}''上的T-作用，分别在q₅、q₄、q₃处给出权重(u₁+2u₂)、u₂与0。
• 通过在每个不动点贡献中除以群阶（25）对局部化公式进行修正，最终得到积分为1/25。