Derived categories of coherent sheaves and motives

Pure Anderson Motives and Abelian τ-Sheaves

Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In order to construct moduli spaces for pure t-motives the second author has previously introduced the concept of abelian τ-sheaf. In this article we clarify the relation between pure t-motives and abelian τ-sheaves. We obtain an equivalence of the respective quasi-isogeny categories. Furthermore, we develop the elementary theory of both structures regarding morphisms, isogenies, Tate modules, and loca…

Integral mixed motives in equal characteristic

For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many of the expected properties. In particular, the formalism of the six operations holds in this context. When we restrict ourselves to regular schemes, we also prove that these categories of motives are equivalent to the more classical triangulated categories of mixed motives constructed in terms of Nisnevich sheaves with transfers. Such a program is achieved by…

同调t-结构在对数动机中的某些计算

Some computations in the heart of the homotopy t-structure on logarithmic motives

本文提出了一种计算对数动机π₀的方法，并展示了其A¹不变性，同时证明了剥离functor的完全忠实性。

Derived categories of coherent sheaves and motives of K3 surfaces

Let X and Y be smooth complex projective varieties. Orlov conjectured that if X and Y are derived equivalent then their motives M(X) and M(Y) are isomorphic in Voevodsky's triangulated category of geometrical motives with rational coefficients. In this paper we prove the conjecture in the case X is a K3 surface admitting an elliptic fibration (a case that always occurs if the Picard rank of X is at least 5) with finite-dimensional Chow motive. We also relate this result with a conjecture by Huybrechts showing that, for a K3 surface with a symplectic involution, the finite-dimensionality of its…

Weights for relative motives; relation with mixed complexes of sheaves

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…

Uniformizers for elliptic sheaves

In this paper we associate to t-motives with level structures a finite dimensional vector subspace (subspace of uniformizers). We study the particular case of elliptic sheaves finding some relations with some objects from conformal field theory.

Pure Anderson Motives and Abelian Sheaves over Finite Fields

Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In this article we develop their theory regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analog of p-divisible groups. We investigate which pure t-motives are semisimple, that is, isogenous to direct sums of simple ones. We give examples for pure t-motives which are not semisimple. Over finite fields the semisimplicity is equivalent to the semisimplicity of the endomor…

Mixed motivic sheaves (and weights for them) exist if 'ordinary' mixed motives do

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…

Integral Motivic Sheaves And Geometric Representation Theory

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…

Some remarks on phantom categories and motives

A phantom category is an admissible subcategory with vanishing Grothendieck group of the bounded derived category of coherent sheaves on a smooth projective variety. The goal of this paper is to study the abstract situation when such a category appears and establish some results which provide evidence for the idea that these categories are invisible on the level of Chow motives.

Weight structures and motives; comotives, coniveau and Chow-weight spectral sequences, and mixed complexes of sheaves: a survey

This is a survey of author's results on weight structures and Voevodsky's motives. Weight structures are natural counterparts of t-structures (for triangulated categories) introduced by the author. They allow to construct weight complexes, weight filtrations, and weight spectral sequences for various cohomology theories. Partial cases of the latter are: 'classical' weight spectral sequences (for singular and etale cohomology), coniveau spectral sequences, and Atiyah-Hirzebruch spectral sequences. All of those are mentioned in the current paper. The details, proofs, and several more results cou…

Generalized 1-motivic sheaves

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.

Perverse sheaves of categories and some applications

We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal decompositions, and relate them to a recent proof of Segal that all autoequivalences of triangulated categories are spherical twists. Furthermore, we show that perverse sheaves of categories can be used to represent certain degenerate Calabi--Yau varieties.

关于O'Grady六维超Kähler簇的动机

On the motive of O'Grady's six dimensional hyper-Kähler varieties

本文证明了O'Grady类型六维超Kähler簇的动机可由其基底表面的动机生成，并给出了其动机的公式，从而验证了多个OG6型超Kähler簇的Hodge和Tate猜想。

Comparison of the Categories of Motives defined by Voevodsky and Nori

In this thesis we compare V. Voevodsky's geometric motives to the derived category of M. Nori's abelian category of mixed motives by constructing a triangulated tensor functor between them. It will be compatible with the Betti realizations on both sides. We allow an arbitrary noetherian ring of coefficients, but require it to be a field or a Dedekind domain for the tensor structure on derived Nori motives to exist. There are three key ingredients: we present a theory of Nisnevich covers on finite acyclic diagrams of finite correspondences, explain, following D. Rydh, how to interpret finite co…

可构造sheaf的范畴

Categories of Constructible Sheaves

本文研究了可构造sheaf范畴的等价性问题，并探讨了局部常数sheaf和可构造sheaf的基本性质。

