Janina C. Letz,Julia Sauter
Abstract:Let $\mathcal{T}$ be an algebraic triangulated category and $\mathcal{C}$ an extension-closed subcategory with $\operatorname{Hom}(\mathcal{C}, \Sigma^{<0} \mathcal{C})=0$. Then $\mathcal{C}$ has an exact structure induced from exact triangles in $\mathcal{T}$. Keller and Vossieck say that there exists a triangle functor $\operatorname{D}^b(\mathcal{C}) \to \mathcal{T}$ extending the inclusion $\mathcal{C} \subseteq \mathcal{T}$. We provide the missing details for a complete proof.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to provide a complete proof to verify the existence of the realization functor in the algebraic triangulated category. Specifically, the paper focuses on how to construct the realization functor in the extension - closed subcategory \(C\) that satisfies specific conditions, which include non - negativity and the exact structure inherited from the triangulated structure. The following is a detailed description of the problem:
### Research Background and Problem
1. **Subcategories in Algebraic Triangulated Categories**
- Let \(T\) be an algebraic triangulated category, and \(C\) be an extension - closed subcategory of \(T\), and satisfy \(\text{Hom}_T(C,\Sigma^{-n}C) = 0\) for all \(n\geq1\). Here, \(\Sigma\) represents the shift functor.
2. **Existence of the Realization Functor**
- According to the work of Keller and Vossieck [KV87], it is known that there exists a triangulated functor from the bounded derived category \(D^b(C)\) to \(T\), which extends the embedding of \(C\subseteq T\).
- However, the original literature only provides an outline of the proof and lacks detailed steps.
3. **Main Objectives of the Paper**
- Provide a complete proof of the above - mentioned theorem, ensuring that all details are strictly mathematically verified.
- The paper particularly emphasizes the importance of the non - negativity condition. This condition is not only necessary for constructing the realization functor, but also \(C\) must satisfy this condition when the realization functor is surjective.
### Theorem Statement
The core result of the paper is the following theorem:
\[
\text{Theorem 1.1:} \quad \text{Let } T \text{ be an algebraic triangulated category, } C \text{ be an extension - closed subcategory, and satisfy } \text{Hom}_T(C,\Sigma^{-n}C) = 0 \text{ for all } n\geq1. \text{ Then } C \text{ has an exact structure induced by the triangulated structure of } T \text{, and there exists a realization functor.}
\]
### Solution Methods
To prove this theorem, the paper takes the following steps:
1. **Introduce the Weak Realization Functor**
- Construct a weak realization functor \(F: K^b(C)\to T\), which is a triangulated functor from the bounded homotopy category to \(T\).
2. **Utilize Frobenius Categories**
- Use the Frobenius category \(E\) and its ideal quotient category \(E /\mathcal{P}\), where \(\mathcal{P}\) is the full subcategory of projective - injective objects.
- Through a series of lemmas and propositions, prove the existence and properties of the weak realization functor.
3. **Verify the Properties of the Realization Functor**
- Through induction and techniques of chain complexes, verify the fullness and faithfulness of the realization functor.
### Conclusion
Through strict mathematical reasoning and detailed construction, the paper successfully fills the proof gap regarding the existence of the realization functor in the existing literature. This provides an important tool for the study of algebraic triangulated categories, especially having important significance in classifying exact subcategories and their derived equivalences.
If you have more specific questions or need further explanation, please feel free to let us know!