Cycle map for strictly decomposable cycles (Q4454886)

The authors introduce a class of cycles, called nondegenerate, strictly decomposable cycles, and show that the images of them under the refined cycle map to an extension group in the derived category of arithmetic mixed Hodge structures do not vanish. To give concrete application they discuss the following situation. Let \(X_1\), \(X_2\) be smooth projective varieties over \(\mathbb{C}\), and let \(X= X_1\times X_2\). Let \(X= X_1\times X_2\). Let \(\zeta= \zeta_1\times \zeta_2\in \text{CH}^2(X)_{\mathbb{Q}}\), where \(\zeta_i\in \text{CH}^1(X_i)\) is assumed to be nontorsion and homologically trivial. Then \(\xi\) defines an element in the kernel of the Abel-Jacobi map. The general results provide us in this case with the following: Assume that there exists an algebraically closed subfield \(k\) of \(\mathbb{C}\) such that \(X_1\), \(X_2\) and \(\zeta_1\) are defined over \(k\), but \(\zeta_2\) is not. Then the cycle \(\zeta\) does not vanish in \(\text{CH}^2(X)_{\mathbb{Q}}\).