Silting reduction and picture categories of 0-Auslander extriangulated categories

Abstract

Let $\mathcal{C}$ be an extriangulated category and let $\mathcal{R}\subseteq \mathcal{C}$ be a rigid subcategory. Generalizing Iyama--Yang silting reduction, we devise a technical condition $\text{(gCP)}$ on $\mathcal{R}$ which is sufficient for the Verdier quotient $\mathcal{C}/\mathrm{thick}(\mathcal{R})$ to be equivalent to an ideal quotient. In particular, the Verdier quotient $\mathcal{C}/\mathrm{thick}(\mathcal{R})$ will admit an extriangulation in such a way that the localization functor $L_{\mathcal{R}}:\mathcal{C}\to \mathcal{C}/\mathrm{thick}(\mathcal{R})$ is extriangulated. When $\mathcal{C}$ is 0-Auslander, the condition $\text{(gCP)}$ holds for all rigid subcategories $\mathcal{R}$ admitting Bongartz completions. Furthermore, we prove that the Verdier quotient $\mathcal{C}/\mathrm{thick}(\mathcal{R})$ then remains 0-Auslander. As an application, we define the picture category of a connective $0$-Auslander exact dg category $\mathcal{A}$ with Bongartz completions, which generalizes the notion of $\tau$-cluster morphism category. We show that the picture category of $\mathcal{A}$ is a cubical category, in the sense of Igusa. The picture group of $\mathcal{A}$ is defined as the fundamental group of its picture category. When $H_0\mathcal{A}$ is $\mathbf{g}$-finite, the picture group of $\mathcal{A}$ is finitely presented.

33 pages. v2: Theorem 5.9 improved, minor changes. v3: Change of terminology (gHTCP to gCTCP), updated contact information and references. v4: k comm. ring -> field, minor corrections