English

A note on effective descent for overconvergent isocrystals

Number Theory 2017-07-12 v2

Abstract

In this short note we explain the proof that proper surjective and faithfully flat maps are morphisms of effective descent for overconvergent isocrystals. We then show how to deduce the folklore theorem that for an arbitrary variety over a perfect field of characteristic pp, the Frobenius pull-back functor is an equivalence on the overconvergent category.

Keywords

Cite

@article{arxiv.1706.05300,
  title  = {A note on effective descent for overconvergent isocrystals},
  author = {Christopher Lazda},
  journal= {arXiv preprint arXiv:1706.05300},
  year   = {2017}
}

Comments

11 pages, comments welcome. Updated to include a reference to the proper case handled by Shiho

R2 v1 2026-06-22T20:20:59.694Z