Representation Theory of Hecke Algebras and Categorificationに来ています．初めてのOIST．何もないと聞いていたけど確かに（大学以外）何もない．最寄りのコンビニまで歩いて30分．参加者も殆どが海外から来ていて，OISTも公用語が英語なので中に入ると英語ばっかり．なんか外国に来た気分になっています．大学の作りもあまり日本のそれっぽくないし．久しぶりに会う人とか名前はずっと知っていたけど会ったことなかった人とかいて楽しんでいます．

昨日は雨風が激しかった．お日様出てる間はおやつの時間あたりが激しかったように思う．その時間は大学にいたのだが風が強く吹いている様子が建物の中でも感じられたり雷なっていたりしていた．帰りの時は少し弱くなっていたように思うけど．

帰宅のために電車にのったらお酒の匂いがして，なんだろうと思ったら隣に立っている人がビールを飲んでいた．空いていればわかるが満員電車で飲むとはなかなか．まぁいいんだがこぼされたら嫌だなぁなんて思いながら帰宅．帰ってビール缶を開けたのは言うまでも無い．

四学期の間なので今週は授業なし．といってもHenniartには昨日に補講をしてもらった．後五回．

天気予報を見ると雨マークが並ぶようになった．そろそろ梅雨ですかね．洗濯物が……．

まじめに読む機会のなかったRiche-Williamsonの論文をここしばらく読んでいた．雑にメモ．間違っていないことは保証しない．

$G$を簡約群とするとアフィングラスマニアン$\mathcal{Gr}_{G}$には$\mathbb{G}_{\mathrm{m}}$がloop rotationで作用する．$\ell$を$G$の定義体の標数とは別の素数とし，$\mathcal{Gr}_{G}$の$\mu_{\ell}$固定部分を考えると，小さな一般アフィン旗多様体の直和に分解する．$\mathcal{Gr}_{G}$の岩堀部分群に関する軌道は余指標群$X_{*}(T)$でパラメータづけられるが，アフィンWeyl群の作用で移り合う分が一つの連結成分になっている．という話を層のレベルにアップグレードする．

考える層はIwahori-Whittaker層で，層の係数は標数$\ell$の体$\mathbb{k}$である．$G$が標数$p$の有限体上で定義されているとし，岩堀部分群$I$のpro unipotent radical $I_{u}$を考える．これの適当な非退化指標に応じてArtin-Schreier層を考え，$I_{u}$に関してそれに従うような$\mathcal{Gr}_{G}$上の層を考える．$\mathcal{G}_{G}$上の$I_{u}$軌道は$X_{*}(T)$でパラメータづけられるが，実際にIwahori-Whittaker層の台として出てくるのは正則支配的な元たちのなす集合$X_{*}(T)^{++}$だそうだ．

Iwahori-Whittaker偏屈層のなす圏を$\mathrm{Perv}_{\mathcal{IW}}(\mathcal{Gr}_{G},\mathbb{k})$と書く．これは最高ウェイト圏の構造を持ち，従って傾加群が考えられる．傾加群からなる圏を$\mathrm{Tilt}_{\mathcal{IW}}(\mathcal{Gr}_{G},\mathbb{k})$と書く．これが上の固定点をとる操作によりどうなるかを調べる．

そのために使われるのがSmith理論である．$\varpi = \mu_{\ell}$とおく．$\mathcal{F}$を$\mathcal{Gr}_{G}^{\varpi}$の$\mathbb{G}_{\mathrm{m}}$同変層とすると，そのgeometric stalkは$\varpi$の作用が入り$\mathbb{k}[\varpi]$加群となる．$D^{b}_{\mathcal{IW},\mathbb{G}_{\mathrm{m}}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{G}_{\mathrm{m}})$を$\mathcal{Gr}_{G}^{\varpi}$上の$\mathbb{G}_{\mathrm{m}}$Iwahori-Whittaker複体の同変導来圏とし，そのうち各geometric stalkが$\mathbb{k}[\varpi]$加群としてperfect complexとなっているようなものからなる部分圏を$D^{b}_{\mathcal{IW},\mathbb{G}_{\mathrm{m}}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{G}_{\mathrm{m}})_{\varpi\mathrm{-perf}}$とおいて，Verdier商 \[ \mathrm{Sm}_{\mathcal{IW}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{k}) = D^{b}_{\mathcal{IW},\mathbb{G}_{\mathrm{m}}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{G}_{\mathrm{m}}) / D^{b}_{\mathcal{IW},\mathbb{G}_{\mathrm{m}}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{G}_{\mathrm{m}})_{\varpi\mathrm{-perf}} \] により$\mathrm{Sm}_{\mathcal{IW}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{k})$を定義する．

$i\colon \mathcal{Gr}_{G}^{\varpi}\to \mathcal{Gr}_{G}$を包含写像とする．すると，まず次が成り立つ．

