加载中…
We study the process of -adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct -adic sheaves of geometric origin over a scheme of finite type over a field from -adic cohomology of smooth schemes. In the case of finite fields, this includes perverse -adic sheaves of geometric orgin. However, the analogous behaviour fails systematically in mixed characteristic: the reason is that it would imply strong independence of results that can be proven to be too optimistic.

生成讲解博客的中文版本

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