Construction of triangulated categories of motives using the localization property

Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also construct integral étale realization of motives.

Kloosterman层的$L$-函数

$L$-functions of Kloosterman sheaves

本研究将Kloosterman层对称幂相关motive的动机$L$-函数的亚纯延拓与函数方程结果从$n=1$推广到部分$n>1$情形及相关二维motive，并证明了联系Kloosterman层迹与模形式傅里叶系数的若干Evans型猜想。

Triangulated categories of motives over fs log schemes

We introduce the notion of log motivic triangulated categories, which is the theoretical framework for understanding the motivic aspect of cohomology theories for fs log schemes. Then we study the Grothendieck six operations formalism for log motivic triangulated categories.

Sheaves of categories and the notion of 1-affineness

We define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.

Some remarks on the derived categories of coherent sheaves on homogeneous spaces

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.

On localizing subcategories of derived categories of categories of quasi-coherent sheaves on Noetherian algebraic spaces

Let $S$ be a scheme contained in $\mathbf{Sch}_{fppf}$. Let $\mathfrak{X}$ be a Noetherian separated algebraic space over $S$. In this paper, we interpret localizing subcategories of the derived category of $\mathfrak{X}$ by using subsets of $|\mathfrak{X}|$.

Derived Categories of Twisted Sheaves on Elliptic Threefolds

We construct an equivalence between the derived category of sheaves on an elliptic threefold without a section and a derived category of twisted sheaves (modules over an Azumaya algebra) on any small resolution of its relative Jacobian.

Introduction to derived categories of coherent sheaves

In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.

Derived categories of coherent sheaves

We discuss derived categories of coherent sheaves on algebraic varieties. We focus on the case of non-singular Calabi-Yau varieties and consider two unsolved problems: proving that birational varieties have equivalent derived categories, and computing the group of derived autoequivalences. We also introduce the space of stability conditions on a triangulated category and explain its relevance to these two problems.

Remarks on 1-motivic sheaves

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.

An example of a non-Fourier-Mukai functor between derived categories of coherent sheaves

Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this result is false without the full faithfulness hypothesis.

Connectivity and Purity for logarithmic motives

