##  [Application de Transfert](/fr/node/63379) 

 Définition

Un homomorphisme canonique qui pousse ou moyenne des données algébriques multiplicatives ou additives le long d'un morphisme structurel entre objets liés ; il envoie des invariants d'un sous-objet ou d'un objet source vers un objet cible plus grand en sommant, en prenant des normes ou en induisant le long d'un indice ou de fibres.

 

 

 

 

 

 





## Principe

Principe

Pour une inclusion d'indice fini ou un morphisme de type recouvrement i : H → G, le transfert (souvent noté tr ou Verlagerung) se construit en sommant sur des représentants de cosets, en prenant des normes, ou en utilisant des adjoints pour produire une application dans la direction opposée à la restriction ; le principe est la construction d'un pushforward canonique d'invariants algébriques.

 

 

 

 

 





## Démonstration

Démonstration

Pour un sous-groupe d'indice fini H ≤ G, le transfert en homologie fournit tr : H_n(H, M) → H_n(G, M) défini en composant l'application induite par l'inclusion sur les chaînes avec la moyenne sur les représentants de cosets ; en cohomologie de groupes il existe une corestriction correspondante et en théorie des nombres une norme multiplicative est l'analogue multiplicatif.

 

 

 

 

## Mauvaise application

Mauvaise application

Employer le transfert sans hypothèses de finitude ou d'indice appropriées (p.ex. indice infini) ou supposer qu'il commute à tout changement de base ; appliquer le transfert lorsque les sommes sur les fibres divergent ou ne sont pas bien définies produit des résultats erronés.

 

 

 

 

 





## Conséquence

Conséquence

L'usage correct du transfert assemble des données locales ou au niveau des sous-groupes en invariants globaux et fournit des relations d'adjonction à la restriction, permettant des calculs (p.ex. détecter la non-trivialité globale à partir de classes locales) et produisant des formules à double coset.

 

 

 

 

## Inversion

Inversion

Opposé à l'inflation/pullback : tandis que l'inflation relève des classes dans l'objet ambiant, le transfert pousse des classes vers le haut (corestriction) ou agrège le long des fibres ; la restriction ramène les classes ambiantes vers le bas alors que le transfert les élève ou les moyenne.

 

 

 

 

 





## Limite

Limite

Exige des conditions qui rendent la sommation, la norme ou la construction adjointe bien définies (indice fini, fibres finies, recouvrements finis, conditions d'intégralité) ; tous les morphismes n'admettent pas un transfert significatif et son existence et ses propriétés dépendent de la catégorie et des hypothèses de finitude.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension avec la restriction et l'inflation : la restriction ramène des données ambiantes vers des sous-objets, l'inflation relève des classes du quotient vers l'ambiant, tandis que le transfert/corestriction agrège ou pousse des classes locales vers le haut ; discerner la direction et les hypothèses distingue leurs usages.

 

 

 

 

 





## Synthèse

Synthèse

La map de transfert est le pushforward/agrégat canonique qui, sous des hypothèses de finitude ou de recouvrement, convertit des données algébriques au niveau des sous-groupes ou des fibres en invariants globaux par sommation, normalisation ou adjonction, jouant un rôle complémentaire à la restriction et à l'inflation.