Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0FMR

Go back to the tag's page.

type time link
changed the statement and the proof 2019-11-18 6711031
Get rid of final FIXMEs in derham

This proves that on de Rham cohomology we have a splitting of the
pullback map on cohomology for the blowing up of a smooth center on a
smooth scheme. The proof seems far too hard however...
changed the statement and the proof 2019-11-17 9c06db0
Fix another part of derham
assigned tag 0FMR 2019-10-06 4e7bbd6
Tags: added new tags
changed the proof 2019-10-03 fdad360
Complex of forms with log poles along a divisor

Another one bites the dust!
changed the proof 2019-09-30 c2e42d9
Make the proof more precise

This way the proof is a consequence of the careful construction of the
cup product on the Cech complex of the complex of differential forms. It
seems worthwhile to use this explicit construction as much as possible
to demystify things...
created statement with label proposition-global-generation-on-fibres in derham.tex 2019-09-27 b78a66a
Global classes generating over fibres

In the case we are going to apply this, we could work locally on Y and
then we could use the Kunneth formula... but it is a better result this
way...