Cohomology of local systems on the complement of hyperplanes (Erratum).
We explain the philosophy behind the computations in [BDP] and place them in a wider conceptual setting. We also outline, for toric varieties, the resulting equivalent approach to some key results in that theory.
Soit un modèle entier en un premier d’une variété de Shimura de type PEL, ayant bonne réduction associée à un groupe réductif . On peut associer aux -représentations du groupe deux types de faisceaux : des cristaux sur la fibre spéciale de , et des systèmes locaux pour la topologie étale sur la fibre générique. Nous établissons un théorème de comparaison entre la cohomologie de ces deux types de faisceaux.
We show that the natural morphism between the fundamental group scheme of the generic fiber of a scheme over a connected Dedekind scheme and the generic fiber of the fundamental group scheme of is always faithfully flat. As an application we give a necessary and sufficient condition for a finite, dominated pointed -torsor over to be extended over . We finally provide examples where is an isomorphism.