History of tag 07Q7
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 07Q7
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
changed the proof
|
2012-04-21 |
179f837 |
Fix error
There was a mistake in the proof of the "explicit" Poincare
lemma. It turns out that the proof still goes through unchanged,
except that an earlier lemma has to be formulated with slightly
weaker assumptions.
To make sure the formulae are correct this time I wrote a
PARI/gp script checking all the formulae directly.
|
|
created statement with label lemma-find-homotopy in crystalline.tex
|
2012-04-13 |
4e4465c |
Explicit Poincare lemma
How adjoining a variable doesn't change de Rham cohomology
provided you can "integrate" functions with respect to the
variable. This is then used in the proof of the lemma showing
that crystalline cohomology doesn't change (after inverting p)
when you add a pth root of a function.
|