Un foncteur qui associe à un objet défini sur une sous-structure un objet induit canonique sur une structure plus grande, réalisé souvent comme adjointe à gauche du foncteur de restriction ou d’oubli en théorie des représentations, théorie des modules et contextes apparentés.

Principe

L’induction est organisée par une adjonction : donnée une inclusion ou un morphisme i:S→T, l’induction Ind_i est un foncteur adjoint à gauche de Res_i, construit par une propriété universelle qui étend librement les objets sur S aux objets sur T en imposant les relations minimales requises par la structure plus grande.

Démonstration

Pour les représentations de groupes, si H≤G et V est une représentation de H, la représentation induite Ind_H^G V consiste en fonctions G→V satisfaisant une équivariance ou, équivalemment, le produit tensoriel k[G]⊗_{k[H]}V ; elle est adjointe à gauche de la restriction d’une représentation de G à H et satisfait la réciprocité de Frobenius.

Mauvaise application

Utiliser l’induction sans vérifier les hypothèses de finitude, continuité ou exactitude (par ex. induire des modules de dimension infinie sans contrôler les questions topologiques) peut produire des objets qui ne satisfont pas des propriétés attendues comme l’admissibilité ou l’exactitude.

Conséquence

Quand l’induction existe, elle fournit des extensions canoniques, construit des objets libres ou cofibreux avec un comportement local prescrit, et interagit avec des outils homologiques et des formules de réciprocité, permettant le transfert d’applications de structures plus petites à des structures plus grandes.

Inversion

La coinduction ou la restriction sont les processus inverses : la restriction oublie de la structure et la coinduction fournit une extension adjointe à droite ; ces renversements diffèrent par l’exactitude et le comportement par rapport à la taille et ne sont pas interchangeables en général.

Limite

S’applique lorsque existe un foncteur de restriction significatif (inclusions de groupes, d’algèbres, morphismes de changement de base) ; l’induction peut échouer à préserver la finitude, l’exactitude ou des propriétés topologiques souhaitées et demande des hypothèses (indice fini, projectivité, platitude) pour des conclusions fortes.

Tension sémantique

La tension vient de l’opposition entre l’induction comme adjointe à gauche formelle et des constructions concrètes comme l’extension par zéro ou le tensoring ; les praticiens peuvent confondre différentes constructions d’« induction » qui ne coïncident que sous des hypothèses supplémentaires.

Synthèse

Le foncteur d’induction est l’extension canonique adjointe à gauche qui produit librement des objets sur un plus grand ambiant à partir d’objets sur une sous-structure, caractérisée par une propriété universelle et centrale pour le transfert de structures et la résolution de problèmes d’extension en algèbre et théorie des représentations.