[論文レビュー] Wide subcategories of $d$-cluster tilting subcategories

Martin Herschend, Peter Jørgensen+1 more|arXiv (Cornell University)|May 5, 2017

Algebraic structures and combinatorial models参考文献 20被引用数 5

ひとこと要約

この論文は、アーベル圏における広義の部分圏の理論を、高次ホモロジー代数における$d$-クラスターティルティング部分圏へ一般化する。任意の関手的に有限な広義の部分圏が、$\operatorname{Tor}^\Phi_d(\Gamma,\Gamma)=0$ を満たす代数の上へのエピモルフィズムの下で、$d$-クラスターティルティング部分圏のプッシュフォワードとして一意に得られることを確立し、古典的な結果を$d$-アーベルの設定へ拡張するとともに、特定の代数$kA_m/((\operatorname{rad}\,kA_m))^\ell$の広義の部分圏に対して組合せ的分類を提供する。

ABSTRACT

A subcategory of an abelian category is wide if it is closed under sums, summands, kernels, cokernels, and extensions. Wide subcategories provide a significant interface between representation theory and combinatorics. If $Φ$ is a finite dimensional algebra, then each functorially finite wide subcategory of $\operatorname{mod}( Φ)$ is of the form $ϕ_{ * }\big( \operatorname{mod}( Γ) \big)$ in an essentially unique way, where $Γ$ is a finite dimensional algebra and $Φ\stackrel{ ϕ}{ \longrightarrow } Γ$ is an algebra epimorphism satisfying $\operatorname{Tor}^{ Φ}_1( Γ,Γ) = 0$. Let ${\mathcal F} \subseteq \operatorname{mod}( Φ)$ be a $d$-cluster tilting subcategory as defined by Iyama. Then ${\mathcal F}$ is a $d$-abelian category as defined by Jasso, and we call a subcategory of ${\mathcal F}$ wide if it is closed under sums, summands, $d$-kernels, $d$-cokernels, and $d$-extensions. We generalise the above description of wide subcategories to this setting: Each functorially finite wide subcategory of ${\mathcal F}$ is of the form $ϕ_{ * }( {\mathcal G} )$ in an essentially unique way, where $Φ\stackrel{ ϕ}{ \longrightarrow } Γ$ is an algebra epimorphism satisfying $\operatorname{Tor}^{ Φ}_d( Γ,Γ) = 0$, and ${\mathcal G} \subseteq \operatorname{mod}( Γ)$ is a $d$-cluster tilting subcategory. We illustrate the theory by computing the wide subcategories of some $d$-cluster tilting subcategories ${\mathcal F} \subseteq \operatorname{mod}( Φ)$ over algebras of the form $Φ= kA_m / (\operatorname{rad}\,kA_m )^{ \ell }$.

研究の動機と目的

• アーベル圏における広義の部分圏の古典的理論を、$d$-アーベル圏における$d$-クラスターティルティング部分圏の設定へ拡張すること。
• ホモロジー的条件を満たす代数エピモルフィズムを介して、$d$-クラスターティルティング部分圏内の関手的に有限な広義の部分圏を特徴付けること。
• $\Phi = kA_m/((\operatorname{rad}\,kA_m))^\ell$ の形をした代数上での基本的な$d$-クラスターティルティング部分圏における広義の部分圏の組合せ的分類を提供すること。
• 古典的な擬平坦エピモルフィズムと広義の部分圏の間の双対性を、高次ホモロジー代数の設定へ一般化すること。

提案手法