$\mathcal{F}$を$\mathcal{Gr}_{G}$上の$\mathbb{G}_{\mathrm{m}}$同変Iwahori-Whittaker複体とする． このとき$i^{*}\mathcal{F}$と$i^{!}\mathcal{F}$は$\mathrm{Sm}_{\mathcal{IW}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{k})$において同型．

同型になった$i^{!}$と$i^{*}$を$i^{!*}$と書く．これは層の押し引きなどと可換である．（$i^{!}$と$i^{*}$の都合のよい方をとって底変換定理を使えばよい．）特に，standard/costandard objectを保つ．

さて，パリティ層の理論は$\mathrm{Sm}_{\mathcal{IW}}(\mathcal{Gr}_{G}^{\varpi},\mathbb{k})$上でも機能する．$\mathcal{Gr}_{G}^{\varpi}$の各連結成分に対して偶奇をうまく定め，各連結成分上でそれに応じてodd/evenな層からなる部分圏を考えてそれを$\mathrm{Sm}_{\mathcal{IW}}^{\natural}(\mathcal{Gr}_{G}^{\varpi},\mathbb{k})$と書く．主定理は次の通り．

$i^{!*}$により圏同値$\mathrm{Tilt}_{\mathcal{IW}}(\mathcal{Gr}_{G},\mathbb{k})\simeq \mathrm{Sm}_{\mathcal{IW}}^{\natural}(\mathcal{Gr}_{G}^{\varpi},\mathbb{k})$を得る．

射がwell-definedであることは傾加群がパリティ複体でもあることから従う．忠実充満であることを見るにはパリティ層の理論から各cell上で$\mathrm{Hom}(\text{standard},\text{costandard})$がどうなっているかを比較すればよいのだが，これは両辺を直接計算することで得られる．（両辺ともに関わってくるcellは$\mathbb{A}^{n}$と同型であることに注意する：これがIwahori-Whittaker層を使っている理由でもある．）忠実充満なので直既約対象は直既約対象にうつるが，やはりパリティ層の理論から両辺ともに$X_{*}(T)^{++}$でパラメータづけられる直既約対象を持っていることがわかり，よって本質的全射となる．（正確には左辺は知られていて，右辺は高々そのくらいしかないことがパリティ層の理論からわかり，忠実充満であることと併せて実際にそれだけの直既約対象があることが同時に示される．）

帰結として次を得る：右辺は$\mathcal{Gr}_{G}^{\varpi}$の連結成分に応じて圏としての直和に分解するため，右辺もそうである．これを表現論につなげよう．$G^{\vee}$を$G$の双対のルート系を持つ$\mathbb{k}$上の分裂代数群とすると，幾何学的佐武対応とBezrukavnikov-Gaitsgory-Mirkovic-Riche-Riderの結果から$\mathrm{Rep}G^{\vee}\simeq \mathrm{Perv}_{\mathcal{IW}}(\mathcal{Gr}_{G},\mathbb{k})$であり，両辺の傾加群は対応する．よって先ほどの考察から$\mathrm{Tilt}(G^{\vee})$も直和に分解する．$D^{b}(\mathrm{Rep}G^{\vee})\simeq K^{b}(\mathrm{Tilt}G^{\vee})$から$D^{b}(\mathrm{Rep}G^{\vee})$も分解し，よって$\mathrm{Rep}G^{\vee}$も分解することが言える．これがlinkage principleに対応する．

linkage principleはもちろん知られていた話だが，もう少し頑張ると直既約傾加群の指標を$\ell$-Kazhdan-Lusztig多項式で書く式が得られて，これは新しい結果．さらにRiche-Williamsonの昔の予想（Hecke作用の存在）も示せるらしい．こちらはまだ読んでいないけど$\mathrm{Perv}_{\mathcal{IW}}(\mathcal{Gr}_{G},\mathbb{k})$にはもともとHecke圏＝パリティ層の圏が畳み込みで作用しているので，それを上の分解に応じて分けるのかなと推測．

たまーに来る喫茶店に来たらそれまであったパーティションが消えていた．前回（多分2月）にはあったのだが．コロナウイルス感染症が5類に移行したことにあわせてかな．

Realforce第一世代はUSB3では動かない，という問題に直面した．ググるとUSB2なUSBハブを経由するとO.K.というのが出てきたので試してみたが一発解決．デバイスマネージャーから操作すると動くようになるのは手元でも同じでしたが，それを使ってパッチで解決というのは試していない．USB延長ケーブルで解決というのも出てきたが，手元の延長ケーブルではだめだった．手元のが高級（笑）過ぎたのかもしれない．

LaTeX companionの第三版，すっかり忘れていたので慌ててAmazonで注文．Part Iは六月に届くと主張されているがPart IIは在庫切れで入荷予定未定．うーん，失敗したかしら．