History of tag 07IB
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2018-10-16 |
ac65de3 |
Fix the definition of coverings on CRIS(X/S)
The morphisms in the coverings have to be cartesian. We silently used
this in at least three spots:
(a) checking the coverings satisfy the axioms
(b) for the underline construction
(c) characterizing crystals in quasi-coherent modules
|
|
changed the statement
|
2012-04-01 |
32db852 |
Editorial changes
Try to standardize the notation and flow of the chapter on
crystalline cohomology.
|
|
assigned tag 07IB
|
2012-02-12 |
2d9c642
|
Tags: Added new tags
|
|
changed the statement
|
2012-02-05 |
a51f3f8 |
Fix some notation regarding divided power differentials
Also some of the formulas regarding the explicit
thickenings were wrong.
|
|
changed the statement
|
2012-02-04 |
b633ca4 |
Catch up with material in lectures
|
|
changed the label to definition-big-crystalline-site
|
2012-01-17 |
b3800fc |
Small and big sites
Compare them and explain how this lets you do functoriality.
|
|
changed the statement
|
2012-01-17 |
b3800fc |
Small and big sites
Compare them and explain how this lets you do functoriality.
|
|
created statement with label definition-crystalline-site in crystalline.tex
|
2012-01-17 |
3338c28 |
Divided power schemes
This is crappy notation perhaps...
|