mod pでのgeometric lemmaだそうだ．mod pはいろいろと導来圏で考えた方がよさそうというのはみんな思っているので，この手のものも導来関手を考えるべきということになるのだが，それをやってみたということらしい．一月にセミナーで話を聞いた後にGL(2)の時にこういうのを計算してみようと思ってどうすればいいのか全然わからなかったんだよな．とにかく後で見てみよう．