http://www.numdam.org/article/PMIHES_1985__61__5_0.pdf Hilbert空間のGrassmannianとloop groupの関係。 Hを複素Hilbert空間とし、無限次元閉空間による直交分解H = H_+ \oplus H_-が与えられているとする。 Gr(H)をHの閉部分空間Wであって - 射影W \to H…