We generalize the construction of the category of 1-motives with torsion ${}^tM_1$ (introduced by Barbieri-Viale, Rosenschon and Saito) as well as the construction of the category of 1-motivic sheaves ${\rm Shv}_1$ (defined by Barbieri-Viale and Kahn) to perfect fields $k$ (without inverting the exponential characteristic). For $k$ transcendental over the prime field we extend a result of Barbieri-Viale and Kahn, showing that ${}^tM$ and ${\rm Shv}_1$ have equivalent bounded derived categories.
We study the moduli space of rank 0 semistable sheaves on some rational surfaces. We show the irreducibility and stable rationality of them under some conditions. We also compute several (virtual) Betti numbers of those moduli spaces by computing their motivic measures.
We extend the construction of the category of 1-motivic sheaves (introduced by Barbieri-Viale and Kahn) allowing quotients of connected algebraic k-groups by formal k-groups. We show that its bounded derived category is equivalent to the bounded derived category of the category of generalized 1-motives with torsion introduced in a previous paper by Barbieri-Viale and the author.
We introduce n-generated sheaves and n-motivic sheaves, describing completely for n = 0, 1 and proposing a conjecture for n > 1. We then obtain functors Lπ_0 and LAlb on DM_{eff}(k) deriving π_0 and Alb. The functor LAlb extends the one constructed (by the second author jointly with B.Kahn) to non-necessarily geometric motives. These functors are then used to define higher Néron-Severi groups and higher Albanese sheaves. The latter may be considered as an algebraic avatar of Deligne (co)homology.
Let $\mathcal{M}(d,χ)$ be the moduli stack of stable sheaves of rank 0, Euler characteristic $χ$ and first Chern class $dH~(d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We compute the $A$-valued motivic measure $μ_A(\mathcal{M}(d,χ))$ of $\mathcal{M}(d,χ)$ and get explicit formula in codimension $D:=ρ_d-1$, where $ρ_d$ is $d-1$ for $d=p$ or $2p$ with $p$ prime, and $7$ otherwise. As a corollary, we get the last $2(D+1)$ Betti numbers of the moduli scheme $M(d,χ)$ when $d$ is coprime to $χ$.
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show …
The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor into the category of variations of mixed Hodge structures. Conversely, all basic geometric examples of the latter come from this motivic category.
The goal of this paper is to prove: if certain 'standard' conjectures on motives over algebraically closed fields hold, then over any 'reasonable' $S$ there exists a motivic $t$-structure for the category of Voevodsky's $S$-motives (as constructed by Cisinski and Deglise). If $S$ is 'very reasonable' (for example, of finite type over a field) then the heart of this $t$-structure (the category of mixed motivic sheaves over $S$) is endowed with a weight filtration with semi-simple factors. We also prove a certain 'motivic decomposition theorem' (assuming the conjectures mentioned) and characteri…
In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under inverse and direct images for projective and constant maps. The goal of this paper is to give a simpler definition of (a slight modification of) the category, and to give an easier proof of the direct image theorem. This paper relies on the previous article for some technical results, but is otherwise self contained.
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 reduced stratified Tate motives satisfy favorable properties including weight and t-structures. We also prove that reduced motives on cellular (ind-)schemes unify various approaches to mixed sheaves in representation theory, such as Soergel-Wendt's semisimplified Hodge motives, Achar-Riche's complexes of parity sheaves, as well as Ho-Li's recent category of…
We introduce the notion of a quasi DG category, generalizing that of a DG category. To a quasi DG category satisfying certain additional conditions, we associate another quasi DG category, the quasi DG category of $C$-diagrams. We then show the homotopy category of the quasi DG category of $C$-diagrams has the structure of a triangulated category. This procedure is then applied to produce a triangulated category of mixed motives over a base variety.
These are the notes accompanying three lectures given by the second author at the Motivic Geometry program at CAS, which aim to give an introduction and an overview of some recent developments in the field of reciprocity sheaves.
We prove the motivic version of the DT/PT-correspondence in \cite{PT} and the motivic flop formula of the curve counting invariants in the derived category of smooth Calabi-Yau threefold DM stacks. The main method we use is Bridgeland's Hall algebra identities and the motivic integration map of Bridgeland and Joyce from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold DM stack $Y$ to the motivic quantum torus, which is a Poisson algebra homomorphism.
We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined via Bloch's cycle complexes. Our method is by gluing p-completed and rational parts along an arithmetic square. Hereby the finite coefficient spectra are obtained by truncated étale sheaves (relying on the now proven Bloch-Kato conjecture) and a variant of Geisser's version of syntomic cohomology, and the rational spectra are the ones which represent Beilinson motivic cohomology. As an application…
This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible Sheaves (as it is referred to in the Riemann-Hilbert correspondence) coincides with the derived category of bounded complexes of constructible sheaves. It is also shown that higher direct images and the sheaf-Ext groups are effaceable in the category of constructible sheaves.
We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite étale groups. This new characterization is used to define characteristic forms for reciprocity sheaves. We obtain applications on pseudo-rational singularities and on questions regarding the representability of certain cohomology groups of reciprocity sheaves in the triangulated category of motives with modulus introduced by Kahn-Miyazaki-Saito-Yamazaki.
We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized étale fundamental group of $X$, then…
We propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X. Among the objects of F_X^m, in addition to the Tate motives Z/m(j), there are the cohomological relative motives with compact support M_cc^m(Y/X) of varieties Y quasi-finite over X. Exact functors of inverse image with respect to morphisms of algebraic varieties and direct image with compact supports with respect to quasi-finite morphisms of varieties Y\to …
The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations, reciprocity sheaves and cube-invariant sheaves in the context of theory of modulus (pre)sheave with transfers. The main results of this paper is expected to play a crucial role in deducing the main properties of the triangulated category of motives with modulus, which is a new triangulated category enlarging Voevodsky's triangulated category of motives to enco…
The category of finite Milnor-Witt correspondences, introduced by Calmès and Fasel, provides a new type of correspondences closer to the motivic homotopy theoretic framework than Suslin-Voevodsky's correspondences. A fundamental result of the theory of ordinary correspondences concerns homotopy invariance of sheaves with transfers, and in the present paper we address this question in the setting of Milnor-Witt correspondences. Employing techniques due to Druzhinin, Fasel-Østvær and Garkusha-Panin, we show that homotopy invariance of presheaves with Milnor-Witt transfers is preserved under Nisn…
Morel's stable connectivity theorems state that for any connective $S^1$-spectrum $F$ of motivic spaces (Nisnevich simplicial sheaves) over an arbitrary field, the spectrum $L_{\mathbb A^1}(F)$ is connective, and the same property for $\mathbb P^1$-spectra of motivic spaces. Here $L_{\mathbb A^1}$ denotes the $\mathbb A^1$-localisation in the category of motivic spectra over a field $k$. Originally the same property was conjectured for the case of motivic $S^1$-spectra over a base scheme $S$.In view of Ayoub's conterexamples the modified version of conjecture states that $L_{\mathbb A^1}(F)$ i…
The motivic homotopy categories can be defined with respect to different topologies and different underlying categories of schemes. For a number of reasons (mainly because of the Gluing Theorem) the motivic homotopy category built out of smooth schemes with respect to the Nisnevich topology plays a distinguished role but in some cases it is very desirable to be able to work with all schemes instead of the smooth ones. In this paper we prove that, under the resolution of singularities assumption, the unstable motivic homotopy category of all schemes over a field with respect to the cdh-topology…
The paper provides computations of the first non-vanishing $\mathbb{A}^1$-homotopy sheaves of the orthogonal Stiefel varieties which are relevant for the unstable isometry classification of quadratic forms over smooth affine schemes over perfect fields of characteristic $\neq 2$. Together with the $\mathbb{A}^1$-representability for quadratic forms, this provides the first obstructions for rationally trivial quadratic forms to split off a hyperbolic plane. For even-rank quadratic forms, this first obstruction is a refinement of the Euler class of Edidin and Graham. A couple of consequences are…
We show that Grothendieck's standard conjectures are implied by either of two other motivic conjectures: (a) by that of the existence of the motivic t-structure, and (b) by (a weak form of) Suslin's Lawson homology conjecture.
The purpose of this short note is to give a remark on the decomposition theorem for direct images of canonical sheaves tensorized with Nakano semipositive vector bundles. Although our result is a direct consequence of Takegoshi's work, it was not stated explicitly in his article. Here we give the precise statement and the proof.
We formulate a notion of "punctual gluing" of $t$-structures and weight structures. As our main application we show that the relative version of Ayoub's $1$-motivic $t$-structure restricts to compact motives. We also demonstrate the utility of punctual gluing by recovering several constructions in literature. In particular we construct the weight structure on the category of motivic sheaves over any base $X$ and we also construct the relative Artin motive and the relative Picard motive of any variety $Y/X$.
Let $U$ be a smooth scheme over an algebraically closed field $\mathbb K$ of characteristic zero and $f:U\to{\mathbb A}^1$ a regular function, and write $X=$Crit$(f)$, as a closed subscheme of $U$. The motivic vanishing cycle $MF_{U,f}^ϕ$ is an element of the $\hatμ$-equivariant motivic Grothendieck ring ${\mathcal M}^{\hatμ}_X$ defined by Denef and Loeser math.AG/0006050 and Looijenga math.AG/0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) $MF_{U,f}^ϕ$ depends only on the third-order thickenings $…
It is shown that for a perverse sheaf $K$ on an abelian variety $X$ the integers $i$ for which the cohomology $H^i(X,K)$ does not vanish define an interval in the number line (under certain conditions on the field of definition of $K$)
In this paper we study the connection between rigid sheaves and separable-exceptional objects on Fano varieties over arbitrary fields. We give criteria for a rigid vector bundle on a Fano variety to be the direct sum of separable-exceptional bundles and for a separable-exceptional vector bundle to be part of a full separable-exceptional collection.
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived categories of coherent sheaves on flag varieties of classical type are generated by complete exceptional collections. Finally, we find complete exceptional collections in the derived categories of some homogeneous spaces of the symplectic groups of small rank.
The term "motivic Moore spectrum" refers to a cone of an element in the motivic stable homotopy groups of spheres. This article discusses some properties of motivic Moore spectra, among them the question whether the ring structure on the motivic sphere spectrum descends to a ring structure on a motivic Moore spectrum. This discussion requires an understanding of some Toda brackets in the motivic stable homotopy groups of spheres.
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta functions of smooth projective varieties over finite fields, implies the derived invariance of the Hodge diamond of complex algebraic varieties.
The main goal of this paper is to define the so-called Chow weight structure for the category of Beilinson motives over any 'reasonable' base scheme $S$ (this is the version of Voevodsky's motives over $S$ defined by Cisinski and Deglise). We also study the functoriality properties of the Chow weight structure (they are very similar to the well-known functoriality of weights for mixed complexes of sheaves). As shown in a preceding paper, the Chow weight structure automatically yields an exact conservative weight complex functor (with values in $K^b(Chow(S))$). Here $Chow(S)$ is the heart of th…
We show that a bound of the Castelnuovo-Mumford regularity of any power of the ideal sheaf of a smooth projective complex variety $X\subseteq\mathbb{P}^r$ is sharp exactly for complete intersections, provided the variety $X$ is cut out scheme-theoretically by several hypersurfaces in $\mathbb{P}^r$. This generalizes a result of Bertram-Ein-Lazarsfeld.
This paper has been withdrawn by the author due to a crucial error in the proofs. The error has been corrected and the paper has been expanded in arXiv:0910.5327
In this note we prove the geometrical origin of pairings of abelian schemes. According to Deligne's philosophy of motives, this means that these pairings are motivic. We make also explicit the link between pairings and linear morphisms. We give a geometrical explanation of the main properties of the Weil pairings and of the Riemann forms of line bundles. We generalize our remarks to pairings of 1-motives.
The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of $S^1$-spectra and the major computational tool of [GP1]. The aim of this paper is to show the following result which is essential in proving the main theorem of [GP1]: given an infinite perfect base field $k$, any $k$-smooth scheme $X$ and any $n\geq 1$, the map of simplicial pointed Nisnevich sheaves $(-,\mathbb{A}^1//\mathbb G_m)^{\wedge n}_+\to T^n$ induces a Nisne…
To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic spectra based on $E$ is in a precise sense a deformation of the $\infty$-category of spectra into quasi-coherent sheaves over a certain algebraic stack, and show that this deformation encodes the $E$-based Adams spectral sequence. We describe a symmetric monoidal functor from cellular motivic spectra over the complex numbers into an even variant of synthetic spect…
We give a description of the tensor product of SC-reciprocity presheaves with transfers in terms of $K$-group of geometric type, and we study a structure of the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_a$. We apply our description to give a description of Chow group of 0-cycles with modulus of products of curves. We also show that the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_m$ is isomorphic to the sheaf $Ω^1$ of Kähler differential forms as reciprocity sheaves over characteristic zero.
Ananyevsky has recently computed the stable operations and cooperations of rational Witt theory. These computations enable us to show a motivic analog of Serre's finiteness result: Theorem: Let $k$ be a field. Then $π^{\mathbb{A}^1}_ n(\mathbb{S}^- _k )_*$ is torsion for $n > 0$. As an application we define a category of Witt motives over $k$ and show that rationally this category is equivalent to the minus part of $SH(k)_\mathbb{Q}$.
We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom classes. We also show that the stable $\mathbb{A}^1$-derived category does not admit Thom isomorphisms for oriented vector bundles and, more generally, for symplectic bundles. In order to do so we compute the first homology sheaves of the motivic sphere spectrum and show that the class in the coefficient ring of $\mathbb{A}^1$-homology corresponding to the seco…
A construction of braid group actions on coherent sheaves using mixed Hodge modules and some well known constructions from geometric representation theory is given.
This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields, number fields and number rings, we show that the two extant definitions of f-cohomology of mixed motives $M_η$ over F--one via ramification conditions on $\ell$-adic realizations, another one via the K-theory of proper regular models--both agree with motivic cohomology of $η_{!*} M_η[1]$. Here $η_{!*}$ is constructed by a limiting process in terms of intermediate…
