http://www.numdam.org/article/PMIHES_1985__61__5_0.pdf W \in Gr^{(n)}にloopを対応させるには次のようにする。 W/zWがn次元空間なので、その基底w_1,\ldots,w_nをとり、これらをS^1 \to GL_n(\C)なる関数と思うことにする。 基底を正規直交に取ればU_nに…