Una obstrucción que impide que objetos o datos locales definidos sobre un recubrimiento se peguen para formar un objeto global; suele detectarse por una clase de cohomología no trivial o por la ineffectividad de datos de descenso en una topología dada (étale, fppf, fpqc, etc.).

Principio

La descendencia formaliza cuándo los datos de compatibilidad locales (restricciones y condiciones de cociclo) son suficientes y efectivos para reconstruir un objeto global; el fallo ocurre cuando la compatibilidad existe hasta isomorfismos coherentes pero no puede realizarse por un objeto global en la categoría.

Demostración

Un ejemplo clásico es un torzor bajo un esquema de grupos dado por trivialisaciones locales y funciones de transición que representan una clase no trivial en H^1 del recubrimiento: el cociclo es no nulo, así los datos definen un torzor no trivial que no desciende a un objeto global trivial, o más generalmente, datos de descenso no efectivos no producen objeto global alguno.

Aplicación incorrecta

Suponer que porque los objetos concuerdan en las intersecciones deben pegarse globalmente sin comprobar obstrucciones de cociclo de orden superior o la topología requerida (por ejemplo usar descenso de Zariski donde sólo aplica fppf), conduciendo a construcciones globales incorrectas.

Consecuencia

Reconocer un fallo de la descendencia obliga a refinar: cambiar la topología (usar un recubrimiento más fino), pasar a haces tipo stack o gerbas donde la descendencia sea efectiva, o identificar la obstrucción cohomológica que debe anularse para que la descendencia tenga éxito.

Inversión

La descendencia efectiva es la inversión: datos de descenso que satisfacen las condiciones de cociclo y que efectivamente provienen de un objeto global único (hasta isomorfismo), habitualmente evidenciado por la anulación de clases de obstrucción en grupos de cohomología apropiados.

Límite

Se aplica a categorías fibradas en groupoides, haces, esquemas y módulos sobre recubrimientos en topologías especificadas; no se refiere al pegado trivial en categorías discretas ni al parcheo formal que ignora la coherencia de cociclos.

Tensión semántica

Tensión entre el parcheo ingenuo (acuerdo local en solapamientos por parejas) y la descendencia plena (condiciones coherentes de cociclo de orden superior y efectividad); también tensión entre la representabilidad por esquemas y la necesidad de estructuras tipo stack para la descendencia efectiva.

Síntesis

El fallo de la descendencia es el fenómeno donde datos locales compatibles no logran producir un objeto global debido a clases de obstrucción no nulas o ineffectividad; resolverlo exige ajustar la topología, enriquecer la categoría (stacks, gerbas) o eliminar las obstrucciones cohomológicas.