# D-module that is coherent as O-module

Suppose that $X$ is an algebraic variety over $\mathbb C$, not necessarily smooth. Is it still true that each $\mathcal D_X$-module ($\mathcal D_X$ is of course the sheaf of differential operators) that is coherent as an $\mathcal O_X$-vodule must be locally free as an $\mathcal O_X$-module?

Serge

-

[Edited to correct errors pointed out by David Ben-Zvi and to answer a query by serge_I. These corrections reduce this answer'' to the status of a comment.]

(1) (Over $\mathbb C$) Under strong assumptions on the singularities of $X$ (namely, that $X$ should be cuspidal, Ben-Zvi and Nevins, arXiv 0212094v3), if $\mathcal E$ is coherent on $X$, then giving it a structure as a $\mathcal D_X$-module means giving an isomorphism $\phi:p_1^*\mathcal E\to p_2^*\mathcal E$, where $\mathcal X_1$ is the completion of $X\times X$ along the diagonal and $p_1,p_2:\mathcal X_1\to X$ are the projections. (There is also the cocycle condition, $p_{31}^*\phi=p_{32}^*\phi\circ p_{21}^*\phi,$ where $p_{ij}:\mathcal X_2\to\mathcal X_1$ are the projections from the completion $\mathcal X_2$ of $X\times X\times X$ along the diagonal, but we don't need this here.)

Since $X$ is noetherian, there is a unique flattening stratification $X=\coprod X_i$ associated to $\mathcal E$: each $X_i$ is locally closed in $X$ and for any $f:Y\to X$, $f^*\mathcal E$ is locally free if and only if $f$ factors through some $X_i$. The existence of $\phi$ shows that $p_1^*\mathcal E$ and $p_2^*\mathcal E$ have the same flattening stratification, while $\{p_1^{-1}(X_i)\}_i$ is the flattening stratification for $p_1^*\mathcal E$ and $\{p_2^{-1}(X_i)\}_i$ is the flattening stratification for $p_2^*\mathcal E$. Since $X$ is irreducible, there is a unique stratum $X_0$ of maximal dimension, so that $p_1^{-1}(X_0)=p_2^{-1}(X_0)$. Now think in terms of a tubular neighborhood of the diagonal in $X\times X$ to see that this forces $X_0=X$, so that $\mathcal E$ is locally free provided that $X$ is cuspidal.

(2) (In char. $p$, or over any base) If $X$ is smooth and $\mathcal D_X$ is taken to be the full ring of differential operators rather than the subring generated by those operators of order at most $1$, then the same argument applies.

-
This is a very nice argument, but is it clear it applies to D-modules? your definition is that of a stratification (or comodule over jets), which I don't think are the same as modules over the ring of differential operators in general (yours is the much better behaved one in general). I only know they are the same for varieties with only cusp singularities, for which all the various notions of D-module coincide. –  David Ben-Zvi Jan 10 '13 at 18:21
I am sorry, could you, please, explain in more detail how you conclude that for every $i$ there is a $j$ such that $p_1^{-1}(X_i)=p_2^{-1}(X_j)$? –  Serge Lvovski Jan 10 '13 at 18:43
Note that in characteristic p the statement is false even for X smooth if by $D_X$ you mean the ring of "crystalline diffops" (generated by functions and vector fields), rather than the full divided power ring (whose modules are the same as stratifications) -- eg Frobenius pullback of any coherent sheaf is a D-module. –  David Ben-Zvi Jan 10 '13 at 19:04
Also projectivity should not be necessary, the argument you give (and construction of flattening stratification) is local.. maybe Noetherian?? –  David Ben-Zvi Jan 10 '13 at 19:04
@inkspot: oh, thanks, now I see. –  Serge Lvovski Jan 11 '13 at 3:32

No, you can generally only get locally freeness on an open dense set. This is Lemma VII.9.3 in Algebraic D-modules by Armand Borel et al.

EDIT: just realised that Lemma talks about where $\mathcal{D}_X$-coherent modules are $\mathcal{O}_X$-locally free, not whether $\mathcal{O}_X$-coherent ones are. A $\mathcal{D}_X$-coherent module needs a good filtration by $\mathcal{O}_X$-coherent modules to be $\mathcal{O}_X$-coherent, so you may have to check that. Section II of Borel et al. should cover this, have a look there.

-
Well, to tell the truth, I did not manage to find anything to the point in Chapter 2 of "Algebraic D-modules" :( Thanks anyway for your time. –  Serge Lvovski Jan 10 '13 at 14:35
You could also check J.E. Björk, Analytic D-modules and their applications, he spells out the coherence stuff in a little more detail. Might be hard to find a copy, though. –  Ketil Tveiten Jan 10 '13 at 16:37