La operación de transportar un objeto algebraico (módulo, álgebra, haz, esquema, representación) a lo largo de un homomorfismo de bases f: R → S, realizada habitualmente mediante el producto tensorial S ⊗_R − o por el cambio de base (pullback) a lo largo de f; el objeto se interpreta entonces como definido sobre la nueva base S.

Principio

El principio está dado por la functorialidad y las adjunciones: el desplazamiento de estructuras a lo largo de un mapa de bases se rige por construcciones universales (producto tensorial, pullback) y se relaciona con la restricción de escalares como pareja adjunta; la exactitud y la conmutación con límites dependen de hipótesis de planitud y finitud.

Demostración

Para un morfismo de anillos R → S y un R-módulo M, el cambio de base de M es S ⊗_R M, un S-módulo cuyas acciones y relaciones se obtienen por tensorización; para un morfismo de esquemas X → Spec R, el cambio de base a Spec S es X_S = X ×_{Spec R} Spec S, el producto fibrado sobre S.

Aplicación incorrecta

Aplicar cambio de base asumiendo que preserva todas las propiedades sin verificar hipótesis —por ejemplo afirmar que S ⊗_R − es exacto para cualquier R → S— conduce a errores cuando S no es plano (aparecen términos de Tor); o tratar el cambio de base de objetos no de presentación finita como si conmutara con todo tipo de límites sin comprobarlo.

Consecuencia

Bajo hipótesis como planitud, presentación finita o propriedad, el cambio de base preserva sucesiones exactas, condiciones de tipo finito o cohomología de forma controlada; permite comparar invariantes sobre distintas bases y transportar estructuras a lo largo de morfismos.

Inversión

A la inversa está la restricción de escalares (forgetful) que toma un objeto sobre S y lo considera sobre R; el cambio de base no suele ser invertible y con frecuencia amplía las secciones y morfismos disponibles.

Límite

Aplica en contextos algebraicos que admiten un morfismo de bases (anillos, esquemas) y construcciones (tensorial, producto fibrado, pullback); no produce por sí mismo completaciones analíticas o topológicas ni elimina fenómenos derivados cuando falta planitud.

Tensión semántica

El cambio de base se solapa con las nociones «extensión de escalares» y «pullback» —a veces intercambiables—, pero existe tensión: la extensión enfatiza la tensorización con un anillo mayor, mientras que el cambio de base esquemático enfatiza el producto fibrado y las fibras geométricas; el cambio de base derivado compite con la versión no derivada.

Síntesis

El cambio de base es el transporte functorial de estructuras algebraicas a lo largo de un mapa de bases, normalmente implementado por producto tensorial o producto fibrado; obedece propiedades universales y condiciones de exactitud, por lo que requiere atención a la planitud y a condiciones de finitud.