The goal of this paper is to extend the work of Voevodsky and Morel on the homotopy $t$-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel's connectivity theorem and show a purity statement for $(\mathbf{P}^1, \infty)$-local complexes of sheaves with log transfers. The homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is proved to be compatible with Voevodsky's $t$-structure i.e. we show that the comparison functor $R^{\overline{\square}}ω^*\colon \mathbf{DM}^{\textrm{eff}}(k)\to \mathbf{logDM}^{\…

f-categories and Tate motives

Using Beilinson's theory of f-categories, we prove that the triangulated category of Tate motives over a field k is equivalent to the bounded derived category of its heart, provided that k is algebraic over the rationals. This answers a question asked by Levine.

通过丰富函子构造大动机的三角范畴

Triangulated Categories of Big Motives via Enriched Functors

本文利用丰富函子的Grothendieck范畴同调代数，为Voevodsky的合理对应大动机范畴构造了两个模型。

A reconstruction theorem for abelian categories of twisted sheaves

We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of Toën on derived Azumaya algebras, we give a proof of Căldăraru's conjecture.

Triangulated categories of mixed motives

This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational coefficients satisfy the formalism of the six operations of Grothendieck. This is achieved by studying descent properties of motives, as well as by comparing different presentations of these categories, following and extending insights and constructions of Deligne, Beilinson, Bloch, Thomason, Gabber, Levine, Morel, Voevodsky, Ayoub, Spitzweck, Röndigs, Østvær…

On derived categories and noncommutative motives of varieties

In this short note we show how results of Orlov and Toën imply that any equivalence between the derived categories of coherent sheaves on two varieties lifts to an equivalence at the level of dg-categories. This establishes the link between the noncommutative geometry practised by the school of Bondal-Orlov, and the variant developed by Kontsevich and Tabuada. As an application we recover Orlov's result that the derived category determines the Chow motive with rational coefficients up to Tate twists.

Artin-Tate motivic sheaves with finite coefficients over an algebraic variety

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 …

Wall crossing for derived categories of moduli spaces of sheaves on rational surfaces

We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces of these semi-orthogonal decompositions are derived categories of products of Hilbert schemes of points on the surface.

The De Rham, complex Hodge and $p$-adic Hodge realization functors on the derived category of relative motives over a field of characteristic zero

We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.

Tate motives on Witt vector affine flag varieties

Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up.

超Kähler流形：拉格朗日纤维化、原子sheaves与范畴

Hyper-Kähler varieties: Lagrangian fibrations, atomic sheaves, and categories

本文综述了紧致超Kähler流形理论的最新发展，从拉格朗日纤维化、稳定sheaves模空间和导出范畴的角度探讨核心方法与贡献。

Nori动机sheaves的类别比较

A Comparison of Categories of Nori Motivic Sheaves

本文证明了两种Nori动机sheaves理论的自然等价性，并提供了与六操作兼容的实现实用函子。

Framed motives of relative motivic spheres

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…

Semiorthogonal decompositions of derived categories of equivariant coherent sheaves

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of bounded derived category of G-equivariant coherent sheaves on X into components, equivalent to derived categories of twisted representations of the group. If the group is finite or reductive over the algebraically closed field of zero characteristic, this gives a full exceptional collection in the derived equivariant category. We apply our results to particular …

Motives with modulus, III: The categories of motives

We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of proper modulus pairs, introduced in Part I of this work. To such a modulus pair we associate its motive in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In…

半齐次层与扭曲导出范畴

Semi-Homogeneous Sheaves and Twisted Derived Categories

本文构造了阿贝尔簇挠子与其简单半齐次层模空间间的扭曲导出等价，证明了其逆命题，并推广了Orlov与Polishchuk的导出等价准则。

tame stack上层的导出范畴的等价

Equivalences of derived categories of sheaves on tame stacks

本文将Orlov表示定理推广至光滑、proper且tame的代数stack，证明了完全忠实函子与Fourier--Mukai变换的关联，扩展了Kawamata关于Deligne--Mumford stack的先前成果。

The Pure derived category of quasi-coherent sheaves

Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories of X have been studied in more details. In this work, we focus on the geometrical purity and find replacements for geometrical pure derived categories of X.

Tate动机导出范畴的分层

Stratification of Derived Categories of Tate Motives

本研究对特定代数闭域上混合Tate动机导出范畴的局部化张量理想分类，证明其满足Barthel-Heard-Sanders意义下的分层，核心是提出借助Brown–Adams可表示性传递分层的新技术，具备独立研究价值。

On log motives

We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and homological equivalence coincide, and that it is also equivalent to that the latter is a Tannakian category. We discuss various realizations, formulate Tate and Hodge conjectures, and verify them in curve case.

On the Motive of a Fibre Bundle and its Applications

In this article we compute the motive associated to a cellular fibration $Γ$ over a smooth scheme $X$ inside Veovodsky's motivic categories. We implement this result to study the motive associated to a $G$-bundle, and additionally to study motives of varieties admitting a resolution of singularities by a tower of cellular fibrations (e.g. affine Schubert varieties in a twisted affine flag variety).

Geometric and Representation Theoretic Aspects of $p$-adic Motives

In this dissertation, we discuss mainly the corresponding geometric and representation theoretic aspects of relative $p$-adic Hodge theory and $p$-adic motives. To be more precise, we study the corresponding analytic geometry of the corresponding spaces over and attached to period rings in the relative $p$-adic Hodge theory, including derived topological de Rham complexes and derived topological logarithmic de Rham complexes after Bhatt, Gabber, Guo and Illusie which is in some sense equivalent to the derived prismatic cohomology of Bhatt-Scholze as shown in the work of Li-Liu, $\mathcal{O}\ma…

Derived categories of sheaves on singular schemes with an application to reconstruction

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bondal and Orlov to Gorenstein projective varieties.

A Parameterization of D equivalences of coherent sheaves of symplectic resolutions of a given symplectic singularity

Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical equivalence. By refining a construction from a previous paper, we construct a local system of categories over a topological space V^0_C, where these categories are assigned to different points in V^0_C. Natural equivalence functors between these categories are parameterized by homotopy classes of paths between the corresponding points.

Tannakian Categories attached to abelian Varieties

Starting from certain perverse sheaves on an abelian variety, including the intersection cohomology sheaves of curves and smooth ample divisors, we construct a semisimple super-Tannakian category.

Triangulated categories of relative 1-motives

We construct and study a candidate for the standard motivic t-structure on the triangulated category of relative cohomological 1-motives with rational coefficients over a noetherian finite dimensional scheme S. This t-structure is defined as a generated t-structure, and we show it is non-degenerate. We relate its heart MM^1(S) with Deligne 1-motives over S; in particular, when S is regular, the category of Deligne 1-motives embeds in MM^1(S) fully faithfully. We also study the inclusion of DA^1(S) into the larger category DA^{coh}(S) of relative cohomological motives on S, and prove that its r…

Semiorthogonal decompositions of the categories of equivariant coherent sheaves for some reflection groups

We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups G(m,1,n), we construct a semiorthogonal decomposition of this category, indexed by the conjugacy classes of G. The pieces of this decompositions are equivalent to the derived categories of coherent sheaves on the quotient-spaces V^g/C(g), where C(g) is the centralizer subgroup of g in G. In the case of the Weyl groups the construction uses some key results about the…