[論文レビュー] Minimal inclusions of torsion classes

Emily Barnard, Andrew T. Carroll+1 more|arXiv (Cornell University)|Oct 24, 2017

Geometric and Algebraic Topology参考文献 9被引用数 13

ひとこと要約

この論文は、有限次元代数上の torsion class のラティスにおける被覆関係を、最小拡張モジュールを用いて特徴づけ、そのモジュールがちょうどぶrich（自己準同型環が除法環であるモジュール）であることを証明する。主な結果は、型 $A_n$ の前正則代数の商 $RA_n$ の torsion class のラティスが、対称群 $A_n$ の弱順序と同型であり、被覆関係はぶrichによってラベル付けられることである。

ABSTRACT

Let $Λ$ be a finite-dimensional associative algebra. The torsion classes of $mod\, Λ$ form a lattice under containment, denoted by $tors\, Λ$. In this paper, we characterize the cover relations in $tors\, Λ$ by certain indecomposable modules. We consider three applications: First, we show that the completely join-irreducible torsion classes (torsion classes which cover precisely one element) are in bijection with bricks. Second, we characterize faces of the canonical join complex of $tors\, Λ$ in terms of representation theory. Finally, we show that, in general, the algebra $Λ$ is not characterized by its lattice $tors\, Λ$. In particular, we study the torsion theory of a quotient of the preprojective algebra of type $A_n$. We show that its torsion class lattice is isomorphic to the weak order on $A_n$.

研究の動機と目的

• 有限次元代数 $\Lambda$ に対する torsion class のラティス $\operatorname{tors}\Lambda$ in における被覆関係を特徴づけること。
• 最小拡張モジュールとぶrichとの間の双対性を確立し、これにより $\operatorname{tors}\Lambda$ の被覆関係をぶrichによってラベル付けすること。
• 表現論的道具を用いて $\operatorname{tors}\Lambda$ の標準的結合複体の構造を研究すること。
• $\operatorname{tors}\Lambda$ が一般には代数 $\Lambda$ を決定しないことを示すこと。

提案手法

• torsion class $\mathcal{T}$ に対する最小拡張モジュールの概念を導入し、次の3つの公理を満たすものとする：(P1) すべての真の因子が $\mathcal{T}$ に属すること、(P2) $\mathcal{T}$-モジュールとの非分裂拡張が $\mathcal{T}$ に留まること、(P3) $\mathcal{T}$ からモジュールへの非ゼロ射が存在しないこと。
• モジュール $M$ がある torsion class の最小拡張モジュールであるための必要十分条件が、$M$ がぶrichであることであることを証明する。
• 最小拡張モジュールの同型類から、$\mathcal{T}$ を被覆する torsion class への写像 $\eta_{\mathcal{T}}$ を定義し、これが双対性であることを示す。
• 非交差弧図と標準的結合表現を用いて、$\operatorname{tors}\Lambda$ の標準的結合複体の面を記述する。
• 各 torsion class をその反転集合によって対応付けることで、$\operatorname{tors}RA_n \to A_n$ に明示的な同型 $\phi$ を構成する。
• torsion class $\mathcal{T}$ の反転集合が、その像 $\phi(\mathcal{T})$ の反転集合に一致することを示し、$\mathcal{T}'$ が $\mathcal{T}$ を被覆するための必要十分条件が、$\phi(\mathcal{T}')$ が弱順序で $\phi(\mathcal{T})$ を被覆することであることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数 $\Lambda$ に対する torsion class のラティス $\operatorname{tors}\Lambda$ における被覆関係は、どのように特徴づけられるか？
• RQ2 最小拡張モジュールは、表現論的対象としてのぶrichとどのように関係しているか？
• RQ3 $\operatorname{tors}\Lambda$ の標準的結合複体の面は、表現論的データを用いて記述可能か？
• RQ4 代数 $\Lambda$ はその torsion class ラティス $\operatorname{tors}\Lambda$ によって決定されるか？
• RQ5 型 $A_n$ の前正則代数の商 $RA_n$ に対する torsion class ラティスの構造はいかなるものか？

主な発見

• モジュール $M$ が、ある torsion class $\mathcal{T}$ の最小拡張モジュールであるための必要十分条件は、$M$ がぶrichであることである。
• $\eta_{\mathcal{T}}: [M] \mapsto \mathscr{Filt}(\mathcal{T} \cup \{M\})$ は、最小拡張モジュールの同型類の集合から、$\mathcal{T}$ を被覆する torsion class の集合への双対性である。
• $\operatorname{tors}\Lambda$ の完全結合的不可約 torsion class は、ぶrichと双対的である。
• $\operatorname{tors}\Lambda$ の標準的結合複体の面は、特定の表現論的構成、特に標準的結合表現に関連するものに対応する。
• $RA_n$ の torsion class ラティス $\operatorname{tors}RA_n$ は、対称群 $A_n$ の弱順序と同型である。
• $\operatorname{tors}RA_n$ の torsion class $\mathcal{T}$ の反転集合は、同型写像による像 $\phi(\mathcal{T})$ の反転集合に一致し、被覆関係はこの同型のもとで保存される。