## [Descenso](/es/node/61202) Definición Método y conjunto de condiciones para reconstruir o 'descender' objetos matemáticos definidos sobre una extensión (recubrimiento, cuerpo o esquema) a objetos sobre la base, dotando al objeto extendido de datos de descenso compatibles (p. ej. acciones galoisianas o cociclos) y comprobando su efectividad. ## Principio Principio Si un objeto sobre una extensión lleva una acción o isomorfismos en los solapes que satisfacen compatibilidades de cociclo, y si el dato de descenso es efectivo, entonces existe un objeto sobre la base, único salvo isomorfismo, cuyo pullback recupera el objeto dado; la descensión fielmente plana o galoisiana son marcos comunes. ## Demostración Demostración Para espacios vectoriales: un espacio vectorial V de dimensión finita sobre una extensión galoisiana K con una acción semilineal de Gal(K/k) que satisface las condiciones de cociclo desciende a un espacio vectorial W sobre k tal que V ≅ W ⊗_k K; los invariantes V^{Gal(K/k)} proporcionan W. En esquemas, datos de descenso sobre una cubierta étale se pegan a un esquema sobre la base cuando la descensión es efectiva. ## Aplicación incorrecta Aplicación incorrecta Suponer que cualquier objeto invariante bajo una acción de grupo desciende sin verificar las condiciones de cociclo/efectividad, o intentar descender estructuras que requieren rigidez adicional (p. ej. descender fibrados en líneas exige comprobar el pegado de funciones de transición). ## Consecuencia Consecuencia La descensión transforma problemas de clasificación sobre bases complicadas en cuestiones sobre objetos con simetría en cubiertas y se conecta con obstrucciones cohomológicas: la falta de descensión viene medida por clases de cohomología no triviales y la descensión construye formas y torsiones internas. ## Inversión Inversión El proceso inverso es el cambio de base o extensión de escalares: partir de un objeto en la base y producir su extensión es directo, mientras la descensión es la inversa y puede fallar; ver la descensión como inversa subraya las condiciones de compatibilidad y efectividad necesarias. ## Límite Límite La descensión efectiva requiere hipótesis concretas: la descensión galoisiana necesita una acción semilineal compatible, la descensión fielmente plana exige cubiertas adecuadas para descender haces cuasicoherentes, y no toda extensión o cubierta da lugar a descensión efectiva para todas las categorías de objetos. ## Tensión semántica Tensión semántica Muy relacionada con restriction of scalars, 'twisting' y formas; restriction of scalars produce un objeto sobre la base agregando datos, mientras la descensión recupera un objeto intrínseco sobre la base a partir de datos extendidos y compatibles — pueden confundirse pero cumplen roles distintos. ## Síntesis Síntesis La descensión es el mecanismo preciso que convierte datos simétricos o compatibles sobre extensiones/cubiertas en objetos bien definidos sobre la base: codificando y verificando condiciones de cociclo y efectividad, la descensión reconstruye el objeto base o revela una obstrucción cohomológica que lo impide.