Le foncteur qui considère un objet défini sur une base plus grande S comme un objet sur une base plus petite R via un morphisme de bases f : R → S, réalisé en général en oubliant la structure S-linéaire supplémentaire et en regardant le module, l'algèbre ou la représentation sous l'action précomposée par f.

Principe

La restriction des scalaires est l'opération d'oubli/adjointe à droite de l'extension ou de l'induction : elle ramène la structure algébrique sur la base plus petite en précomposant l'action des scalaires par le morphisme de bases ; elle préserve les limites et de nombreuses propriétés de finitude mais peut ne pas préserver les colimites ou la liberté des modules.

Démonstration

Pour une extension de corps k ⊂ K, tout espace vectoriel K est considéré comme espace vectoriel sur k par restriction des scalaires ; un espace vectoriel complexe de dimension n devient un espace réel de dimension 2n lorsqu'on restreint de C à R.

Mauvaise application

Supposer que la restriction des scalaires préserve uniformément des propriétés telles que la simplicité ou la liberté : un module simple sur S peut ne pas l'être sur R, et un module libre sur S peut devenir non libre ou voir son rang ambiguëment modifié lorsqu'on le considère sur R sans vérifier la structure.

Conséquence

La restriction des scalaires offre une manière conservative de comparer des structures sur des bases différentes, sous-tend les adjunctions utilisées en descente et en changement de base, et est exacte en tant que foncteur d'oubli sur catégories abéliennes, ce qui la rend fiable pour construire limites et noyaux.

Inversion

La construction réciproque naturelle est l'extension des scalaires (ou l'induction), qui cherche à produire un objet sur S à partir d'un objet sur R ; la restriction fait perdre des informations S-linéaires qui ne peuvent en général pas être récupérées sans structure supplémentaire ou constructions universelles.

Limite

S'applique chaque fois qu'il existe un morphisme de bases et un objet algébrique muni d'une action de S ; elle ne crée pas de nouveaux scalaires ni de nouvelles relations algébriques et ne saurait remplacer une localisation, une complétion ou des constructions dérivées qui modifient la torsion.

Tension sémantique

La tension vient du fait que la restriction des scalaires est un foncteur d'oubli alors que des opérations apparemment similaires changent les coefficients de façon plus substantielle (par exemple changement de base par tensorisation) ; la restriction préserve les limites tandis que l'extension préserve les colimites, jouant des rôles complémentaires mais concurrents.

Synthèse

La restriction des scalaires est le processus d'oubli adjointe à droite qui considère des objets sur S comme objets sur R en précomposant l'action des scalaires par le morphisme de base ; c'est un outil conservatif préservant les limites qui fait perdre des raffinements S-linéaires et doit être complété par l'extension ou l'induction pour retrouver une structure plus riche.