3
$\begingroup$

Considering $f:X\to \mathbb{C}$, $g:X\to \mathbb{C}$ and $f\oplus g:(x,y)\mapsto f(x)+g(y)$. The Sebastiani-Thom isomorphism is an isomorphism $\Phi_{f\oplus g}(M\boxtimes N) = \Phi_{f}(M) \otimes \Phi_{g}(N)$ compatible with monodromies.

The original theorem was for constant coefficient $M = \mathbb{C}_X$, $N = \mathbb{C}_Y$. David Massey gave a proof for general constructible coefficients. Is there an algebraic proof for D-modules?

All proofs use topological arguments that don't seem to translate. In his article "On microlocal b-funtions" Saito mentions a result to be published but I couldn't find it.

Improve this question
$\endgroup$
4
  • $\begingroup$ BTW, it would be interesting to see Deligne's original proof, which was apparently never published. (Reference for Delignes's proof is Demazure, Sem. Bourbaki no. 443, p.7; a similar proof technique: Scholl "Vanishing Cycles ...", Inventiones 124) $\endgroup$
    – Thomas Riepe
    Commented Dec 13, 2009 at 13:05
  • $\begingroup$ I don't know of a reference beyond the work of Saito that you know of. In one of their recent preprints "Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants" Kontsevich and Soibelman discuss the vanishing cycle functor, and note in Section 7.4 (page 97) that there is a Thom-Sebastiani theorem in the mixed Hodge module case referring to a paper of Saito "Thom-Sebastiani theorem for Hodge modules" which is listed as a 2010 Kyoto University preprint. $\endgroup$
    – Kevin McGerty
    Commented Mar 1, 2011 at 2:02
  • $\begingroup$ Couldn't find the preprint on the web (I tried the Department of Math server and the RIMS preprint server). $\endgroup$
    – AFK
    Commented Mar 1, 2011 at 18:12
  • $\begingroup$ I believe this fails for the case $X = \mathbb C$, $f=g=id$, when $M$ and $N$ have non-regular singularities, e.g. already at the kernel of the differential operator $\left(\frac{d}{x} - \frac{1}{x^2}\right)$. I know it fails for perverse sheaves in characteristic $p$, and these usually behave the same as $D$-modules. $\endgroup$
    – Will Sawin
    Commented Oct 1, 2013 at 20:15

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .