No Arabic abstract
In this short note, we simply collect some known results about representing algebraic cycles by various kind of nice (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational equivalence. We also add a few elementary and easy observations on these representation problems that we were not able to locate in the literature.
We establish the analogue of the Friedlander-Mazur conjecture for Tehs reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety $X$ vanishes in homological degrees larger than the dimension of $X$ in all weights. As an application we obtain a vanishing of homotopy groups of the mod-2 topological groups of averaged cycles and a characterization in a range of indices of the motivic cohomology of a real variety as homotopy groups of the complex of averaged equidimensional cycles. We also establish an equivariant Poincare duality between equivariant Friedlander-Walker real morphic cohomology and dos Santos real Lawson homology. We use this together with an equivariant extension of the mod-2 Beilinson-Lichtenbaum conjecture to compute some real Lawson homology groups in terms of Bredon cohomology.
The Milnor conjecture has been a driving force in the theory of quadratic forms over fields, guiding the development of the theory of cohomological invariants, ushering in the theory of motivic cohomology, and touching on questions ranging from sums of squares to the structure of absolute Galois groups. Here, we survey some recent work on generalizations of the Milnor conjecture to the context of schemes (mostly smooth varieties over fields of characteristic not 2). Surprisingly, a version of the Milnor conjecture fails to hold for certain smooth complete p-adic curves with no rational theta characteristic (this is the work of Parimala, Scharlau, and Sridharan). We explain how these examples fit into the larger context of an unramified Milnor question, offer a new approach to the question, and discuss new results in the case of curves over local fields and surfaces over finite fields.
We demonstrate that a conjecture of Teh which relates the niveau filtration on Borel-Moore homology of real varieties and the images of generalized cycle maps from reduced Lawson homology is false. We show that the niveau filtration on reduced Lawson homology is trivial and construct an explicit class of examples for which Tehs conjecture fails by generalizing a result of Schulting. We compare various cycle maps and in particular we show that the Borel-Haeflinger cycle map naturally factors through the reduced Lawson homology cycle map.
Using techniques from motivic homotopy theory, we prove a conjecture of Anthony Blanc about semi-topological K-theory of dg categories with finite coefficients. Along the way, we show that the connective semi-topological K-theories defined by Friedlander-Walker and by Blanc agree for quasi-projective complex varieties and we study etale descent of topological K-theory of dg categories.
We study links between algebraic cycles on threefolds and finite-dimensionality of their motives with coefficients in Q. We decompose the motive of a non-singular projective threefold X with representable algebraic part of CH_0(X) into Lefschetz motives and the Picard motive of a certain abelian variety, isogenous to the corresponding intermediate Jacobian J^2(X) when the ground field is C. In particular, it implies motivic finite-dimensionality of Fano threefolds over a field. We also prove representability of zero-cycles on several classes of threefolds fibered by surfaces with algebraic H^2. This gives another new examples of three-dimensional varieties whose motives are finite-dimensional.