Let be a finite extension. We introduce -typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent -crystals, on the -typical prismatic site of a formal scheme over are equivalent to -linear local systems on the generic fiber . We also give comparison theorems for computing the étale cohomology of a local system in terms of the cohomology of its corresponding Laurent -crystal. In the case for a -adic field, we show that this recovers the Kisin-Ren equivalence between Lubin-Tate -modules and -linear representations of and the results of Kupferer and Venjakob for computing Galois cohomology in terms of Herr complexes of -modules. We can thus regard Laurent -crystals on the -typical prismatic site as providing a suitable notion of relative -modules.

生成讲解博客的中文版本

生成AI智能校验的中文版本