Stacks project -- Comments

#6467 on tag 0656 by Johan

Johan — Sat, 24 Jul 2021 01:05:53 GMT

OK, I added this (missing) lemma in this commit. Thanks for the suggestion.

#6466 on tag 01M3 by Johan

Johan — Sat, 24 Jul 2021 12:43:45 GMT

@#6457: that would be correct, but what it says now is correct too and is the thing that is the lemma wants to say.

#6465 on tag 01UA by Johan

Johan — Sat, 24 Jul 2021 12:41:26 GMT

Yep. I added some references to the text in this commit.

#6464 on tag 00FA by Johan

Johan — Sat, 24 Jul 2021 12:33:49 GMT

THanks and fixed here.

#6463 on tag 00F5 by Johan

Johan — Sat, 24 Jul 2021 12:31:56 GMT

Thanks and fixed here.

#6462 on tag 07EA by Johan

Johan — Sat, 24 Jul 2021 12:29:37 GMT

Thanks and fixed here.

#6461 on tag 0BI1 by Johan

Johan — Sat, 24 Jul 2021 12:26:19 GMT

Thanks and fixed here by renaming the $r_i$ instead.

#6460 on tag 07E0 by Johan

Johan — Sat, 24 Jul 2021 12:25:32 GMT

Thanks and fixed here.

#6459 on tag 0656 by Owen

Owen — Fri, 23 Jul 2021 07:32:55 GMT

It's simple consequence of the definition, but for the sake of completeness, perhaps it can be remarked that if $R$ is a ring and $K,L$ in $D(R)$ are perfect complexes, then $K\otimes^{\mathbf L}_RL$ is perfect too, since the tensor product and direct sum of finite projective modules is finite projective.

#6458 on tag 00P5 by Johan

Johan — Fri, 23 Jul 2021 09:04:59 GMT

Thanks and fixed here.