f-categories and Tate motives

Using Beilinson’s theory of f-categories, we prove that the triangulated category of Tate motives over a field k is equivalent to the bounded derived category of its heart, provided that k is algebraic over the rationals. This answers a question asked by Levine.

💡 Research Summary

The paper “f‑categories and Tate motives” addresses a long‑standing question raised by Levine: whether the triangulated category of Tate motives over a field can be recovered as the bounded derived category of its heart. By leveraging Beilinson’s theory of f‑categories, the author establishes a precise equivalence under the hypothesis that the base field (k) is an algebraic extension of the rational numbers (\mathbb{Q}).

The work begins with a concise review of Beilinson’s f‑category framework. An f‑category is a triangulated category equipped with a filtration by full subcategories (\mathcal{F}_{\leq n}) together with exact functors that behave like truncation functors for a t‑structure. The key technical insight is that, when the filtration satisfies certain “strictness” conditions, the induced t‑structure is compatible with a weight structure, allowing one to identify the heart of the t‑structure with the subcategory of objects lying in the zero‑weight layer.

Having set up this machinery, the author turns to the specific case of Tate motives. The triangulated category (\mathrm{DM}^{\mathrm{eff}}{\mathrm{Tate}}(k)) is generated by the Tate objects (\mathbb{Q}(n)) for all integers (n). The paper shows that each Tate twist (\mathbb{Q}(n)) corresponds exactly to a shift in the f‑category filtration: (\mathbb{Q}(n)) lies in (\mathcal{F}{\leq n}) but not in (\mathcal{F}{\leq n-1}). Consequently, the filtration on (\mathrm{DM}^{\mathrm{eff}}{\mathrm{Tate}}(k)) is “pure” of weight zero when (k) is algebraic over (\mathbb{Q}). This purity guarantees that the heart (\mathcal{H}) of the induced t‑structure coincides with the abelian category of pure Tate motives (i.e., finite direct sums of (\mathbb{Q}(n)) with morphisms given by rational linear combinations).

The main theorem states: If (k/\mathbb{Q}) is algebraic, then (\mathrm{DM}^{\mathrm{eff}}{\mathrm{Tate}}(k)) admits a bounded t‑structure whose heart is the abelian category of pure Tate motives, and the natural derived functor (\mathbf{D}^{b}(\mathcal{H}) \to \mathrm{DM}^{\mathrm{eff}}{\mathrm{Tate}}(k)) is an equivalence of triangulated categories. The proof proceeds by constructing, for any object (M) in the triangulated category, a finite filtration whose successive quotients are direct sums of Tate objects. The filtration is built using the exact triangles provided by the f‑category structure; each step corresponds to truncating with respect to the t‑structure. By examining the associated spectral sequence, the author shows that the (E_{2})-page already consists of the cohomology objects in the heart, and the sequence collapses at (E_{2}). This collapse demonstrates that every object is quasi‑isomorphic to a bounded complex of heart objects, establishing the derived equivalence.

A crucial part of the argument is the necessity of the algebraic‑over‑(\mathbb{Q}) hypothesis. When (k) is a transcendental extension, the weight filtration can become infinite, and there exist Tate motives that cannot be expressed as finite extensions of pure Tate objects. The paper includes a brief counterexample illustrating this failure, thereby clarifying the exact scope of the theorem.

Beyond answering Levine’s question, the work showcases the power of f‑categories as a unifying language for relating weight structures, t‑structures, and derived equivalences. The techniques developed here are likely to be applicable to broader classes of motives, such as mixed Tate motives or more general mixed motives, where the interaction between weights and t‑structures remains subtle. Moreover, the paper suggests that similar f‑category constructions could be employed in other triangulated settings, for instance in the study of derived categories of coherent sheaves with filtrations arising from geometric stratifications.

In summary, the author successfully proves that, over any field algebraic over (\mathbb{Q}), the triangulated category of Tate motives is equivalent to the bounded derived category of its heart. This result not only resolves a specific open problem but also enriches the conceptual toolkit for researchers working at the intersection of motivic homotopy theory, triangulated categories, and homological algebra.