Mathematics – Algebraic Geometry
Scientific paper
2005-10-20
Mathematics
Algebraic Geometry
62 pages
Scientific paper
Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that $T_X = T \cap X$ is a divisor in $X$ and $\smash{\D}^\dag _{\mathcal{P}}(\hdag T)$ the weak completion of the sheaf of differential operators on $\mathcal{P}$ with overconvergent singularities along $T$. We construct a fully faithful functor denoted by $ \sp_{X \hookrightarrow \mathcal{P},T,+}$ from the category of isocrystal on $X \setminus T_X$ overconvergent along $T_X$ into the category of coherent $\smash{\D}^\dag _{\mathcal{P}}(\hdag T) \otimes_\mathbb{Z} \mathbb{Q} $-modules with support in $X$. Next, we prove the commutation of $ \sp_{X \hookrightarrow \mathcal{P},T,+}$ with (extraordinary) inverse images and dual functors. These properties are compatible with Frobenius.
No associations
LandOfFree
D-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse 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 D-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and D-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-475994