Un élément, une classe de cohomologie, une représentation ou un autre invariant qui n'appartient pas à l'image d'une application ou d'un foncteur de relèvement spécifié ; il signale l'échec à relever un objet depuis une catégorie ou base cible vers une source (par exemple de caractéristique p vers caractéristique zéro, ou d'un quotient vers l'objet complet).

Principe

La relèvabilité est gouvernée par des théories d'obstruction et des foncteurs de déformation : une classe non relevable est détectée par des éléments d'obstruction non nuls dans des groupes d'obstruction mesurant l'impossibilité d'étendre une déformation locale ou de trouver un antécédent par une application naturelle d'espaces ou de modules.

Démonstration

Scénario concret : une représentation galoisienne sur un corps fini dont l'anneau de déformation ne possède aucun point relevant en caractéristique zéro donne une classe de représentation mod p non relevable en caractéristique zéro ; de même, une classe de cohomologie peut ne pas admettre d'antécédent sous une application naturelle à cause d'une obstruction non nulle en H^2.

Mauvaise application

Confondre non-relèvabilité avec absence de toute structure apparentée (par exemple, supposer qu'aucune déformation n'existe) ou ne pas vérifier si la relèvabilité pourrait tenir après passage à une extension ou en autorisant des cibles affaiblies (p. ex. tordues, anneaux de coefficients élargis).

Conséquence

Une classe non relevable restreint les déformations et constructions globales possibles, peut imposer de travailler uniquement en caractéristique positive ou d'utiliser des améliorations de type stack ou dérivé, et indique souvent des groupes d'obstruction non triviaux qu'il faut étudier pour comprendre les limites de la déformation.

Inversion

Classe relevable : l'élément admet un antécédent sous l'application de relèvement choisie, permettant le passage à la catégorie ou base plus grande et souvent ouvrant des conséquences structurelles ou arithmétiques plus riches.

Limite

Dépend de l'application de relèvement spécifiée, des catégories en jeu et des choix auxiliaires (structures de niveau, coefficients, topologie) ; une classe peut être non relevable pour un problème de relèvement donné mais relevable après changement de base ou raffinements, de sorte que la non-relèvabilité n'est pas absolue sans contexte.

Tension sémantique

Tension entre 'non relevable' et 'obstrué' ou 'rigide' : 'non relevable' met l'accent sur l'échec à trouver un antécédent pour une application particulière, tandis que 'obstrué' souligne les raisons cohomologiques ; 'rigide' suggère l'unicité des déformations plutôt que l'impossibilité — ces notions se recouvrent mais diffèrent d'angle d'analyse.

Synthèse

Une classe non relevable signale une obstruction concrète dans un problème de relèvement : elle localise l'endroit où les techniques de déformation ou de descente échouent à produire un antécédent, orientant l'étude vers les groupes d'obstruction, les relaxations possibles (tordages, changement de base) et la cartographie précise de l'échec plutôt qu'une simple affirmation d'impossibilité.