For a complex manifold $X$ the ring of microdifferential operators $\E_X$ acts on the microlocalization $μhom(F,Ø_X)$, for $F$ in the derived category of sheaves on $X$. Kashiwara, Schapira, Ivorra, Waschkies proved, as a byproduct of their new microlocalization functor for ind-sheaves, $μ_X$, that $μhom(F,Ø_X)$ can in fact be defined as an object of the derived category of $\E_X$-modules: this follows from the fact that $μ_X Ø_X$ is concentrated in one degree. In this paper we prove that the tempered microlocalization also is an object of the derived category of $\E_X$-modules. Since we don't know whether the tempered version of $μ_X Ø_X$ is concentrated in one degree, we introduce a method to build suitable resolutions for which the action of $\E_X$ is realized in the category of complexes. We define a version of the de Rham algebra on the subanalytic site which is quasi-injective and we work in the category of dg-modules over this de Rham algebra instead of the derived category of sheaves.
In this paper we define specialization and microlocalization for subanalytic sheaves. Applying these functors to the sheaves of tempered and Whytney holomorphic functions we get a unifying description of tempered and formal microlocalization using the theory of subanalytic sheaves.
This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on sheaves. As an application, we treat, in the formalism of ind-sheaves, functions with growth conditions such as the ``tempered holomorphic functions'' on a complex manifold. We also construct a microlocalization functor from the category of sheaves on a manifold to that of ind-sheaves on the cotangent bundle.
Let X be a C-infinity manifold. We construct a microlocalization functor $μ_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization.
Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we show how Sato's specialization and microlocalization functors have a natural enhancement, and discuss some of their properties.
These three lectures present some fundamental and classical aspects of microlocal analysis. Starting with the Sato's microlocalization functor and the microsupport of sheaves, we then construct a microlocal analogue of the Hochschild homology for sheaves and apply it to recover index theorems for D-modules and elliptic pairs. In the third lecture, we construct the ind-sheaves of temperate and Whitney holomorphic functions and give some applications to the study of irregular holonomic D-modules.
The aim of this paper is to develop a theory of microdifferential operators for arithmetic $\mathscr{D}$-modules. We first define the sheaves of microdifferential operators of arbitrary levels on arbitrary smooth formal schemes. A difficulty lies in the fact that there are no homomorphisms between sheaves of microdifferential operators of different levels. To remedy this, we define the intermediate differential operators, and using these, we define the sheaf of microdifferential operators for $\mathscr{D}^†$. We conjecture that the characteristic variety of a $\mathscr{D}^†$-module is computed…
Based on the methods developed in [Kashiwara-Rouquier], we consider microlocalization of the rational Cherednik algebra of type $\Z/l\Z$. Our goal is to construct the irreducible modules and standard modules of the rational Cherednik algebra by using the microlocalization. As a consequence, we obtain the sheaves of microlocal system corresponding to holonomic systems with regular singularities.
Using techniques from the homotopy theory of derived categories and noncommutative algebraic geometry, we establish a general theory of derived microlocalization for quantum symplectic resolutions. In particular, our results yield a new proof of derived Beilinson-Bernstein localization and a derived version of the more recent microlocalization theorems of Gordon-Stafford and Kashiwara-Rouquier as special cases. We also deduce a new derived microlocalization result linking cyclotomic rational Cherednik algebras with quantized Hilbert schemes of points on minimal resolutions of cyclic quotient s…
Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic sheaves.
In this paper we define tensor modules(sheaves) of Schur type,or of generalized Schur type associated with the give module(sheaf), using the so-called Schur functors. Then using global method we construct canonical homomorphisms between these modules(sheaves). We will get canonical isomorphisms if the original sheaf is locally free using idea of algebraic geometry, which is in fact a generalization of result in linear algebra. In the final section, we give canonical complexes using homomorphisms constructed before, and these complexes will become split exact sequence if further condition holds…
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 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…
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 strictly homotopy invariance of the associated Nisnevish sheave $\widetilde{\mathcal F}_{Nis}$ of a homotopy invariant presheave $\mathcal F$ with GW-transfers (or Witt-transfers) on the category of smooth varieties over a prefect field $k$, $char\,k \neq 2$, is proved, i.e. the isomorphism $$H^i_{Nis}(\mathbb A^1\times X,\widetilde{\mathcal F}_{Nis})\simeq H^i_{Nis}(X,\widetilde{\mathcal F}_{Nis})$$ for any $X\in Sm_k$ is obtained. This theorem is necessary for the construction of the triangulated category of GW-motives $\mathbf{DM}^{GW}(k)$ and Witt-motives $\mathbf{DM}^W(k)$ by the Voev…
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of the elements of the poset with the Schubert varieties in G/P such that the partial order on the poset is the order induced by the Bruhat-Chevalley order. The goal of this work is to provide further evidence for Catanese's conjecture, clarify some aspects of it and supply new techniques. In particular we prove a theorem on the derived categories of quadric b…
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
Using derived categories of equivariant coherent sheaves we construct a knot homology theory which categorifies the quantum sl(m) knot polynomial. Our knot homology naturally satisfies the categorified MOY relations and is conjecturally isomorphic to Khovanov-Rozansky homology. Our construction is motivated by the geometric Satake correspondence and is related to Manolescu's by homological mirror symmetry.
Using derived categories of equivariant coherent sheaves, we construct a categorification of the tangle calculus associated to sl(2) and its standard representation. Our construction is related to that of Seidel-Smith by homological mirror symmetry. We show that the resulting doubly graded knot homology agrees with Khovanov homology.
We define a deformation of our earlier link homologies for fundamental representations of sl_m. The deformed homology of a link is isomorphic to the deformed homology of the disjoint union of its components. Moreover, there exists a spectral sequence starting with the old homology and converging to this deformed homology.
Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathbf{X}$.
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 …
Rheinische Friedrich-Wilhelms-Universität Bonn（波恩莱茵弗里德里希·威廉大学）；Technische Universität München（慕尼黑工业大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it …
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative étale homotopy type that was used in [HaSc] for the study of obstructions t…
We introduce new enhancements for the bounded derived category $D^b(Coh(X))$ of coherent sheaves on a suitable scheme $X$ and for its subcategory $Perf(X)$ of perfect complexes. They are used for translating Fourier-Mukai functors to functors between derived categories of dg algebras, for relating homological smoothness of $Perf(X)$ to geometric smoothness of $X,$ and for proving homological smoothness of $D^b(Coh(X)).$ Moreover, we characterize properness of $Perf(X)$ and $D^b(Coh(X))$ geometrically.
We define a tricategory T of length 3 complexes of abelian sheaves, whose hom-bigroupoids consist of weak morphisms of such complexes. We also define a 3-category 2PIC(S) of Picard 2-stacks, whose hom-2-groupoids consist of additive 2-functors. We prove that these categories are triequivalent as tricategories. As a consequence we obtain a generalization of Deligne's analogous result about Picard stacks in SGA4, Exp. XVIII.
In this paper we deal with semistable sheaves which can be represented as the cokernel of an injective (or as the kernel of a surjective) morphism $E_1\otimes\CC^m\longrightarrow E_2\otimes\CC^n$ , where $E_1$ and $E_2$ are exceptional bundles. To each such a sheaf we assign the linear map $\CC^m\otimes\hom^*(E_1,E_2)\longrightarrow \CC^n$. We obtain sufficient conditions on the topological invariants of the sheaves for the moduli space of the sheaves to be isomorphic to the quotient of an open subset in $\PP{\cal L}(\CC^m\otimes\hom^*(E_1,E_2),\CC^n)$ under the action of SL$(\CC^m)\times$SL$(…
Let X be a stratified space on which the Juteau-Mautner-Williamson theory of parity sheaves is available. We develop a "nearby cycles formalism" in the framework of the homotopy category of parity sheaves on X, also known as the mixed modular derived category of X. This construction is expected to have applications in modular geometric representation theory.
A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.
We define the cohomological Hall algebra ${AHA}_{Higgs(X)}$ of the ($2$-dimensional) Calabi-Yau category of Higgs sheaves on a smooth projective curve $X$, as well as its nilpotent and semistable variants, in the context of an arbitrary oriented Borel-Moore homology theory. In the case of usual Borel-Moore homology, ${AHA}_{Higgs(X)}$ is a module over the (universal) cohomology ring $\mathbb{H}$ of the stacks of coherent sheaves on $X$ . We show that it is a torsion-free $\mathbb{H}$-module, and we provide an explicit collection of generators (the collection of fundamental classes $[Coh_{r,d}]…
In this paper we establish an equivalence between the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W and the triangulated category of singularities of the fiber of W over zero. The main result is a theorem that shows that the graded triangulated category of singularities of the cone over a projective variety is connected via a fully faithful functor to the bounded derived category of coherent sheaves on the base of the cone. This implies that the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W …
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules.
For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to the sheafification functor and therefore left-exact. Moreover, we show that this functor preserves torsion-freeness and reflexivity. For the case of toric sheaves we give a combinatorial characterization of its right-derived functors in terms of certain right-derived limit functors.
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.
This is a mostly expository paper, intended to explain a very natural relationship between two a priori distinct notions appearing in the literature: Generic Vanishing in the context of vanishing theorems and birational geometry, and Perverse Coherent Sheaves in the context of derived categories. I describe homological and commutative algebra criteria for checking either condition, and then recall applications to geometric situations. A few new results, and especially new proofs, are included as well.
Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain characteristic classes with values in Bott-Chern cohomology which refines the usual deRham cohomology. The main result of this paper shows that such characteristic classes are independent of the Hermitian metric and only dependent on the homotopy class of the cohesive module in the homotopy category. This extends the Bott-Chern cohomology to the bounded derived catego…
These lecture notes were prepared for the workshop ``Algebraic Geometry: Presentations by Young Researchers'' in Snowbird, Utah, July 2004, and for the autumn school in Lukecin, Poland, September 2004. In six lectures I attempted to present a non-technical introduction to derived categories of sheaves on varieties, including some important results like: -- the description of the derived category of P^n; -- Serre duality; -- the Bondal-Orlov result about derived categories of varieties with ample or antiample canonical class; -- the Mukai-Bondal-Orlov-Bridgeland criterion for equivalence; -- eq…
In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model st…
In this short paper we outline (mostly without proofs) our new approach to the derived category of sheaves of commutative DG rings. The proofs will appear in a subsequent paper. Among other things, we explain how to form the derived intersection of two closed subschemes inside a given algebraic scheme X, without recourse to simplicial or higher homotopical methods, and without any global assumptions on X.
We establish an equivalence between the stable category of coherent sheaves (satisfying a mild restriction) on a projective space and the homotopy category of a certain class of minimal complexes of free modules over the exterior algebra Koszul dual to the homogeneous coordinate algebra of the projective space. We also relate these complexes to the Tate resolutions of the respective sheaves. In this way, we extend from vector bundles to coherent sheaves the results of Coandă and Trautmann [Trans. AMS 385 (2005)], which interpret in terms of the BGG correspondence the results of Trautmann [Math…
This elementary survey article was prepared for a talk at the 2016 Superschool on Derived Categories and D-branes. The goal is to outline an identification of the bounded derived category of coherent sheaves on a Calabi-Yau threefold with the D-brane category in B-model topological string theory. This was originally conjectured by Kontsevich. We begin by briefly introducing topological closed string theory to acquaint the reader with the basics of the non-linear sigma model. With the inclusion of open strings, we must specify boundary conditions for the endpoints; these are what we call D-bran…
We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions as appear in recent advances in the Geometric Langlands program. The key technical tools in o…
We study the unwrapped Fukaya category of Lagrangian branes ending on a Legendrian knot. Our knots live at contact infinity in the cotangent bundle of a surface, the Fukaya category of which is equivalent to the category of constructible sheaves on the surface itself. Consequently, our category can be described as constructible sheaves with singular support controlled by the front projection of the knot. We use a theorem of Guillermou-Kashiwara-Schapira to show that the resulting category is invariant under Legendrian isotopies, and conjecture it is equivalent to the representation category of…
This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when $\dim X \geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities that lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKa…
We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their oo-categories QC(X) of quasicoherent sheaves. We show that for a broad class of derived stacks, called perfect stacks, algebraic and geometric operations on their categories of sheaves are compatible. We identify the category of sheaves on a fiber product with the tensor product of the categories of sheaves on the factors. We also identify the category of sheaves on…
