Proposition 8.21. “By the universal property of Mi♮ this induces morphisms Mi♮→Hi, compatible with the morphisms to/from M♮” の compatibility は少し非自明.以下 E(−)=Ext1(−,Ga)∨ とする.次の図式を考える.
Proposition 8.21. ”Lie(H1)C→Lie(M♮)C is the pull-back of H1→M♮ via the exponential map” というのは誤り? しかしここで主張したいこと(Tsing(H1)=L1×H1anLieH1an)自体は diagram chasing で示せるので論証には問題ない(立方体の可換図式で上面,底面,前面が cartesian ならば背面も cartesian).