Un invariante o clase que impide que un objeto, sucesión exacta, haz o representación se descomponga en suma directa, producto o factorización trivial; registra el fallo en la existencia de proyecciones o secciones que realizarían una descomposición escindida.

Principio

El escindido equivale a la existencia de una sección o proyección que satisface relaciones de compatibilidad; las obstrucciones al escindido suelen detectarse mediante cohomología o clases características que se anulan exactamente cuando existe la descomposición y a menudo proceden de clases de extensión en Ext^1 o cohomología de grado superior.

Demostración

En el contexto de fibrados vectoriales, una clase característica no nula (por ejemplo una clase tipo Stiefel–Whitney o de Chern en la teoría apropiada) es una obstrucción para escindir el fibrado como suma directa de subfibrados; en teoría de módulos, una clase Ext puede obstruir la descomposición de un módulo como suma directa de submódulos.

Aplicación incorrecta

Suponer que la anulación de una única clase característica u obstrucción en una teoría de cohomología garantiza el escindido en todas las categorías; o usar obstrucciones topológicas para deducir escindidos algebraicos sin verificar los criterios de escindido específicos de la categoría.

Consecuencia

Cuando las obstrucciones al escindido se anulan, puede descomponerse el objeto en sumandos directos, simplificando la estructura, permitiendo su clasificación por constituyentes más sencillos y a menudo reduciendo problemas al estudio de los sumandos; la no anulación suele forzar estructuras genuinamente acopladas.

Inversión

La situación inversa es un objeto escindido, donde todas las obstrucciones relevantes se anulan y existen proyecciones idempotentes o secciones explícitas; contemplar la reversa aclara las condiciones algebraicas exactas equivalentes a la anulación de las obstrucciones.

Límite

Se aplica a problemas de escindido para sucesiones, fibrados, módulos y representaciones; la naturaleza concreta de las obstrucciones depende de la categoría (abeliana, topológica, geométrica u homotópica) y puede no ser expresable en los mismos términos cohomológicos fuera de esos contextos.

Tensión semántica

Existe tensión entre el escindido como isomorfismo a una suma directa y nociones más débiles como el escindido estable o la descomposición hasta extensión; algunas comunidades distinguen estrictamente entre escindido y otras descomposiciones más débiles, lo que puede llevar a ambigüedad salvo que se especifique el contexto categórico.

Síntesis

Una obstrucción al escindido es el invariante algebraico, cohomológico o característico cuya no anulación impide la descomposición en sumandos directos; su anulación es el criterio preciso para realizar un escindido explícito.