ScalingStacks

0MUS

Lemma 4.3. Under the assumptions of Proposition 3.6 we have that

Hom⁢(S,Σi⁢μ):Hom⁢(S,Σi⁢M)→Hom⁢(S,Σi⁢M¯)

is an isomorphism for i<1.

0MUT

Proof: In Lemma 3.3, Hom⁢(S,Σi⁢μ):Hom⁢(S,Σi⁢Mk)→Hom⁢(S,Σi⁢Mk+1) is an isomorphism for i<1. Now apply Lemma 4.2. □

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Pauksztello

Original source: arXiv:0705.0102v2