Un elemento, clase de cohomología, representación u otro invariante que no pertenece a la imagen de una aplicación o funtor de elevación especificado; señala el fallo al elevar un objeto desde una categoría o base objetivo a una fuente (por ejemplo, de característica p a característica cero, o desde un cociente a un objeto completo).

Principio

La elevabilidad está controlada por teorías de obstrucción y funtores de deformación: una clase no elevable se detecta mediante elementos de obstrucción no nulos en los grupos de obstrucción que miden el fallo para extender una deformación local o para encontrar un preimagen bajo un mapa dado de espacios o módulos.

Demostración

Escenario concreto: una representación galoisiana sobre un cuerpo finito cuyo anillo de deformación no tiene puntos que se eleven a característica cero proporciona una clase de representación mod p que no es elevable a característica cero; equivalentemente, una clase de cohomología puede no tener preimagen bajo un mapa natural debido a una obstrucción no nula en H^2.

Aplicación incorrecta

Confundir no elevabilidad con ausencia de cualquier estructura relacionada (por ejemplo, asumir que no existe ninguna deformación) o no comprobar si la elevabilidad podría lograrse tras pasar a una extensión o permitir objetivos relajados (p. ej., permitir torciones o ampliar los anillos de coeficientes).

Consecuencia

Una clase no elevable restringe las deformaciones y construcciones globales posibles, puede forzar a trabajar sólo en característica positiva o a usar mejoras tipo stack/derivadas, y suele indicar la existencia de grupos de obstrucción no triviales que deben estudiarse para entender los límites de la deformación.

Inversión

Clase elevable: el elemento admite un preimagen bajo la aplicación de elevación elegida, permitiendo el paso a la categoría o base mayor y a menudo abriendo consecuencias estructurales o aritméticas más ricas.

Límite

Depende de la aplicación de elevación especificada, de las categorías implicadas y de elecciones auxiliares (estructuras de nivel, coeficientes, topología); una clase puede ser no elevable respecto a un problema de elevación pero elevable tras un cambio de base o refinamientos, por lo que la no elevabilidad no es absoluta sin contexto.

Tensión semántica

Tensión entre 'no elevable' y 'obstruido' o 'rígido': 'no elevable' enfatiza el fallo de encontrar un preimagen para un mapa particular, mientras que 'obstruido' subraya las razones cohomológicas; 'rígido' sugiere unicidad de deformaciones más que imposibilidad — estas nociones se solapan pero difieren en su enfoque.

Síntesis

Una clase no elevable registra una obstrucción concreta en un problema de elevación: localiza dónde las técnicas de deformación o descenso no producen un preimagen, orientando la atención hacia los grupos de obstrucción, posibles relajaciones (torsiones, cambio de base) y la localización precisa del fallo en lugar de una mera afirmación de imposibilidad.