Which statement is usually called the Decomposition Theorem (for perverse sheaves)? Is this (roughly): a proper pushforward of an intersection complex could be decomposed into a direct sum of (shifted) intersection complexes (or is it something more general, or possibly something less general)? Which theorems of [BBD] should one combine to get the 'usual' formulation of the decomposition theorem?

  • 2
    $\begingroup$ I would understand the decomposition theorem to be precisely the result that you state in your second sentence. $\endgroup$ – Emerton Feb 2 '11 at 1:57
  • 3
    $\begingroup$ There is an excellent survey article in a recent issue of BAMS that might help, here's the PDF link: ams.org/journals/bull/2009-46-04/S0273-0979-09-01260-9/… $\endgroup$ – Dave Anderson Feb 2 '11 at 2:33
  • 2
    $\begingroup$ Mikhail, it is basically what you said, although there are some additional "purity" hypotheses, without which it can fail. The decomposition theorem is is given in [BBD, 6.2.5]. $\endgroup$ – Donu Arapura Feb 2 '11 at 2:52
  • 1
    $\begingroup$ In my comment above (as Donu Arapura's comment indicates), "precisely" is too strong a word. One form of the theorem says that pushing forward the IC complex upstairs (i.e. the one associated to the trivial local system) gives a direct sum of IC complexes of semisimple local systems downstairs; this is what I was thinking of when I made my comment. A more general version of the theorem (the one that Donu Arapura is referring to) describes the pushforward of IC sheaves attached to pure local systems upstairs. I think all this is discussed in the article that Dave Anderson links to. $\endgroup$ – Emerton Feb 2 '11 at 9:30
  • $\begingroup$ Thanks; I know this paper. Yet it doesn't seem to contain a precise reference to BBD. $\endgroup$ – Mikhail Bondarko Feb 2 '11 at 9:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.