Isomotives of dimension less than or equal to one (Q706167)

Many long-standing conjectures, both in algebraic geometry and in number theory (Grothen\-dieck's standard conjectures, Beilinson's conjectures) are related to the existence of an abelian category of mixed motives. After Voevodsky's construction of a triangulated category \(\text{DM}_{\text{gm}}^{\text{eff}}(k,\mathbb{Q})\) of motives (with \(\mathbb{Q}\) coefficients) over a field \(k\) a natural question to ask is the following: Does \(\text{DM}_{\text{gm}}^{\text{eff}}(k,\mathbb{Q})\) admit a non-degenerated \(t\)-structure such that its heart can be considered as the abelian category of mixed motives? The question is, in general, widely open. However, according to \textit{V. Voevodsky} [in: Cycles, transfers, and motivic homology theories. Ann. Math Stud. 143, 188--238 (2000; Zbl 1019.14009)] the full subcategory \(d_1\text{DM}_{\text{gm}}^{\text{eff}} (k,\mathbb{Q})\), generated by the motives \([X]\), where \(X\) is a smooth algebraic \(k\)-scheme of dimension \(\leq 1\), should be equivalent to the derived category of Deligne's 1-motives. The author gives a complete proof of this result. More precisely: let \(1-\text{isomot}(k)\) be the abelian category of Deligne's 1-motives, tensored with \(\mathbb{Q}\), over a perfect field \(k\). Then there exists a fully faithful functor: \[ D^b(1-\text{isomot}(k))\to \text{DM}_{\text{gm}}^{\text{eff}}(k,\mathbb{Q}) \] which induces an equivalence between \(D^b(1-\text{isomot}(k))\) and \(d_1\text{DM}_{\text{gm}}^{\text{eff}}(k,\mathbb{Q})\). The triangulated category \(d_1\text{DM}_{\text{gm}}^{\text{eff}}(k),\mathbb{Q})\) admits a non-degenerated \(t\)-structure whose heart is \(1-\text{isomot}(k)\). The Cartier duality between Deligne's 1-motives corresponds to the duality defined in \(\text{DM}_{\text{gm}}^{\text{eff}}(k,\mathbb{Q})\) by the functor \(\underline{\Hom}(-,\mathbb{Q}(1) [2])\). An analogous result holds for the motives of 0-dimensional schemes: the derived category of Artin's motives (with \(\mathbb{Q}\) coefficients) is canonically equivalent to \(d_0\text{DM}_{\text{gm}}^{\text{eff}}(k,\mathbb{Q})\).