Une classe d'obstruction ou un ensemble de classes qui empêche une déformation infinitésimale ou formelle d'un objet de s'étendre à un ordre supérieur, à une base plus grande ou à une déformation globale réelle ; ces classes résident dans des groupes d'obstruction calculés à partir du complexe tangent ou du complexe de déformation.

Principe

Les déformations infinitésimales sont paramétrées par un espace tangent (souvent H^1 d'un complexe de déformation) tandis que les obstructions à relever ces déformations du premier ordre au second ou d'ordre supérieur résident dans des groupes d'obstruction (souvent H^2) ; l'annulation des classes d'obstruction pertinentes est nécessaire (et sous des hypothèses favorables suffisante) pour l'extension.

Démonstration

En déformant une structure algébrique ou un faisceau, une déformation au premier ordre peut exister mais rencontrer une obstruction à l'ordre suivant : une classe d'obstruction explicite dans le groupe H^2 empêchera la construction de l'extension de la déformation sur une base artinienne plus épaisse, de sorte qu'aucune famille formelle avec ce vecteur tangent au premier ordre n'existe sans modification.

Mauvaise application

Supposer que toutes les déformations au premier ordre s'intègrent en déformations effectives sans vérifier les obstructions d'ordre supérieur ; ou traiter la nullité des groupes d'obstruction de bas degré comme une garantie universelle dans des contextes dépourvus des hypothèses de finitude ou de lissité nécessaires pour la suffisance.

Conséquence

Identifier les obstructions de déformation organise la théorie des déformations : la nullité des obstructions permet de construire des déformations formelles ou effectives pas à pas, tandis que la non-nullité pousse à modifier le problème de déformation, changer les paramètres ou accepter des directions obstruées et étudier les strates de modules obstruées.

Inversion

Le cas non obstrué est l'inverse : tous les groupes d'obstruction pertinents s'annulent et les déformations formelles s'étendent en familles effectives, donnant souvent des modules locaux lisses ; contraster les comportements obstrués et non obstrués clarifie où la géométrie ou l'algèbre impose des contraintes rigides.

Limite

Concerne les problèmes de déformation formels et infinitésimaux en contextes algébriques, analytiques et différentiels ; l'extension globale ou la convergence vers des familles analytiques réelles peut nécessiter des hypothèses supplémentaires, de sorte que la théorie des obstructions traite en général de l'existence formelle plutôt que de la réalisabilité analytique globale.

Tension sémantique

Il existe une tension entre le langage des obstructions (classes dans H^2) et des phénomènes appelés anomalies ou obstructions non perturbatives dans d'autres domaines ; bien que mathématiquement liés, la terminologie et les remèdes attendus diffèrent selon les communautés, si bien que la traduction entre usages peut être délicate.

Synthèse

Une obstruction à la déformation est la donnée cohomologique qui bloque le passage de déformations d'ordre inférieur à des ordres supérieurs ou globaux ; sa nullité est le signal algébrique que l'extension pas à pas est possible et sa non-nullité identifie des directions rigides dans l'espace des modules.