History of tag 0GZ4
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GZ4
|
2022-06-14 |
5575c4b
|
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
|
changed the statement
|
2022-06-14 |
69fcde4 |
Finish the proof
Decided to prove the lemma that
Rlim(M_n \otimes_R K_t) = Rlim(M_n \otimes_{K_n} K_t)
via an explicit comparison of the systems
(K_t) <----> (K_n \otimes_R K_t)
over the varying dgas K_n. On the one hand, you could claim that this
makes the proof "easier" as you only need to check some explicit
computations with complexes, but on the other hand this make the proof
harder to understand as it isn't just deduced from some general
principle... The reason for my choice is that I was having trouble
formulating a beautiful general principle underlying what is going on
here... Dear imaginary reader, maybe you can help?
|
|
changed the statement and the proof
|
2022-06-06 |
19f87c1 |
Towards the goal
|
|
created statement with label lemma-lift-tate-to-koszul in dpa.tex
|
2022-06-06 |
8a72d4a |
Inverse system of koszul complexes as algebras
|