Un funtor derivado Rψ (ciclos cercanos) que, para un haz en el espacio total de una familia, asigna el límite de su cohomología en las fibras cercanas al aproximarse a una fibra especial o singular; registra cómo se especializan los invariantes cohomológicos y lleva una acción de monodromía local.

Principio

Al estudiar la restricción de un haz a vecindades punteadas de la fibra especial y tomar el límite derivado apropiado, los ciclos cercanos capturan el sistema local límite y el operador de monodromía; formalizan los fenómenos de especialización en familias de variedades o espacios analíticos.

Demostración

Para una familia f: X → Δ sobre un disco complejo con fibra genérica lisa y fibra central singular, Rψ_f(F) es un complejo de haces sobre la fibra central cuyos estalks calculan la cohomología de las fibras próximas/Milnor y que porta la automorfismo de monodromía que describe cómo la cohomología gira alrededor del puncto.

Aplicación incorrecta

Confundir ciclos cercanos con ciclos vanishing/evanescents (que miden lo que desaparece más que lo que persiste), o aplicar ciclos cercanos a haces que no cumplen hipótesis de constructibilidad/finitud; también es erróneo usarlos fuera de un marco local o ℓ-ádico/analítico adecuado.

Consecuencia

Los ciclos cercanos proveen una herramienta precisa para estudiar degeneraciones, monodromía y estructuras de Hodge mixtas límite; son centrales en afirmaciones como el teorema de descomposición y en el cálculo de contribuciones locales a la cohomología en familias degenerantes.

Inversión

Mientras que los ciclos cercanos registran el límite de la cohomología al acercarse a la fibra especial, los ciclos vanishing miden la diferencia entre la cohomología cercana y la cohomología real de la fibra especial; la inversión clarifica persistencia frente a desaparición de clases.

Límite

Definido para complejos constructibles en contextos étale o analíticos con finitud apropiada (ℓ-ádico, complejo-analítico o categorías derivadas constructibles); requiere una familia con fibra especial marcada y una noción de vecindad punteada o henselización; no es un invariante bruto de una sola fibra.

Tensión semántica

Hay tensión entre ciclos cercanos y ciclos vanishing, y entre varias construcciones técnicas (ciclos cercanos analíticos clásicos, ℓ-ádicos y versiones motivicas/estables): comparten intuición pero difieren en propiedades formales y coeficientes.

Síntesis

El funtor de ciclos cercanos codifica cómo se comporta la cohomología en familias cerca de una fibra especial, produciendo complejos límite con monodromía que distinguen los datos cohomológicos persistentes de lo que degenera, y sirve como herramienta fundamental en el estudio de singularidades y degeneraciones.