Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
stub for perfect complex
it is bounded from above and below;
There are 3 concepts: bounded above, bounded below and just bounded which means that it is simultaneously bounded both above and below. Of course terminology left/right is also in use.
Okay, I linked to bounded chain complex
Is the definition on this page standard? I’ve only seen the definition for modules over a ring or ringed space and they don’t seem to be in exact agreement with that one.
Edit: just added some facts about perfect complexes of \O_X-modules.
Thanks for adding stuff!
Concerning perfection: Hm, here on p. 3 it has “finite complex of projective modules”, here on p. 2 it has “cofibrant and totally finitely generated”, here it has “of finite length, with entries finitely generated and projective”.
So I guess the nLab entry projective complex was mainly missing the “finitely generated”-clause. I have added that now (or will have once the server wakes up…).
But if you feel energetic, please go ahead and further fine-tune this.
1 to 5 of 5