Un foncteur induit par un morphisme d’objets de base qui transporte des structures fibrées ou paramétrées le long de ce morphisme, réalisé couramment comme image réciproque (pullback) et parfois comme images directes reliant des catégories sur des bases différentes.

Principe

Étant donné un morphisme f:B'→B entre bases, le changement de base produit un foncteur f^* (et souvent des foncteurs adjoints f_* ou f_!) entre les catégories d’objets paramétrés sur B et sur B', défini en formant des produits fibrés (pullbacks) ou leurs remplacements universels et satisfaisant des compatibilités de naturalité et de changement de base.

Démonstration

Pour les faisceaux sur espaces topologiques, une application continue f:X→Y induit un foncteur image inverse f^{-1}: Sh(Y)→Sh(X) qui prend un faisceau sur Y à son image inverse sur X ; en géométrie algébrique, un morphisme de schémas donne le changement de base usuel des faisceaux quasi-cohérents via le produit tensoriel avec l’anneau structural de la source.

Mauvaise application

Confondre changement de base et simple restriction des ensembles sous-jacents ou supposer que les foncteurs de changement de base préservent toutes les propriétés (par ex. l’exactitude, la présentation finie) sans vérifier les hypothèses conduit à des conclusions erronées sur la conservation de structure.

Conséquence

Le changement de base organise la manière dont les données locales ou fibre par fibre se comportent sous des applications de bases, fournit des morphismes de comparaison canoniques (morphismes de changement de base) et est essentiel pour la descente, la compatibilité des adjoints et le transfert de structures géométriques ou algébriques en faisant varier les paramètres.

Inversion

La poussée directe le long du morphisme de base (f_* ou f_!) va dans la direction opposée et perd typiquement de l’information fibre par fibre ; l’adjonction met ces directions en relation, mais elles ne sont pas interchangeables sans hypothèses supplémentaires (propreté, platitude, etc.).

Limite

S’applique lorsque des objets sont présentés comme variant sur une base (catégories fibrées, faisceaux, fibrés, schémas) ; elle ne s’applique pas de façon générale aux constructions indifférentes à une paramétrisation de base et exige l’existence de limites ou des conditions d’exactitude pour que certaines propriétés soient préservées.

Tension sémantique

Il existe une tension entre le changement de base comme pullback catégorique formel et les opérations concrètes comme le changement de scalaires en algèbre ; on peut confondre le pullback géométrique avec le produit tensoriel algébrique sans reconnaître les conditions nécessaires de platitude ou de finitude.

Synthèse

Le foncteur de changement de base est la manière canonique de reparamétrer des données fibrées le long d’un morphisme de bases : les pullbacks donnent les objets transférés fibre par fibre, tandis que les pushforwards et adjoints enregistrent la façon dont les données globales se rassemblent, encodant ensemble la compatibilité des structures paramétrées.