[論文レビュー] Irreducible components of varieties of modules

William Crawley-Boevey, Jan Schröer|ArXiv.org|Mar 15, 2001

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

ひとこと要約

本稿は、代数閉体上における有限生成非可換代数の加群多様体の不可約成分を研究するための変形理論的枠組みを構築する。Kac および Schofield のクービー表現に関する結果を一般化し、不変成分への分解定理を確立し、リングエル形式を用いて一般のホモロジーおよび拡張次元を特徴づける。この研究は、傾き代数および Lusztig の冪零多様体への応用を含む。

ABSTRACT

We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are quite different, being based on deformation theory.

研究の動機と目的

• 有限生成非可換代数の加群多様体の不変成分を分類すること。
• 不変成分内の加群の一般的性質（非分解性やホモロジー的不変量など）を理解すること。
• 変形理論的手法を用いて、Kac および Schofield のクービー表現に関する結果を任意の非可換代数へ一般化すること。
• 傾き理論に基づき、加群多様体の不変成分と次元ベクトルの間の対応を確立すること。
• リングエル形式を用いて、不変成分内の加群間の一般のホモロジーおよび拡張空間の次元を特徴づけること。

提案手法

• 古典的なクービー理論的道具に代えて、変形理論を用いて加群多様体の幾何学的性質を分析する。
• ホモロジーおよび拡張次元の上半連続性を応用し、不変成分に対する一般不変量を定義する。
• 群 $ \mathrm{GL}_d(k) $ の作用による軌道像の閉包としての構成 $ C_1 \oplus \cdots \oplus C_t $ を導入し、不変成分を形成する。
• ボンガーツの定理を活用し、傾き加群を介して $ \mathrm{mod}_A^d(k) $ の不変成分と導来カテゴリのそれらの間の関係を確立する。
• ブレナー＝バトラーの定理および導来同値を用いて、傾きを介した $ A $-加群と $ B $-加群の関係を確立する。
• リングエル形式 $ \langle \alpha, \beta \rangle $ を用いて、恒等式 $ \mathrm{hom}(\alpha,\beta) - \mathrm{ext}^1(\alpha,\beta) = \langle \alpha, \beta \rangle $ を用いて一般の $ \mathrm{hom} $ および $ \mathrm{ext}^1 $ を計算する。

実験結果

リサーチクエスチョン

• RQ1 任意の非可換代数の加群多様体の不変成分は、どのように特徴づけられ、分解されるか？
• RQ2 不変成分内の加群間のホモロジーおよび拡張空間の一般次元は何か？
• RQ3 傾き代数の加群多様体の不変成分は、元のクービー代数のそれらとどのように関係するか？
• RQ4 $ \overline{C_1 \oplus \cdots \oplus C_t} $ が自身で不変成分であるための条件は何か？
• RQ5 リングエル形式は、不変成分の一般ホモロジー的不変量を計算する際に果たす役割は何か？

主な発見

• 加群多様体 $ \mathrm{mod}_A^d(k) $ の不変成分は、より次元の小さい多様体の不変成分の和の閉包である。これはクルール＝レマック＝シュマイドの定理の一般化である。
• 不変成分 $ C_i $ に属する $ M_i $ に対して、$ \mathrm{Hom}_A(M_1, M_2) $ の一般次元は、$ \dim \mathrm{Hom}_A(M_1, M_2) $ の最小値であり、同様に $ \mathrm{Ext}^1 $ に対しても上半連続性により成り立つ。
• 傾き代数 $ B = \mathrm{End}_A(T)^{\mathrm{op}} $ に対して、$ \mathrm{mod}_B^d(k) $ の不変成分は、次を満たす次元ベクトルのペア $ (\alpha, \beta) $ と一対一対応する：$ \langle t, \alpha - \beta \rangle = d $、$ \mathrm{ext}_A^1(t, \alpha) = 0 $、$ \mathrm{hom}_A(t, \beta) = 0 $、および $ \mathrm{hom}_A(\beta, \alpha) = 0 $。
• $ \mathcal{Y} $ と $ \mathcal{X} $ の成分間の一般の $ \mathrm{ext}^1 $ が消えるための必要十分条件は $ \mathrm{hom}_A(\beta, \alpha) = 0 $ であり、これにより和成分の不変性が保証される。
• Lusztig の冪零多様体の場合は、不変成分が量子群のクリスタル基底要素に対応し、それらが加群多様体として実現されることにより得られる。
• $ C_1, C_2 $ が $ \mathrm{mod}_A^1(k) $ の不変成分であるとき、構成 $ \mathcal{E}(C_1 \times C_2) $ は $ \mathrm{mod}_A^2(k) $ の不変成分を生成する。$ \mathrm{ext}^1(C_1, C_2) \neq 0 $ であっても成り立つため、非自明な幾何的性質が示された。