An object of the heart of the middle-perversity t-structure on the derived category of constructible sheaves (or ℓ-adic/complex-analytic analogues) satisfying cohomological support and co-support vanishing conditions relative to a stratification; perverse sheaves encode local singularity data and middle-dimensional phenomena.

Principle

Perverse conditions are inequalities on the vanishing of cohomology of stalks and costalks measured against codimension of strata: roughly, cohomology of stalks vanishes above a degree determined by the dimension of the support, and costalks vanish below complementary degrees, yielding a self-dual abelian category.

Demonstration

The intersection cohomology complex IC_X on a stratified singular variety X is a fundamental example: IC_X is perverse and its hypercohomology computes intersection cohomology groups that extend Poincaré duality properties to singular spaces.

Misapplication

Calling any shifted sheaf 'perverse' without checking support/cosupport inequalities or constructibility, or assuming perverse sheaves are concentrated in a single degree in the classical sense; neglecting monodromy or torsion phenomena in coefficients can also mislead.

Consequence

Perverse sheaves form an abelian category stable under standard operations (nearby cycles, direct images under proper maps, Verdier duality) and underpin deep results such as the decomposition theorem, providing algebraic packages encoding geometric and topological singularity information.

Reversal

In contrast to ordinary sheaves concentrated in a single degree, perverse sheaves are complexes whose 'perverse degree' centers cohomology in middle dimensions; reversing accentuates that perversity shifts the expected cohomological concentration to reflect singular geometry.

Boundary

Defined in settings with a notion of constructibility and a suitable stratification (complex algebraic, analytic, or ℓ-adic étale contexts) and dependent on choice of perversity (middle perversity is standard); outside constructible/finite-type frameworks the notion may fail or require modification.

Semantic Tension

Tension exists between different perversities, between perverse sheaves and ordinary (cohomological) sheaves, and between algebraic and analytic/ℓ-adic realizations; nearby cycles and vanishing cycles interact subtly with perversity and can shift perversity degrees.

Synthesis

A perverse sheaf is a constructible complex satisfying precise support and cosupport vanishing inequalities that place its cohomology in middle dimensions relative to a stratification, forming a self-dual abelian category that encodes singularity and intersection cohomology phenomena.