加载中…
Let be a complete non-archimedean field over , be a rigid group over , and be a perfectoid space over . We consider the natural morphism of sites . It is known from work of Heuer that the direct image functor induces an equivalence of the categories of -torsors. In this article, we show that there is an equivalence of 2-categories of -gerbes on these two topologies.

生成讲解博客的中文版本

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