Hereditary $\bm{n}$-exangulated categories

Abstract

Herschend–Liu–Nakaoka introduced the concept of $n$-exangulated categories as higher-dimensional analogues of extriangulated categories defined by Nakaoka–Palu. The class of $n$-exangulated categories contains $n$-exact categories and $(n+2)$-angulated categories as specific examples. In this article, we introduce the notion of hereditary $n$-exangulated categories, which generalize hereditary extriangulated categories. We provide two classes of hereditary $n$-exangulated categories through closed subfunctors. Additionally, we define the concept of $0$-Auslander $n$-exangulated categories and discuss the circumstances under which these two classes of hereditary $n$-exangulated categories become $0$-Auslander.
Keywords: $(n+2)$-angulated category; $n$-exact category; hereditary $n$-exangulated category; $0$-Auslander $n$-exangulated category; closed subfunctor
2020 Mathematics Subject Classification: 18G80; 18E10

1 Introduction

The notion of extriangulated categories was introduced by Nakaoka and Palu in [NP] as a simultaneous generalization of exact categories and triangulated categories. Exact categories (abelian categories are also exact categories) and triangulated categories are extriangulated categories, while there exist some other examples of extriangulated categories which are neither exact nor triangulated, see [NP, ZZ, HZZ, ZhZ, NP1, FHZZ].

In [GKO], Geiss, Keller, and Oppermann introduced a new category known as $(n+2)$-angulated categories, which serve as generalizations of triangulated categories; the classical triangulated categories represent the special case when $n=1$. These categories, for instance, emerge as $n$-cluster tilting subcategories of triangulated categories that are closed under the $n$th power of the shift functor. Subsequently, Jasso [Ja] introduced $n$-exact categories, characterized by certain exact sequences with $n+2$ terms, termed $n$-exact sequences. The case $n=1$ aligns with the usual concepts of exact categories. An important source of examples for $n$-exact categories is provided by $n$-cluster tilting subcategories of exact categories, as illustrated in [Ja, Theorem 4.14].

Recently, Herschend, Liu, and Nakaoka [HLN] introduced the concept of $n$-exangulated categories. It is important to note that the case $n=1$ corresponds to extriangulated categories. Notably, $n$-exact categories ($n$-abelian categories are also $n$-exact categories) and $(n+2)$-angulated categories serve as typical examples of $n$-exangulated categories, as demonstrated in [HLN, Proposition 4.5 and Proposition 4.34]. Additionally, there exist $n$-exangulated categories that do not fall into the categories of $n$-exact or $(n+2)$-angulated, as discussed in [HLN, HLN1, LZ, HZZ1].

Gorsky, Nakaoka, and Palu [GNP] recently introduced the concepts of hereditary extriangulated categories and $0$-Auslander extriangulated categories. They developed a theory of mutation for silting objects in certain hereditary extriangulated categories. Additionally, they demonstrated that various notions of maximality for rigid subcategories become equivalent in $0$-Auslander extriangulated categories. Naturally, we extend these notions to define hereditary $n$-exangulated categories and $0$-Auslander $n$-exangulated categories, as introduced in Definition 3.6 and Definition 4.1.

Our first main result is the following.

Theorem 1.1.

(see Theorem 3.10 for details) Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathscr{X}$ be a cluster-tilting subcategory of $\mathscr{C}$. We define

$$\hskip 11.38109pt\mathbb{E}_{\mathscr{X}}(C,A)=\{\delta\in\mathbb{E}(C,A)\mid(\delta_{\sharp})_{X}=0~{}\mbox{for any}~{}X\in\mathscr{X}\},$$

$$\mathbb{E}^{\mathscr{X}}(C,A)=\{\delta\in\mathbb{E}(C,A)\mid\delta^{\sharp}_{X}=0~{}\mbox{for any}~{}X\in\mathscr{X}\}.$$

Then $(\mathscr{C},\mathbb{E}_{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}})$ and $(\mathscr{C},\mathbb{E}^{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}^{\mathscr{X}}})$ are two hereditary $n$-exangulated categories.

Let $(\mathscr{C},\Sigma^{n},\Theta)$ be an $(n+2)$-angulated category. It can be regarded as an $n$-exangulated category, denoted by $(\mathscr{C},\mathbb{E}_{\Sigma^{n}},\mathfrak{s}_{\Theta})$. Assume that $\mathscr{T}$ is a cluster-tilting subcategory of $\mathscr{C}$. We define

$$\mathbb{F}_{\mathscr{T}}(C,A)=\{A\xrightarrow{~{}~{}}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\overset{\delta}{\dashrightarrow}~{}\mid~{}\delta~{}\text{is induced by the}~{}(n+2)\text{-angle}$$

$$A\xrightarrow{~{}~{}}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\xrightarrow{~{}f~{}}\Sigma^{n}A~{}\text{with}~{}f~{}\text{factors through}~{}\Sigma^{n}T,\hskip 2.84526ptT\in\mathscr{T}\}.$$

Our second main result is the following.

Theorem 1.2.

(see Theorem 4.4 for details) Let $(\mathscr{C},\Sigma^{n},\Theta)$ be an $(n+2)$-angulated category and $\mathscr{T}$ be a cluster-tilting subcategory of $\mathscr{C}$. Then

(1)  $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is a $n$-exangulated category.

(2)  If $\mathcal{P}\subseteq\mathscr{T}$, where $\mathcal{P}$ denotes the full subcategory of projective objects in $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$, then $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is $\mathrm{0}$-Auslander.

This article is organized as follows. In Section 2, we review elementary definitions and facts on $n$-exangulated categories. In Section 3, we present the proof of our first main result. In Section 4, we give the proof of our second main result.

2 Preliminaries

In this section, let $\mathscr{C}$ be an additive category and $n$ be a positive integer. Suppose that $\mathscr{C}$ is equipped with an additive bifunctor $\mathbb{E}\colon\mathscr{C}^{\mathrm{op}}\times\mathscr{C}\to{\rm Ab}$, where ${\rm Ab}$ is the category of abelian groups. Next we briefly recall some definitions and basic properties of $n$-exangulated categories from [HLN]. We omit some details here, but the reader can find them in [HLN].

For any pair of objects $A,C\in\mathscr{C}$, an element $\delta\in\mathbb{E}(C,A)$ is called an $\mathbb{E}$-extension or simply an extension. We also write such $\delta$ as ${}_{A}\delta_{C}$ when we indicate $A$ and $C$. The zero element ${}_{A}0_{C}=0\in\mathbb{E}(C,A)$ is called the split $\mathbb{E}$-extension. For any pair of $\mathbb{E}$-extensions ${}_{A}\delta_{C}$ and ${}_{A^{\prime}}\delta{{}^{\prime}}_{C^{\prime}}$, let $\delta\oplus\delta^{\prime}\in\mathbb{E}(C\oplus C^{\prime},A\oplus A^{\prime})$ be the element corresponding to $(\delta,0,0,{\delta}{{}^{\prime}})$ through the natural isomorphism $\mathbb{E}(C\oplus C^{\prime},A\oplus A^{\prime})\simeq\mathbb{E}(C,A)\oplus\mathbb{E}(C,A^{\prime})\oplus\mathbb{E}(C^{\prime},A)\oplus\mathbb{E}(C^{\prime},A^{\prime})$.

