History of tag 0GAA
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GAA
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed the label to lemma-vanishing-coh-almost-projective
|
2021-01-31 |
3913367 |
A bit of uniformity: revision
Although the arguments as given before this commit are correct, they
don't prove the result in the form that we actually use them later in
the chapter on algebraization of rig-smooth algebras. Sigh! We still
have to fix the proof of this algebraization result to account for the
changes we just made, but that should be easy and quick!
|
|
changed the statement and the proof
|
2021-01-31 |
3913367 |
A bit of uniformity: revision
Although the arguments as given before this commit are correct, they
don't prove the result in the form that we actually use them later in
the chapter on algebraization of rig-smooth algebras. Sigh! We still
have to fix the proof of this algebraization result to account for the
changes we just made, but that should be easy and quick!
|
|
changed the statement and the proof
|
2021-01-24 |
993b267 |
More cleanup of recent material
This is just horrible of course. It all works fine though.
|
|
moved the statement to file local-cohomology.tex
|
2021-01-23 |
87abafc |
Moved a section earlier
|
|
created statement with label proposition-vanishing-coh-almost-projective in restricted.tex
|
2021-01-16 |
efd24a4 |
Rough discussion of rig-smooth maps
Very rough discussion. The material in this commit will gives us a
strengthening of 0AK9 to rig-smooth maps and moreover it corrects the
mistake of the proof of that lemma!
|