No Arabic abstract
A cohomology class of a smooth complex variety of dimension $n$ has coniveau $geq c$ if it vanishes in the complement of a closed subvariety of codimension $geq c$, and has strong coniveau $geq c$ if it comes by proper pushforward from the cohomology of a smooth variety of dimension $leq n-c$. We show that these two notions differ in general, both for integral classes on smooth projective varieties and for rational classes on smooth open varieties.
We construct and study a scheme theoretical version of the Tits vectorial building, relate it to filtrations on fiber functors, and use them to clarify various constructions pertaining to Bruhat-Tits buildings, for which we also provide a Tannakian description.
We define and study Harder-Narasimhan filtrations on Breuil-Kisin-Fargues modules and related objects relevant to p-adic Hodge theory.
We construct a triangulated analogue of coniveau spectral sequences: the motif of a variety over a countable field is decomposed (in the sense of Postnikov towers) into the twisted (co)motives of its points; this is generalized to arbitrary Voevodskys motives. To this end we construct a Gersten weight structure for a certain triangulated category of comotives: the latter is defined to contain comotives for all projective limits of smooth varieties; the definition of a weight structure was introduced in a preceding paper. The corresponding weight spectral sequences are essentially coniveau one; they are $DM^{eff}_{gm}$-functorial (starting from $E_2$) and can be computed in terms of the homotopy $t$-structure for the category $DM^-_{eff}$ (similarly to the case of smooth varieties). This extends to motives the seminal coniveau spectral sequence computations of Bloch and Ogus. We also obtain that the cohomology of a smooth semi-local scheme is a direct summand of the cohomology of its generic fibre; cohomology of function fields contain twisted cohomology of their residue fields (for all geometric valuations). We also develop further the general theory of weight structures for triangulated categories (independently from the motivic part of the paper). Besides, we develop a certain theory of nice pairings of triangulated categories; this subject seems to be new.
We define and study new filtrations called of stratification of a perverse sheaf on a scheme; beside the cases of the weight or monodromy filtrations, these filtrations are available whatever are the ring of coefficients. We illustrate these constructions in the geometric situation of the simple unitary Shimura varieties of Harris and Taylors book for the perverse sheaves of Harris-Taylor and the complex of vanishing cycles, introduced and studied in my 2009 paper at inventiones. In the situation studied in loc. cit., we show how to use these filtrations to simplify the principal step of this paper; the cases of finite field or ring of integer of a local field will be studied in the next published paper.
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.