For any $a\in\mathscr{C}(A,A^{\prime})$ and $c\in\mathscr{C}(C^{\prime},C)$, $\mathbb{E}(C,a)(\delta)\in\mathbb{E}(C,A^{\prime})\ \ \text{and}\ \ \mathbb{E}(c,A)(\delta)\in\mathbb{E}(C^{\prime},A)$ are simply denoted by $a_{\ast}\delta$ and $c^{\ast}\delta$, respectively.

Let ${}_{A}\delta_{C}$ and ${}_{A^{\prime}}\delta{{}^{\prime}}_{C^{\prime}}$ be any pair of $\mathbb{E}$-extensions. A morphism $(a,c)\colon\delta\to{\delta}{{}^{\prime}}$ of extensions is a pair of morphisms $a\in\mathscr{C}(A,A^{\prime})$ and $c\in\mathscr{C}(C,C^{\prime})$ in $\mathscr{C}$, satisfying the equality $a_{\ast}\delta=c^{\ast}{\delta}{{}^{\prime}}$. Then the functoriality of $\mathbb{E}$ implies $\mathbb{E}(c,a)=a_{\ast}(c^{\ast}\delta)=c^{\ast}(a_{\ast}\delta)$.

Definition 2.1.

[HLN, Definition 2.7] Let $\bf{C}_{\mathscr{C}}$ be the category of complexes in $\mathscr{C}$. As its full subcategory, define ${\bf{C}}^{n+2}_{\mathscr{C}}$ to be the category of complexes in $\mathscr{C}$ whose components are zero in the degrees outside of $\{0,1,\ldots,n+1\}$. Namely, an object in ${\bf{C}}^{n+2}_{\mathscr{C}}$ is a complex $X_{\bullet}=\{X_{i},d_{i}^{X}\}$ of the form

$$X_{0}\xrightarrow{d_{0}^{X}}X_{1}\xrightarrow{d_{1}^{X}}\cdots\xrightarrow{d_{n-1}^{X}}X_{n}\xrightarrow{d_{n}^{X}}X_{n+1}.$$

We write a morphism $f_{\bullet}\colon X_{\bullet}\to Y_{\bullet}$ simply $f_{\bullet}=(f_{0},f_{1},\ldots,f_{n+1})$, only indicating the terms of degrees $0,\ldots,n+1$.

Definition 2.2.

[HLN, Definition 2.11] By Yoneda lemma, any extension $\delta\in\mathbb{E}(C,A)$ induces natural transformations

$$\delta_{\sharp}\colon\mathscr{C}(-,C)\Rightarrow\mathbb{E}(-,A)\ \ \text{and}\ \ \delta^{\sharp}\colon\mathscr{C}(A,-)\Rightarrow\mathbb{E}(C,-).$$

For any $X\in\mathscr{C}$, these $(\delta_{\sharp})_{X}$ and $\delta^{\sharp}_{X}$ are given as follows.

1. $(\delta_{\sharp})_{X}\colon\mathscr{C}(X,C)\to\mathbb{E}(X,A)\ :\ f\mapsto f^{\ast}\delta$.

2. $\delta^{\sharp}_{X}\colon\mathscr{C}(A,X)\to\mathbb{E}(C,X)\ :\ g\mapsto g_{\ast}\delta$.

We simply denote $(\delta_{\sharp})_{X}(f)$ and $\delta^{\sharp}_{X}(g)$ by $\delta_{\sharp}(f)$ and $\delta^{\sharp}(g)$, respectively.

Definition 2.3.

[HLN, Definition 2.9] Let $\mathscr{C},\mathbb{E},n$ be as before. Define a category $\AE:=\AE^{n+2}_{(\mathscr{C},\mathbb{E})}$ as follows.

1. A pair $\langle X_{\bullet},\delta\rangle$ is an object of the category $\AE$ with $X_{\bullet}\in{\bf{C}}^{n+2}_{\mathscr{C}}$ and $\delta\in\mathbb{E}(X_{n+1},X_{0})$, called an $\mathbb{E}$-attached complex of length $n+2$, if it satisfies

   $$(d_{0}^{X})_{\ast}\delta=0~{}~{}\textrm{and}~{}~{}(d^{X}_{n})^{\ast}\delta=0.$$

   We also denote it by

   $$X_{0}\xrightarrow{d_{0}^{X}}X_{1}\xrightarrow{d_{1}^{X}}\cdots\xrightarrow{d_{n-2}^{X}}X_{n-1}\xrightarrow{d_{n-1}^{X}}X_{n}\xrightarrow{d_{n}^{X}}X_{n+1}\overset{\delta}{\dashrightarrow}.$$

2. For such pairs $\langle X_{\bullet},\delta\rangle$ and $\langle Y_{\bullet},\rho\rangle$, $f_{\bullet}\colon\langle X_{\bullet},\delta\rangle\to\langle Y_{\bullet},\rho\rangle$ is defined to be a morphism in $\AE$ if it satisfies $(f_{0})_{\ast}\delta=(f_{n+1})^{\ast}\rho$.

Definition 2.4.

[HLN, Definition 2.13] An $n$-exangle is an object $\langle X_{\bullet},\delta\rangle$ in $\AE$ that satisfies the listed conditions.

1. The following sequence of functors $\mathscr{C}^{\mathrm{op}}\to\mathit{Ab}$ is exact.

   $$\mathscr{C}(-,X_{0})\xrightarrow{\mathscr{C}(-,\ d^{X}_{0})}\cdots\xrightarrow{\mathscr{C}(-,\ d^{X}_{n})}\mathscr{C}(-,X_{n+1})\xrightarrow{~{}\delta_{\sharp}~{}}\mathbb{E}(-,X_{0})$$

2. The following sequence of functors $\mathscr{C}\to\mathit{Ab}$ is exact.

   $$\mathscr{C}(X_{n+1},-)\xrightarrow{\mathscr{C}(d^{X}_{n},\ -)}\cdots\xrightarrow{\mathscr{C}(d^{X}_{0},\ -)}\mathscr{C}(X_{0},-)\xrightarrow{~{}\delta^{\sharp}~{}}\mathbb{E}(X_{n+1},-)$$

In particular any $n$-exangle is an object in $\AE$. A morphism of $n$-exangles simply means a morphism in $\AE$. Thus $n$-exangles form a full subcategory of $\AE$.

Definition 2.5.

