Un foncteur dérivé Rψ (cycles proches) associant à un faisceau sur l'espace total d'une famille la limite de sa cohomologie sur les fibres proches lorsque l'on approche une fibre spéciale ou singulière ; il enregistre comment les invariants cohomologiques se spécialisent et porte une action du monodromie locale.

Principe

En examinant la restriction d'un faisceau à des voisinages perforés de la fibre spéciale et en prenant la limite dérivée appropriée, les cycles proches capturent le système local limite et l'opérateur de monodromie ; ils formalisent les phénomènes de spécialisation dans les familles de variétés ou d'espaces analytiques.

Démonstration

Pour une famille f : X → Δ au-dessus d'un disque complexe avec fibre générique lisse et fibre centrale singulière, Rψ_f(F) est un complexe de faisceaux sur la fibre centrale dont les fibres calculent la cohomologie des fibres proches/Milnor et qui porte l'automorphisme de monodromie décrivant le comportement de la cohomologie autour du puncture.

Mauvaise application

Confondre cycles proches et cycles évanescents (qui mesurent ce qui disparaît plutôt que ce qui persiste), ou appliquer les cycles proches à des faisceaux ne satisfaisant pas aux hypothèses de constructibilité/finitude ; les utiliser hors d'un cadre local ou ℓ-adique/analytique adéquat est erroné.

Conséquence

Les cycles proches fournissent un outil précis pour étudier la dégénérescence, le monodromie et les structures de Hodge mixtes limites ; ils sont centraux dans des énoncés comme le théorème de décomposition et pour calculer les contributions locales à la cohomologie dans des familles dégénérantes.

Inversion

Alors que les cycles proches consignent la limite de la cohomologie en approchant la fibre spéciale, les cycles évanescents mesurent la différence entre la cohomologie proche et la cohomologie réelle de la fibre spéciale ; l'inversion clarifie la persistance versus la disparition des classes.

Limite

Défini pour des complexes constructibles en contextes étale ou analytique avec finitude appropriée (ℓ-adique, complexe-analytique ou catégories dérivées constructibles) ; nécessite une famille avec une fibre spéciale marquée et une notion de voisinage perforé ou hensélisé ; ce n'est pas un invariant brut d'une fibre isolée.

Tension sémantique

Une tension existe entre cycles proches et évanescents, ainsi qu'entre diverses constructions techniques (cycles proches analytiques classiques, ℓ-adiques, et versions motiviques/stables) : l'intuition est commune mais les propriétés formelles et les coefficients diffèrent.

Synthèse

Le foncteur des cycles proches encode le comportement de la cohomologie dans les familles près d'une fibre spéciale, produisant des complexes limites munis de monodromie qui distinguent les données cohomologiques persistantes de ce qui dégénère, et constitue un outil fondamental pour l'étude des singularités et des dégénérescences.