En matemáticas, la semicaracterística de Kervaire , introducida por Michel Kervaire (1956), es un invariante de variedades cerradas M de dimensión que toma valores en , dado por
donde F es un campo.
Michael Atiyah e Isadore Singer (1971) demostraron que la semicaracterística de Kervaire de una variedad diferenciable está dada por el índice de un operador elíptico adjunto antidesviado .
Suponiendo que M está orientado , el teorema de desaparición de Atiyah establece que si M tiene dos campos vectoriales linealmente independientes , entonces . [1]
La diferencia es el invariante de Rham de . [2]