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

If I have a D-module $M$ on $\mathbb{A}^n$ (which is essentially the same thing as a module over the Weyl algebra), then I can push this D-module forward to $\mathbb{P}^n$ to get a D-module $j_*M$ on the projective closure.

Is there an intrinsic description of those $M$ such that $j_*M$ are regular on the divisor at $\infty$?

share|improve this question
add comment

1 Answer 1

In dimension one, $j_*M$ is regular at infinity iff the Fourier transform $F(M)$ has no singularity outside 0 and $\infty$. The reason is obviously that Fourier exchanges the D-modules $\delta_c = D/D(t-c)$ et $Oe^{ct} = D/D(\partial_t-c)$. There's probably a generalization for higher dimensions but I've never seen it.

share|improve this answer
    
This is a great answer, but I am confused by the reason is obviously' sentence... is this supposed to prove the if and only if' claim? If so I would like to see more explanation (to me it seems that some facts about local Fourier transform would be required). –  t3suji May 20 '11 at 2:21
    
Come to think of it, is this even true? Consider the D-module with one generator f and one relation $\partial f=t f$. (One can write it as $Oe^{t^2/2}$ using YBL's notation.) This $D$-module has an irregular singularity at infinity, but its Fourier transform is essentially itself, so it has no singularities outside $0$ and $\infty$. –  t3suji May 20 '11 at 15:17
add comment

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.