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...
|