Examples of non-algebraic classes in the Brown-Peterson tower (Q2272942)

In this paper, the author generalizes the Atiyah-Hirzebruch approach to the study of the image of the cycle class map \( \mathrm{cl} : \mathrm{CH}^*(X) \rightarrow H^{2*} (X(\mathbb{C}) ; \mathbb{Z}) \) for \(X\) a smooth complex projective algebraic variety, to higher chromatic height, working \(p\)-locally at a fixed prime \(p\). This is topological, based on the behaviour of the generalized cohomology of \(X(\mathbb{C})\). The starting point is the interpretation of \(\mathrm{cl}\) in terms of the topological realization map \[ H^{2*, *}_{\mathcal{M}} (X; \mathbb{Z}) \rightarrow H^{2*} (X(\mathbb{C}); \mathbb{Z}) \] from the motivic cohomology of a smooth complex variety \(X\) to the singular cohomology of its complex points. Working \(p\)-locally, recall that the Brown-Peterson spectrum \(BP\) has an associated tower of spectra \(BP\langle n \rangle\), \(-1 \leq n \in \mathbb{Z}\), where \(BP \langle n \rangle _* = \mathbb{Z}_{(p)}[v_1, \ldots , v_n]\) (\(\mathbb{F}_p\) for \(n=-1\)). These spectra have motivic counterparts, leading to the generalization: \[ \mathrm{cl}_n : BP\langle n \rangle ^{2*, *}_{\mathcal{M}} (X) \rightarrow BP\langle n \rangle ^{2*} (X(\mathbb{C})); \] for example, for \(n=-1\) this corresponds to the cycle class map with \(\mathbb{F}_p\)-coefficients. The main result asserts that, for every natural number \(n\), there exists a smooth complex projective variety \(X\) and a class \(b_n \in BP\langle n \rangle ^{2 w(n)+2} (X(\mathbb{C}))\) that is {\em non-algebraic} (i.e., not in the image of \(\mathrm{cl}_n\)), where \(w(n)=\frac{p^{n+1}-1}{p-1}\). Moroever, \(b_n\) maps to a torsion class in \(H ^{2 w(n)+2} (X(\mathbb{C}) ; \mathbb{Z}_{(p)})\). The proof is based on the understanding of the cohomology of elementary abelian \(p\)-groups for the spectra of the \(BP\)-tower. For fixed \(n\), the author constructs cohomology classes for the classifying space \(B (\mathbb{Z}/p)^{n+3}\) which lead to the classes \(b_n\), where the smooth projective variety \(X\) is a Godeaux-Serre variety of complex dimension \(k\) (for sufficiently large \(k\)) that is equipped with a continuous map \( X(\mathbb{C}) \rightarrow B (\mathbb{Z}/p)^{n+3} \times K (\mathbb{Z},2)\) which is \(k\)-connected. The fact that the classes are non-algebraic follows from the construction of the classes in the cohomology of \(B (\mathbb{Z}/p)^{n+3}\) by considering the action of Milnor operations. The arguments are related to those employed by [\textit{A. Pirutka} and \textit{N. Yagita}, Doc. Math. Extra Vol. 501--511 (2015; Zbl 1349.14024)], for example.