La transformée de Fourier-Mukai est un analogue en géométrie algébrique de la transformée de Fourier usuelle utilisée en analyse. Elle a été introduite par Shigeru Mukai.

Définition

modifier

Soit X une variété abélienne et X̂ sa variété abélienne duale. On note 𝒫 le fibré de Poincaré sur X×X̂, normalisé de façon à être trivial sur les fibres X×0 et 0×X̂. Soient p et p̂ les projections canoniques.

Le foncteur de Fourier-Mukai est défini par :

R𝒮:ℱ∈D(X)↦Rp̂∗(p∗ℱ⊗𝒫)∈D(X̂)

On a un foncteur similaire en sens inverse R𝒮^:D(X̂)→D(X).

Propriétés

modifier

Soit g la dimension de X.

On a une propriété d'involutivité :

R𝒮∘R𝒮^=(−1)∗[−g]

La transformée de Fourier-Mukai échange (au degré près) le produit de Pontryagin et le produit tensoriel :

R𝒮(ℱ∗𝒢)=R𝒮(ℱ)⊗R𝒮(𝒢)
R𝒮(ℱ⊗𝒢)=R𝒮(ℱ)∗R𝒮(𝒢)[g]

Références

modifier
  • Shigeru Mukai, Duality between D(X) and D(X̂) with its application to Picard sheaves, Nagoya Mathematical Journal 81, 153-175, ISSN 0027-7630 (1981)