[论文解读] Noncommutative quadric surfaces and noncommutative conifolds

Shinnosuke Okawa, Kazushi Ueda|arXiv (Cornell University)|Mar 4, 2014

Algebraic Geometry and Number Theory参考文献 17被引用 3

一句话总结

本文利用几何不变性理论（GIT）构建了非交换二次曲面和非交换圆锥面的紧致模空间。结果表明，非交换二次曲面的模空间微分同构于加权射影空间 P(2,4,4,6)，而圆锥面势能的模空间微分同构于 P(1,2,3,4)，二者之间存在一个度数为 4 的有限态射，从而在非交换几何与势能模空间之间建立了深刻的联系。

ABSTRACT

We introduce a compact moduli of noncommutative quadrics, and show that it is the weighted projective space of weight (2,4,4,6). We also introduce a compact moduli of potentials for the conifold quiver, and show that it is the weighted projective space of weight (1,2,3,4). There is a natural morphism from the latter to the former, which is finite of degree 4.

研究动机与目标

• 利用几何不变性理论构建非交换二次曲面的紧致模空间。
• 定义并研究圆锥面 quiver 的势能模空间，证明其为加权射影空间。
• 在圆锥面势能模空间与非交换二次曲面模空间之间建立自然的有限态射。
• 将这些模空间与非交换共形解析解及导出等价性联系起来。
• 研究动机型唐纳森-托马斯不变量如何依赖于圆锥面 quiver 中势能的选择。

提出的方法

• 使用 GIT 商构造 SL 群作用于势能空间时的紧致模空间方案。
• 应用通过四元组 (V₀,V₁,V₂,V₃,W)（其中 W 是 2 维向量空间的 1 维子空间）对非交换二次曲面的分类。
• 将势能的模堆栈构造为 [Sym²(V₀⊗V₁)/GL(V₀)×GL(V₁)]，然后取 GIT 商得到 Mpot。
• 利用圆锥面 quiver 的双重覆盖将圆锥面势能与 P¹×P¹ quiver 关联起来，并推导路径代数中的关系。
• 应用 Van den Bergh 与 Bondal-Polishchuk 关于非交换二次曲面与 Z-代数的结果。
• 分析带框架的表示与稳定性条件，以定义并计算动机型唐纳森-托马斯不变量。

实验结果

研究问题

• RQ1 非交换二次曲面的紧致模空间是什么？它如何通过 GIT 构造？
• RQ2 圆锥面 quiver 的势能模空间是什么？其几何结构如何？
• RQ3 是否存在从圆锥面势能模空间到非交换二次曲面模空间的自然态射？其度数是多少？
• RQ4 动机型唐纳森-托马斯不变量如何依赖于圆锥面 quiver 中势能的选择？
• RQ5 通过五元组与曲线理论描述的非交换二次曲面模空间是否彼此有理等价？

主要发现

• 在移除通用稳定子 Gₘ⁴ 后，非交换二次曲面的模空间与 GIT 商有理等价，后者微分同构于加权射影空间 P(2,4,4,6)。
• 圆锥面势能的模空间微分同构于加权射影空间 P(1,2,3,4)，其为 SL(V₀)×SL(V₁) 作用下 Sym²(V₀⊗V₁) 的 GIT 商。
• 存在一个从圆锥面势能模空间到非交换二次曲面模空间的自然有限态射，其度数为 4。
• 通过五元组与椭圆曲线描述的非交换二次曲面模空间彼此有理等价，确立了两种分类框架之间的等价性。
• 动机型唐纳森-托马斯不变量依赖于势能：对于通用势能，不变量为 −L⁻³/²([Φ⁻¹(1)] − [Φ⁻¹(0)])，与标准解析圆锥面情形不同。
• 数值型 DT 不变量预计与势能无关，但动机型细化依赖于势能，如显式计算所示。