http://www.numdam.org/article/PMIHES_1985__61__5_0.pdf 有限次元と無限次元の違い。 GL_n(C)はGr_k(C^n)に作用し、detにも作用する。 一方、無限次元の場合にはGrにGL_res(H)が作用するが、Detには作用しない。 Wのadm basis{w_i}に対し{gw_i}がgWのadm b…