6
$\begingroup$

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$?

$\endgroup$
2
  • $\begingroup$ I think Mebkhout has something that does this. $\endgroup$ Feb 15, 2016 at 6:01
  • $\begingroup$ @AviSteiner That's nice. Unfortunately, I've now completely forgotten what inspired me to ask this question... $\endgroup$
    – Ben Webster
    Feb 15, 2016 at 16:55

1 Answer 1

3
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ 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). $\endgroup$
    – t3suji
    May 20, 2011 at 2:21
  • $\begingroup$ 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$. $\endgroup$
    – t3suji
    May 20, 2011 at 15:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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