Related papers: T-motives
We construct the motivic t-structure on 1-motives with integral coefficients over a scheme of characteristic zero or a Dedekind scheme. When we invert the residue characteristic exponents of the base, this t-structure induces a t-structure…
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite…
A category N of labeled (oriented) trivalent graphs (nets) or ribbon graphs is extended by new generators called fusing, braiding, twist and switch with relations which can be called Moore--Seiberg relations. A functor to N is constructed…
Let $\CC$ be a Hom-finite triangulated 2-Calabi-Yau category with a cluster-tilting object $T$. Under a constructibility condition we prove the existence of a set $\mathcal G^T(\CC)$ of generic values of the cluster character associated to…
We study liftings of abelian model structures to categories of chain complexes and construct a realization functor from the derived category of a Grothendieck abelian category equipped with a cofibrantly generated, hereditary abelian model…
Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also…
We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…
In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., $t$-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases…
Let $k$ be a field of characteristic zero with a fixed embedding $\sigma:k\hookrightarrow \mathbb{C}$ into the field of complex numbers. Given a $k$-variety $X$, we use the triangulated category of \'etale motives with rational coefficients…
We construct a comparison functor from the dual category of motivic homotopy category $\mathcal{SH}$ to the category of $\mathbb{A}^1$-invariant localizing motives $\operatorname{Mot}_{\operatorname{loc}}^{\mathbb{A}^1}$ in the sense of…
We give a classification theorem for a relevant class of $t$-structures in triangulated categories, which includes in the case of the derived category of a Grothendieck category, the $t$-structures whose hearts have at most $n$ fixed…
We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely…
This is a survey on Anderson t-motives -- high-dimensional generalizations of Drinfeld modules. They are the functional field analogs of abelian varieties with multiplication by an imaginary quadratic field. We describe their lattices,…
We construct a 'triangulated analogue' of coniveau spectral sequences: the motif of a variety over a countable field is 'decomposed' (in the sense of Postnikov towers) into the twisted (co)motives of its points; this is generalized to…
The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…
We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form of the etale cohomology of complex algebraic varieties, up…
We show that if a (not necessarily algebraic) triangulated category T contains an admissible hereditary abelian subcategory H, then we can lift the inclusion of H into T to a fully faithful triangle functor from the whole of the bounded…