Relative Higher Homology and Representation Theory

Rasool Hafezi,Javad Asadollahi,Yi Zhang

2023-11-10

Abstract:Higher homological algebra, basically done in the framework of an $n$-cluster tilting subcategory $\mathcal{M}$ of an abelian category $\mathcal{A}$, has been the topic of several recent researches. In this paper, we study a relative version, in the sense of Auslander-Solberg, of the higher homological algebra. To this end, we consider an additive sub-bifunctor $F$ of $\mathrm{Ext}^n_{\mathcal{M}}( -,-)$ as the basis of our relative theory. This, in turn, specifies a collection of $n$-exact sequences in $\mathcal{M}$, which allows us to delve into the relative higher homological algebra. Our results include a proof of the relative $n$-Auslander-Reiten duality formula, as well as an exploration of relative Grothendieck groups, among other results. As an application, we provide necessary and sufficient conditions for $\mathcal{M}$ to be of finite type.

Rings and Algebras,Representation Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the problem of relative higher - order homological algebra in $n$-cluster - tilting subcategories. Specifically, the authors studied a relative version of higher - order homological algebra in the sense of Auslander - Solberg. To this end, they considered an additive sub - bifunctor $F$ as the basis of the relative theory, which was selected from $Ext^n_M(-,-)$. This enabled them to specify a series of $n$-exact sequences in $M$, thereby delving into relative higher - order homological algebra. The main achievements of the paper include proving the relative $n$-Auslander - Reiten duality formula, as well as the study of the relative Grothendieck group, and also providing the necessary and sufficient conditions for $M$ to be of finite type.

### Formula and Concept Analysis

1. **$n$-exact sequence**:
- Definition: In an additive category $M$, an $n$-exact sequence is a sequence of the form
\[
0 \to M_0 \xrightarrow{f_0} M_1 \xrightarrow{f_1} \cdots \xrightarrow{f_{n - 1}} M_n \xrightarrow{f_n} M_{n + 1} \to 0
\]
where $(f_0, f_1,\ldots, f_{n - 1})$ is the $n$-kernel of $f_n$, and $(f_1, f_2,\ldots, f_n)$ is the $n$-cokernel of $f_0$.

2. **Relative $n$-Auslander - Reiten duality**:
- Formula: Let $F$ be a sub - bifunctor of $Ext^n_M(-,-)$, then there exists a relative $n$-Auslander - Reiten duality formula in the form of
\[
D\circ \text{Tr}\circ \Omega^{n - 1}(M)\cong \tau_n(M)
\]
where $D$ represents duality, $\text{Tr}$ represents transpose, $\Omega$ represents the homology functor, and $\tau_n$ represents the $n$-Auslander - Reiten translation.

3. **Relative Grothendieck group**:
- Definition: In the framework of $n$-higher - order homological algebra, the relative Grothendieck group $K_0(M,F)$ is the free abelian group generated by the objects in $M$, modulo the relations generated by $F$-exact sequences.

### Applications and Results

- **Relative $n$-Auslander - Reiten duality formula**: This formula provides a new duality relationship, which is helpful for understanding the structures in $n$-higher - order homological algebra.
- **Relative Grothendieck group**: By studying the relative Grothendieck group, the authors generalized the results of the classical Grothendieck group and removed some strong assumptions in previous work.
- **Finite - type conditions**: The paper also provides the necessary and sufficient conditions for $M$ to be of finite type, and these conditions are discussed in detail in the framework of relative higher - order homological algebra.

### Conclusion

This paper extends the theory of classical homological algebra by introducing the concept of relative higher - order homological algebra, and provides new tools and methods for studying the representation theory in $n$-cluster - tilting subcategories. These achievements not only enrich the theoretical system of higher - order homological algebra, but also lay the foundation for further research.