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.

Principio

Las clases características convierten datos multiplicativos de la K-teoría en datos aditivos cohomológicos; la fórmula expresa cómo el caracter de Chern entrelaza la imagen directa en K-teoría con la imagen directa cohomológica tras la corrección por la clase de Todd del fibrado tangente virtual del morfismo.

Demostración

Para un morfismo propio f desde una curva proyectiva suave X a un punto, GRR aplicado a O_X da la Riemann-Roch clásica: χ(O_X) = ∫_X td(T_X), y para un fibrado vectorial E en X calcula grados y caracteres de Euler mediante ch(E) · td(X).

Aplicación incorrecta

Usar la fórmula sin tener en cuenta el tangente virtual o las singularidades, aplicarla en contextos sin un empuje bien definido en K-teoría, o ignorar la necesidad de coeficientes racionales (el caracter de Chern suele requerir coeficientes en Q) conduce a errores.

Consecuencia

Permite calcular invariantes numéricos (caracteres de Euler, grados, números de intersección) a partir de clases en K-teoría y establece la compatibilidad entre invariantes enumerativos en K-teoría y en cohomología; orienta cálculos en problemas modulares y teoremas de índice.

Inversión

Puede verse inversamente como una receta para reconstruir empujes en K-teoría a partir de datos cohomológicos invirtiendo caracter de Chern y correcciones de Todd en situaciones racionales, aunque la torsión perdida impide una inversión literal integral.

Límite

Formulado para morfismos propios entre esquemas o variedades complejas con hipótesis de finitud suficientes (la suavidad simplifica las fórmulas); suele enunciarse tras tensorizar con Q (o en cohomología/Chow racionales); requiere noción de empuje en K-teoría y clases de Chern/Todd para las categorías implicadas.

Tensión semántica

Aparece tensión entre la GRR algebraica, los teoremas de índice topológicos (Atiyah-Singer) y las versiones localizadas/virtuales (fibrados tangentes virtuales en teoría de intersección): el patrón central es compartido pero las hipótesis técnicas y las interpretaciones varían.

Síntesis

La Fórmula de Grothendieck-Riemann-Roch traduce empujes en K-teoría a empujes cohomológicos mediante el caracter de Chern y la clase de Todd, proporcionando un puente eficaz para calcular caracteres de Euler y números de intersección en marcos algebraicos y topológicos.