[HLN, Definition 2.22] Let $\mathfrak{s}$ be a correspondence which associates a homotopic equivalence class $\mathfrak{s}(\delta)=[{}_{A}{X_{\bullet}}_{C}]$ to each extension $\delta={}_{A}\delta_{C}$. Such $\mathfrak{s}$ is called a realization of $\mathbb{E}$ if it satisfies the following condition for any $\mathfrak{s}(\delta)=[X_{\bullet}]$ and any $\mathfrak{s}(\rho)=[Y_{\bullet}]$.

• For any morphism of extensions $(a,c)\colon\delta\to\rho$, there exists a morphism $f_{\bullet}\in{\bf{C}}^{n+2}_{\mathscr{C}}(X_{\bullet},Y_{\bullet})$ of the form $f_{\bullet}=(a,f_{1},\ldots,f_{n},c)$. Such $f_{\bullet}$ is called a lift of $(a,c)$.

In such a case, we simple say that “$X_{\bullet}$ realizes $\delta$” whenever they satisfy $\mathfrak{s}(\delta)=[X_{\bullet}]$.

Moreover, a realization $\mathfrak{s}$ of $\mathbb{E}$ is said to be exact if it satisfies the following conditions.

• For any $\mathfrak{s}(\delta)=[X_{\bullet}]$, the pair $\langle X_{\bullet},\delta\rangle$ is an $n$-exangle.

• For any $A\in\mathscr{C}$, the zero element ${}_{A}0_{0}=0\in\mathbb{E}(0,A)$ satisfies

  $$\mathfrak{s}({}_{A}0_{0})=[A\overset{\mathrm{id}_{A}}{\longrightarrow}A\to 0\to\cdots\to 0\to 0].$$

  Dually, $\mathfrak{s}({}_{0}0_{A})=[0\to 0\to\cdots\to 0\to A\overset{\mathrm{id}_{A}}{\longrightarrow}A]$ holds for any $A\in\mathscr{C}$.

Note that the above condition (R1) does not depend on representatives of the class $[X_{\bullet}]$.

Definition 2.6.

[HLN, Definition 2.23] Let $\mathfrak{s}$ be an exact realization of $\mathbb{E}$.

1. An $n$-exangle $\langle X_{\bullet},\delta\rangle$ is called an $\mathfrak{s}$-distinguished $n$-exangle if it satisfies $\mathfrak{s}(\delta)=[X_{\bullet}]$. We often simply say distinguished $n$-exangle when $\mathfrak{s}$ is clear from the context.

2. An object $X_{\bullet}\in{\bf{C}}^{n+2}_{\mathscr{C}}$ is called an $\mathfrak{s}$-conflation or simply a conflation if it realizes some extension $\delta\in\mathbb{E}(X_{n+1},X_{0})$.

3. A morphism $f$ in $\mathscr{C}$ is called an $\mathfrak{s}$-inflation or simply an inflation if it admits some conflation $X_{\bullet}\in{\bf{C}}^{n+2}_{\mathscr{C}}$ satisfying $d_{0}^{X}=f$.

4. A morphism $g$ in $\mathscr{C}$ is called an $\mathfrak{s}$-deflation or simply a deflation if it admits some conflation $X_{\bullet}\in{\bf{C}}^{n+2}_{\mathscr{C}}$ satisfying $d_{n}^{X}=g$.

Definition 2.7.

[HLN, Definition 2.32] An $n$-exangulated category is a triplet $(\mathscr{C},\mathbb{E},\mathfrak{s})$ of additive category $\mathscr{C}$, additive bifunctor $\mathbb{E}\colon\mathscr{C}^{\mathrm{op}}\times\mathscr{C}\to\mathit{Ab}$, and its exact realization $\mathfrak{s}$, satisfying the following conditions.

(EA1) Let $A\overset{f}{\longrightarrow}B\overset{g}{\longrightarrow}C$ be any sequence of morphisms in $\mathscr{C}$. If both $f$ and $g$ are inflations, then so is $g\circ f$. Dually, if $f$ and $g$ are deflations, then so is $g\circ f$.

(EA2) For $\rho\in\mathbb{E}(D,A)$ and $c\in\mathscr{C}(C,D)$, let ${}_{A}\langle X_{\bullet},c^{\ast}\rho\rangle_{C}$ and ${}_{A}\langle Y_{\bullet},\rho\rangle_{D}$ be distinguished $n$-exangles. Then $(\mathrm{id}_{A},c)$ has a good lift $f_{\bullet}$, in the sense that its mapping cone gives a distinguished $n$-exangle $\langle M^{f}_{\bullet},(d^{X}_{0})_{\ast}\rho\rangle$.

(EA2${}^{\mathrm{op}}$) Dual of (EA2).

Note that the case $n=1$, a triplet $(\mathscr{C},\mathbb{E},\mathfrak{s})$ is a $1$-exangulated category if and only if it is an extriangulated category, see [HLN, Proposition 4.3].

Example 2.8.

From [HLN, Proposition 4.34] and [HLN, Proposition 4.5], we know that $n$-exact categories and $(n+2)$-angulated categories are $n$-exangulated categories. There are some other examples of $n$-exangulated categories which are neither $n$-exact nor $(n+2)$-angulated, see [HLN, HLN1, LZ, HZZ1].

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathbb{F}\subseteq\mathbb{E}$ be an additive subfunctor (see [HLN, Definition 3.7]). For a realization $\mathfrak{s}$ of $\mathbb{E}$, define $\mathfrak{s}\mid_{\mathbb{F}}$ to be the restriction of $\mathfrak{s}$ onto $\mathbb{F}$. Namely, it is defined by $\mathfrak{s}\mid_{\mathbb{F}}(\delta)=\mathfrak{s}(\delta)$ for any $\mathbb{F}$-extension $\delta$.

Lemma 2.9.

[HLN, Proposition 3.16] Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category. For any additive subfunctor $\mathbb{F}\subseteq\mathbb{E}$, the following statements are equivalent.

(1)  $(\mathscr{C},\mathbb{F},\mathfrak{s}\mid_{\mathbb{F}})$ is an $n$-exangulated category.

(2)  $\mathfrak{s}\mid_{\mathbb{F}}$-inflations are closed under composition.

(3)  $\mathbb{F}\subseteq\mathbb{E}$ is closed.

3 Hereditary $n$-exangulated categories

We first recall the notion of cluster-tilting subcategory from [LZ1].

Definition 3.1.

[LZ1, Definition 3.4] Let $\mathscr{C}$ be an $n$-exangulated category and $\mathscr{X}$ be an additive subcategory of $\mathscr{C}$. $\mathscr{X}$ is called cluster-tilting if

(1) $\mathbb{E}(\mathscr{X},\mathscr{X})=0$.

(2) For any object $C\in\mathscr{C}$, there exist two distinguished $n$-exangles

$$X_{0}\xrightarrow{~{}~{}}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\dashrightarrow$$

