No label defined (Q4953646)

According to a well-known conjecture of \textit{S. Bloch} [Adv. Math. 61, 267-304 (1986; Zbl 0608.14004)], the higher Chow groups CH\(^r(X,m)\) (tensored with \({\mathbb Q})\) of a nonsingular projective variety of dimension \(r\) over \({\mathbb C}\) admit a certain filtration \(F_{\mathcal M}\) such that \[ {\text{Gr}}^\nu_{F_{\mathcal M}}\cong {\text{Ext}}^\nu_{\mathcal M}({\mathbb Q}(0),H^{2r-m-\nu}(X)(r)), \] where \({\mathcal M}\) is the category of mixed motives over \({\mathbb C}\) and \({\mathbb Q}(0)\) is the trivial motive. There is an exact faithful functor from \({\mathcal M}\) to the category \(\text{MHS}\) of mixed Hodge structures which induces the corresponding map \({\text{Ext}}^\nu_{\mathcal M}({\mathbb Q}(0),H^{2r-m-\nu}(X)(r))\to {\text{Ext}}^\nu_{\text{MHS}}({\mathbb Q}(0),H^{2r-m-\nu}(X)(r))\). It is known that the right-hand-side groups vanish for \(\nu > 1\), and so cannot catch the structure of the motivic filtration \(F_{\mathcal M}^i\) for \(i \geq 2\). In this paper the author substitutes the category \(\text{MHS}\) with a new abelian category \(\underline{M}({\mathbb C})\) of arithmetic Hodge structures which comes with a realization functor \(\underline{M}({\mathbb C})\to \text{MHS}(X)\). He also defines a filtration \(F^{\bullet}\) on CH\(^r(X,m)\) and natural maps \(\rho_X^\nu:{\text{Gr}}^\nu_{F} \to{\text{Ext}}^\nu_{\underline{M}({\mathbb C})}({\mathbb Q}(0),H^{2r-m-\nu}(X)(r))\) which are, in general, not zero for \(\nu \geq 2\). If \(F^{r+1}\text{CH}^r(X,m)\) were equal to zero, the filtration \(F^\bullet\) would coincide with the conjectural motivic filtration \(F_{\mathcal M}\). For example, \(F^2\text{CH}^r(X)\) coincides with the kernel of the Albanese map as it is expected from \(F_{\mathcal M}\). The category \(\underline{M}({\mathbb C})\) is defined as the projective limit of the categories of mixed Hodge modules \(\text{MHM}(X_S)\) of \textit{M. Saito} [Publ. Res. Inst. Math. Sci. 24, 849-995 (1988; Zbl 0691.14007)], where \(X_S\) is a model of \(X\) over an irreducible nonsingular variety \(S\) over \(\overline {\mathbb Q}\), i.e. \(X\cong X_S\times_S{\text{Spec }}{\mathbb C}\), where \({\text{Spec }}{\mathbb C}\to S\) factors through the generic point of \(S\). For the entire collection see [Zbl 0935.00034].