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.

Principio

Las condiciones de perversidad son desigualdades sobre la anulación de la cohomología de estalks y costalks medidas frente a la codimensión de las estratas: en términos generales, la cohomología de estalks se anula por encima de un grado determinado por la dimensión del soporte y los costalks se anulan por debajo de grados complementarios, dando una categoría abeliana autodual.

Demostración

El complejo de cohomología de intersección IC_X en una variedad estratificada singular X es un ejemplo fundamental: IC_X es perverso y su hipercohomología calcula grupos de cohomología de intersección que extienden propiedades de dualidad de Poincaré a espacios singulares.

Aplicación incorrecta

Llamar 'perverso' a cualquier haz desplazado sin comprobar las desigualdades de soporte/cosoporte o la constructibilidad, o asumir que los haces perversos están concentrados en un único grado en el sentido clásico; también inducen error el despreciar la monodromía o fenómenos de torsión en los coeficientes.

Consecuencia

Los haces perversos forman una categoría abeliana estable bajo operaciones estándar (ciclos cercanos, imágenes directas bajo morfismos propios, dualidad de Verdier) y sustentan resultados profundos como el teorema de descomposición, proporcionando paquetes algebraicos que codifican la información geométrica y topológica de las singularidades.

Inversión

A diferencia de los haces ordinarios concentrados en un solo grado, los haces perversos son complejos cuya 'grado perverso' centra la cohomología en dimensiones medias; la inversión enfatiza que la perversidad desplaza la concentración cohomológica esperada para reflejar la geometría singular.

Límite

Definido en entornos con noción de constructibilidad y una estratificación adecuada (algebraico complejo, analítico o étale ℓ-ádico) y dependiente de la elección de perversidad (la perversidad media es la estándar); fuera de marcos constructibles/de tipo finito la noción puede fallar o requerir modificación.

Tensión semántica

Existe tensión entre distintas perversidades, entre haces perversos y haces (cohomológicos) ordinarios, y entre realizaciones algebraica, analítica y ℓ-ádica; ciclos cercanos y vanishing interactúan sutilmente con la perversidad y pueden desplazar grados perversos.

Síntesis

Un haz perverso es un complejo constructible que satisface desigualdades precisas de soporte y cosoporte que sitúan su cohomología en dimensiones medias respecto a una estratificación, formando una categoría abeliana autodual que codifica fenómenos de singularidad y cohomología de intersección.