Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userMotivically functorial coniveau spectral sequences; direct summands of cohomology of function fields
499
0
0.0
(
0
)
Authors
M.V. Bondarko
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvector fields T^{poly}_X on X, and is generated as a T^{poly}_X-algebra by the sum of the determinants det(N_{X^g}) of the normal bundles of the fixed loci in X. We employ our understanding of Hochschild cohomology to conclude that the analog of Kontsevichs formality theorem, for the cup product, does not hold for Deligne--Mumford stacks in general. We discuss relationships with orbifold cohomology, extending Ruans cohomological conjectures. This employs a trivialization of the determinants in the case of a symplectic group action on a symplectic variety X, which requires (for the cup product) a nontrivial normalization missing in previous literature.
Operadic tangent cohomology generalizes the existing theories of Harrison cohomology, Chevalley--Eilenberg cohomology and Hochschild cohomology. These are usually non-trivial to compute. We complement the existing computational techniques by producing a spectral sequence that converges to the operadic tangent cohomology of a fixed algebra. Our main technical tool is that of filtrations arising from towers of cofibrations of algebras, which play the same role cell attaching maps and skeletal filtrations do for topological spaces. As an application, we consider the rational Adams--Hilton construction on topological spaces, where our spectral sequence gives rise to a seemingly new and completely algebraic description of the Serre spectral sequence, which we also show is multiplicative and converges to the Chas--Sullivan loop product. Finally, we consider relative Sullivan--de Rham models of a fibration $p$, where our spectral sequence converges to the rational homotopy groups of the identity component of the space of self-fiber homotopy equivalences of $p$.
We use the Beilinson $t$-structure on filtered complexes and the Hochschild-Kostant-Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme $X$ with graded pieces given by the Hodge-completion of the derived de Rham cohomology of $X$. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt-Morrow-Scholze for $p$-complete negative cyclic and periodic cyclic homology in the quasisyntomic case.
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 prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
