Skip to main content
added 8 characters in body; added 125 characters in body
Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 97

It was proven in sectionBBD (see Corollary 5.3 of BBD.2) that for an open immersion $j$ the functor $j_{!*}$ respectspreserves weights of mixed sheaves. The proof relies on several previous results; it is especially complicated in the case when $j$ is not affine. Does an easier proof (or a plan of it:)) exist? I would like to have a proof that (mostly) relies on the properties of $j_{!*}$ (and on the 'formal' properties of weights).

It was proven in section 5.3 of BBD that for an open immersion $j$ the functor $j_{!*}$ respects weights of mixed sheaves. The proof relies on several previous results; it is especially complicated in the case when $j$ is not affine. Does an easier proof (or a plan of it:)) exist?

It was proven in BBD (see Corollary 5.3.2) that for an open immersion $j$ the functor $j_{!*}$ preserves weights of mixed sheaves. The proof relies on several previous results; it is especially complicated in the case when $j$ is not affine. Does an easier proof (or a plan of it:)) exist? I would like to have a proof that (mostly) relies on the properties of $j_{!*}$ (and on the 'formal' properties of weights).

edited title
Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

Is there an easy proof of the fact that the intermeidateintermediate image functor respects weights?

Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 97

Is there an easy proof of the fact that the intermeidate image functor respects weights?

It was proven in section 5.3 of BBD that for an open immersion $j$ the functor $j_{!*}$ respects weights of mixed sheaves. The proof relies on several previous results; it is especially complicated in the case when $j$ is not affine. Does an easier proof (or a plan of it:)) exist?