Nearby cycles

Nearby cycles
Name	Nearby cycles
Field	Algebraic geometry
Introduced	1960s–1970s
Key figures	Alexander Grothendieck, Masaki Kashiwara, Pierre Deligne, Jean-Louis Verdier, Lê Dũng Tráng, Robert MacPherson
Related concepts	Étale cohomology, Perverse sheaf, Monodromy, Vanishing cycles, Saito Hodge modules

Nearby cycles

Nearby cycles are a sheaf-theoretic and cohomological tool used to compare the fibers of a morphism near a critical or special fiber. Originating in the context of complex analytic and étale topologies, nearby cycles relate local behavior of families in the neighborhood of a singular fibre to global invariants studied by Alexander Grothendieck, Pierre Deligne, Jean-Louis Verdier, and later contributors such as Masaki Kashiwara and Morihiko Saito. They play a central role in the study of degeneration, monodromy, and the interaction of singularities with cohomology in work connected to Hodge theory, Perverse sheaf theory, and the Langlands program.

Introduction

Nearby cycles appear when one considers a morphism f: X → S where S is a one-dimensional base such as a complex disc or the spectrum of a discrete valuation ring; classical settings include families studied by Jean-Pierre Serre and degenerations examined by Géométrie algébrique. The construction yields, for a given sheaf or constructible complex on X, a new complex on the special fiber that encodes limiting cohomology of nearby geometric fibers. Nearby cycles link foundational themes in the work of Deligne's Weil II, Grothendieck's SGA, and the microlocal study developed by Masaki Kashiwara and Pierre Schapira.

Definition and construction

Let f: X → S be a morphism with S typically a trait such as the complex unit disc Δ or the spectrum of a henselian discrete valuation ring considered by Grothendieck in SGA7. For a constructible complex F on X (in the étale or analytic topology), the nearby cycles functor Ψ_f produces a constructible complex on the special fiber X_s. The analytic construction uses the universal cover of Δ* and the specialization map studied by Verdier; the étale construction uses the strict henselization at the closed point and inertia actions introduced in SGA7. The definition is functorial in F and compatible with passage to derived categories developed in the style of Grothendieck and Verdier.

Properties and functoriality

Nearby cycles preserve constructibility and carry a continuous action of the geometric monodromy (the inertia or fundamental group of the punctured base), a theme present in the work of Pierre Deligne on monodromy in Weil II. The functor Ψ_f commutes with proper pushforward and with Verdier duality under suitable hypotheses, reflecting duality principles formalized by Verdier and expanded in the study of perverse sheaves by Robert MacPherson and Masaki Kashiwara. Purity and weight properties for Ψ_f show up in the mixed Hodge module theory of Morihiko Saito and in the ℓ-adic context within results attributed to Deligne and Grothendieck.

Relation to vanishing cycles and monodromy

Vanishing cycles Φ_f complement nearby cycles: Ψ_f captures limiting cohomology, while Φ_f measures what disappears in specialization. The fundamental triangle linking Rψ_f, Rφ_f and the restriction functor originates in the formalism of nearby and vanishing cycle functors developed in SGA7 and Verdier's papers. Monodromy operators on Ψ_f are central: the logarithm of unipotent monodromy leads to nilpotent endomorphisms used in the nilpotent orbit theorem of Wilfried Schmid and in the description of limiting mixed Hodge structures by Steenbrink and Schmid. In arithmetic contexts, Frobenius and inertia actions on Ψ_f are key to local factors in the study advanced by Pierre Deligne and applied in proofs associated with the Weil conjectures.

Examples and computations

Classical examples include the Milnor fiber analysis for isolated hypersurface singularities studied by John Milnor and the calculation of monodromy via Picard–Lefschetz theory as in the work of Lefschetz and Arnold. For degenerations of curves and stable reduction studied by David Mumford and Jean-Pierre Serre, nearby cycles recover the special fiber cohomology with monodromy action. In representation-theoretic settings, calculations of Ψ_f for maps arising from Springer resolutions connect to the Springer correspondence developed by T.A. Springer and computations in Kazhdan–Lusztig theory and work of George Lusztig.

Applications in algebraic geometry and representation theory

Nearby cycles underpin proofs of decomposition theorems and support the theory of perverse sheaves central to results by Beilinson, Bernstein, and Deligne. They appear in the geometric study of the Hitchin fibration investigated by Ngô Bảo Châu and in the proof of the fundamental lemma related to the Langlands program. In representation theory, Ψ_f applied to sheaves on moduli spaces or resolutions yields actions linking geometry to representations as in the Springer and character-sheaf theories advanced by Lusztig and Hotta.

Historical development and key references

The formalism of nearby and vanishing cycles emerged from the SGA seminars led by Grothendieck and collaborators, especially in SGA7, and was refined by Verdier in the analytic setting. Fundamental expansions and applications were provided by Deligne in his studies of monodromy and weights, and by Kashiwara and Schapira in microlocal and sheaf-theoretic frameworks. Subsequent developments by Saito introduced mixed Hodge modules linking Ψ_f to Hodge theory; later innovations by Ngô Bảo Châu and Lusztig integrated nearby cycles into major advances in arithmetic geometry and representation theory. See landmark publications and seminars associated with SGA7, Deligne's Weil II, Verdier's articles, and Saito's monographs for foundational treatment.

Category:Algebraic geometry