stringtranslate.com

Cohomología rígida

En matemáticas , la cohomología rígida es una teoría de cohomología p -ádica introducida por Berthelot (1986). Extiende la cohomología cristalina a esquemas que no necesitan ser propios o suaves , y extiende la cohomología de Monsky-Washnitzer a variedades no afines . Para un esquema X de tipo finito sobre un cuerpo perfecto k , existen grupos de cohomología rígida HYo
aparejo
( X / K ) que son espacios vectoriales de dimensión finita sobre el cuerpo K de fracciones del anillo de vectores de Witt de k . De manera más general, se puede definir la cohomología rígida con soportes compactos, o con soporte sobre un subesquema cerrado, o con coeficientes en un isocristal sobreconvergente. Si X es suave y propio sobre k, los grupos de cohomología rígidos son los mismos que los grupos de cohomología cristalinos.

El nombre "cohomología rígida" proviene de su relación con los espacios analíticos rígidos .

Kedlaya (2006) utilizó la cohomología rígida para dar una nueva prueba de las conjeturas de Weil .

Referencias

Enlaces externos