Un invariant ou une classe qui empêche un objet, une suite exacte, un fibré ou une représentation de se décomposer en somme directe, produit ou factorisation triviale ; il enregistre l'échec de l'existence de projections ou de sections qui réaliseraient un scindage.

Principe

Le scindage équivaut à l'existence d'une section ou d'une projection satisfaisant des relations de compatibilité ; les obstructions au scindage sont typiquement détectées par des classes de cohomologie ou des classes caractéristiques qui s'annulent exactement quand la décomposition existe et proviennent souvent de classes d'extension dans Ext^1 ou de classes cohomologiques de degré supérieur.

Démonstration

Dans le contexte des fibrés vectoriels, une classe caractéristique non nulle (par exemple une classe de type Stiefel–Whitney ou de Chern dans la théorie appropriée) est une obstruction à scinder le fibré en somme directe de sous-fibrés ; en théorie des modules, une classe d'Ext peut empêcher de décomposer un module en somme directe de sous-modules.

Mauvaise application

Supposer que la nullité d'une unique classe caractéristique ou d'obstruction dans une théorie de cohomologie garantit le scindage dans toutes les catégories ; ou employer des obstructions topologiques pour déduire un scindage algébrique sans vérifier les critères de scindage propres à la catégorie.

Conséquence

Quand les obstructions au scindage s'annulent, on peut décomposer l'objet en facteurs directs, simplifier la structure, permettre une classification par constituants plus simples et souvent réduire les problèmes à l'étude des facteurs ; leur non-nullité impose généralement des structures véritablement couplées.

Inversion

La situation inverse est un objet scindé, où toutes les obstructions pertinentes s'annulent et où existent des projections idempotentes ou des sections explicites ; envisager l'inverse clarifie les conditions algébriques équivalentes à la nullité des obstructions.

Limite

S'applique aux problèmes de scindage pour des suites, des fibrés, des modules et des représentations ; la nature concrète des obstructions dépend de la catégorie (abélienne, topologique, géométrique ou homotopique) et peut ne pas être exprimable dans les mêmes termes cohomologiques en dehors de ces contextes.

Tension sémantique

Il existe une tension entre le scindage comme isomorphisme à une somme directe et des notions plus faibles comme le scindage stable ou la décomposition à extension près ; certaines communautés distinguent strictement le scindage d'autres décompositions plus faibles, ce qui peut conduire à des ambiguïtés à moins que le contexte catégorique ne soit précisé.

Synthèse

Une obstruction au scindage est l'invariant algébrique, cohomologique ou caractéristique dont la non-nullité empêche la décomposition en facteurs directs ; sa nullité est le critère précis pour réaliser un scindage explicite.