## [Restriction de Changement de Structure](/fr/node/63383) Définition Le processus consistant à tirer en arrière ou à oublier une partie d'une structure algébrique le long d'un morphisme : typiquement la restriction des scalaires, le pullback de modules ou de faisceaux, ou l'oubli d'opérations supplémentaires afin qu'un objet porte une structure sur une base différente ; formellement obtenu par précomposition avec la flèche définissante. ## Principe Principe Pour un morphisme f : A → B d'algèbres, d'anneaux ou d'espaces, la restriction (aussi appelée restriction le long de f) envoie un objet sur B en un objet sur A en composant l'action ou la carte de structure avec f ; l'idée organisatrice est la fonctorialité des structures algébriques sous changement de base dans la direction contravariante. ## Démonstration Démonstration Exemple : restriction des scalaires pour les modules : un B-module M devient un A-module f^*M en laissant agir a ∈ A via f(a) ∈ B. Pour les faisceaux, le tiré en arrière le long d'une application continue f : X → Y donne f^{-1}F ou f^*F, qui sont les restrictions de la structure à l'espace source. ## Mauvaise application Mauvaise application Confondre la restriction avec l'extension/induction (changement de base covariant) ou négliger la façon dont exactitude et propriétés de finitude se comportent sous restriction ; supposer sans vérification que des propriétés (projectivité, platitude, finitude) sont préservées est risqué. ## Conséquence Conséquence L'application correcte fournit une manière systématique de considérer des objets sur des bases différentes, permet de comparer des invariants avant et après changement de base, et engendre des adjonctions avec les foncteurs d'extension ou d'induction qui sont centrales pour la descente et les calculs cohomologiques. ## Inversion Inversion L'opération inverse est l'extension/induction ou extension des scalaires, qui pousse la structure le long de f pour produire des objets sur la cible ; tandis que la restriction oublie ou tire la structure en arrière, l'extension construit une nouvelle structure sur la base plus grande. ## Limite Limite S'applique chaque fois qu'il existe un morphisme entre bases permettant la précomposition (morphismes d'algèbres, applications continues, morphismes de schémas) ; elle ne crée pas en soi nouveau contenu algébrique et peut ne pas préserver les propriétés de finitude ou d'exactitude sans hypothèses. ## Tension sémantique Tension sémantique Proche des notions d'extension/induction et des foncteurs d'oubli ; la tension réside à distinguer la restriction contravariante (pullback/oubli) de l'extension covariante (pushforward/induction) et les différentes propriétés de préservation de chacune. ## Synthèse Synthèse La restriction de changement de structure est le processus canonique de pullback/oubli qui, donné un morphisme de bases, considère un objet sur la cible comme un objet sur la source en précomposant l'action définissante, constituant la jambe contravariante des adjonctions de changement de base.