where $X_{0},X_{1},\cdots,X_{n}\in\mathscr{X}$ and

$$C\xrightarrow{~{}~{}}X^{\prime}_{1}\xrightarrow{~{}~{}}X^{\prime}_{2}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X^{\prime}_{n}\xrightarrow{~{}~{}}X^{\prime}_{n+1}\dashrightarrow$$

where $X^{\prime}_{1},X^{\prime}_{2},\cdots,X^{\prime}_{n+1}\in\mathscr{X}$.

Remark 3.2.

(1) An object $X$ is called cluster-tilting if $\rm add(X)$ is clsuter-tilting.

(2) When $\mathscr{C}$ is an $(n+2)$-angulated category, this definition is just [OT, Definition 5.3] and [ZZ1, Definition 1.1].

Now we give some examples of cluster-tilting subcategories.

Example 3.3.

Let $\Lambda$ be the algebra given by the following (infinity) quiver with relations $x^{2}=0$:

(3.27)

The Auslander-Reiten quiver of ${\rm mod}\Lambda$ is the following:

where the object denoted by $\spadesuit$ and $\bullet$ appear periodically. Let $\mathscr{C}$ be the additive closure of all the indecomposable objects denoted by $\spadesuit$ and $\bullet$. Then $\mathscr{C}$ is a cluster-tilting subcategory of ${\rm mod}\Lambda$, hence it is $2$-abelian (see [Ja, Theorem 3.16]). Let $\mathscr{X}$ be the additive closure of all the indecomposable objects denoted by $\bullet$. It is straightforward to verify that $\mathscr{X}$ is a cluster-tilting subcategory of $\mathscr{C}$.

Example 3.4.

Let $\Lambda$ be $n$-representation finite algebra, $\mathscr{O}_{\Lambda}$ the $(n+2)$-angulated cluster category associated to $\Lambda$. In particular, we let $n=3$ and $\mathscr{T}=\mathscr{O}_{A^{3}_{2}}$. This is the $5$-angulated (higher) cluster category of type $A_{2}$ (see [OT, Definition 5.2, Section 6 and Section 8]). The indecomposable objects can be identified with the elements of the set

$$\rm ind\mathscr{T}=\{1357,1358,1368,1468,2468,2469,2479,2579,3579\}.$$

The Auslander-Reiten quiver of $\mathscr{T}$ is the following:

It is straightforward to verify that the subcategory

$$\mathcal{T}:={\rm add}(1357\oplus 1358\oplus 1368\oplus 1468)$$

is cluster-tilting.

Definition 3.5.

[ZW, Definition 3.14 and Definition 3.15] Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category.

• An object $P\in\mathscr{C}$ is called projective if, for any distinguished $n$-exangle

  $$A_{0}\xrightarrow{\alpha_{0}}A_{1}\xrightarrow{\alpha_{1}}A_{2}\xrightarrow{\alpha_{2}}\cdots\xrightarrow{\alpha_{n-2}}A_{n-1}\xrightarrow{\alpha_{n-1}}A_{n}\xrightarrow{\alpha_{n}}A_{n+1}\overset{\delta}{\dashrightarrow}$$

  and any morphism $c$ in $\mathscr{C}(P,A_{n+1})$, there exists a morphism $b\in\mathscr{C}(P,A_{n})$ satisfying $\alpha_{n}\circ b=c$. We denote the full subcategory of projective objects in $\mathscr{C}$ by $\mathcal{P}$. Dually, the full subcategory of injective objects in $\mathscr{C}$ is denoted by $\mathcal{I}$.

• We say that $\mathscr{C}$ has enough projectives if for any object $C\in\mathscr{C}$, there exists a distinguished $n$-exangle

  $$B\xrightarrow{\alpha_{0}}P_{1}\xrightarrow{\alpha_{1}}P_{2}\xrightarrow{\alpha_{2}}\cdots\xrightarrow{\alpha_{n-2}}P_{n-1}\xrightarrow{\alpha_{n-1}}P_{n}\xrightarrow{\alpha_{n}}C\overset{\delta}{\dashrightarrow}$$

  satisfying $P_{1},P_{2},\cdots,P_{n}\in\mathcal{P}$. We can define the notion of having enough injectives dually.

Next, we introduce the concept of a hereditary $n$-exangulated category.

Definition 3.6.

An $n$-exangulated category $(\mathscr{C},\mathbb{E},\mathfrak{s})$ is called hereditary if for any object $C\in\mathscr{C}$, there exist a distinguished $n$-exangle

$$P_{0}\xrightarrow{~{}~{}}P_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}P_{n-1}\xrightarrow{~{}~{}}P_{n}\xrightarrow{~{}~{}}C\dashrightarrow$$

where $P_{0},P_{1},\cdots,P_{n}\in\mathcal{P}$, or

$$C\xrightarrow{~{}~{}}I_{1}\xrightarrow{~{}~{}}I_{2}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}I_{n}\xrightarrow{~{}~{}}I_{n+1}\dashrightarrow$$

where $I_{1},I_{2},\cdots,I_{n+1}\in\mathcal{I}$.

Remark 3.7.

When $n=1$, the $1$-exangulated category $(\mathscr{C},\mathbb{E},\mathfrak{s})$ becomes an extriangulated category. If $(\mathscr{C},\mathbb{E},\mathfrak{s})$ has enough projectives and enough injectives, then the following statements are equivalent (see [GNP, Propsition 2.1]):

$\centerdot$ For any object $C\in\mathscr{C}$, there exists an $\mathbb{E}$-triangle $P_{0}\xrightarrow{~{}~{}}P_{1}\xrightarrow{~{}~{}}C\dashrightarrow$ with $P_{0},P_{1}\in\mathcal{P}$.

$\centerdot$ For any object $C\in\mathscr{C}$, there exists an $\mathbb{E}$-triangle $C\xrightarrow{~{}~{}}I_{1}\xrightarrow{~{}~{}}I_{2}\dashrightarrow$ with $I_{1},I_{2}\in\mathcal{P}$.

$\centerdot$ The additive bifunctor $\mathbb{E}^{2}(-,-)=0$.

Note that in [GNP, Proposition 2.1], one of the key arguments in the proof is high-dimensional extension groups and long exact sequences. However, these may not necessarily exist in an $n$-exangulated category, so we just assume that one of the above two sequences exists in Definition 3.6.

Our first main result is as follows, which provides two examples of hereditary $n$-exangulated categories.

Theorem 3.8.

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathscr{X}$ be a cluster-tilting subcategory of $\mathscr{C}$. We define

$$\hskip 11.38109pt\mathbb{E}_{\mathscr{X}}(C,A)=\{\delta\in\mathbb{E}(C,A)\mid(\delta_{\sharp})_{X}=0~{}\mbox{for any}~{}X\in\mathscr{X}\},$$

