Functors given by kernels, adjunctions and duality

DOI10.1090/JAG/654MaRDI QIDQ2804213zbMATH OpenOpenAlexFDO

Authors Dennis Gaitsgory

Publication date 28 April 2016

Published in Journal of Algebraic Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.2763

zbMATH Keywords

compactly generated categoriesD-modulesFourier-Mukai transforms

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Abstract: Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1 imes X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also defined by an object P in D-mod(X_1 imes X_2). The question that we pose and answer in this paper is how P is related to the Verdier dual of Q. We subsequently generalize this question to the case when X_1 and X_2 are no longer schemes but Artin stacks, where the situation becomes much more interesting.

Review text

The paper under review concerns a generalisation of a well-known property of a Fourier-Mukai transform between the derived categories of smooth projective varieties: it automatically has a right (and left) adjoint, it is again of Fourier-Mukai type, and its kernel is related to the original kernel using Serre duality.NEWLINENEWLINEFirst, the case of smooth separated schemes of finite type over a field of characteristic zero is treated, for (a dg enhancement of) their derived categories of D-modules. Given a continuous functor between such categories it can always be described as a Fourier-Mukai transform in the context of D-modules, and it automatically has a right adjoint. Now if this right adjoint is itself continuous it has a description as a Fourier-Mukai transform, and the kernel is nothing but the shift of the Verdier dual. The result is a corollary to an abstract result regarding duality in a monoidal compactly generated dg category.NEWLINENEWLINEThe second part generalises this to Artin stacks. It turns out that by the same techniques one can show that for a quasicompact Artin stack (whose derived category of D-modules is compactly generated) the functor associated to the Verdier dual of the original kernel is the composition of the original functor and an endofunctor whose kernel is the pushforward of the constant sheaf. In the smooth and separated case this endofunctor is nothing but the shift.NEWLINENEWLINEThe main application that the author has in mind is for the non-quasicompact Artin stack of \(G\)-bundles on a smooth projective curve, an object central to the geometric Langlands programme. He identifies the appropriate dg categories for which there is an explicit description of the right adjoint as before. The techniques in this paper are mostly categorical, and might be applied in other situations. Unfortunately the paper does not give any references to standard works regarding supposedly basic properties of D-modules, building only on earlier works of the author and his co-authors.

Recommendations

• Adjoints to a Fourier-Mukai functor
• Fourier-Mukai functors and perfect complexes on dual numbers
• Fourier-Mukai functors: a survey
• Fourier--Mukai transforms for Gorenstein schemes
• The linear dual of the derived category of a scheme

Cites work

• A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles
• A duality formalism in the spirit of Grothendieck and Verdier
• Compact generation of the category of D-modules on the stack of \(G\)-bundles on a curve
• Contractibility of the space of rational maps
• Crystals and D-modules
• Ind-coherent sheaves
• On some finiteness questions for algebraic stacks

Cited in

(15)

• Correction to ``Sheaves with connection on abelian varieties
• An analog of the Deligne-Lusztig duality for \((\mathfrak{g}, K)\)-modules
• Adjoints to a Fourier-Mukai functor
• Sheaves with connection on abelian varieties
• Deligne-Lusztig duality on the stack of local systems
• The center of the categorified ring of differential operators
• \(\mathcal{W}\)-algebras and Whittaker categories
• Tempered D-modules and Borel-Moore homology vanishing
• On the Deligne-Lusztig involution for character sheaves
• On the idempotence and stability of kernel functors
• A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles
• Relation between two twisted inverse image pseudofunctors in duality theory
• A generalization of the \(b\)-function lemma
• Nearby cycles on Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and long intertwining functor
• Semi-infinite flags and Zastava spaces

This page was built for publication: Functors given by kernels, adjunctions and duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804213)