#jsDisabledContent { display:none; } My Account | Register | Help

# Fourier–Mukai transform

Article Id: WHEBN0008465724
Reproduction Date:

 Title: Fourier–Mukai transform Author: World Heritage Encyclopedia Language: English Subject: Fourier transform Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Fourier–Mukai transform

In algebraic geometry, the Fourier–Mukai transform or Mukai–Fourier transform, introduced by Mukai (1981), is an isomorphism between the derived categories of coherent sheaves on an abelian variety and its dual. It is analogous to the classical Fourier transform that gives an isomorphism between tempered distributions on a finite-dimensional real vector space and its dual.

If the canonical class of a variety is positive or negative, then the derived category of coherent sheaves determines the variety. The Fourier–Mukai transform gives examples of different varieties (with trivial canonical bundle) that have isomorphic derived categories, as in general an abelian variety of dimension greater than 1 is not isomorphic to its dual.

## Definition

Let $X$ be an abelian variety and $\hat X$ be its dual variety. We denote by $\mathcal P$ the Poincaré bundle on

$X \times \hat X,$

normalized to be trivial on the fibers at zero. Let $p$ and $\hat p$ be the canonical projections.

The Fourier–Mukai functor is then

$R\mathcal S: \mathcal F \in D\left(X\right) \mapsto R\hat p_\ast \left(p^\ast \mathcal F \otimes \mathcal P\right) \in D\left(\hat X\right)$

The notation here: D means derived category of coherent sheaves, and R is the higher direct image functor, at the derived category level.

There is a similar functor

## Properties

Let g denote the dimension of X.

The Fourier–Mukai transformation is nearly involutive :

$R\mathcal S \circ R\widehat\left\{\mathcal S\right\} = \left(-1\right)^\ast \left[-g\right]$

It transforms Pontrjagin product in tensor product and conversely.

$R\mathcal S\left(\mathcal F \ast \mathcal G\right) = R\mathcal S\left(\mathcal F\right) \otimes R\mathcal S\left(\mathcal G\right)$
$R\mathcal S\left(\mathcal F \otimes \mathcal G\right) = R\mathcal S\left(\mathcal F\right) \ast R\mathcal S\left(\mathcal G\right)\left[g\right]$

## References

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.

Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.