[论文解读] Compact moduli of noncommutative projective planes

Tarig Abdelgadir, Shinnosuke Okawa+1 more|arXiv (Cornell University)|Nov 28, 2014

Algebraic structures and combinatorial models参考文献 31被引用 9

一句话总结

本文通过贝利尼夫quiver的关系模空间，引入了非交换射影平面的紧凑模空间，建立了其与具有3级结构的椭圆曲线之间的几何对应关系。证明了三元组 (E, L₀, L₁)、四元组 (V₀, V₁, V₂, W) 以及关系 I ⊂ kQ 的模空间同构于加权射影空间，并与模曲线双有理等价，揭示了非交换代数几何与算术几何之间的深刻联系。

ABSTRACT

We introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative deformations of the variety. We study the case of noncommutative projective planes in detail, and discuss its relation with geometry of elliptic curves with level 3 structures.

研究动机与目标

• 通过quiver关系构造非交换射影平面的非交换形变的紧凑模空间。
• 在非交换射影平面与具有3级结构的椭圆曲线之间建立几何对应关系。
• 通过三元组 (E, L₀, L₁) 和四元组 (V₀, V₁, V₂, W) 的模空间，对三维二次AS正则代数进行分类。
• 证明贝利尼夫quiver的关系模空间同构于四元组模空间，并与模曲线双有理等价。
• 通过引入Z-代数结构并证明其一周期性，解决非交换射影平面分类中的歧义。

提出的方法

• 引入quiver Q的关系模堆栈 R(Q)，以及有限维代数的模堆栈 A，并给出自然的态射 R(Q) → A。
• 使用几何不变理论（GIT）构造紧凑模空间：Mquad = P(V₀⊗V₁⊗V₂)ss//SL(V₀)×SL(V₁)×SL(V₂)，Mrel = Gr₃(V₀⊗V₁)ss//SL(V₀)×SL(V₁)，以及 Mtri = S(3)/G₂₁₆。
• 利用Hochschild-Kostant-Rosenberg同构，通过导出等价性将层的形变与代数的形变联系起来。
• 利用具有三个顶点且关系源自Sklyanin代数的贝利尼夫quiver，对非交换射影平面进行建模。
• 应用不变量理论及 SL(V₀)×SL(V₁)×SL(V₂) 作用下的轨道分类，识别出 Mquad 为加权射影平面 P(6,9,12)。
• 通过三元组 (V₀,V₁,V₂,W) 中势函数的结构，证明关系模空间 Mrel 自然同构于 Mquad。

实验结果

研究问题

• RQ1 如何通过quiver关系对非交换射影平面的形变模空间进行紧化？
• RQ2 三元组 (E, L₀, L₁) 的模空间与3-三量子比特态或加权射影空间之间存在何种几何关系？
• RQ3 模空间 Mtri、Mquad 和 Mrel 如何相互关联，又如何与经典模曲线关联？
• RQ4 能否从阿贝尔范畴 qgr S 中恢复三维二次AS正则Z-代数的同构类？
• RQ5 Hessian群 G₂₁₆ 在具有3级结构的椭圆曲线模空间紧化中起什么作用？

主要发现

• 四元组 (V₀, V₁, V₂, W) 的模空间 Mquad 同构于加权射影平面 P(6, 9, 12)。
• 贝利尼夫quiver的关系模空间 Mrel 自然同构于 Mquad，建立了quiver关系与张量不变量之间的直接联系。
• 三元组 (E, L₀, L₁) 的模空间 Mtri 存在到 Mquad 的双有理态射，其将一条非奇异有理曲线收缩为一点。
• 空间 Mtri 同构于具有两个标记点的亏格1稳定曲线的粗模空间 M₁,₂，且该收缩可识别为加权爆破 M₁,₂ → P(1,2,3)。
• 非交换射影平面的模空间等价于3维二次AS正则Z-代数 A 的范畴 qgr A，该代数具有一周期性，并决定了其同构类（至Zhang扭变）。
• 当且仅当 ˇS ∼= ˇS′ 时，有 qgr S ∼= qgr S′，这等价于 S 是 S′ 的 Zhang 扭变，从而解决了Mori关于非交换射影平面分类的疑问。