History of tag 05ED
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2018-01-29 |
61dce31 |
Fix a couple of double word mistakes
|
|
changed the proof
|
2013-05-23 |
81b0cf1 |
Formal glueing of derived complete modules
Derived complete things seem to be exactly the things that make this
argument work. Cool!
|
|
assigned tag 05ED
|
2010-10-23 |
ae2a311
|
Tags: Added new tags
|
|
created statement with label lemma-naive-Koszul-complex in more-algebra.tex
|
2010-10-23 |
a6dfe84 |
Formal glueing
Bhargav Bhatt submitted a write up on formal glueing that I
edited to make it fit better with the stacks project. The
statement implies for example the following: Suppose that C is a
smooth curve over a field k and p a closed point of C. Then
vector bundles over C are the same thing as triples (E, E', phi)
where E is a vector bundle on C - {p}, E' is a vector bundle on
the formal completion of C at p, and phi is an isomorphism
between E and E' over the punctured formal completion of C at
p. This is sometimes a good way to think about vector bundles
(e.g. because the vectorbundle E is trivial if it has trivial
determinant).
Adding this caused me to start a new chapter on algebra called
"More on Algebra". If you have a less prosaic title, then drop
me an email.
|