Formule de Grothendieck-Riemann-Roch

Un théorème reliant la poussée directe en K-théorie à la poussée directe en (groupes de Chow ou cohomologie) par des transformations de classes caractéristiques : en gros ch(f_!(α)) = f_*(ch(α) · td(T_f)), où ch est le caractère de Chern, td la classe de Todd du tangent relatif et f_! la poussée en K-théorie.