$$\mathbb{E}^{\mathscr{X}}(C,A)=\{\delta\in\mathbb{E}(C,A)\mid\delta^{\sharp}_{X}=0~{}\mbox{for any}~{}X\in\mathscr{X}\}.$$

Then

(1) $(\mathscr{C},\mathbb{E}_{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}})$ is a hereditary $n$-exangulated category.

(2) $(\mathscr{C},\mathbb{E}^{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}^{\mathscr{X}}})$ is a hereditary $n$-exangulated category.

Proof.

(1) By [HLN, Proposition 3.19], we know that $\mathbb{E}_{\mathscr{X}}$ is a closed subfunctor of $\mathbb{E}$. Thus $(\mathscr{A},\mathbb{E}_{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}})$ is an $n$-exangulated category by Lemma 2.9. We only need to show that $(\mathscr{A},\mathbb{E}_{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}})$ is hereditary. Suppose that

$$X_{0}\xrightarrow{}X_{1}\xrightarrow{}X_{2}\xrightarrow{}\cdots\xrightarrow{}X_{n-1}\xrightarrow{}X_{n}\xrightarrow{g_{n}}X_{n+1}\overset{\delta}{\dashrightarrow}$$

is an any $\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}}$-distinguished $n$-exangle. For any object $Y_{n+1}\in\mathscr{X}$ and any morphism $f_{n+1}\in\mathscr{C}(Y_{n+1},X_{n+1})$, we have the following commutative diagram

of $\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}}$-distinguished $n$-exangles by $\rm(EA2)$. Since $\delta\in\mathbb{E}_{\mathscr{X}}(X_{n+1},X_{0})$, we have $f_{n+1}^{\ast}\delta=(\delta_{\sharp})_{X}(f_{n+1})=0$. So there exists a morphism $h_{n+1}:Y_{n+1}\rightarrow X_{n}$, such that $f_{n+1}=g_{n}h_{n+1}$ by Lemma 3.3 in [ZW]. This shows that every object in $\mathscr{X}$ is projective in $(\mathscr{C},\mathbb{E}_{\mathscr{X}},\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}})$. Since $\mathscr{X}$ is a cluster-tilting subcategory of $\mathscr{C}$, there exists an $\mathfrak{s}$-distinguished $n$-exangle

$$Z_{0}\xrightarrow{}Z_{1}\xrightarrow{}Z_{2}\xrightarrow{}\cdots\xrightarrow{}Z_{n-1}\xrightarrow{}Z_{n}\xrightarrow{}C\overset{\varrho}{\dashrightarrow}$$

for any $C\in\mathscr{C}$, where $Z_{0},Z_{1},\cdots,Z_{n}\in\mathscr{X}$. For any $f:X\rightarrow C$ with $X\in\mathscr{X}$, we have the following commutative diagram

of $\mathfrak{s}$-distinguished $n$-exangles by $\rm(EA2)$. Note that $Z_{0},X\in\mathscr{X}$, then $f^{\ast}\varrho=0$ since $\mathbb{E}(\mathscr{X},\mathscr{X})=0$. That is to say $(\varrho_{\sharp})_{X}(f)=f^{\ast}\varrho=0$, so $\varrho\in\mathbb{E}_{\mathscr{X}}(C,Z_{0})$. Thus the $\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}}$-distinguished $n$-exangle $(\maltese)$ is also what we want in Definition 3.6.

(2) It is similar to (1). ∎

We recall the notion of $n$-extension closed subcategory from [HLN].

Definition 3.9.

[HLN, Definition 2.34] Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category. A subcategory $\mathscr{A}$ of $\mathscr{C}$ is called $n$-extension closed if for any pair of objects $A$ and $C$ in $\mathscr{A}$ and any $\mathbb{E}$-extension $\delta\in\mathbb{E}(C,A)$, there is a distinguished $n$-exangle $\langle X_{\bullet},\delta\rangle$ with $X_{i}$ in $\mathscr{A}$ for $i=1,\cdots,n$.

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathscr{A}$ be an $n$-extension closed subcategory of $\mathscr{C}$. We define $\mathbb{E}_{\mathscr{A}}$ to be the restriction of $\mathbb{E}$ onto $\mathscr{A}^{\rm op}\times\mathscr{A}$. For any $\delta\in\mathbb{E}_{\mathscr{A}}(C,A)$, take an $\mathfrak{s}$-distinguished $n$-exangle $\langle X_{\bullet},\delta\rangle$ with $X_{i}$ in $\mathscr{A}$ for $i=1,\cdots,n$. We define $\mathfrak{t}(\delta)=[X_{\bullet}]$, where the homotopy equivalence class is taken in ${\bf{C}}^{n+2}_{({\mathscr{A};\hskip 0.85358ptA,\hskip 0.85358ptC})}$.

Proposition 3.10.

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be a hereditary $n$-exangulated category and $\mathscr{A}$ be an $n$-extension closed subcategory of $\mathscr{C}$. Then

$(1)$ $(\mathscr{A},\mathbb{E}_{\mathscr{A}},\mathfrak{t})$ is an $n$-exangulated category.

$(2)$ If $\mathcal{P}\subseteq\mathscr{A}$, where $\mathcal{P}$ denotes the full subcategory of projective objects in $(\mathscr{C},\mathbb{E},\mathfrak{s})$, then $(\mathscr{A},\mathbb{E}_{\mathscr{A}},\mathfrak{t})$ is hereditary.

Proof.

$(1)$ By [K, Theorem 3.3], we know that $(\mathscr{A},\mathbb{E}_{\mathscr{A}},\mathfrak{t})$ is an $n$-exangulated category.

$(2)$ For any $P\in\mathcal{P}$, it is clear that $P$ is an projective object in $(\mathscr{A},\mathbb{E}_{\mathscr{A}},\mathfrak{t})$. Let $A\in\mathscr{A}\subseteq\mathscr{C}$, since $(\mathscr{C},\mathbb{E},\mathfrak{s})$ is hereditary, there exists an $\mathfrak{s}$-distinguished $n$-exangle

$$P_{0}\xrightarrow{}P_{1}\xrightarrow{}P_{2}\xrightarrow{}\cdots\xrightarrow{}P_{n-1}\xrightarrow{}P_{n}\xrightarrow{}A\overset{\delta}{\dashrightarrow}$$

where $P_{0},P_{1},\cdots,P_{n}\in\mathcal{P}$. This shows that $(\mathscr{A},\mathbb{E}_{\mathscr{A}},\mathfrak{t})$ is hereditary. ∎

