Fourier–Mukai transform explained

In algebraic geometry, a Fourier–Mukai transform Φ_K is a functor between derived categories of coherent sheaves D(X) → D(Y) for schemes X and Y, which is, in a sense, an integral transform along a kernel object K ∈ D(X×Y). Most natural functors, including basic ones like pushforwards and pullbacks, are of this type.

These kinds of functors were introduced by in order to prove an equivalence between the derived categories of coherent sheaves on an abelian variety and its dual. That equivalence is analogous to the classical Fourier transform that gives an isomorphism between tempered distributions on a finite-dimensional real vector space and its dual.

Definition

Let X and Y be smooth projective varieties, K ∈ D^b(X×Y) an object in the derived category of coherent sheaves on their product. Denote by q the projection X×Y→X, by p the projection X×Y→Y. Then the Fourier-Mukai transform Φ_K is a functor D^b(X)→D^b(Y) given by

l{F} \mapsto R p ^{* l{F} ⊗} _{*\left(q} ^{L} K\right) where Rp_* is the derived direct image functor and ⊗ ^{L} is the derived tensor product.

Fourier-Mukai transforms always have left and right adjoints, both of which are also kernel transformations. Given two kernels K₁ ∈ D^b(X×Y) and K₂ ∈ D^b(Y×Z), the composed functor Φ_K2 ∘ Φ_K1 is also a Fourier-Mukai transform.

The structure sheaf of the diagonal

l{O} _{\Delta} \in D ^{b(X} x X) , taken as a kernel, produces the identity functor on D^b(X). For a morphism f:X→Y, the structure sheaf of the graph Γ_f produces a pushforward when viewed as an object in D^b(X×Y), or a pullback when viewed as an object in D^b(Y×X).

On abelian varieties

Let

X be an abelian variety and \hat X be its dual variety. The Poincaré bundle l P on X x \hat X , normalized to be trivial on the fiber at zero, can be used as a Fourier-Mukai kernel. Let p and \hat p be the canonical projections.The corresponding Fourier–Mukai functor with kernel l P is thenR l S: l F \in D(X) \mapsto R\hat p _{\ast} (p ^{\ast} l F ⊗ l P) \in D(\hat X)

There is a similar functor

R\widehat{ l S} : D(\hat X) \to D(X).

If the canonical class of a variety is ample or anti-ample, then the derived category of coherent sheaves determines the variety.^[1] In general, an abelian variety is not isomorphic to its dual, so this Fourier–Mukai transform gives examples of different varieties (with trivial canonical bundles) that have equivalent derived categories.

Let g denote the dimension of X. The Fourier–Mukai transformation is nearly involutive :

R l S \circ R\widehat{ l S} = ( -1 ) ^{\ast} [ - g]

It interchanges Pontrjagin product and tensor product.

R l S( l F \ast l G) = R l S( l F) ⊗ R l S( l G) R l S( l F ⊗ l G) = R l S( l F) \ast R l S( l G)[g]

have used the Fourier-Mukai transform to prove the Künneth decomposition for the Chow motives of abelian varieties.

Applications in string theory

In string theory, T-duality (short for target space duality), which relates two quantum field theories or string theories with different spacetime geometries, is closely related with the Fourier-Mukai transformation.^{[2] [3]}

See also

• Derived noncommutative algebraic geometry

References

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

Notes and References

1. Bondal . Aleksei . Orlov . Dmitri . Reconstruction of a variety from the derived category and groups of autoequivalences . Compositio Mathematica . 125 . 3 . 327–344 . 2001 . 10.1023/A:1002470302976 . alg-geom/9712029 . free .
2. Leung . Naichung Conan . Yau . Shing-Tung . Zaslow . Eric . From special Lagrangian to Hermitian-Yang-Mills via Fourier-Mukai transform . Advances in Theoretical and Mathematical Physics . 4 . 6 . 1319–1341 . 2000 . 10.4310/ATMP.2000.v4.n6.a5 . math/0005118 .
3. Gevorgyan . Eva . Sarkissian . Gor . Defects, non-abelian t-duality, and the Fourier-Mukai transform of the Ramond-Ramond fields . Journal of High Energy Physics . 2014 . 3 . 35 . 2014 . 10.1007/JHEP03(2014)035 . 1310.1264 .