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.
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.
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.
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…
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.
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the formulation of the categorical Geometric Langlands Correspondence.
The notion of microsupport and regularity for ind-sheaves was introduced by M. Kashiwara and P. Schapira in "Microlocal study of ind-sheaves I: microsupport and regularity". In this paper we study the behaviour of the microsupport under several functorial operations and characterize "microlocally" the ind-sheaves that are regular along involutive manifolds. As an application we prove that if a coherent D-module M is regular along an involutive manifold V (in the sense of "Systems of differential equations with regular singularities and their boundary value problems") then the ind-sheaf of temp…
In Asterisque 271 the authors introduced the notion of ind-sheaf, and defined the six Grothendieck operations in this framework. They defined subanalytic sheaves and they obtained the formalism of the six Grothendieck operations by including subanalytic sheaves into the category of ind-sheaves. The aim of this paper is to give a direct construction of the six Grothendieck operations in the framework of subanalytic sites avoiding the heavy theory of ind-sheaves. As an application we show how to recover the subanalytic sheaves of temperate and Whitney holomorphic functions.
A. D'Agnolo and M. Kashiwara proved that their enhanced solution functor induces a fully faithful embedding of the triangulated category of holonomic D-modules into the one of R-constructible enhanced ind-sheaves. In this paper, we define C-constructible enhanced ind-sheaves and show that the triangulated category of them is equivalent to its essential image. Moreover we show that there exists a t-structure on it whose heart is equivalent to the abelian category of holonomic D-modules.
Let T be a compact complex torus, dim T>2. We show that the category of coherent sheaves on T is independent of the choice of the complex structure, if this complex structure is generic. The proof is independent of math.AG/0205210, where the same result was proven for K3 surfaces and even-dimensional tori.
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…
Let $X$ be a complex manifold. In "Microlocal study of Ind-sheaves I: microsupport and regularity", M. Kashiwara e P. Schapira made the conjecture that a holonomic D-module $\shm$ is regular holonomic if and only if $R\mathcal{I}{hom}_{β_X\shd_X}(β_X\shm,\sho_X^t)$ is regular (in the sense of "Microlocal study of Ind-sheaves I: microsupport and regularity"), the "only if" part of this conjecture following immediately from "Microlocal study of Ind-sheaves I: microsupport and regularity". Our aim is to prove this conjecture in dimension one.
We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the micro-support of such an ind-sheaf is the characteristic variety of the corresponding D-module and that the ind-sheaf is regular if the D-module is regular holonomic.
Recently, the Riemann-Hilbert correspondence was generalized in the context of general holonomic D-modules by A. D'Agnolo and M. Kashiwara. Namely, they proved that their enhanced de Rham functor gives a fully faithfully embedding of the derived category of cohomologically holonomic complexes of D-modules into the derived category of complexes of real constructible enhanced ind-sheaves. In this paper, we study a condition when a complex of real constructible enhanced ind-sheaves $K$ is induced by a cohomologically holonomic complex of D-modules. We characterize such $K$ in terms of the restric…
We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions, the category of coherent sheaves on the product of two schemes with the resolution property is given by the Deligne tensor product of the categories of coherent sheaves of the two factors. To do this we prove that the class of quasi-compact and semi-separated schemes with the resolution property is closed under fiber products.
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an application we deduce a description for boundary morphisms in the K-theory of coherent sheaves on Noetherian schemes.
Let M be a K3 surface or an even-dimensional compact torus. We show that the category of coherent sheaves on M is independent from the choice of the complex structure, if this complex structure is generic.
We prove, for all reductive groups, that the cohomology sheaves with compact support of stacks of shtukas are ind-smooth over $(X - N)^I$ and that their geometric generic fibers are equiped with an action of $\text{Weil}(X - N, \overlineη)^I$. Our method does not use any compactification of stacks of shtukas.
We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver varieties. We define an induced affine braid group action on these derived categories.
Differential systems of pure Gaussian type are examples of D-modules on the complex projective line with an irregular singularity at infinity, and as such are subject to the Stokes phenomenon. We employ the theory of enhanced ind-sheaves and the Riemann-Hilbert correspondence for holonomic D-modules of A. D'Agnolo and M. Kashiwara to describe the Stokes phenomenon topologically. Using this description, we perform a topological computation of the Fourier-Laplace transform of a D-module of pure Gaussian type in this framework, recovering and generalizing a result of C. Sabbah.
In the present paper we discuss coherent sheaves of rank > 1 whose projectivization gives rise to smooth varieties - varieties of this type are also called smooth scrolls. We prove some basic properties of these varieties and we give some pertinent examples. We classify Fano manifolds of large index which are of this type.
We generalize a result by Cunningham-Salmasian to a Mackey-type formula for the compact restriction of a semisimple perverse sheaf produced by parabolic induction from a character sheaf, under certain conditions on the parahoric group used to define compact restriction. This provides new tools for matching character sheaves with admissible representations.
We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck category. We classify all indecomposable pure-injective sheaves and all cotilting sheaves of slope $\infty$. In the cases of nonnegative orbifold Euler characteristic this leads to a classification of pure-injective indecomposable sheaves and a description of all large cotilting sheaves in $\operatorname{Qcoh}\mathbb{X}$.
Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes
In this paper we propose a construction of generic character sheaves on reductive groups over finite local rings at even levels, whose characteristic functions are higher Deligne--Lusztig characters when the parameters are generic. We formulate a conjecture on the simple perversity of these complexes, and we prove it in the level two case (thus generalised a result of Lusztig from the function field case). We then discuss the induction and restriction functors, as well as the Frobenius reciprocity, based on the perversity.
We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the derived category of quasicoherent sheaves on $T$ is equivalent to the derived category of usual quasicoherent sheaves on the corresponding elliptic curve. We define the rank of a quasicoherent sheaf that can take arbitrary nonnegative real values. We study the category $\Qcoh(η_T)$ obtained by taking the quotient of the category of quasicoherent sheaves by …
In this paper, using the quantum McKay correspondence, we construct the "derived category" of G-equivariant sheaves on the quantum projective line at a root of unity. More precisely, we use the representation theory of U_{q}sl(2) at root of unity to construct an analogue of the symmetric algebra and the structure sheaf. The analogue of the structure sheaf is, in fact, a complex, and moreover it is a dg-algebra. Our derived category arises via a triangulated category of G-equivariant dg-modules for this dg-algebra. We then relate this to representations of the quiver (Γ, \Om), where Γis the A,D…
Let C be small category and A an arbitrary category. Consider the category C(A) whose objects are functors from C to A, and whose morphisms are natural transformations. Given a functor F : A --> B one obtains an induced functor F_C : C(A) --> C(B) . If A and B are abelian categories, we have that C(A) and C(B) are also abelian, and one has two functors R(F_C) : D(C(A)) --> D(C(B)) and (RF)_ C : C(D(A)) --> C(D (B)). The goals of this paper are: 1) to find a relationship between D (C(A)) and C(D(A)); 2) to relate the functors R(F_C) and (RF)_C. As an application, we prove a version of Mukai's T…
This note is written for the Festschrift in honor of Professor Christer Kiselman. Multiplier ideal sheaves identify the location and the extent of the failure of crucial estimates. In this note we will discuss and explain the historic evolution of the notion of multiplier ideal sheaves, especially the interpretation from the viewpoint of destabilizing subsheaves in the context of terminating or bounding an infinite process. We will also discuss the approach of constructing rational curves in Fano manifolds by using dynamic multiplier ideal sheaves and singularity-magnifying complex Monge-Amper…
The goal of this work is to construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the loop Lie algebra Lg and to show that the affine Grothendieck-Springer sheaf S is perverse. Moreover, S is an intermediate extension of its restriction to the locus of ``compact" elements with regular semi-simple reduction. Note that classical methods do not apply in our situation because LG and Lg are infinite-dimensional ind-schemes.
Moduli spaces of stable coherent sheaves on a surface are of much interest for both mathematics and physics. Yoshioka computed generating functions of Poincare polynomials of such moduli spaces if the surface is the projective plane P2 and the rank of the sheaves is 2. Motivated by physical arguments, this paper investigates the modular properties of these generating functions. It is shown that these functions can be written in terms of the Lerch sum and theta function. Based on this, we prove a conjecture by Vafa and Witten, which expresses the generating functions of Euler numbers as a mixed…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is also a monoidal model category with all cofibrant objects being flat. In particular, weak equivalences between these monoids induce Quillen equivalences between the corresponding categories of modules. On the other hand, it is also proved that the functor of pre-compact bornology applied to simplicial $C^\infty$-rings preserves and reflects weak equivalences…
This article computes the generating functions of the Betti numbers of the moduli space of stable sheaves of rank 3 on the projective plane P2 and its blow-up. Wall-crossing is used to obtain the Betti numbers on the blow-up. These can be derived equivalently using flow trees, which appear in the physics of BPS-states. The Betti numbers for P2 follow from those for the blow-up by the blow-up formula. The generating functions are expressed in terms of modular functions and indefinite theta functions.