We denote by $\mathscr{C}/\mathscr{X}$ the category whose objects are objects of $\mathscr{C}$ and whose morphisms are elements of $\mbox{Hom}_{\mathscr{C}}(A,B)/\mathscr{X}(A,B)$ for $A,B\in\mathscr{C}$, where $\mathscr{X}(A,B)$ is the subgroup of $\mbox{Hom}_{\mathscr{C}}(A,B)$ consisting of morphisms which factor through an object in $\mathscr{X}$. $\mathscr{C}/\mathscr{X}$ is called the (additive) quotient category of $\mathscr{C}$ by $\mathscr{X}$. For any morphism $f\colon A\to B$ in $\mathscr{C}$, we denote by $\overline{f}$ the image of $f$ under the natural quotient functor $\mathscr{C}\to\mathscr{C}/\mathscr{X}$.

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and denote $\overline{\mathscr{C}}:=\mathscr{C}/\mathscr{X}$. Assume that

$$A_{0}\xrightarrow{~{}\alpha_{0}~{}}A_{1}\xrightarrow{~{}\alpha_{1}~{}}A_{2}\xrightarrow{~{}\alpha_{2}~{}}\cdots\xrightarrow{~{}\alpha_{n-2}~{}}A_{n-1}\xrightarrow{~{}\alpha_{n-1}~{}}A_{n}\xrightarrow{~{}\alpha_{n}~{}}A_{n+1}\overset{\delta}{\dashrightarrow}$$

is a distinguished $n$-exangle in $\mathscr{C}$. This sequence

$$A_{0}\xrightarrow{~{}\overline{\alpha_{0}}~{}}A_{1}\xrightarrow{~{}\overline{\alpha_{1}}~{}}A_{2}\xrightarrow{~{}\overline{\alpha_{2}}~{}}\cdots\xrightarrow{~{}\overline{\alpha_{n-2}}~{}}A_{n-1}\xrightarrow{~{}\overline{\alpha_{n-1}}~{}}A_{n}\xrightarrow{~{}\overline{\alpha_{n}}~{}}A_{n+1}$$

is called weak kernel-cokernel sequence if the following sequences

$$\overline{\mathscr{C}}(-,A_{0})\xrightarrow{\overline{\mathscr{C}}(-,\ \overline{\alpha_{0}})}\overline{\mathscr{C}}(-,A_{1})\xrightarrow{\overline{\mathscr{C}}(-,\ \overline{\alpha_{1}})}\cdots\xrightarrow{\overline{\mathscr{C}}(-,\ \overline{\alpha_{n-1}})}\overline{\mathscr{C}}(-,A_{n})\xrightarrow{\overline{\mathscr{C}}(-,\ \overline{\alpha_{n}})}\overline{\mathscr{C}}(-,A_{n+1})$$

and

$$\overline{\mathscr{C}}(A_{n+1},-)\xrightarrow{\overline{\mathscr{C}}(\overline{{\alpha_{n}}},\ -)}\overline{\mathscr{C}}(A_{n},-)\xrightarrow{\overline{\mathscr{C}}(\overline{{\alpha_{n-1}}},\ -)}\cdots\xrightarrow{\overline{\mathscr{C}}(\overline{{\alpha_{1}}},\ -)}\overline{\mathscr{C}}(A_{1},-)\xrightarrow{\overline{\mathscr{C}}(\overline{{\alpha_{0}}},\ -)}\overline{\mathscr{C}}(A_{0},-).$$

Proposition 3.11.

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be a hereditary $n$-exangulated category and $\mathscr{X}$ a full subcategory of $\mathscr{C}$. If $\mathscr{X}$ satisfies $\mathscr{X}\subseteq\mathcal{P}\cap\mathcal{I}$, then the ideal quotient $\mathscr{C}/\mathscr{X}$ is a hereditary $n$-exangulated category if and only if any distinguished $n$-exangle in $\mathscr{C}$ induces a weak kernel-cokernel sequence in $\mathscr{C}/\mathscr{X}$.

Proof.

Define the additive bifunctor $\overline{\mathbb{E}}\colon\overline{\mathscr{C}}^{\rm op}\times\overline{\mathscr{C}}\to\mathit{Ab}$ given by

• $\overline{\mathbb{E}}(C,A)=\mathbb{E}(C,A)$ for any $A,C\in\mathscr{C}$,

• $\overline{\mathbb{E}}(\overline{c},\overline{a})=\mathbb{E}(c,a)$ for any $a\in\mathscr{C}(A,A^{\prime}),~{}c\in\mathscr{C}(C,C^{\prime})$, where $\overline{a}$ and $\overline{c}$ denote the images of $a$ and $c$ in $\mathscr{C}/\mathscr{X}$, respectively.

For any $\overline{\mathbb{E}}$-extension $\delta\in\overline{\mathbb{E}}(C,A)={\mathbb{E}}(C,A)$, define

$$\overline{\mathfrak{s}}(\delta)=\overline{\mathfrak{s}(\delta)}=[A\xrightarrow{~{}\overline{\alpha_{0}}~{}}B_{1}\xrightarrow{~{}\overline{\alpha_{1}}~{}}B_{2}\xrightarrow{~{}\overline{\alpha_{2}}~{}}\cdots\xrightarrow{~{}\overline{\alpha_{n-1}}~{}}B_{n}\xrightarrow{~{}\overline{\alpha_{n}}~{}}C]$$

using $\mathfrak{s}(\delta)=[A\xrightarrow{~{}\alpha_{0}~{}}B_{1}\xrightarrow{~{}\alpha_{1}~{}}B_{2}\xrightarrow{~{}\alpha_{2}~{}}\cdots\xrightarrow{~{}\alpha_{n-1}~{}}B_{n}\xrightarrow{\alpha_{n}}C]$.

By [HZZ1, Theorem 3.1], we know that $(\mathscr{C}/\mathscr{X},\overline{\mathbb{E}},\overline{\mathfrak{s}})$ is an $n$-exangulated category if and only if any distinguished $n$-exangle in $\mathscr{C}$ induces a weak kernel-cokernel sequence in $\mathscr{C}/\mathscr{X}$. We need to show that $\mathscr{C}/\mathscr{X}$ is hereditary. Let $C\in\mathscr{C}/\mathscr{X}$, since $(\mathscr{C},\mathbb{E},\mathfrak{s})$ is hereditary, there exists an $\mathfrak{s}$-distinguished $n$-exangle

$$P_{0}\xrightarrow{\alpha_{0}}P_{1}\xrightarrow{\alpha_{1}}P_{2}\xrightarrow{\alpha_{2}}\cdots\xrightarrow{}P_{n-1}\xrightarrow{\alpha_{n-1}}P_{n}\xrightarrow{\alpha_{n}}C\overset{\delta}{\dashrightarrow},$$

where $P_{0},P_{1},\cdots,P_{n}\in\mathcal{P}$. Thus

$$P_{0}\xrightarrow{\overline{\alpha_{0}}}P_{1}\xrightarrow{\overline{\alpha_{1}}}P_{2}\xrightarrow{\overline{\alpha_{2}}}\cdots\xrightarrow{}P_{n-1}\xrightarrow{\overline{\alpha_{n-1}}}P_{n}\xrightarrow{\overline{\alpha_{n}}}C\overset{\overline{\delta}}{\dashrightarrow}$$

