MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 added 2242 characters in body

First, recall the classical Fourier transform. It's something like this: Take a function $f(x)$, and then the Fourier transform is the function $g(y) := \int f(x)e^{2\pi i xy} dx$. I really know almost nothing about the classical Fourier transform, but I think one of the main points is that if you do a the Fourier transform twice you're is supposed to get back the function you started with?be an invertible operation.

The Fourier-Mukai transform in algebraic geometry gets its name because it at least superficially resembles the classical Fourier transform. (And of course because it was studied by Mukai.) Let me give a rough picture of the Fourier-Mukai transform and how it resembles the classical situation.

  • Take two varieties $X$ and $Y$, and a sheaf $\mathcal{P}$ on $X \times Y$. The sheaf $\mathcal{P}$ is sometimes called the "integral kernel". Take a sheaf $\mathcal{F}$ on $X$. Think of $\mathcal{F}$ as being analogous to the function $f(x)$ in the classical situation. Think of $\mathcal{P}$ as being analogous to, in the classical situation, some function of $x$ and $y$.

  • Now pull the sheaf back along the projection $p_1 : X \times Y \to X$. Think of the pulled back sheaf pullback $p_1^\ast \mathcal{F}$ as being analogous to the function $F(x,y) := f(x)$. Think of $\mathcal{P}$ as being analogous to the function $e^{2\pi i xy}$ (but maybe not exactly, see below).

  • Next, take the tensor product $p_1^\ast \mathcal{F} \otimes \mathcal{P}$. This is analogous to the function $F(x,y) e^{2\pi i xy} = xy}$ $=$ $f(x)e^{2\pi i xy}$.

  • Finally, push the sheaf $p_1^\ast\mathcal{F} \otimes \mathcal{P}$ down along the projection $p_2: X \times Y \to Y$. The result is the Fourier-Mukai transform of $\mathcal{F}$: it's \mathcal{F}$ --- it is $(p_2)_\ast p_{2,\ast} (p_1^\ast \mathcal{F} \otimes \mathcal{P})$. The This last pushforward step can be thought of as "integration along the fiber" --- here the fiber direction is the $X$ direction. So the analogous thing in the classical situation is $g(y) = \int f(x)e^{2\pi i xy}dx$ --- the Fourier transform of $f(x)$!

  • But to make all of this rigorous, we have to deal with derived categories of (coherent) sheaves, not just (coherent) sheaves. The main difficulty is in doing the pushforward. The pushforward of a coherent sheaf is not always coherent. But we can use the derived pushfoward instead, at the price "price" of having to deal with derived categories.

    When $X$ is an abelian variety, $Y$ is the dual abelian variety, and $\mathcal{P}$ is the so-called Poincare line bundle on $X \times Y$, then the Fourier-Mukai transform gives an equivalence of the derived category of coherent sheaves on $X$ with that the derived category of coherent sheaves on $Y$. I think this was proven by Mukai. I think this is supposed to be analogous to the statement I made about taking Fourier transform twice and getting your function back (i.e. the classical Fourier transform is invertible)being invertible. In other words I think the function $e^{2 \pi i xy}$ Poincare line bundle is really supposed to be analogous to the Poincare line bundlefunction $e^{2\pi i xy}$. A more general choice of $\mathcal{P}$ corresponds to, in the classical situation, so-called integral transforms, which have been previously discussed here. This is probably why $\mathcal{P}$ is called the integral kernel. You may also be interested in reading about Pontryagin duality, which is a version of the Fourier transform for locally compact abelian topological groups --- this is obviously quite similar, at least superficially, to Mukai's result about abelian varieties. However I don't know enough to say anything more than that.

    There are some cool theorems of Orlov, I forget the precise statements (but you can probably easily find them in any of the books suggested so far), which say that in certain cases any derived equivalence is induced by a Fourier-Mukai transform. Note that the converse is not true: some random Fourier-Mukai transform (i.e. some random choice of the sheaf $\mathcal{P}$) is probably not a derived equivalence.

    I think Huybrechts' book "Fourier-Mukai transforms in algebraic geometry" is a good book to look at.

    Edit: I hope this gives you a better idea of what is going on, though I have to admit that I don't know of any good heuristic idea behind, e.g., Mukai's result --- it is analogous to the Fourier transform and to Pontryagin duality, and thus I suppose we can apply whatever heuristic ideas we have about the Fourier transform to the Fourier-Mukai transform --- but I don't know of any heuristic ideas that explain the Fourier-Mukai transform in a direct way, without appealing to any analogies to things that are outside of algebraic geometry proper. Hopefully somebody else can say something about that.

    But --- there is certainly something deep going on. Just as CommRing behaves a lot like Setop, I think there is probably some kind of general phenomenon that sheaves (or vector bundles) behave a lot like functions, which is what's happening here. Pullback of sheaves behave a lot like pullback of functions... Pushforward of sheaves behave a lot like integration of functions... Tensor product of sheaves behave a lot like multiplication of functions...

    show/hide this revision's text 2 added 285 characters in body

    First, recall the classical Fourier transform. It's something like this: Take a function $f(x)$, and then the Fourier transform is the function $g(y) := \int f(x)e^{2\pi i xy} dx$. I really know almost nothing about the classical Fourier transform, but I think that if you do a Fourier transform twice you're supposed to get back the function you started with?

    The Fourier-Mukai transform gets its name because it at least superficially resembles the classical Fourier transform.

    Let me give a rough picture of the Fourier-Mukai transform. Take two varieties $X$ and $Y$, and a sheaf $\mathcal{P}$ on $X \times Y$. Take a sheaf $\mathcal{F}$ on $X$. Think of $\mathcal{F}$ as being analogous to the function $f(x)$ in the classical situation. Now pull the sheaf back along the projection $p_1 : X \times Y \to X$. Think of the pulled back sheaf $p_1^\ast \mathcal{F}$ as being analogous to the function $F(x,y) := f(x)$. Think of $\mathcal{P}$ as being analogous to the function $e^{2\pi i xy}$ (but maybe not exactly, see below). Next, take the tensor product of the two sheaves. $p_1^\ast \mathcal{F} \otimes \mathcal{P}$. This is analogous to the function $F(x,y) e^{2\pi i xy} = f(x)e^{2\pi i xy}$. Finally, to get the Fourier-Mukai transform of $\mathcal{F}$, push the tensor product sheaf $p_1^\ast\mathcal{F} \otimes \mathcal{P}$ down along the projection $p_2: X \times Y \to Y$. This The result is the Fourier-Mukai transform of $\mathcal{F}$: it's $(p_2)_\ast (p_1^\ast \mathcal{F} \otimes \mathcal{P})$. The last pushforward step can be thought of as "integration along the fiber" --- here the fiber direction is the $X$ direction. So the analogous thing in the classical situation is $g(y) = \int f(x)e^{2\pi i xy}dx$ --- the Fourier transform of $f(x)$!

    But to make all of this rigorous, we have to deal with derived categories of (coherent) sheaves, not just sheaves. The main difficulty is in doing the pushforward. The pushforward of a coherent sheaf is not always coherent. But we can use the derived pushfoward instead, at the price of having to deal with derived categories.

    When $X$ is an abelian variety, $Y$ is the dual abelian variety, and $\mathcal{P}$ is the Poincare line bundle on $X \times Y$, then the Fourier-Mukai transform gives an equivalence of the derived category of coherent sheaves on $X$ with that on $Y$. I think this was proven by Mukai. I think this is supposed to be analogous to the statement I made about taking Fourier transform twice and getting your function back (i.e. the Fourier transform is invertible). In other words the function $e^{2 \pi i xy}$ is really supposed to be analogous to the Poincare line bundle.

    There are some cool theorems of Orlov, I forget the precise statements, which say that in certain cases any derived equivalence is induced by a Fourier-Mukai transform. Note that the converse is not true: some random Fourier-Mukai transform (i.e. some random choice of the sheaf $\mathcal{P}$) is probably not a derived equivalence.

    I think Huybrechts' book "Fourier-Mukai transforms in algebraic geometry" is a good book to look at.

    show/hide this revision's text 1

    First, recall the classical Fourier transform. It's something like this: Take a function $f(x)$, and then the Fourier transform is the function $g(y) := \int f(x)e^{2\pi i xy} dx$. I really know almost nothing about the classical Fourier transform, but I think that if you do a Fourier transform twice you're supposed to get back the function you started with?

    The Fourier-Mukai transform gets its name because it at least superficially resembles the classical Fourier transform.

    Let me give a rough picture of the Fourier-Mukai transform. Take two varieties $X$ and $Y$, and a sheaf $\mathcal{P}$ on $X \times Y$. Take a sheaf $\mathcal{F}$ on $X$. Think of $\mathcal{F}$ as being analogous to the function $f(x)$ in the classical situation. Now pull the sheaf back along the projection $X \times Y \to X$. Think of the pulled back sheaf as being analogous to the function $F(x,y) := f(x)$. Think of $\mathcal{P}$ as being analogous to the function $e^{2\pi i xy}$. Next, take the tensor product of the two sheaves. This is analogous to the function $F(x,y) e^{2\pi i xy} = f(x)e^{2\pi i xy}$. Finally, to get the Fourier-Mukai transform of $\mathcal{F}$, push the tensor product sheaf down along the projection $X \times Y \to Y$. This is "integration along the fiber" --- here the fiber direction is the $X$ direction. So the analogous thing in the classical situation is $g(y) = \int f(x)e^{2\pi i xy}dx$ --- the Fourier transform of $f(x)$!

    But to make this rigorous, we have to deal with derived categories of (coherent) sheaves, not just sheaves. The main difficulty is in doing the pushforward. The pushforward of a coherent sheaf is not always coherent. But we can use the derived pushfoward instead, at the price of having to deal with derived categories.

    When $X$ is an abelian variety, $Y$ is the dual abelian variety, and $\mathcal{P}$ is the Poincare line bundle on $X \times Y$, then the Fourier-Mukai transform gives an equivalence of the derived category of coherent sheaves on $X$ with that on $Y$. I think this was proven by Mukai. I think this is supposed to be analogous to the statement I made about taking Fourier transform twice and getting your function back. In other words the function $e^{2 \pi i xy}$ is supposed to be analogous to the Poincare line bundle.

    There are some cool theorems of Orlov, I forget the precise statements, which say that in certain cases any derived equivalence is induced by a Fourier-Mukai transform. Note that the converse is not true: some random Fourier-Mukai transform (i.e. some random choice of the sheaf $\mathcal{P}$) is probably not a derived equivalence.

    I think Huybrechts' book "Fourier-Mukai transforms in algebraic geometry" is a good book to look at.