Full faithfulness without Frobenius structure and partially overcoherent isocrystals

Details Full faithfulness without Frobenius structure and partially overcoherent isocrystals Full faithfulness without Frobenius structure and partially overcoherent isocrystals

2009-05-13

arxiv.org/abs/0905.2210v4

Mathematics

Algebraic Geometry

Scientific paper

Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field $k$. Let $X$ be a variety over $k$, $Y$ be an open of $X$, $Y'$ be an open of $Y$ dense in $X$. We extend Kedlaya's full faithfulness as follows (we do not suppose $Y$ to be smooth): the canonical functor $F\text{-}\mathrm{Isoc} ^{\dag} (Y,X/K) \to F\text{-}\mathrm{Isoc} ^{\dag} (Y,Y/K) $ is fully faithfull. Suppose now $Y$ smooth. We construct the category of partially overcoherent isocrystals over $(Y,X)$ denoted by $\mathrm{Isoc} ^{\dag\dag} (Y,X/K) $ whose objects are some particular arithmetic $\D$-modules. Furthermore, we check the equivalence of categories $\sp_{(Y,X),+} : \mathrm{Isoc} ^{\dag} (Y,X/K) \cong \mathrm{Isoc} ^{\dag\dag} (Y,X/K)$.

Affiliated with

Also associated with

No associations

Rating

Full faithfulness without Frobenius structure and partially overcoherent isocrystals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Full faithfulness without Frobenius structure and partially overcoherent isocrystals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Full faithfulness without Frobenius structure and partially overcoherent isocrystals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-399607