is an $\overline{\mathfrak{s}}$-distinguished $n$-exangle. It is clear that $P_{i}$ are also projective objects in $\mathscr{C}/\mathscr{X}$, where $i=0,1,2,\cdots,n$. In fact, let

$$A_{0}\xrightarrow{~{}\overline{\alpha_{0}}~{}}A_{1}\xrightarrow{~{}\overline{\alpha_{1}}~{}}A_{2}\xrightarrow{~{}\overline{\alpha_{2}}~{}}\cdots\xrightarrow{~{}\overline{\alpha_{n-2}}~{}}A_{n-1}\xrightarrow{~{}\overline{\alpha_{n-1}}~{}}A_{n}\xrightarrow{~{}\overline{\alpha_{n}}~{}}A_{n+1}\overset{\overline{\delta}}{\dashrightarrow}$$

be any $\overline{\mathfrak{s}}$-distinguished $n$-exangle, we know that

$$A_{0}\xrightarrow{~{}\alpha_{0}~{}}A_{1}\xrightarrow{~{}\alpha_{1}~{}}A_{2}\xrightarrow{~{}\alpha_{2}~{}}\cdots\xrightarrow{~{}\alpha_{n-2}~{}}A_{n-1}\xrightarrow{~{}\alpha_{n-1}~{}}A_{n}\xrightarrow{~{}\alpha_{n}~{}}A_{n+1}\overset{\delta}{\dashrightarrow}$$

is an $\mathfrak{s}$-distinguished $n$-exangle. For any morphism $\overline{f_{i}}\in\overline{\mathscr{C}}(P_{i},A_{n+1})$, since $P_{i}$ are projective, there exists $g_{i}\in{\mathscr{C}}(P_{i},A_{n})$, such that $\alpha_{n}g=f_{i}$ and then $\overline{\alpha_{n}}\circ\overline{g}=\overline{f_{i}}$. Thus the $\overline{\mathfrak{s}}$-distinguished $n$-exangle $(\maltese\maltese)$ is also what we want in Definition 3.6.

∎

4 $0$-Auslander $n$-exangulated categories

We first introduce the concept of a $\mathrm{0}$-Auslander $n$-exangulated category.

Definition 4.1.

An $n$-exangulated category $(\mathscr{C},\mathbb{E},\mathfrak{s})$ is called $\mathrm{0}$-Auslander if

(1) $\mathscr{C}$ is hereditary.

(2) For any projective object $P\in\mathcal{P}$, there exists a distinguished $n$-exangle

$$P\xrightarrow{~{}~{}}Q_{1}\xrightarrow{~{}~{}}Q_{2}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}Q_{n-1}\xrightarrow{~{}~{}}Q_{n}\xrightarrow{~{}~{}}I\dashrightarrow$$

where $Q_{1},Q_{2},\cdots,Q_{n}$ are projective-injective objects and $I\in\mathcal{I}$.

Remark 4.2.

When $n=1$, the Definition 4.1 is slightly different from that in [GNP, Definition 1.1], we do not assume that the $\mathscr{C}$ has enough projectives.

Let $(\mathscr{C},\Sigma^{n},\Theta)$ be an $(n+2)$-angulated category. Since $\Sigma^{n}\colon\mathscr{C}\xrightarrow{~{}\simeq~{}}\mathscr{C}$ is an automorphism, then $\Sigma^{n}$ gives an additive bifunctor

$$\mathbb{E}_{\Sigma^{n}}=\mathscr{C}(-,\Sigma^{n}-)\colon\mathscr{C}^{\rm op}\times\mathscr{C}\to{\rm Ab},$$

defined by the following.

• For any $A,C\in\mathscr{C}$, $\mathbb{E}_{\Sigma^{n}}(C,A)=\mathscr{C}(C,\Sigma A)$;

• For any $a\in\mathscr{C}(A,A^{\prime})$ and $c\in\mathscr{C}(C^{\prime},C)$, the map $\mathbb{E}_{\Sigma^{n}}(c,a)\colon\mathscr{C}(C,\Sigma^{n}A)\to\mathscr{C}(C^{\prime},\Sigma^{n}A)$ sends $\delta\in\mathscr{C}(C,\Sigma^{n}A)$ to $c^{\ast}a_{\ast}\delta=(\Sigma^{n}a)\circ\delta\circ c$.

For each $\delta\in\mathbb{E}_{\Sigma^{n}}(C,A)$, we complete it into an $(n+2)$-angle

$$A\xrightarrow{f_{0}}X_{1}\xrightarrow{f_{1}}X_{2}\xrightarrow{f_{2}}\cdots\xrightarrow{f_{n-1}}X_{n}\xrightarrow{f_{n}}C\xrightarrow{\delta}\Sigma^{n}A_{0}$$

Define $\mathfrak{s}_{\Theta}(\delta)=[X_{\bullet}]$ by using $X_{\bullet}\in{\mathbf{C}^{n+2}_{(A,\hskip 2.27621ptC)}}$ given by

$$A\xrightarrow{f_{0}}X_{1}\xrightarrow{f_{1}}X_{2}\xrightarrow{f_{2}}\cdots\xrightarrow{f_{n-1}}X_{n}\xrightarrow{f_{n}}C$$

The following result shows that any $(n+2)$-angulated category can be viewed as an $n$-exangulated category.

Theorem 4.3.

[HLN, Proposition 4.5] With the above definition, $(\mathscr{C},\mathbb{E}_{\Sigma^{n}},\mathfrak{s}_{\Theta})$ is an $n$-exangulated category.

Keep the mark in front, let $\mathscr{T}$ be a cluster-tilting subcategory of $(\mathscr{C},\Sigma^{n},\Theta)$. We define

$$\mathbb{F}_{\mathscr{T}}(C,A)=\{A\xrightarrow{~{}~{}}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\overset{\delta}{\dashrightarrow}~{}\mid~{}\delta~{}\text{is induced by the}~{}(n+2)\text{-angle}$$

$$A\xrightarrow{~{}~{}}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\xrightarrow{~{}f~{}}\Sigma^{n}A~{}\text{with}~{}f~{}\text{factors through}~{}\Sigma^{n}T,\hskip 0.85358ptT\in\mathscr{T}\}.$$

Let $\mathscr{C}$ be an additive category and $\mathscr{X}$ be a subcategory of $\mathscr{C}$. Recall that we say a morphism $f\colon A\to B$ in $\mathscr{C}$ is an $\mathscr{X}$-monic if

$${\mathscr{C}}(f,X)\colon{\mathscr{C}}(B,X)\to{\mathscr{C}}(A,X)$$

is an epimorphism for all $X\in\mathscr{X}$. We say that $f$ is an $\mathscr{X}$-epic if

$${\mathscr{C}}(X,f)\colon{\mathscr{C}}(X,A)\to{\mathscr{C}}(X,B)$$

