[論文レビュー] Moduli of non-commutative polarized schemes

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

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

ひとこと要約

本稿では、幾何的不変式理論を用いて、安定な階数付き代数の導来モジュライスタックを構成し、ヒルベルト安定性の非可換類似を確立する。この代数の導来変形理論が階数付きホッホシュイルドコホホロジーによって支配されることを示し、この枠組みにおける安定性が可換の場合に古典的なヒルベルト安定性に一致することを証明する。

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.

研究の動機と目的

• 可換射影的スキームへの古典的ヒルベルト安定性の概念を非可換射影的スキームへと拡張すること。
• 幾何的不変式理論を用いて、安定な階数付き代数を分類する導来モジュライスタックを構築すること。
• 非可換スキームの導来変形理論を階数付きホッホシュイルドコホホロジーと関連付けること。
• 安定な代数の導来モジュライ空間が、古典的なヒルベルト安定な射影的多様体のスタックを一般化することを確立すること。
• 斉次座標の代数を用いて、非可換射影的スキームのモジュライの枠組みを提供すること。

提案手法

• 曲がった微分付きLie代数をゲージ群の作用で割ることで、階数付き代数の導来スタックを構成する。
• ゲルステンハーバー括弧とモーラー＝カルタン方程式を用いて、階数付き代数の変形理論を記述する。
• 階数付きホッホシュイルドコホホロジーを導来モジュライスタックの接複体として定義し、通常のホッホシュイルドコホホロジーと関連付ける。
• ヒルベルト＝ムーディーの基準とテスト配置を用いて、階数付き代数の安定性を定義する。
• 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$ は、有限次元GIT商 $\widetilde{X}_{\leq q}$ の射影極限として構成される。
• 階数付き代数の安定性は、代数が可換である場合、対応する可換射影的スキームのヒルベルト安定性と同値である。
• 次数1で生成される代数の場合、A_1 のフィルトレーションにより安定性を有限次元の条件に還元してテストできる。
• 3次元の二次的アーティン＝シュレーダー正則代数は、提案された安定性条件下で半安定的であり、一般には安定的である。
• スタック $\widetilde{X}^s$ は非可換射影的スキームのモジュライスタックと予想され、有利な場合に $\widetilde{X}^s = \widetilde{X}^s_{\leq N}$ が成り立つ。