Ein Satz, der die Pushforward-Abbildung in der K-Theorie mit der Pushforward-Abbildung in der (Chow- bzw. Kohomologie-)Theorie durch Transformationen charakteristischer Klassen verbindet: grob ch(f_!(α)) = f_*(ch(α) · td(T_f)), wobei ch die Chern-Charakteristik, td die Todd-Klasse des relativen Tangentialbündels und f_! die K-theoretische Pushforward ist.

Prinzip

Charakteristische Klassen wandeln multiplikative K-Theorie-Daten in additive kohomologische Daten um; die Formel drückt aus, wie der Chern-Charakter die K-theoretische Direktabbildung mit der kohomologischen Direktabbildung nach Korrektur durch die Todd-Klasse des virtuellen Tangentialbündels verknüpft.

Demonstration

Für einen properen Morphismus f von einer glatten projektiven Kurve X zu einem Punkt liefert GRR für O_X die klassische Riemann-Roch-Formel χ(O_X) = ∫_X td(T_X), und für ein Vektorbündel E auf X berechnet sie Grade und Euler-Charaktere via ch(E) · td(X).

Fehlanwendung

Die Formel anwenden, ohne den virtuellen Tangentialkomplex oder Singularitäten zu berücksichtigen, sie in Kontexten ohne wohldefinierte Pushforward in der K-Theorie nutzen oder die Notwendigkeit rationaler Koeffizienten (Chern-Charakter benötigt meist Q-Koeffizienten) ignorieren führt zu falschen Resultaten.

Konsequenz

Ermöglicht die Berechnung numerischer Invarianten (Euler-Charaktere, Grade, Schnittzahlen) aus K-Theorie-Klassen und stellt die Vereinbarkeit zwischen K-theoretischen und kohomologischen enumerativen Invarianten her; leitet Rechnungen in Modulräumen und Indexbeweisen.

Umkehrung

Man kann GRR umgekehrt als Vorschrift ansehen, K-Theorie-Pushforwards aus kohomologischen Daten zu rekonstruieren, indem man Chern-Charakter und Todd-Korrekturen in rationalen Situationen invertiert, wenngleich torsionsbehaftete Information integral verloren geht.

Abgrenzung

Formuliert für properen Morphismen zwischen Schemata oder komplexen Varietäten mit hinreichender Endlichkeitsbedingung (Glätte vereinfacht die Formeln); üblicherweise nach Tensorisierung mit Q (oder in rationaler Kohomologie/Chow) dargestellt; benötigt definierte K-Theorie-Pushforwards sowie Chern-/Todd-Klassen.

Semantische Spannung

Spannungen bestehen zwischen der algebraischen GRR, topologischen Indexsätzen (Atiyah-Singer) und lokalisierten/virtuellen Versionen (virtuelle Tangentialbündel in Schnitttheorie): das Grundmuster ist gemeinsam, die technischen Voraussetzungen und Deutungen unterscheiden sich jedoch.

Synthese

Die Grothendieck-Riemann-Roch-Formel übersetzt K-Theorie-Pushforwards in kohomologische Pushforwards mittels Chern-Charakters und Todd-Klasse und schafft so eine starke Verbindung zur Berechnung von Euler-Charakteren und Schnittzahlen in algebraischen und topologischen Kontexten.