http://www.numdam.org/article/PMIHES_1985__61__5_0.pdf Grassmannianとloop groupの関係について。 H^nをS^1 \to C^nで二乗可積分な関数のなすHilbert空間とし、Fourier級数を用いてH^n_+ \oplus H^n_=に分解する。 LGL_n(C)を連続関数\gamma:S^1 \to GL_…