[論文レビュー] Iterated extensions in module categories

Eivind Eriksen|ArXiv.org|Jun 2, 2004

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

本稿では、代数的に閉じた体上の結合的代数の加群圏における長さ圏を研究するための枠組みとして、反復拡張を導入する。拡張型と非可換変形の分析を通じて、単系列長さ圏の特徴付けに対する構成的証明が与えられ、その手法を用いて曲線上の不定値ホロノミックD加群の分類がなされ、このような圏が単系列的であり、順序と重みのデータによって明示的にパラメータ化されることを示している。

ABSTRACT

Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod which contains F and is closed under extensions, is a full exact Abelian subcategory of R-Mod and a length category in the sense of Gabriel. In this paper, we use iterated extensions to relate the length category Mod(F) to noncommutative deformations of modules, and use some new methods to study Mod(F) via iterated extensions. In particular, we give a new proof of the characterization of uniserial length categories, which is constructive. As an application, we give an explicit description of some categories of holonomic and regular holonomic D-modules on curves which are uniserial length categories.

研究の動機と目的

• 加群圏における長さ圏の構造を分析するための、反復拡張に基づく新しい手法の開発。
• 単系列長さ圏の特徴付けに対する構成的証明の提供により、表現論における長年の未解決問題を解決する。
• 単純加群の非可換変形と関連付けることにより、曲線上の不定値ホロノミックD加群の不定値的加群を分類すること。
• 特定のクイバー部分構造の存在と関連して、そのような加群圏がワイルドである条件を同定すること。
• 特にアフィン単項式曲線の微分作用素環上の階数付き加群へ理論を拡張すること。

提案手法

• 本稿は、族 $\mathcal{F}$ の直交単純加群からなる被覆によるコフィルトレーションを備えた加群からなる、反復拡張の圏 $\mathbf{Ext}(\mathcal{F})$ を定義する。
• 拡張型は、フィルトレーションに現れる単純加群の順序を符号化する順序付きクイバーとして導入され、反復拡張の構造を捉える。
• 非可換変形を用いて、特に第一のウェイル代数と微分作用素環の文脈において、拡張の同型類を分類する。
• 階数付きホロノミックD加群に理論を適用する際、単純階数付きD加群の族が、特定の条件を満たす $k$-クイバーである直交点の族をなすこと、したがって単系列的構造が得られることを示す。
• ソクル高さと、自由代数 $k\langle x,y\rangle$ の有限次元加群の圏 $\mathbf{fdMod}(W)$ への完全な忠実加法的埋め込みを用いて、ターム的またはワイルドであるかを検出する。
• Gabrielクイバーに $Q_5$ が含まれるならば、$\mathbf{Mod}(\mathcal{F})$ は $\mathbf{fdMod}(W)$ への完全な忠実加法的埋め込みをもつことから、KlinglerとLevyの意味でワイルドであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 直交単純加群の族の反復拡張の圏 $\mathbf{Mod}(\mathcal{F})$ が単系列長さ圏であるための条件は何か？
• RQ2 反復拡張と非可換変形をどのように用いることで、このような圏における不定値的加群の構成的分類が可能か？
• RQ3 曲線上の階数付きホロノミック $D$-加群の圏の構造は何か？ また、それはターム的かワイルド的か？
• RQ4 Gabrielクイバーに特定のクイバー $Q_5$ が含まれるとき、$\mathbf{Mod}(\mathcal{F})$ がワイルドであることを示す条件は何か？
• RQ5 結果は、アフィン単項式曲線の微分作用素環上の階数付き加群へどのように拡張できるか？

主な発見

• 族 $\mathcal{F}$ が直交単純加群からなり、$\operatorname{End}_R(M_\alpha) \cong k$ を満たすとき、圏 $\mathbf{Mod}(\mathcal{F})$ は完全な忠実アーベル部分圏であり、長さ圏である。
• 反復拡張と拡張型を用いた単系列長さ圏の特徴付けに対する構成的証明が与えられる。
• 曲線上の階数付きホロノミック $D$-加群の圏は単系列的であり、各不定値的対象は $\alpha = 0,1$ のとき $M(\alpha,n) = D/Dw(\alpha,n)$ または $\alpha \in I \setminus \{0,1\}$ のとき $D/D(E - \alpha)^n$ として明示的に記述される。
• 特性がゼロで代数的に閉じた体上の第一のウェイル代数 $A_1(k)$ に対して、階数付きホロノミック $D$-加群の圏は単系列的であり、すべての不定値的加群は $\{M(\alpha,n) : \alpha \in I, n \geq 1\}$ によってパラメータ化される。
• Gabrielクイバーに $Q_5$ が含まれるならば、$\mathbf{Mod}(\mathcal{F})$ は $\mathbf{fdMod}(W)$ への完全な忠実加法的埋め込みをもつため、KlinglerとLevyの意味でワイルドである。
• 結果は、アフィン単項式曲線上の $D'$-加群へ拡張可能であり、そのホロノミック圏は $A_1(k)$ 上のそれと同値であり、単系列的構造と分類が保存される。