[论文解读] Hurwitz-Hodge Integrals, the E6 and D4 root systems, and the Crepant Resolution Conjecture

Jim Bryan, Amin Gholampour|ArXiv.org|Aug 30, 2007

Algebraic Geometry and Number Theory参考文献 6被引用 11

一句话总结

本文计算了关于 ℙ¹ 上度为 4 的覆盖、单值群为 A₄ 和 ℤ₂×ℤ₂ 的模空间上的 Hurwitz-Hodge 积分的生成函数，通过 E₆ 和 D₄ 根系的正根上的三角函数和来表达。关键结果建立了这些积分与 orbifold [ℂ³/A₄] 和 [ℂ³/(ℤ₂×ℤ₂)] 的零亏格 Gromov-Witten 潜力之间的直接联系，通过虚拟局部化和 McKay 对应技术，证明了这些情形下的 Crepant Resolution Conjecture。

ABSTRACT

Let G be the group A_4 or Z_2xZ_2. We compute the integral of λ_g on the Hurwitz locus H_G\subset M_g of curves admitting a degree 4 cover of P^1 having monodromy group G. We compute the generating functions for these integrals and write them as a trigonometric expression summed over the positive roots of the E_6 and D_4 root systems respectively. As an application, we prove the Crepant Resolution Conjecture for the orbifolds [C^3/A_4] and [C^3/(Z_2xZ_2)].

研究动机与目标

• 计算度为 4 的覆盖、单值群 G = A₄ 或 ℤ₂×ℤ₂ 的模空间上 Hurwitz-Hodge 积分的生成函数。
• 通过 McKay 对应，将这些积分与 E₆ 和 D₄ 根系的几何联系起来。
• 精确匹配 orbifold [ℂ³/G] 的零亏格 Gromov-Witten 潜力的非经典部分与 G-Hurwitz-Hodge 积分的生成函数。
• 通过该对应关系，证明 [ℂ³/A₄] 和 [ℂ³/(ℤ₂×ℤ₂)] 的 Crepant Resolution Conjecture。

提出的方法

• 使用经典 McKay 对应，将 A₄ 和 ℤ₂×ℤ₂ 的二分覆盖与 E₆ 和 D₄ Dynkin 图联系起来。
• 利用共轭类数据、表示特征和 G 在 SO(3) 中的三维表示，定义修正的特征表矩阵 Lᵣⁱ。
• 将生成函数 F_G(x₁,x₂,x₃) 表达为 R⁺ 中正根的和，涉及变量 xᵢ 的线性组合的三角函数以及表示理论系数。
• 对 BG 上的扭曲稳定映射模空间应用虚拟局部化，计算虚拟法丛为 −R•π∗f∗V。
• 通过涉及通用度为 4 的覆盖的结构层的上推的 K-理论计算，将虚拟法丛与 Hodge 线丛联系起来。
• 利用虚拟法丛的总陈类与 Hodge 线丛的陈类相等的事实，证明了不变量的相等性。

实验结果

研究问题

• RQ1 对于 G = A₄ 和 ℤ₂×ℤ₂，如何用根系数据表达 G-Hurwitz-locus 上的 Hurwitz-Hodge 积分？
• RQ2 G-Hurwitz-Hodge 积分的生成函数与 orbifold [ℂ³/G] 的零亏格 Gromov-Witten 潜力之间的确切关系是什么？
• RQ3 在该背景下，E₆ 和 D₄ 根系在多大程度上编码了 A₄ 和 ℤ₂×ℤ₂ 的表示论结构？
• RQ4 能否通过该框架验证 [ℂ³/A₄] 和 [ℂ³/(ℤ₂×ℤ₂)] 的 Crepant Resolution Conjecture？
• RQ5 在等变 Gromov-Witten 理论中，虚拟局部化技术如何将 orbifold 不变量与曲线模空间上的 Hodge 积分联系起来？

主要发现

• 对于 G = A₄，生成函数 F_G(x₁,x₂,x₃) 表达为 E₆ 正根的和，涉及 xᵢ 线性组合的三角函数及表示理论系数。
• 对于 G = ℤ₂×ℤ₂，生成函数 F_G(x₁,x₂,x₃) 显式计算为 D₄ 正根的和，具有类似的三角函数结构。
• orbifold [ℂ³/G] 的零亏格 Gromov-Witten 潜力的非经典部分等于 G-Hurwitz-Hodge 积分的生成函数。
• 通过沿通用度为 4 的覆盖的上推计算，证明了 BG 上扭曲稳定映射模空间的虚拟法丛在 K-理论中同构于 Hodge 线丛的对偶。
• 通过该对应关系计算了每个 G-Hurwitz-locus 分量上的 λ_g 积分，结果与 orbifold Gromov-Witten 不变量一致。
• 通过虚拟局部化和根系数据，建立了生成函数的相等性，从而证明了 [ℂ³/A₄] 和 [ℂ³/(ℤ₂×ℤ₂)] 的 Crepant Resolution Conjecture。