Haz Perverso

Un objeto del corazón de la t-estructura de perversidad media en la categoría derivada de haces constructibles (o análogos ℓ-ádicos/analíticos complejos) que satisface condiciones de anulación de cohomología de soporte y cosoporte relativas a una estratificación; los haces perversos codifican datos locales de singularidad y fenómenos de dimensión intermedia.