Abstract:We study admissible subcategories of the derived categories of smooth noncommutative curves as classified by Reiten-van den Bergh. We prove phantom subcategories do not exist in these derived categories and we obtain a complete classification of the admissible subcategories of the bounded derived category of representations of an acyclic quiver.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there are phantom subcategories in the derived category of smooth non - commutative curves. Specifically, the author studied the admissible subcategories in the derived category of smooth non - commutative curves classified by Reiten - van den Bergh and proved that there are no phantom subcategories in these derived categories. In addition, the author also obtained a complete classification of the admissible subcategories in the bounded - derived category of representations of finite acyclic quivers.
### Main contributions of the paper
1. **Prove the non - existence of phantom subcategories**:
- The author proved that in the derived category of smooth non - commutative curves, there are no phantom subcategories. A phantom subcategory refers to an admissible subcategory whose Grothendieck group is zero.
- This result is of great significance for understanding the structure of these derived categories, because the existence or non - existence of phantom subcategories directly affects the basic properties of these categories.
2. **Classification of admissible subcategories**:
- The author gave a complete classification of the admissible subcategories in the bounded - derived category of representations of finite acyclic quivers. Specifically, any such admissible subcategory is equivalent to the bounded - derived category of another finite acyclic quiver representation.
- This classification result shows that all these admissible subcategories admit full exceptional collections.
### Main theorems
- **Theorem 3.6**: If \( \mathcal{A} \) is a non - commutative curve, then any admissible subcategory in \( D^b(\mathcal{A}) \) is equivalent to the bounded - derived category of a category of type (1) or (2), where type (1) and type (2) correspond to the category of representations of finite acyclic quivers and the category of coherent sheaves on smooth projective orbital curves respectively.
- **Corollary 3.7**: If \( Q \) is a finite acyclic quiver, then any non - trivial admissible subcategory in \( D^b(\text{rep } Q) \) is equivalent to the bounded - derived category of the representation of another finite acyclic quiver \( Q' \).
### Methods and techniques
- **Semi - orthogonal decomposition**: The author used semi - orthogonal decomposition to study the structure of the derived category, which is a method of decomposing the derived category into smaller parts.
- **Serre duality**: By introducing Serre duality, the author proved the saturation of certain categories, which is a key step in proving the non - existence of phantom subcategories.
- **Visibility condition**: The author introduced the "visibility" condition, that is, for an Abelian category \( \mathcal{A} \), if the class of any object \( X\in\mathcal{A} \) in the Grothendieck group is zero, then \( X = 0 \). This condition is used to prove the non - existence of phantom subcategories in certain categories.
### Conclusion
This paper, through the study of the derived category of smooth non - commutative curves, proved that there are no phantom subcategories in these categories and gave a complete classification of the admissible subcategories in the bounded - derived category of representations of finite acyclic quivers. These results not only enrich the research in algebraic geometry and representation theory, but also provide a new perspective for further exploring the structure of the derived category.