Abstract:In this article, we study the relationship among maximal green sequences, complete forward hom-orthogonal sequences and stability functions in abelian length categories. Mainly, we firstly give a one-to-one correspondence between maximal green sequences and complete forward hom-orthogonal sequences via mutual constructions, and then prove that a maximal green sequence can be induced by a central charge if and only if it satisfies crossing inequalities. As applications, we show that crossing inequalities can be computed by $c$-vectors for finite dimensional algebras; finally, we give the Rotation Lemma for finite dimensional Jacobian algebras.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on **the relationships among maximal green sequences (MGS), complete forward hom - orthogonal sequences (CFHO) in abelian length categories and stability functions**. Specifically, the authors have studied the following points:
1. **The correspondence between maximal green sequences and complete forward hom - orthogonal sequences**:
- The authors proved that in an abelian length category, there is a one - to - one correspondence between maximal green sequences and complete forward hom - orthogonal sequences. This correspondence is achieved through mutual construction, that is, each maximal green sequence can be used to construct a complete forward hom - orthogonal sequence, and vice versa.
2. **The relationship between maximal green sequences and stability functions**:
- The authors explored whether maximal green sequences can be induced by central charges. Specifically, they proved that a maximal green sequence can be induced by a certain central charge if and only if the sequence satisfies the crossing inequalities.
3. **The calculation of crossing inequalities**:
- The authors further showed that for finite - dimensional algebras, crossing inequalities can be calculated through c - vectors.
4. **Rotation Lemma**:
- For finite - dimensional Jacobian algebras, the authors proved the Rotation Lemma and applied the above results to explore the relationship of crossing inequalities between Jacobian algebras and their mutations.
### Main Conclusions
- **Theorem 3.7**: In an abelian length category \( \mathcal{A} \), a maximal green sequence \( T: 0 = T_0 \prec T_1 \prec T_2 \prec \ldots \prec T_m=\mathcal{A} \) can be induced by a certain central charge \( Z: K_0(\mathcal{A})\to\mathbb{C} \) if and only if \( T \) satisfies the crossing inequalities.
### Definition of Crossing Inequalities
For a maximal green sequence \( T: 0 = T_0 \prec T_1 \prec T_2 \prec \ldots \prec T_m = \mathcal{A} \) and the corresponding complete homological orthogonal sequences \( N_1, N_2,\ldots, N_m \), if there exist vectors \( \alpha\in\mathbb{R}^n \) and \( \beta\in\mathbb{R}_{>0}^n \) such that:
\[ \frac{\langle \alpha, N_i \rangle}{\langle \beta, N_i \rangle}<\frac{\langle \alpha, N_{i + 1} \rangle}{\langle \beta, N_{i+1} \rangle} \]
holds for all \( i \), then the maximal green sequence is said to satisfy the crossing inequalities.
### Definition of Central Charge
Let \( \mathcal{A} \) be an abelian length category, and its Grothendieck group \( K_0(\mathcal{A}) \) is isomorphic to \( \mathbb{Z}^n \). The central charge \( Z: K_0(\mathcal{A})\to\mathbb{C} \) is defined as:
\[ Z(X)=\langle \alpha, [X] \rangle + i\langle \beta, [X] \rangle \]
where \( \alpha\in\mathbb{R}^n \) and \( \beta\in\mathbb{R}_{>0}^n \), \( \langle \cdot,\cdot \rangle \) is a bilinear form.