Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0FLT

Go back to the tag's page.

type time link
changed the statement and the proof 2020-11-12 b22e9c3
Fix silly mistake in Kunneth discussion

Just bad! The mistake was in Remark with latex label remark-silly which
we have turned into a Section with latex label section-silly.

To fix it was more interesting: you can formulate a kunneth type result
for complexes made out of quasi-coherent module whose differentials
are differential operators of finite order. We will apply this to
the de Rham complex (whose differentials are differential operators of
order 1) in the next commit!
changed the statement and the proof 2019-11-14 d07d117
Fix error in statement + proof of technical lemma

Thank to Johan de Jong
https://stacks.math.columbia.edu/tag/0FLT#comment-4650
assigned tag 0FLT 2019-10-06 4e7bbd6
Tags: added new tags
changed the proof 2019-09-26 cff9d55
Spectral sequence for a smooth morphism
changed the statement and the proof 2019-09-23 9c50a3e
Small changes in perfect
created statement with label lemma-kunneth-special in perfect.tex 2019-09-23 2bdffb7
More general kunneth

The first lemma is a very general result

The second lemma will be used for the de Rham complex soon; its proof
very carefully uses cup product of cocycles to make sure the map is
indeed given by cup product...