History of tag 07Q8
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 07Q8
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
changed the statement
|
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 example-integrate 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.
|