Fórmula de Grothendieck-Riemann-Roch

Teorema que relaciona el empuje directo en K-teoría con el empuje en (Chow o cohomología) mediante transformaciones de clases características: en esencia ch(f_!(α)) = f_*(ch(α) · td(T_f)), donde ch es la caracteŕística de Chern, td la clase de Todd del tangente relativo y f_! el empuje en K-teoría.