A derived functor Rψ (nearby cycles) associating to a sheaf on the total space of a family the limit of its cohomology on nearby fibers as one approaches a special or singular fiber; it records how cohomological invariants specialize and carries an action of local monodromy.

Principle

By examining the restriction of a sheaf to punctured neighborhoods of the special fiber and taking the appropriate derived limit, nearby cycles capture the limiting local system and monodromy operator; they formalize specialization phenomena in families of varieties or analytic spaces.

Demonstration

For a family f: X → Δ over a complex disc with smooth generic fiber and a singular central fiber, Rψ_f(F) is a complex of sheaves on the central fiber whose stalks compute the cohomology of the Milnor/nearby fibers and which carries the monodromy automorphism describing how cohomology loops around the puncture.

Misapplication

Confusing nearby cycles with vanishing cycles (which measure what disappears rather than what persists), or applying nearby cycles to sheaves not satisfying constructibility/finite-dimensionality hypotheses; also misusing them outside a suitable local or l-adic/analytic setting.

Consequence

Nearby cycles provide a precise tool to study degeneration, monodromy, and limit mixed Hodge structures, and they are central in statements like the decomposition theorem and in computing local contributions to cohomology in degenerating families.

Reversal

Whereas nearby cycles record the limit of cohomology as one approaches the special fiber, vanishing cycles measure the difference between the nearby and the actual special-fiber cohomology; the reversal clarifies persistence versus disappearance of classes.

Boundary

Defined for constructible complexes in étale or analytic contexts with appropriate finiteness (ℓ-adic, complex-analytic, or derived constructible categories); requires a family with a marked special fiber and a notion of punctured neighborhood or henselization; not a raw invariant of a single fiber.

Semantic Tension

Tension exists between nearby cycles and vanishing cycles, and between various technical constructions (classical analytic nearby cycles, ℓ-adic nearby cycles, and motivic/stable versions): they share intuition but differ in formal properties and coefficients.

Synthesis

The nearby cycles functor encodes how cohomology behaves in families near a special fiber, producing limiting complexes with monodromy that distinguish persistent cohomological data from what degenerates, and serving as a fundamental tool in the study of singularities and degenerations.