A note on morphic cohomology and algebraic cycles (Q2481129)

Let \(L^{q}H^{p}(X)\) denote the morphic cohomology (i.e. the Poincaré dual of the Lawson homology) of a smooth quasi-projective variety \(X.\) One of the forms of Suslin's conjecture [cf. \textit{E. M. Friedlander, C. Haesemeyer, M. E. Walker}, Math. Ann. 330, No. 4, 759--807 (2004; Zbl 1062.19004)] is that the map: \(L^{q}H^{p}(X)\rightarrow H^{p}(X)\) is an isomorphism for \(p\leq q\) and an injection for \(p=q+1.\) The author gives examples in the bidegree \((p,q)\) with \(2q-p=1\) of smooth complex varieties \(X\) such that \(L^{q}H^{p}(X)\) is not a finitely generated abelian group. The precise result is the following: Theorem 1.1. Let \(W\) be a smooth projective three-fold over an algebraically closed subfield \(k \subset \mathbb C, \quad k\neq \mathbb C\) such that \(\mathrm{CH}^{2}(W)/l\) is infinite for some prime \(l.\) Let \(E\) be an elliptic curve whose \(j\)-invariant \(j(E)\) is transcedental over \(k,\) and let \(K\) be the algebraic closure of \(k(j(E)).\) Given \(d\geq 4,\) consider the \(d\)-dimensional \(K\)-variety \(X= {\mathbb P}^{d-4}_k {\times}_k W {\times}_k E_{K}\), and let \(X_{\mathbb C} = X {\times}_{K} {\mathbb C}.\) Then (i) \(\#L^{3}H^{5}(X_{\mathbb C})/l=\infty .\) (ii) If the cycle map \(H^4_{M}(X, {\mathbb Q}/{\mathbb Z}(3))\) is injective, then \noindent \(\dim_{\mathbb Q}L^{3}H^{5}(X_{\mathbb C})\otimes {\mathbb Q}=\infty .\) Using the Atiyah-Hirzebruch type spectral sequence constructed in [loc. cit.] the author derives the following Corollary. For \(X_{\mathbb C}\) as in Theorem 1.1, the semi-topological \(K\)-group \(K_{1}^{sst}(X_{\mathbb C})\otimes {\mathbb Q}\) has infinite dimension.