Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 09AS

Go back to the tag's page.

type time link
changed the proof 2015-05-28 20fe7a1
Lifting complexes

Fun!
changed the proof 2014-09-02 c226cd3
Small fix
changed the proof 2013-08-03 badd58f
Spell check: words starting with b, c, B, or C
assigned tag 09AS 2013-06-22 a9ba337
Tags: Added new tags
created statement with label lemma-perfect-modulo-two-ideals in more-algebra.tex 2013-06-22 e2d6d04
Taking Rlim sometimes gives nice complexes

Three results. The final one tells us we can obtain perfect complexes
over I-adically complete rings as limits of perfect complexes over the
quotients A/I^n.

This kind of thing is used in crystalline cohomology.

Question: is there a nice way to use the results on derived completion
in the setting of crystalline cohomology?