ScalingStacks

6.5.4 Réduction de cocycles [01WB]

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.5.4 Réduction de cocycles

Soit XX un espace kk-analytique, soit x∈Xx\in X et soit ((,,,))((X_{\alpha},x)) un G-recouvrement fini et relativement strict de (X,x)(X,x). Soit (gα​β)(g_{\alpha\beta}) un cocycle sur (X,x)G(X,x)_{\text{G}}, à coefficients dans GLn∘\operatorname{GL}_{n}^{\circ}, et subordonné au recouvrement ((,,,))((X_{\alpha},x)). La famille des gα,β​(x)~\widetilde{g_{\alpha,\beta}(x)} constitue un cocycle sur (X,x)~\widetilde{(X,x)}, à coeffficients dans GLn\operatorname{GL}_{n}, et subordonné au recouvrement (OPEN(Xα),x)~CLOSE(\widetilde{(X_{\alpha}),x)}. Cette construction est compatible aux raffinements de recouvrement  ; et si les cocycles (gα,β)(g_{\alpha,\beta}) et (gα,β′)(g^{\prime}_{\alpha,\beta}) sont cohomologues via une cochaîne (cα)(c_{\alpha}), alors gα,β​(x)~\widetilde{g_{\alpha,\beta}(x)} et gα,β′​(x)~\widetilde{g^{\prime}_{\alpha,\beta}(x)} sont cohomologues via cα​(x)~\widetilde{c_{\alpha}(x)}.

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