[論文レビュー] Parahoric induction and chamber homology for SL2

Tyrone Crisp|arXiv (Cornell University)|Jan 3, 2013

Advanced Algebra and Geometry参考文献 17被引用数 3

ひとこと要約

この論文は、$p$-進体上の$\mathrm{SL}_2$におけるチャーマーホモロジーにおけるパラホリック誘導と表現論における放物型誘導を結ぶ可換図式を確立する。パラホリック誘導がチャーマーホモロジー複体に誘導する写像が、放物型誘導と可換であることを示し、Datの結果をより高いホモロジー次元に拡張するとともに、この設定においてヤクエ・制限関手を実現する。

ABSTRACT

We consider the special linear group G=SL2 over a p-adic field, and its diagonal subgroup M=GL1. Parabolic induction of representations from M to G induces a map in equivariant homology, from the Bruhat-Tits building of M to that of G. We compute this map at the level of chain complexes, and show that it is given by parahoric induction (as defined by J.-F. Dat).

研究の動機と目的

• この論文は、$\mathrm{SL}_2$の文脈において、Datのパラホリック誘導構成を次数0からより高いホモロジー次元に拡張することを目的とする。
• 群$G = \mathrm{SL}_2(F)$と$M \cong \mathrm{GL}_1(F)$のチャーマーホモロジー複体の間の可換図式を確立し、パラホリック誘導と放物型誘導を結ぶ。
• ヤクエ・制限関手$\mathrm{r}^G_M$をチャーマーホモロジー写像として実現すること。
• コンパクト誘導とパラホリック誘導の整合性が、$\mathrm{SL}_2$の場合にどのようにホモロジー的解釈されるかを明らかにすること。
• $\mathrm{SL}_n$への一般化の基盤を築くために、チャーマーホモロジーと誘導写像の構造を分析すること。

提案手法

• 群$G = \mathrm{SL}_2(F)$に対して、Bruhat-Titsの建物$X_G$上の単体的鎖と表現環への同定的群係数を用いて、チャーマーホモロジー複体$C_*^G(X_G)$を構成する。
• リーマン部分群$M \cong \mathrm{GL}_1(F)$に対し、同様の複体$C_*^M(X_M)$を定義し、同定的群が$L = \mathrm{GL}_1(\mathcal{O})$に同型であることを示す。
• 包含写像$X_M \hookrightarrow X_G$と、$L$から$G$の同定的部分群へのパラホリック誘導を組み合わせた写像$C_*^M(X_M) \to C_*^G(X_G)$を導入する。
• 有限生成な滑らかな表現のホモロジーをモデル化するため、Hochschild複体$C_*(\mathrm{Mod}_f(G))$と$C_*(\mathrm{Mod}_f(M))$を用いる。
• ホモロジーの次数0と1において、放物型誘導を尊重することを示すことにより、図式$(\ast)$の可換性を証明する。
• 次数1における制限写像$\mathrm{r}_c$の単射性を用いて、$\mathrm{H}_1^G(X)$上で$\mathrm{I} = \mathrm{i}_c$を同定し、Datの結果をより高いホモロジー次元に拡張する。

実験結果

リサーチクエスチョン

• RQ1 パラホリック誘導は、次数0を越えてチャーマーホモロジー複体の間の整合的な写像に拡張可能か？
• RQ2 ヤクエ・制限関手は、チャーマーホモロジー複体間の写像として実現可能か？
• RQ3 パラホリック誘導と放物型誘導の整合性は、$\mathrm{SL}_2$のより高いホモロジー次元においてどのように現れるか？
• RQ4 $\mathrm{H}_1^G(X)$の構造は、誘導表現とワイル群作用の観点からどのように記述できるか？
• RQ5 $\mathrm{SL}_2$の結果は、どの程度$\mathrm{SL}_n$に一般化可能か？

主な発見

• パラホリック誘導によって誘導される写像$C_*^M(X_M) \to C_*^G(X_G)$は、ホモロジーにおいて放物型誘導と可換であり、Datの次数0の結果をより高い次元に拡張する。
• ヤクエ・制限関手$\mathrm{r}^G_M$は、ホモロジー上で写像$\mathrm{R} = \mathrm{r}_c$として実現され、$\mathrm{r}_c$は次数1で単射である。
• 一次ホモロジー群$\mathrm{H}_1^G(X)$は、$W$-軌道の下で添字付けられた、形のサイクル$\mathrm{i}_{U,\overline{U}}(\rho) - \mathrm{i}_{U,\overline{U}}(\rho^w)$の基底を持つ。
• 誘導写像$\mathrm{I}: \mathrm{H}_0^M(Y) \to \mathrm{H}_0^G(X)$は次数0において放物型誘導$\mathrm{i}_c$と一致し、$\mathrm{SL}_n$においては$\mathrm{I}: \mathrm{H}_{n-1}^M(Y) \to \mathrm{H}_{n-1}^G(X)$が次数$n-1$で一致する。
• $\mathrm{SL}_n$において、パラホリック誘導によって定義される写像$\mathrm{R}$と$\mathrm{I}$は、それぞれ次数0と$n-1$で$\mathrm{R} = \mathrm{r}_c$および$\mathrm{I} = \mathrm{i}_c$を満たす。
• この構成は、境界写像との整合性が一般には成立しないことから、より大きなリーマン部分群に対しては新たな道具が必要であることを示唆する。