Grothendieck-Riemann-Roch

A theorem relating pushforward in K-theory to pushforward in (Chow or cohomology) via characteristic class transformations: roughly ch(f_!(α)) = f_*(ch(α) · td(T_f)), where ch is the Chern character, td is the Todd class of the relative tangent, and f_! is the K-theoretic pushforward.