Arithmetic mixed sheaves (Q5944899)

We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the non-vanishing of certain higher extension groups, and also the non-triviality of the second Abel-Jacobi map for zero cycles on a smooth proper complex variety of any dimension under the existence of a nontrivial global two-form. For codimension two cycles, the injectivity of the cycle map is reduced to that of the Abel-Jacobi map for smooth projective varieties over number fields. [This shows that Asakura's additional hypothesis is unnecessary; see \textit{M. Asakura} in: The arithmetic and geometry of algebraic cycles, Proc. CRM Summer School, Banft, Alberta 1998, CRM Proc. Lect. Notes 24, 133-154 (2000; Zbl 0966.14014)]. Here we can use also the systems of realizations in the definition of the cycle map and the Abel-Jacobi map. Some arguments can be extended to higher Chow groups, and we get evidence for a conjecture of C. Voisin on the countability of indecomposable higher cycles.