ScalingStacks

6.6.1 [01WE]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

6.6.1

Soit E¯\bar{E} un fibré vectoriel PL sur un germe (X,x)(X,x).

Choisissons un G-recouvrement fini et relativement strict ((,,,))((X_{\alpha},x)) qui déploie E¯\bar{E}. Par le procédé de réduction des cocycles décrit au paragraphe (6.5.4), on définit un fibré vectoriel sur (X,x)~\widetilde{(X,x)}, déployé par OPEN((Xα,x)~))(\widetilde{(X_{\alpha},x)})). Il est, à isomorphisme canonique près, indépendant du recouvrement ((,,,))((X_{\alpha},x)) et du cocycle utilisé. On le notera 𝖤⁡(x)\mathsf{E}(x), ou plus simplement 𝖤\mathsf{E}. On dit que c’est le fibré résiduel de E¯\bar{E} en xx

La formation du fibré résiduel commute aux constructions de l’algèbre linéaire : somme directe, produit tensoriel,…

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.