Mathematics – Algebraic Geometry
Scientific paper
2011-03-08
Mathematics
Algebraic Geometry
32 pages
Scientific paper
Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field. Let $\X$ be a smooth formal scheme over $\V$. We prove than a $\D ^\dag_{\X,\Q} $-module which is overcoherent after any change of basis is an holonomic $\D ^\dag_{\X,\Q} $-module. Furthermore, we check that this implies than a bounded complex $\E$ of $\D ^\dag_{\X,\,\Q}$-modules is overholonomic after any change of basis if and only if, for any integer $j$, $\mathcal{H} ^{j} (\E) $ is overholonomic by change of basis.
No associations
LandOfFree
Overcoherence implies holonomicity 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 Overcoherence implies holonomicity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Overcoherence implies holonomicity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-82995