Una técnica algebraica y geométrica que permite que objetos, propiedades o morfismos definidos tras un cambio de base por un morfismo fielmente plano se desciendan de nuevo a la base original cuando se satisfacen datos de pegado (datos de descenso) compatibles; la fidelidad y la planitud garantizan exactitud y reflexión de propiedades.

Principio

El cambio de base fielmente plano es exacto y refleja isomorfismos; los datos de descenso (condiciones de cociclo en las intersecciones) codifican la compatibilidad necesaria para pegar objetos locales del recubrimiento en un objeto global sobre la base, y la efectividad del descenso reconstruye el objeto base de manera única hasta isomorfismo canónico.

Demostración

Si un fibrado vectorial sobre un esquema se trivializa tras un recubrimiento fielmente plano y las funciones de transición satisfacen las relaciones de cociclo, entonces las trivializaciones se pegan para dar un fibrado vectorial sobre la base; de modo similar, propiedades como ser de presentación finita o plano pueden verificarse tras cambio de base fielmente plano.

Aplicación incorrecta

Intentar descender sin fidelidad o planitud (por ejemplo usando extensiones arbitrarias), o ignorar la necesidad de datos de descenso efectivos y condiciones de cociclo, puede producir reconstrucciones falsas o pérdida de unicidad.

Consecuencia

Reduce cuestiones globales a comprobaciones locales en recubrimientos fielmente planos convenientes (por ejemplo, en las topologías fppf o fpqc), facilita la verificación de muchas propiedades y permite construcciones por pegado centrales en geometría algebraica y teoría de módulos.

Inversión

El ascenso o cambio de base lleva objetos desde la base al recubrimiento; el descenso es el procedimiento inverso de reconstruir objetos de la base a partir de datos del recubrimiento: la inversión enfatiza hipótesis y construcciones distintas.

Límite

Se aplica cuando el morfismo es fielmente plano (a menudo en las topologías fppf o fpqc) y cuando los datos de descenso son efectivos; no todas las propiedades descienden bajo topologías más débiles, y algunas estructuras exigen hipótesis adicionales (por ejemplo, cuasicompacidad, presentación finita).

Tensión semántica

Hay tensión entre las distintas nociones de descenso (étale, Nisnevich, fpqc) porque diferentes topologías permiten comportamientos de descenso distintos; 'fielmente plano' destaca exactitud y fidelidad pero puede ser más fuerte de lo necesario en algunos contextos.

Síntesis

Usar un recubrimiento fielmente plano para trabajar localmente donde los objetos son más simples, registrar compatibilidades como datos de descenso en las intersecciones y, cuando esos datos son efectivos, pegar las piezas locales para reconstruir un objeto global único sobre la base, descendiendo así estructuras y propiedades.