Ein integraler Funktor zwischen den beschränkten abgeleiteten Kategorien kohärenter Garben auf algebraischen Varietäten, definiert durch ein Objekt (den Kern) auf dem Produkt, der häufig Äquivalenzen liefert und geometrische Informationen über abgeleitete Kategorien überträgt.

Prinzip

Das ordnende Prinzip besagt, dass ein Kernobjekt auf X×Y einen Funktor D^b(Coh(X)) → D^b(Coh(Y)) durch Ziehen auf das Produkt, Tensorieren mit dem Kern und Rückpushen definiert; wenn dieser Funktor eine Äquivalenz (oder voll treu) ist, kodiert er eine tiefe Relation zwischen den Geometrien von X und Y.

Demonstration

Klassisches Beispiel: Das Poincaré‑Geradenbündel auf A× induziert die Fourier–Mukai‑Äquivalenz zwischen den abgeleiteten Kategorien einer komplexen abelschen Varietät A und ihrer Dualen Â; weitere Beispiele sind abgeleitete Äquivalenzen, die durch Kerne im Zusammenhang mit Flops oder Modulräumen stabiler Garben erzeugt werden.

Fehlanwendung

Die naive Push‑Pull‑Rezeptur außerhalb des abgeleiteten Rahmens oder mit Kernen anzuwenden, die nicht die erforderlichen Endlichkeits‑ oder Flachheitsbedingungen erfüllen; davon auszugehen, jeder exakte Funktor zwischen abgeleiteten Kategorien stamme von einem Fourier–Mukai‑Kern, ohne Repräsentierbarkeit zu prüfen (gibt Gegenbeispiele in nichtprojektiven Kontexten).

Konsequenz

Ist eine Fourier–Mukai‑Transformation vorhanden, überträgt sie kohomologische und kategorielle Invarianten zwischen Varietäten, liefert abgeleitete Invarianten der birationalen Geometrie und bildet die Grundlage vieler Dualitäten und Modul‑Identifikationen in der algebraischen Geometrie.

Umkehrung

Die inverse (oder adjungierte) Transformation wird durch einen Kern auf Y×X gegeben, der durch abgeleitete Dualität mit dem ursprünglichen Kern zusammenhängt; Umkehrung vertauscht Quell‑ und Zielrolle und entspricht geometrisch der inversen Beziehung zwischen den Varietäten, wenn eine Äquivalenz besteht.

Abgrenzung

Am robustesten formuliert für glatte projektive Varietäten und beschränkte abgeleitete Kategorien kohärenter Garben; verlangt geeignete Properheit, endliche Tor‑Dimension und kohohomologische Endlichkeit für Kerne und gilt nicht allgemein für beliebige triangulierte Kategorien oder Kontexte nicht‑kohärenter Garben.

Semantische Spannung

Die Spannung entsteht durch die Bezeichnung als „Transformation“ (was einen möglicherweise nicht invertierbaren funktoriellen Bau nahelegt) gegenüber „Äquivalenz“ (einer zweiseitigen kategorialen Isomorphie): Manche Kerne erzeugen Äquivalenzen, andere nur voll treue oder sonst nützliche Funktoren, sodass die Terminologie ein Spektrum von Verhalten überdeckt.

Synthese

Die Fourier–Mukai‑Transform ist die abgeleitete integrale Transformation, die durch einen Kern auf dem Produkt von Varietäten definiert wird; unter Endlichkeits‑ und Dualitätsbedingungen liefert sie Äquivalenzen der abgeleiteten Kategorien, welche die zugrundeliegende algebraische Geometrie spiegeln und verknüpfen.