Duality relating spaces of algebraic cocycles and cycles (Q2565087)

In Ann. Math., II. Ser. 136, No. 2, 361-428 (1992; Zbl 0788.14014), \textit{E. M. Friedlander} and \textit{H. B. Lawson} jun. introduced the notion of an effective algebraic cocycle on an algebraic variety \(X\) with values in a variety \(Y\), and developed a ``bivariant morphic cohomology theory'' based on such objects. The fundamental objects of the theory are simply families of algebraic cycles on \(Y\) parameterized by \(X\). More precisely they are defined as morphisms from \(X\) to the Chow varieties of \(r\)-cycles on \(Y\) and can be represented as cycles on the product \(X\times Y\) which are equidimensional over \(X\). Such cocycles form a topological abelian monoid, denoted \({\mathfrak Mor} (X, {\mathcal C}_r (Y))\), and the morphic cohomology groups are defined to be the homotopy groups of its group completion \({\mathfrak Mor} (X, {\mathcal Z}_r (Y))\). This stands in analogy with (and, in fact, recovers by letting \(X=\) a point) the homology groups introduced and studied by \textit{E. M. Friedlander} [Compos. Math. 77, No. 1, 55-93 (1991; Zbl 0754.14011)] and [\textit{H. B. Lawson jun}; Ann. Math., II. Ser. 129, No. 2, 253-291 (1989; Zbl 0688.14006)] and elsewhere. When \(Y= \mathbb{A}^n\), the theory is of strict cohomology type. It has a natural cup product given by the pointwise join of cycles, and a natural transformation (of ring functors) to \(H^*(X; \mathbb{Z})\). The main point of this paper is to establish a duality theorem between algebraic cycles and algebraic cocycles. The fundamental result (theorem 5.3) states that if \(X\) and \(Y\) are smooth and projective, then the graphing map \({\mathfrak Mor} (X, {\mathcal Z}_r(Y)) \hookrightarrow {\mathcal Z}_{m+r} (X\times Y)\) which sends \(Y\)-valued cocycles on \(X\) to cycles on \(X\times Y\) is a homotopy equivalence. The proof makes use of a new Chow moving lemma for families [\textit{E. M. Friedlander} and \textit{H. B. Lawson}, ``Moving algebraic cycles of bounded degree'' (to appear)]. If \(X\) is a smooth projective variety of dimension \(n\), our duality map induces isomorphisms \(L^sH^k (X) \to L_{n-s} H_{2n-k} (X)\) for \(2s\leq k\) which carry over via natural transformations to the Poincaré duality isomorphism \(H^k(X; \mathbb{Z}) \to H_{2n-k} (X;\mathbb{Z})\). More generally, for smooth projective varieties \(X\) and \(Y\) the natural graphing homomorphism sending algebraic cocycles on \(X\) with values in \(Y\) to algebraic cycles on the product \(X\times Y\) is a weak homotopy equivalence. The main results have a wide variety of applications. Among these are the determination of the homotopy type of certain algebraic mapping complexes and a computation of the group of algebraic \(s\)-cocycles modulo algebraic equivalence on a smooth projective variety.