[논문 리뷰] Proper classes and Gorensteinness in extriangulated categories

Jiangsheng Hu, Dongdong Zhang외 1명|arXiv (Cornell University)|2019. 06. 26.

Algebraic structures and combinatorial models참고 문헌 17인용 수 4

한 줄 요약

이 논문은 외부삼각형의 적절한 클래스를 외부삼각형 카테고리에서 도입하여, 정확한 카테고리와 삼각형 카테고리의 일반화인 새로운 외부삼각형 구조를 구성한다. 또한 $\xi$-고렌스타인 프로젝티브 대상들을 정의하고, 호브리 투중 코터전 페어를 통해 적절한 모델 구조를 수립하며, 삼각형 카테고리와 모듈 카테고리에서의 결과를 일반화한다.

ABSTRACT

Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let $\mathcal{C}$ be an extriangulated category and $ξ$ a proper class in $\mathcal{C}$. We prove that $\mathcal{C}$ admits a new extriangulated structure. This construction gives extriangulated categories which are neither exact categories nor triangulated categories. Moreover, we introduce and study $ξ$-Gorenstein projective objects in $\mathcal{C}$ and demonstrate that $ξ$-Gorenstein projective objects share some basic properties with Gorenstein projective objects in module categories or in triangulated categories. In particular, we refine a result of Asadollahi and Salarian [Gorenstein objects in triangulated categories, J. Algebra 281(2004), 264-286]. As an application, the $ξ$-$\mathcal{G}$projective model structures on extriangulated categories are obtained.

연구 동기 및 목표

• 외부삼각형 카테고리에서 $\mathbb{E}$-삼각형의 적절한 클래스를 정의하고, 정확한 카테고리와 삼각형 카테고리의 일반화를 연구한다.
• $\xi$-고렌스타인 프로젝티브 대상들을 외부삼각형 카테고리에서 도입하고, 그 호모로지적 성질을 조사한다.
• 호브리 투중 코터전 페어를 사용하여 외부삼각형 카테고리에 적절한 모델 구조를 수립한다.
• 기존의 삼각형 카테고리와 모듈 카테고리에서의 고렌스타인 프로젝티브 대상에 대한 결과를 더 넓은 외부삼각형 카테고리의 맥락으로 일반화한다.

제안 방법

• 외부삼각형 카테고리 $\mathcal{C}$에서 $\mathbb{E}$-삼각형의 적절한 클래스 $\xi$를 정의하고, 동형 사상에 대해 닫혀 있고 정확성 공리계를 만족하도록 보장한다.
• 기존의 외부삼각형 구조를 $\xi$로 제한하여 새로운 외부삼각형 구조 $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$를 구성하고, 이가 외부삼각형 카테고리의 공리계를 만족함을 증명한다.
• $\xi$-프로젝티브 해상에서 미분의 핵에 속하는 $\xi$-프로젝티브 항목을 가진 해상이 존재하는 대상으로서 $\xi$-고렌스타인 프로젝티브 대상을 정의한다.
• $\xi$-고렌스타인 프로젝티브 대상이 $\mathbb{E}_\xi$-확장이 특정 차수 이상에서 0이 되는 등의 핵심 호모로지적 성질을 만족함을 증명한다.
• 쌍 $((\mathcal{P}(\xi), \mathcal{C}), (\mathcal{GP}(\xi), \mathcal{P}^{\leq n}(\xi)))$가 호브리 투중 코터전 페어를 이룬다는 것을 증명하고, 이로부터 적절한 모델 구조를 이끌어낸다.
• 유한한 $\xi$-고렌스타인 프로젝티브 차원과 이러한 모델 구조의 존재 간의 동치를 이용하여 주요 정리를 도출한다.

실험 결과

연구 질문

• RQ1 외부삼각형 카테고리에서 $\mathbb{E}$-삼각형의 적절한 클래스를 정의할 수 있는가? 이에 따라 유도된 구조가 여전히 외부삼각형 카테고리인가?
• RQ2 $\xi$-고렌스타인 프로젝티브 대상의 호모로지적 성질은 무엇이며, 전통적인 고렌스타인 프로젝티브 대상과의 관계는 어떠한가?
• RQ3 외부삼각형 카테고리에 적절한 클래스 $\xi$가 주어졌을 때, 적절한 모델 구조가 존재하는 조건은 무엇인가?
• RQ4 $\xi$-고렌스타인 프로젝티브 차원은 호브리 투중 코터전 페어와 적절한 모델 구조의 존재와 어떤 관계가 있는가?
• RQ5 삼각형 카테고리와 모듈 카테고리에서의 고렌스타인 프로젝티브 대상에 대한 결과들이 외부삼각형 카테고리의 일반적 맥락으로 얼마나 일반화되는가?

주요 결과

• 적절한 클래스 $\xi$를 가진 카테고리 $\mathcal{C}$는 새로운 외부삼각형 구조 $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$를 지닌다. 이는 반드시 정확하거나 삼각형 카테고리일 필요는 없다.
• $\xi$-고렌스타인 프로젝티브 대상의 집합 $\mathcal{GP}(\xi)$는 잘 정의되어 있으며, 모듈 카테고리와 삼각형 카테고리에서의 고렌스타인 프로젝티브 대상과 유사한 핵심 호모로지적 성질을 공유한다.
• 쌍 $((\mathcal{P}(\xi), \mathcal{C}), (\mathcal{GP}(\xi), \mathcal{P}^{\leq n}(\xi)))$가 호브리 투중 코터전 페어를 이룬다는 것은 $\mathcal{C}$의 모든 대상에 대해 $\xi$-고렌스타인 프로젝티브 차원의 상한이 $n$ 이하일 때이고, 그 때에만 성립한다.
• 적절한 모델 구조가 $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$에 존재하는 것은 $\sup\{\xi\text{-} \mathcal{G}{\rm pd}A \mid A \in \mathcal{C}\} \leq n$ 일 때 정확히 성립한다.
• 이 결과는 아사돌라히와 살라리안의 삼각형 카테고리에서의 고렌스타인 대상에 대한 정리의 세부 조건을 외부삼각형 카테고리로 일반화함으로써 보완한다.
• 이 구성은 정확하거나 삼각형 카테고리가 아닌 새로운 종류의 외부삼각형 카테고리의 집합을 제공하며, 상대 호모로지 대수의 적용 범위를 확장한다.