On the generalized cycle map (Q688607)

The aim of this paper is to study and extend, under the light of geometric measure theory, some properties of the ``Lawson homology'' of quasiprojective varieties. -- The Lawson homology \(L_ p H_ n (X)\) of a closed complex projective variety \(X \subseteq \mathbb{P}^ N\) was first defined by \textit{E. M. Friedlander} [cf. Compos. Math. 77, No. 1, 55-93 (1991; Zbl 0754.14011)], who was building on the fundamental work of \textit{H. B. Lawson jun.} [Ann. Math., II. Ser. 129, No. 2, 253-291 (1989; Zbl 0688.14006)]. The definition was subsequently extended by the author to include quasiprojective varieties. For a closed projective variety \(X\), the Lawson homology group \(L_ p H_ n (X)\), \(n \geq 2p\), was originally defined as the homotopy group \(\pi_{n - 2p} ({\mathcal C}_ p (X)^ +)\), where \({\mathcal C}_ p(X)\) is the Chow monoid of effective \(p\)-cycles supported in \(X\) and \({\mathcal C}_ p(X)^ +\) is a ``homotopy group completion'' of \({\mathcal C}_ p (X)\). When we assert that Lawson homology is functorial, we mean that it is a covariant functor from the category of quasiprojective varieties over \(\mathbb{C}\) to the category of abelian groups. In ``Filtrations on the homology of algebraic varieties'' [Mem. Am. Math. Soc. 529 (1994)], \textit{E. Friedlander} and \textit{B. Mazur} used Lawson's main theorem [of his paper cited above], together with ``ruled join'' constructions to obtain a generalized cycle map \[ s_ X^{(p)} : L_ p H_ n (X) \to H_ n (X;\mathbb{Z}), \tag{*} \] where \(L_ p H_ n(X)\) is Lawson homology of a closed projective variety \(X\) and \(H_ n (X,\mathbb{Z})\) is singular homology. Their construction of \(s_ X^{(p)}\) is algebraic, and depends fundamentally on the projective embedding of \(X\). -- In this paper we give a more geometric and natural interpretation of Friedlander-Mazur's map, and we prove this conjecture and show that the induced map between Lawson homology groups is independent of the projective embedding of the varieties. The paper is organized as follows. In \S2 we establish notation and provide the basic ingredients from geometric measure theory needed throughout the paper. Lawson's main result in his paper cited above will be referred to as the ``complex suspension theorem'': Theorem 1.1. The complex suspension map \(\widetilde{\Sigma} : \widetilde {\mathcal C}_ p (X) \to \widetilde {\mathcal C}_{p + 1} (\widetilde{\Sigma} X)\) is a homotopy equivalence. Here the complex suspension \(\widetilde{\Sigma} V\) of an irreducible subvariety \(V \subseteq \mathbb{P}^ n\) is the ruled join of \(V\) to a point \(p_ \infty \in \mathbb{P}^{n + 1} - \mathbb{P}^ n\), where \(\mathbb{P}^ n\) is embedded linearly into \(\mathbb{P}^{n + 1}\). One extends the suspension linearly to arbitrary cycles. -- In \S3 we discuss ruled (complex) joins of algebraic cycles and show that their definition can be extended to integral currents. We then proceed to relate joints with Thom isomorphisms. Those are key ingredients for our analysis of the cycle map and the main results of \S4. -- In the last section we compute several examples which are contained in a vast class consisting of those varieties \(X\) for which the cycle map \((*)\) is an isomorphism for all \(0 \leq p \leq \dim X\) and \(n \geq 2p\). Examples of these are varieties admitting ``algebraic cellular decompositions'', generalized flag varieties, compact hermitian symmetric spaces and smooth varieties admitting a suitable reductive group action.