Mathematics – Algebraic Geometry
Scientific paper
2006-05-04
Mathematics
Algebraic Geometry
Scientific paper
Let $Y$ be a separated and smooth $k$-scheme. We prove that the functor $\sp _{Y+}$, which gives an equivalence of categories between overconvergent $F$-isocrystals and overcoherent $F$-isocrystals, commutes with tensor products. This implies the stability by tensor products of the category of $F$-complexes that split into overconvergent $F$-isocrystals. In the case of curves, we check that the category of holonomic $F$-complexes is equal to the category of $F$-complexes that split into overconvergent $F$-isocrystals. So, we get the stability of holonomicity by tensor products over curves.
No associations
LandOfFree
On the stability by tensor products of F-complexes of arithmetic D-modules 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 On the stability by tensor products of F-complexes of arithmetic D-modules, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the stability by tensor products of F-complexes of arithmetic D-modules will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-299972