[논문 리뷰] Wide subcategories of $d$-cluster tilting subcategories

Martin Herschend, Peter Jørgensen외 1명|arXiv (Cornell University)|2017. 05. 05.

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$-클러스터 트리밍 부분범주에 대한 넓은 부분범주의 조합론적 분류 제공하기.
• 고전적인 편평한 전형사상과 넓은 부분범주 사이의 이분법적 대응을 높은 호모로지 설정으로 일반화하기.

제안 방법

• $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 \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$-클러스터 트리밍임을 보여, 구성에 필요한 쌍대성과 정확성 성질이 확인된다.