En matemáticas, la cohomología infinitesimal es una teoría de cohomología para variedades algebraicas introducida por Grothendieck ( 1966 ). En característica 0 es esencialmente lo mismo que la cohomología cristalina . En la característica p distinta de cero, Ogus (1975) mostró que está estrechamente relacionada con la cohomología etale con coeficientes mod p , una teoría conocida por tener propiedades indeseables.