Related papers: Verdier hypercovering theorem for motivic spectra
Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…
This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of…
We define the motivic filtrations on real topological Hochschild homology and its companions. In particular, we prove that real topological cyclic homology admits a natural complete filtration whose graded pieces are equivariant suspensions…
We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincar\'e duality and the hard Lefschetz theorem. As…
For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ we establish the $SH^{S^1}(k)$-functoriality of coniveau spectral sequences for $H$. We also prove:…
We investigate the relation between the Hodge theory of a smooth subcanonical $n$-dimensional projective variety $X$ and the deformation theory of the affine cone $A_X$ over $X$. We start by identifying $H^{n-1,1}_{\mathrm{prim}}(X)$ as a…
We give a quick proof of the fact that the relative de Rham cohomogy groups of a smooth and proper map X/S between schemes over Q are vector bundles on the base, replacing Hodge-theoretic and transcendental methods with A1-homotopy theory
In this paper we construct new derived invariants with integral coefficients using the theory of motifs, and give several applications. Specifically, we obtain the following results: For complex algebraic surfaces, we prove that certain…
Given a complex algebraic variety X, we define a natural number called the motivic dimension which measures the amount of transcendental (co)homology of X. It is zero precisely when all the (co)homolgy is spanned by algebraic cycles. Most…
For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…
The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural…
We prove the decomposition theorem for Hodge modules with integral structure along proper K\"ahler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of…
We develop a motivic cohomology theory, representable in the Voevodsky's triangulated category of motives, for smooth separated Deligne-Mumford stacks and show that the resulting higher Chow groups are canonically isomorphic to the higher…
We show that the etale cohomology (with compact supports) of an algebraic variety $X$ over an algebraically closed field has the canonical weight filtration $W$, and prove that the middle weight part of the cohomology with compact supports…
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are…
We investigate the cohomology of the Milnor fibre of a reflection arrangement as a module for the group $\Gamma$ generated by the reflections, together with the cyclic monodromy. Although we succeed completely only for unitary reflection…
We construct the stable (representable) homotopy category of finite orbispectra, whose objects are formal desuspensions of finite orbi-CW-pairs by vector bundles and whose morphisms are stable homotopy classes of (representable) relative…
We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring N_*(X) of a topological space X. This homology theory Eh_* has coefficients Z/2 in every nonnegative…
With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that…
We explicitly describe cycle-class maps c_H from motivic cohomology to absolute Hodge cohomology, for smooth quasi-projective and (some) proper singular varieties, and compute special cases of the latter. For smooth projective varieties, we…