L'opération qui transporte un objet algébrique (module, algèbre, faisceau, schéma, représentation) le long d'un morphisme de bases f : R → S, réalisée classiquement par le produit tensoriel S ⊗_R − ou par le changement de base (image réciproque) le long de f ; l'objet est réinterprété comme défini sur la nouvelle base S.

Principe

Le principe est la fonctorialité et les adjoints : le transport le long d'une application de bases est régi par des constructions universelles (produit tensoriel, image réciproque) et s'articule avec la restriction des scalaires comme une paire adjoint ; l'exactitude et la commutation avec les limites dépendent d'hypothèses de platitude et de présentation finie.

Démonstration

Pour un homomorphisme d'anneaux R → S et un R-module M, le changement de base de M est S ⊗_R M, un S-module dont l'action et les relations proviennent du produit tensoriel ; pour un morphisme de schémas X → Spec R, le changement de base vers Spec S est X_S = X ×_{Spec R} Spec S, le produit fibré fondamental sur S.

Mauvaise application

Utiliser le changement de base en supposant qu'il préserve toutes les propriétés sans vérifier les hypothèses — par exemple affirmer que S ⊗_R − est exact pour tout R → S conduit à des erreurs si S n'est pas plat (apparition de Tor) ; ou traiter un changement de base d'objets non de présentation finie comme s'il commutait avec toutes les limites sans vérification.

Conséquence

Sous des hypothèses telles que la platitude, la présentation finie ou la propreté, le changement de base préserve les suites exactes, les conditions de type fini ou la cohomologie selon des règles précises ; il permet la comparaison des invariants sur différentes bases et le transport de structures le long des morphismes.

Inversion

Inversement, on considère la restriction des scalaires (ou oubli) le long de f : R → S, qui prend un objet défini sur S et le regarde comme définissable sur R ; le changement de base n'est généralement pas réversible et augmente souvent les sections et les morphismes disponibles.

Limite

S'applique aux contextes algébriques admettant un morphisme de bases (anneaux, schémas) et des constructions (tensoriel, produit fibré, image réciproque) ; il ne fournit pas de complétion analytique ou topologique et n'efface pas les phénomènes dérivés en l'absence de platitude.

Tension sémantique

Le changement de base chevauche les notions d'« extension des scalaires » et d'« image réciproque » — parfois utilisées indifféremment — mais des tensions existent : l'extension insiste sur le tensoriel avec un anneau plus grand, tandis que le changement de base schématique insiste sur le produit fibré et les fibres géométriques ; le changement de base dérivé entre en concurrence avec la version sous-derivee.

Synthèse

Le changement de base est le transport fonctoriel d'objets algébriques le long d'un morphisme de base, généralement implémenté par le produit tensoriel ou le produit fibré ; il obéit à des propriétés universelles et à des conditions d'exactitude, et demande une attention particulière à la platitude et aux conditions de finitude.