[论文解读] Moduli of non-commutative polarized schemes

Kai Behrend, Behrang Noohi|arXiv (Cornell University)|Jul 25, 2015

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

一句话总结

本文通过几何不变理论构建了稳定分次代数的导出模堆，建立了非交换霍尔茨基稳定性（Hilbert stability）的类比。证明了此类代数的导出形变理论由分次霍尔茨基上同调控制，并表明在此框架下稳定性恢复了交换情形下的经典霍尔茨基稳定性。

ABSTRACT

We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent complex of the derived scheme is given by graded Hochschild cohomology, which we relate to ordinary Hochschild cohomology. We obtain a version of Hilbert stability for non-commutative projective schemes.

研究动机与目标

• 将经典的霍尔茨基稳定性概念推广至非交换射影概形。
• 通过几何不变理论，构建分类稳定分次代数的导出模堆。
• 将非交换概形的导出形变理论与分次霍尔茨基上同调联系起来。
• 证明稳定代数的导出模堆空间推广了经典霍尔茨基稳定射影簇的堆。
• 通过齐次坐标代数提供非交换射影概形模堆的框架。

提出的方法

• 将分次代数的导出堆构造为曲率微分graded李代数在规范群作用下的商。
• 利用格伦斯坦哈伯括号和莫拉尔-卡特兰方程描述分次代数的形变理论。
• 将分次霍尔茨基上同调定义为导出模堆的切复形，将其与普通霍尔茨基上同调联系起来。
• 应用希尔伯特-蒙福德判别法与测试构型，定义分次代数的稳定性。
• 引入 $q$-稳定性，并通过有限维截断 $\widetilde{X}_{\leq q}$ 的射影极限定义稳定性。
• 依赖于对 $A_1$ 的滤子实现稳定性条件的等价性，从而归约为有限维测试情形。

实验结果

研究问题

• RQ1 如何利用代数几何为非交换射影概形定义模空间？
• RQ2 非交换射影概形的导出形变理论是什么？它与坐标代数有何关系？
• RQ3 能否通过几何不变理论将霍尔茨基稳定性推广至非交换分次代数？
• RQ4 在何种条件下，稳定分次代数的导出模堆具有有限型？
• RQ5 模堆的导出结构如何反映其底层非交换概形的几何性质？

主要发现

• 分次代数的导出形变理论由其移位的分次霍尔茨基上同调控制，其中 $H^i(T_X|_P) = HH^{i+1}_{\text{gr}}(A)$。
• 稳定分次代数的模堆 $\widetilde{X}^s$ 构造为有限维几何不变理论商 $\widetilde{X}_{\leq q}$ 的射影极限。
• 当代数为交换时，分次代数的稳定性等价于对应交换射影概形的霍尔茨基稳定性。
• 对于由度数 1 生成的代数，可通过 $A_1$ 的滤子测试稳定性，从而归约为有限维条件。
• 在所提稳定性条件下，三维二次阿廷-施莱尔正则代数为半稳定且一般情况下为稳定。
• 在有利情况下，堆 $\widetilde{X}^s$ 预期为非交换射影概形的模堆，且 $\widetilde{X}^s = \widetilde{X}^s_{\leq N}$ 对某个 $N$ 成立。