• $Iyama$ の$d$-クラスターティルティング部分圏の枠組みと、$Jasso$ が定義した$d$-アーベル圏における広義の部分圏を、$d$-アーベル圏における全部分圏として定義する。
• $\mathscr{F} \subseteq \mathscr{F}$ における関手的に有限な広義の部分圏$\mathscr{W}$ と、$\operatorname{Tor}^\Phi_d(\Gamma,\Gamma) = 0$ を満たす代数エピモルフィズム$\Phi \xrightarrow{\phi} \Gamma$ の間の対応を確立する。ここで$\mathscr{W} = \phi_*\big(\mathscr{G}\big)$ かつ $\mathscr{G} \subseteq \operatorname{mod}(\Gamma)$ は$d$-クラスターティルティングである。
• $d$-完全列と高次アウスラー＝ライデンダル双対性を用いて、広義の部分圏に必要なホモロジー的条件を検証する。
• $\Phi = kA_m/((\operatorname{rad}\,kA_m))^\ell$ の代数を用いて、明示的な例を構成する。特に、$\ell$-周期的部分圏に注目する。
• $d$-完全列の構造と$\Phi$ と $\Gamma$ 間の導来同値性を用いて、$\mathscr{G} = \operatorname{add}\{\operatorname{Hom}_\Phi(s, f_{\iota(i')})\}$ が $\operatorname{mod}(\Gamma)$ 内で$d$-クラスターティルティングであることを示す。

実験結果

リサーチクエスチョン

• RQ1 アーベル圏における広義の部分圏の古典的理論を、$d$-アーベル圏における$d$-クラスターティルティング部分圏へどのように一般化できるか？
• RQ2 $\Phi \to \Gamma$ のエピモルフィズムにどのような代数的条件を課すと、$\operatorname{mod}(\Gamma)$ の制限スカラーによる像が、$\operatorname{mod}(\Phi)$ の$d$-クラスターティルティング部分圏内の広義の部分圏となるか？
• RQ3 $d$-クラスターティルティング部分圏の部分圏のうち、広義の部分圏であるものはどれであり、どのように組合せ的に分類できるか？
• RQ4 $\operatorname{Tor}^\Phi_d(\Gamma,\Gamma) = 0$ 条件を用いて、$d$-クラスターティルティング部分圏内のすべての関手的に有限な広義の部分圏を特徴付けることができるか？
• RQ5 $kA_m/((\operatorname{rad}\,kA_m))^\ell$ の形をした代数上での、$d$-クラスターティルティング部分圏内の広義の部分圏の構造はいかなるものか？

主な発見

• 任意の関手的に有限な広義の部分圏$\mathscr{W}$ は、$d$-クラスターティルティング部分圏$\mathscr{F} \subseteq \operatorname{mod}(\Phi)$ 内で、$\Phi \xrightarrow{\phi} \Gamma$ が$\operatorname{Tor}^\Phi_d(\Gamma,\Gamma) = 0$ を満たす代数エピモルフィズムであり、$\mathscr{G} \subseteq \operatorname{mod}(\Gamma)$ が$d$-クラスターティルティング部分圏であるとき、一意に$\phi_*\big(\mathscr{G}\big)$ として得られる。
• $\mathscr{F}$ の広義の部分圏は、$\operatorname{Tor}^\Phi_d(\Gamma,\Gamma) = 0$ を満たすようなエピモルフィズム$\Phi \to \Gamma$ の同値類と一対一対応する。
• $\Phi = kA_m/((\operatorname{rad}\,kA_m))^\ell$ の代数に対して、$\mathscr{F}$ の広義の部分圏はちょうど$\ell$-周期的部分圏である。
• $\mathscr{F}$ 内の$\ell$-周期的部分圏の数は$2^\ell - \ell - 1$ であり、これは$\mathscr{F}_{1\ell}$ から$\ell' \geq 2$ 個の非可約対象を選ぶ方法の数に一致する。
• $\ell$-周期的部分圏は、$\operatorname{Ext}^d_\Phi(s, s_{i'})$ の消滅と、エピモルフィズムを拡張する$d$-完全列の存在という、定理Bの条件を満たすため、広義の部分圏である。
• $\mathscr{G} = \operatorname{add}\{\operatorname{Hom}_\Phi(s, f_{\iota(i')}) \mid 1 \leq i' \leq m' + \ell' - 1\}$ が$\operatorname{mod}(\Gamma)$ 内で$d$-クラスターティルティングであることが示され、構成に必要な双対性および正確性の性質が確認された。