nLab Fourier-Mukai transform

Contents

Context

Higher linear algebra

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Motivic cohomology

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The Fourier-Mukai transform is a categorified integral transform roughly similar to the standard Fourier transform.

Generally, for X,YX,Y two suitably well-behaved schemes (e.g. affine, smooth, complex) and with D(X)D(X), D(Y)D(Y) their derived categories of quasicoherent sheaves, then a Fourier-Mukai transform with integral kernel ED(X×Y)E \in D(X\times Y) is a functor (of triangulated categories/stable (infinity,1)-categories)

Φ:D(X)D(Y) \Phi \colon D(X)\longrightarrow D(Y)

which is given as the composite of the (derived) operations of

  1. pull (inverse image) along the projection p X:X×YXp_X\colon X\times Y \to X

  2. tensor product with EE;

  3. push (direct image) along the other projection p Y:X×YYp_Y \colon X\times Y \to Y

i.e.

Φ(A)(p Y) *(Ep X *A) \Phi(A) \coloneqq (p_Y)_\ast (E\otimes p_X^\ast A)

(where here we implicitly understand all operations as derived functors). (e.g. Huybrechts 08, page 4)

Hence this is a pull-tensor-push integral transform through the product correspondence

X×Y X Y \array{ && X \times Y \\ & \swarrow && \searrow \\ X && && Y }

with twist EE on the correspondence space.

Such concept of integral transform is rather general and may be considered also in derived algebraic geometry (e.g. BenZvi-Nadler-Preygel 13) and lots of other contexts.

As discussed at integral transforms on sheaves this kind of integral transform is a categorification of an integral transform/matrix multiplication of functions induced by an integral kernel, the role of which here is played by ED(X×Y)E\in D(X \times Y).

Indeed, the central kind of result of the theory (theorem ) says that every suitable linear functor D(X)D(Y)D(X)\to D(Y) arises as a Fourier-Mukai transform for some EE, a statement which is the categorification of the standard fact from linear algebra that every linear function between finite dimensional vector spaces is represented by a matrix.

The original Fourier-Mukai transform proper is the special case of the above where XX is an abelian variety, Y=X Y = X^\vee its dual abelian variety and EE is the corresponding Poincaré line bundle.

If XX is a moduli space of line bundles over a suitable algebraic curve, then a slight variant of the Fourier-Mukai transform is the geometric Langlands correspondence in the abelian case (Frenkel 05, section 4.4, 4.5).

Definition

Let XX and YY be schemes over a field KK. Let ED(QCoh(O X×Y))E \in D(QCoh(O_{X \times Y})) be an object in the derived category of quasi-coherent sheaves over their product. (This is a correspondence between XX and YY equipped with a chain complex EE of quasi-coherent sheaves).

The functor Φ(E):D(QCoh(O X))D(QCoh(O Y))\Phi(E) : D(QCoh(O_X)) \to D(QCoh(O_Y)) defined by

FRq *(Lp *(F) LE), F \mapsto \mathbf{R}q_*(\mathbf{L}p^*(F) \otimes^{\mathbf{L}} E),

where pp and qq are the projections from X×YX \times Y onto XX and YY, respectively, is called the Fourier-Mukai transform of EE, or the Fourier-Mukai functor induced by EE.

When F:D(QCoh(O X))D(QCoh(O Y))F : D(QCoh(O_X)) \to D(QCoh(O_Y)) is isomorphic to Φ(E)\Phi(E) for some ED(QCoh(O X×Y))E \in D(QCoh(O_{X \times Y})), one also says that FF is represented by EE or simply that FF is of Fourier-Mukai type.

Properties

The key fact is as follows

Theorem (Orlov)

Let XX and YY be smooth projective varieties over a field KK. Let F:D(X)D(Y)F : D(X) \to D(Y) be a triangulated fully faithful functor. Then FF is represented by some object ED(X×Y)E \in D(X \times Y) which is unique up to isomorphism.

See Orlov 2003, 3.2.1 for a proof.

Remark

Though theorem is stated there for FF admitting a right adjoint, it follows from Bondal-van den Bergh 2002 that every triangulated fully faithful functor admits a right adjoint automatically (see e.g. Huybrechts 08, p. 6).

Remark

It was believed that theorem should be true for all triangulated functors (e.g. Huybrechts 08, p. 5). However according to (RVdB 2015) this is not true.

Enhancements

For any quasi-compact quasi-separated kk-schemes XX and YY there is a canonical equivalence of stable (∞,1)-categories

Func L(D(X),D(Y))D(X×Y). \mathrm{Func}^L(D(X), D(Y)) \simeq D(X \times Y).

References

  • Shigeru Mukai, Duality between D(X)D(X) and D(X^)D(\hat X) with its application to Picard sheaves. Nagoya Mathematical Journal 81: 153–175. (1981)

  • Alexei Bondal, Michel van den Bergh. Generators and representability of functors in commutative and noncommutative geometry, 2002, arXiv

  • Dmitri Orlov, Derived categories of coherent sheaves and equivalences between them, Russian Math. Surveys, 58 (2003), 3, 89-172, translation.

  • Lutz Hille, Michel van den Bergh, Fourier-Mukai transforms (arXiv:0402043)

  • Daniel Huybrechts, Fourier-Mukai transforms, 2008 (pdf)

  • C. Bartocci, Ugo Bruzzo, D. Hernandez Ruiperez, Fourier-Mukai and Nahm transforms in geometry and mathematical physics, Progress in Mathematics 276, Birkhauser 2009.

  • Alice Rizzardo, Michel Van den Bergh, An example of a non-Fourier-Mukai functor between derived categories of coherent sheaves (arXiv:1410.4039)

  • Pieter Belmans, section 2.2 of Grothendieck duality: lecture 3, 2014 (pdf)

Banerjee and Hudson have defined Fourier-Mukai functors analogously on algebraic cobordism.

  • Anandam Banerjee, Thomas Hudson, Fourier-Mukai transformation on algebraic cobordism, pdf.

Discussion of internal homs of dg-categories in terms of refined Fourier-Mukai transforms is in

  • Bertrand Toën, The homotopy theory of dg-categories and derived Morita theory, Invent. Math. 167 (2007), 615–667

  • Alberto Canonaco, Paolo Stellari, Internal Homs via extensions of dg functors (arXiv:1312.5619)

Discussion in the context of geometric Langlands duality is in

For a discussion of Fourier-Mukai transforms in the setting of (,1)(\infty,1)-enhancements, see

Last revised on August 1, 2024 at 22:53:40. See the history of this page for a list of all contributions to it.