[论文解读] 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)^ε$ 的特定代数提供了组合分类。

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$-簇丛倾斜子范畴中的广义子范畴提供组合分类。
• 将经典关于伪平坦满同态与广义子范畴之间的双射关系推广至高阶同调设定。

提出的方法

• 在 $d$-阿贝尔范畴中定义广义子范畴为对和、直和项、$d$-核、$d$-余核及 $d$-扩张封闭的全子范畴。
• 采用伊山提出的 $d$-簇丛倾斜子范畴框架，以及贾索定义的 $d$-阿贝尔范畴。
• 建立函子有限广义子范畴 $\mathscr{W} \subseteq \mathscr{F}$ 与满足 $\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_*\big(\mathscr{G}\big)$，其中 $\Phi \xrightarrow{\phi} \Gamma$ 是满足 $\operatorname{Tor}^\Phi_d(\Gamma,\Gamma) = 0$ 的代数满同态，且 $\mathscr{G} \subseteq \operatorname{mod}(\Gamma)$ 是 $d$-簇丛倾斜子范畴。
• 广义子范畴 $\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$-周期子范畴是广义的，因为它们满足定理 B 的条件，包括 $\operatorname{Ext}^d_\Phi(s, s_{i'})$ 的消失性及存在扩展满同态的 $d$-正合序列。
• 子范畴 $\mathscr{G} = \operatorname{add}\{\operatorname{Hom}_\Phi(s, f_{\iota(i')}) \mid 1 \leq i' \leq m' + \ell' - 1\}$ 被证明在 $\operatorname{mod}(\Gamma)$ 中是 $d$-簇丛倾斜的，从而确认了构造所要求的对偶性与正合性性质。