Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

Thank you in advance,
Serge

share|improve this question

2 Answers 2

up vote 4 down vote accepted

[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.

share|improve this answer
2  
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
1  
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.

share|improve this answer
    
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

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.