[论文解读] Defining relations of 3-dimensional quadratic AS-regular algebras

Ayako Itaba, Masaki Matsuno|arXiv (Cornell University)|Jun 13, 2018

Advanced Topics in Algebra参考文献 9被引用 7

一句话总结

本文提供了对三维二次Artin-Schelter（AS）正则代数的定义关系的完整分类，根据其点图进行区分。该文通过代数与几何数据，对这些代数在同构及分次Morita等价意义下进行分类，尤其在点图非椭圆曲线时；当点图为椭圆曲线时，通过几何不变量（如扭点与自同构）给出同构与Morita等价的显式条件。

ABSTRACT

Classification of AS-regular algebras is one of the main interests in non-commutative algebraic geometry. Recently, a complete list of superpotentials (defining relations) of all $3$-dimensional AS-regular algebras which are Calabi-Yau was given by Mori-Smith (the quadratic case) and Mori-Ueyama (the cubic case), however, no complete list of defining relations of all $3$-dimensional AS-regular algebras has not appeared in the literature. In this paper, we give all possible defining relations of $3$-dimensional quadratic AS-regular algebras. Moreover, we classify them up to isomorphism and up to graded Morita equivalence in terms of their defining relations in the case that their point schemes are not elliptic curves. In the case that their point schemes are elliptic curves, we give conditions for isomorphism and graded Morita equivalence in terms of geometric data.

研究动机与目标

• 提供所有三维二次AS-正则代数的定义关系的完整列表。
• 基于其定义关系，对这些代数进行同构分类。
• 尤其在点图非椭圆曲线时，对这些代数进行分次Morita等价分类。
• 将分类扩展至点图为椭圆曲线的情形，利用几何数据（如自同构与扭点）进行分析。
• 通过提供超越一般或Calabi-Yau情形的完整、系统性分类，弥补文献中的空白。

提出的方法

• 利用三维二次AS-正则代数与正则几何对 (E, σ) 之间的对应关系，其中 E 为概形，σ 为自同构。
• 运用扭曲代数与分次自同构分析同构与Morita等价类。
• 通过其点图对代数进行分类：非椭圆情形（节点型三次曲线、有理曲线）通过定义关系进行代数处理。
• 对于椭圆点图，利用几何数据（如自同构 σ_pτ^j 的作用与 E[3] 中的扭点）刻画同构与Morita等价性。
• 应用几何代数理论及保持椭圆曲线的射影平面自同构群的结构。
• 在 Aut_k(ℙ², E) 中运用自同构族 {ϕ_n} 的递归构造，建立具有不同几何数据的代数之间的分次Morita等价。

实验结果

研究问题

• RQ1 所有三维二次AS-正则代数的完整定义关系列表是什么？
• RQ2 在何种条件下，两个此类代数是同构的（以定义关系表示）？
• RQ3 当点图非椭圆曲线时，两个此类代数在何种条件下是分次Morita等价的？
• RQ4 当点图为椭圆曲线时，何种几何条件决定同构与分次Morita等价？
• RQ5 能否识别出超越先前分类族（如 [NVZ] 中的族）的新非同构代数？

主要发现

• 为所有点图非椭圆曲线的三维二次AS-正则代数提供了完整的定义关系列表。
• 对于非椭圆点图，本文通过其定义关系的结构，对代数实现同构与分次Morita等价的分类。
• 识别出一个新代数，其不与 [NVZ] 分类中的任何代数同构，特别出现在点图为节点型三次曲线时。
• 当点图为椭圆曲线时，同构性由点 p 在 σ_pτ^j 作用下的轨道及条件 p - τ^{j-i}(p) ∈ E[3] 决定。
• 具有椭圆点图的代数之间存在分次Morita等价，当且仅当其对应的几何数据（点与自同构）满足涉及 E[3] 与 τ 的特定扭点与变换条件。
• 本文证明，在椭圆情形下，分次Morita等价极为罕见，如例4.21所示，仅有有限多个此类等价关系存在（|E_λ[6]| = 36），表明大多数代数彼此不Morita等价。