is an epimorphism for all $X\in\mathscr{X}$.

Our second main result is as follows, which provides an example of $0$-Auslander $n$-exangulated categories.

Theorem 4.4.

Let $(\mathscr{C},\Sigma^{n},\Theta)$ be an $(n+2)$-angulated category and $\mathscr{T}$ be a cluster-tilting subcategory of $\mathscr{C}$. Then

$(1)$ $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is an $n$-exangulated category.

$(2)$ If $\mathcal{P}\subseteq\mathscr{T}$, where $\mathcal{P}$ denotes the full subcategory of projective objects in $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$, then $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is $\mathrm{0}$-Auslander.

Proof.

$(1)$ Let

$$A\xrightarrow{~{}f_{0}~{}}X_{1}\xrightarrow{~{}~{}}X_{2}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\overset{\delta}{\dashrightarrow}$$

in $\mathbb{F}_{\mathscr{T}}(C,A)$. Then we have an $(n+2)$-angle

$$A\xrightarrow{~{}f_{0}~{}}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C\xrightarrow{~{}f~{}}\Sigma^{n}A$$

with $f$ factors through $\Sigma^{n}T$, where $T\in\mathscr{T}$. That is, there exist two morphisms $g\colon C\rightarrow\Sigma^{n}T$ and $h\colon\Sigma^{n}T\rightarrow\Sigma^{n}A$ such that $f=hg$. We claim that ${f_{0}}$ is $\Sigma^{n}\mathscr{T}$-monic. Indeed, we can obtain the following $(n+2)$-angle $\Sigma^{-n}C\xrightarrow{}A\xrightarrow{~{}f_{0}~{}}X_{1}\xrightarrow{}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}~{}}C.$

For any $T^{\prime}\in\mathscr{T}$ and $k:A\rightarrow\Sigma^{n}T^{\prime}$, we have the following commutative diagram

Since $\mathscr{T}$ be a cluster-tilting subcategory of $\mathscr{C}$, we have $\mathscr{C}(\mathscr{T},\Sigma^{n}\mathscr{T})=0$ which implies

$$k\circ\Sigma^{-n}f=k\circ\Sigma^{-n}h\circ\Sigma^{-n}g=0\circ\Sigma^{-n}g=0.$$

There exists a morphism $m:X_{1}\rightarrow\Sigma^{n}T^{\prime}$, such that $k=mf_{0}$. Therefore, $f_{0}$ is $\Sigma^{n}\mathscr{T}$-monic. By [LZ, Lemma 4.2], we have that $\mathbb{F}_{\mathscr{T}}$ is an additive subfunctor of $\mathbb{E}_{\Sigma^{n}}$ and $\Sigma^{n}\mathscr{T}$-monomorphisms are closed under composition. Hence $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is an $n$-exangulated category by Lemma 2.9.

(2) In order to prove $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is $0$-Auslander, we first prove that $\Sigma^{n}T$ is injective object and $T$ is projective object in $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ for any $T\in\mathscr{T}$. In fact, the above proof also shows that $\Sigma^{n}T$ is a projective object. Let

$$A\xrightarrow{}X_{1}\xrightarrow{~{}~{}}X_{2}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}g~{}}C\overset{\delta}{\dashrightarrow}$$

be an $\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}}$-distinguished $n$-exangle. Then we have an $(n+2)$-angle

$$A\xrightarrow{}X_{1}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}X_{n-1}\xrightarrow{~{}~{}}X_{n}\xrightarrow{~{}g~{}}C\xrightarrow{~{}h~{}}\Sigma^{n}A,$$

where $h$ factors through $\Sigma^{n}T$ with $T\in\mathscr{T}$. For any morphism $f:T^{\prime}\rightarrow C$, where $T^{\prime}\in\mathscr{T}$, we have the following commutative diagram

Note that $\mathscr{C}(\mathscr{T},\Sigma^{n}\mathscr{T})=0$, so $hf=qmf=q0=0$. There exists a morphism $k\colon T^{\prime}\rightarrow X_{n}$ such that $f=gk$. Therefore, $T^{\prime}$ is projective. Since $\mathscr{T}$ be a cluster-tilting subcategory of $\mathscr{C}$, there exists an $(n+2)$-angle

$$T_{0}\xrightarrow{}T_{1}\xrightarrow{}T_{2}\xrightarrow{}\cdots\xrightarrow{}T_{n-1}\xrightarrow{}T_{n}\xrightarrow{}C\xrightarrow{~{}f~{}}\Sigma^{n}T_{0}$$

for any $C\in\mathscr{C}$, where $T_{0},T_{1},\cdots,T_{n}\in\mathscr{T}$. Since we have the following commutative diagram

So we obtain an $\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}}$-distinguished $n$-exangle

$$T_{0}\xrightarrow{}T_{1}\xrightarrow{~{}~{}}T_{2}\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}T_{n-1}\xrightarrow{~{}~{}}T_{n}\xrightarrow{g}C\overset{\delta}{\dashrightarrow}.$$

The $\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}}$-distinguished $n$-exangle $(\heartsuit)$ is what we want in Definition 3.6. For any $P\in\mathcal{P}$, there exists an $(n+2)$-angle

$$P\xrightarrow{}0\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}0\xrightarrow{~{}~{}}0\xrightarrow{}\Sigma^{n}P\xrightarrow{}\Sigma^{n}P.$$

Note that $\mathscr{T}=\mathcal{P}$, then $P\in\mathscr{T}$. We have the following commutative diagram

So we obtain an $\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}}$-distinguished $n$-exangle

$$P\xrightarrow{}0\xrightarrow{~{}~{}}0\xrightarrow{~{}~{}}\cdots\xrightarrow{~{}~{}}0\xrightarrow{~{}~{}}0\xrightarrow{~{}g~{}}\Sigma^{n}P\overset{}{\dashrightarrow}.$$

Since the object $0$ is projective-injective objects and $\Sigma^{n}P\in\mathcal{I}$, hence the $\mathfrak{s}\mid_{\mathbb{E}_{\mathscr{X}}}$-distinguished $n$-exangle $(\heartsuit\heartsuit)$ is what we want in Definition 4.1(2). This shows that $(\mathscr{C},\mathbb{F}_{\mathscr{T}},\mathfrak{s}_{\Theta}\mid_{\mathbb{F}_{\mathscr{T}}})$ is $0$-Auslander. ∎

Jian He
Department of Applied Mathematics, Lanzhou University of Technology, 730050 Lanzhou, Gansu, P. R. China
E-mail: jianhe30@163.com
Jing He
School of Science, Hunan University of Technology and Business, 410205 Changsha, Hunan, P. R. China
E-mail: jinghe1003@163.com
Panyue Zhou
School of Mathematics and Statistics, Changsha University of Science and Technology, 410114 Changsha, Hunan, P. R. China
E-mail: panyuezhou@163.com