## [Obstrucción del Descenso](/es/node/63696) Definición 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 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 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 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 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 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 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 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 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.