[논문 리뷰] Grothendieck groups in extriangulated categories

Bin Zhu, Xiao Zhuang|arXiv (Cornell University)|2019. 12. 02.

Algebraic structures and combinatorial models참고 문헌 28인용 수 5

한 줄 요약

이 논문은 국소적으로 유한한 외삼각 카테고리에서 그로텐디크 군 $K_0(\mathscr{C})$의 관계가 오스라우터-레인 $\mathbb{E}$-삼각형들에 의해 생성됨을 입증하며, 모듈러 카테고리와 삼각형 카테고리에서 알려진 결과를 일반화한다. 또한, 생성자 $\mathcal{G}$의 이미지를 포함하는 $K_0(\mathscr{C})$의 부분군과 조밀한 $\mathcal{G}$-(코)해결 부분카테고리 사이의 일대일 대응을 증명하여, 삼각형 카테고리와 정확한 카테고리에서의 분류 결과를 더 넓은 외삼각 카테고리의 맥락으로 확장한다.

ABSTRACT

The aim of the paper is to discuss the relation subgroups of the Grothendieck groups of extriangulated categories and certain other subgroups. It is shown that a locally finite extriangulated category $\C$ has Auslander-Reiten $\E-$triangles and the relations of the Grothendieck group $K_{0}(\C)$ are generated by the Auslander-Rieten $\E-$triangles. A partial converse result is given when restricting to the triangulated categories with a cluster tilting subcategory: in the triangulated category $\C$ with a cluster tilting subcategory, the relations of the Grothendieck group $K_0(\C)$ are generated by Auslander-Reiten triangles if and only if the triangulated category $\C$ is locally finite. It is also shown that there is a one-to-one correspondence between subgroups of $K_{0}(\C)$ containing the image of $\mathcal G$ and dense $\mathcal G-$(co)resolving subcategories of $\C$ where $\mathcal G$ is a generator of $\C,$ which generalizes results about classifying subcategories of a triangulated \cite{t} or an exact category $\C$ \cite{m} by subgroups of $K_{0}(\C)$.

연구 동기 및 목표

• 외삼각 카테고리에서 그로텐디크 군의 구조를 조사하며, 특히 오스라우터-레인 $\mathbb{E}$-삼각형들에 의해 관계가 어떻게 생성되는지 탐구한다.
• 삼각형 카테고리와 정확한 카테고리에서의 부분카테고리 분류 결과를, 더 넓은 외삼각 카테고리의 맥락으로 일반화한다.
• 생성자 $\mathcal{G}$의 이미지를 포함하는 $K_0(\mathscr{C})$의 부분군과 조밀한 $\mathcal{G}$-(코)해결 부분카테고리 사이의 일대일 대응을 수립한다.

제안 방법

• 모든 $\mathbb{E}$-삼각형 $A \to B \to C \to \Sigma A$에 대해 $[A] + [C] - [B]$로 생성되는 부분군을 포함하는, 객체의 등급류에 대한 자유 아벨 군의 몫으로서 그로텐디크 군 $K_0(\mathscr{C})$를 정의한다.
• 국소적으로 유한한 외삼각 카테고리의 개념을 사용하여 오스라우터-레인 $\mathbb{E}$-삼각형의 존재를 증명한다.
• 사상 $f(\mathscr{X}) = \langle[X] \mid X \in \mathscr{X}\rangle$ 와 $g(H) = \{A \in \mathscr{C} \mid [A] \in H\}$를 통해, 생성자 $\mathcal{G}$의 이미지를 포함하는 $K_0(\mathscr{C})$의 부분군과 조밀한 $\mathcal{G}$-(코)해결 부분카테고리 사이의 대응을 수립한다.
• 삼각형 카테고리에서 클러스터 트리빙 부분카테고리가 존재할 경우, $K_0(\mathscr{C})$의 관계가 오스라우터-레인 삼각형들에 의해 생성됨은 국소적으로 유한한 카테고리일 때이고 그 때에만 성립함을 증명한다.
• 크룰-슈마이드 성질과 함의 유한성(functorial finiteness)을 활용하여 해결 및 코해결 부분카테고리의 구조를 분석한다.
• 정확한 카테고리와 삼각형 카테고리에서의 결과를 특수한 경우로 적용하여, 이 틀의 일관성과 일반성을 입증한다.

실험 결과

연구 질문

• RQ1 국소적으로 유한한 외삼각 카테고리 $\mathscr{C}$에서 그로텐디크 군 $K_0(\mathscr{C})$의 관계는 오스라우터-레인 $\mathbb{E}$-삼각형들에 의해 생성되는가?
• RQ2 외삼각 카테고리에서 생성자 $\mathcal{G}$의 이미지를 포함하는 $K_0(\mathscr{C})$의 부분군과 조밀한 $\mathcal{G}$-(코)해결 부분카테고리 사이에 일대일 대응이 존재하는가?
• RQ3 클러스터 트리빙 부분카테고리가 존재하는 삼각형 카테고리에서, $K_0(\mathscr{C})$의 관계가 오스라우터-레인 삼각형들에 의해 생성됨은 카테고리가 국소적으로 유한할 때이고 그 때에만 성립하는가?
• RQ4 삼각형 카테고리와 정확한 카테고리에서의 부분카테고리 분류 결과가, 더 일반적인 외삼각 카테고리의 맥락으로 어떻게 일반화되는가?
• RQ5 어떤 조건이 부분카테고리가 $K_0(\mathscr{C})$에서의 이미지를 통해 조밀하고 $\mathcal{G}$-(코)해결임을 보장하는가?

주요 결과

• 국소적으로 유한한 외삼각 카테고리 $\mathscr{C}$에서, 그로텐디크 군 $K_0(\mathscr{C})$의 관계는 오스라우터-레인 순서에 대응하는 $\mathbb{E}$-삼각형들에 의해 생성된다.
• 삼각형 카테고리에서 클러스터 트리빙 부분카테고리가 존재하는 경우에 대해 부분 역이 성립한다: $K_0(\mathscr{C})$의 관계가 오스라우터-레인 삼각형들에 의해 생성됨은 카테고리 $\mathscr{C}$가 국소적으로 유한할 때이고 그 때에만 성립한다.
• 생성자 $\mathcal{G}$의 이미지를 포함하는 $K_0(\mathscr{C})$의 부분군과 조밀한 $\mathcal{G}$-(코)해결 부분카테고리 사이에 일대일 대응이 존재한다.
• 이 대응은 기존의 삼각형 카테고리 [T]와 정확한 카테고리 [M]에서의 결과를 일반화하여, 외삼각 카테고리의 맥락으로 확장한다.
• 모든 $\mathscr{C}$의 객체 $A$에 대해, $G \in \mathcal{G}$인 $\mathbb{E}$-삼각형 $A_1 \to G \to A \to \Sigma A_1$의 존재는, $\mathcal{G}$를 포함하는 임의의 부분군 $H$에 대해 $g(H)$가 $\mathscr{C}$에서 조밀함을 보장한다.
• $f$와 $g$ 사이의 사상은 상호 역관계이며, 이는 $\mathcal{G}$-(코)해결 부분카테고리의 구조를 유지하는 완전한 충실한 대응을 수립한다.