15
$\begingroup$

Gabber's purity theorem is the statement that if $\mathscr{F}$ is a pure perverse sheaf on an open subvariety $j : U \hookrightarrow X$ then so is $j_{!*} \mathscr{F}$.

It is remarkable because it gives many objects besides (pure) local systems on smooth varieties for which purity and the Weil conjectures hold.

It is proved in $\S$5 of Faisceaux pervers by BBD(G). Here the proof is quite natural once one accepts deep theorems of Deligne: $j_{!*} \mathscr{F}$ occurs as the image of a map between an object with weights $\le m$ and an object with weights $\ge m$ and hence has weights $\{ \ge m \} \cap \{ \le m \} = \{ m \}$.

However I understand that Gabber found another proof earlier. Is this the case? Or is it similar to the one given by [BBD(G)]?

Gabber's work is often cited as:

[Ga1] O. Gabber : Pureté de la cohomologie de MacPherson-Goresky rédigé par P. Deligne, prépublication I.H.E.S., 1981

Improve this question
$\endgroup$

1 Answer 1

Reset to default
30
$\begingroup$

It's different, but it also uses Weil II. See Purity for intersection cohomology after Deligne-Gabber for my translation of the original.

Improve this answer
$\endgroup$
1
  • 3
    $\begingroup$ Thank you very much! I wish I had more than one up vote :) $\endgroup$
    – Geordie Williamson
    Commented Feb 16, 2016 at 11:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .