Abstract:Highest weight categories are an abstraction of the representation theory of semisimple Lie algebras introduced by Cline, Parshall and Scott in the late 1980s. There are by now many characterisations of when an abelian category is highest weight, but most are hard to verify in practice. We present two new criteria - one numerical in terms of the Grothendieck group, and one in terms of Bridegland stability conditions - which are easier to verify. We relate them to a criterion by Green and Schroll for when modules over a monomial algebra are highest weight.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the criteria for highest weight categories. Specifically, the author proposes two new criteria: one is numerical, based on the Grothendieck group; the other is based on Bridgeland stability conditions. These new criteria are designed to be easier to verify, thus providing a more convenient method for determining whether an Abelian category is a highest weight category.
### Background and Problem Description of the Paper
The concept of highest weight categories was first introduced by Cline, Parshall and Scott in the late 1980s to abstract the representation theory of semisimple Lie algebras. Highest weight categories have some unique structural properties, such as the existence of standard objects and costandard objects, and Bernstein - Gelfand - Gelfand reciprocity. Although there are already many characterizations of highest weight categories, most of them are difficult to verify in practical applications.
### Main Contributions of the Paper
1. **Numerical Criterion**:
The author proposes a numerical criterion based on the Grothendieck group. Specifically, let \( A \) be a Deligne - finite \( k \)-linear Abelian category, and fix a total order \( S_1,\ldots,S_n \) of its simple objects. Denote \( P_i \) as the corresponding projective cover, and \( \Delta_i \) and \( \nabla_i \) as the corresponding standard object and costandard object respectively. Then \( A \) is a highest weight category if and only if the following conditions are satisfied:
\[
[\Delta_i : S_i]=1\quad\text{and}\quad [P_i]=\sum_{j = i}^n [\nabla_j : S_i][\Delta_j]
\]
where \([A : S]\) represents the multiplicity of \( S \) in the Jordan - Hölder filtration of \( A \).
2. **Stability - based Criterion**:
The author also proposes a criterion based on Bridgeland stability conditions. Specifically, \( A \) is a highest weight category if and only if there exists a stability function \( Z: K(A)\to\mathbb{C} \) such that:
- The standard objects \( \Delta_1,\ldots,\Delta_n \) are stable under \( Z \), and their phases are strictly increasing.
- The Harder - Narasimhan factors of each projective cover \( P_i \) are direct sums of the standard objects \( \Delta_i,\ldots,\Delta_n \).
### Methods and Results
- **Proof of the Numerical Criterion**:
By inductively constructing projective covers and using the properties of standard objects, it can be proved that the above numerical conditions are equivalent to the definition of the highest weight category.
- **Proof of the Stability Criterion**:
By constructing an appropriate stability function and verifying the properties of standard objects and projective covers, the equivalence between the stability conditions and the highest weight category can be proved.
### Applications and Significance
These new criteria not only simplify the verification process of the highest weight category, but also provide new tools for studying other related fields (such as mixed geometry, Koszul duality and Kazhdan - Lusztig theory). In addition, these criteria can be applied to specific examples, such as the module categories of certain quasi - hereditary algebras and the perverse sheaves categories on stratified spaces.
In conclusion, this paper provides a more convenient and practical method for the study of highest weight categories by introducing new criteria, which is helpful to promote the further development of related fields.