数理解析研究所講究録
第 1687 巻 2010 年 164-166

164

Morita equivalent blocks of general linear groups innon-defining characteristic
Naoko Kunugi (Tokyo University of Science)
功刀直子 (東京理科大学・理学部)$p$を素数とする。 $G$ を有限群とし,$k$を標数が$P$の代数的閉体とする。 群環 $kG$ の両側イデア

ルへの直既約分解$kG=B_{0}\oplus B_{1}\oplus\cdots\oplus B_{r}$に現れる各直既約因子$B_{i}$

を $kG$ のブロックとよぶ。 自明な $kG$-加群を零化しないブロックが唯一つ存在し, それを主ブロックとよび,$p$とは異なる素数のべき$q$$B_{0}(G)$で表す。

に対し,$e(q):= \min\{e\in \mathbb{N}|q^{e}\equiv 1 (mod p)\}$とし,$(q^{e(q)}-1)=p^{a(q)}s$ (ただし,$p$と$s$は互いに素) とする。

有限群のモジュラー表現では, 与えられた 2 つの群のブロックの加群の圏の関係を調べることは重要である。 とくに Lie 型の有限群の無限系列で現れる群では,$e(q)$および $a(q)$ が等しい 2 つの群のブロックの加群の圏の関係を考えることは, 次の Donovan 予想と関係してとても重要である。

予想 1 (Donovan, [1] 参照) $P$ を有限銑群とする。 不足群 $P$ をもつ有限群のブロックの森田同値類は高々有限個ではないだろうか ?
これに対し, 例えば次の結果が知られている。

定理 2 (Okuyama-Waki [6, 7]) $p=3$ とし,$q_{1},$$q_{2}$はそれぞれ $p$ とは異なる素数のべきで, $e(q_{1})=e(q_{2})=2,$ $a(q_{1})=a(q_{2})=1$ が成立しているとする。 このとき,$B_{0}(Sp_{4}(q_{1}))$と$B_{0}(Sp_{4}(q_{2}))$主 3 ブロックは森田同値である。

このような無限系列で現れる有限群のブロックの森田同値の問題に対し, 本稿ではとくに一般線型群の場合について述べる。
以下,$p$は奇素数であるとする。 $G_{1}=GL_{n}(q_{1}),$ $G_{2}=GL_{n}(q_{2})(p\parallel q_{1}, q_{2})$ とする、考えるべき問題は次の場合で, 多くの人により成立が期待されている。

予想 3 $e(q_{1})=e(q_{2})=e$ とし,は森田同値ではないだろうか ?

$a(q_{1})=a(q_{2})$とする。 このとき,$B_{0}(GL_{n}(q\iota))$と $B_{0}(GL_{n}(q_{2}))$

165

共通のシロー$B_{0}(GL_{n}(q))$-部分群 $P$ が可換である場合を考える。 Puig[8] により, $e(q)=1$ のとき,

$p$はシロー $p$-部分群 $P$ の正規化群 $H(q)=N_{GL_{\tau\iota}(q)}(P)$ の主ブロック $B_{0}(H(q))$ と森田同値になることが示されている。 $e=e(q_{1})=e(q_{2})=1,$ $a(q_{1})=a(q_{2})$ のとき,
$B_{0}(H(q_{2}))$は同型となることが容易にわかり, これを介して,$B_{0}(GL_{n}(q_{1}))$$B_{0}(H(q_{1}))$とと $B_{0}(GL_{n}(q_{2}))$ は森田同値となる。 $e>1$ のとき, 可換不足群予想 (Brou\’e [2]) の解決に関する Chuang-Rouquier[3] , Hida-Miyachi [5, 4], Turner [9] の結果を組み合わせると, やはりシロー p-部分群の正規化群のブロックを介することにより, 予想 3 が成立することがわかる。
次に,シロー $p$-部分群 $P$ が非可換である場合を考える。 このときは,$P$の正規化群のブロックとの間には森田同値も導来同値も存在せず, 直接の議論が必要となる。
$e(q)=1$ のとき,

$GL_{n}(q)$のシロー銑部分群が可換であるための必要十分条件は, $n<p$ であシロー $p$-部分群が非可換になる最初の場合は $n=p$ のときで,る。 よって,このときの $GL_{p}(q_{i})$のシロー銑部分群 $P$ は,$P\cong\{(\begin{array}{llll}t_{1} t_{2} \ddots t_{p}\end{array});t_{i}\in GF(q_{i}),$$t_{i^{P^{a}}}=1\}\rangle\triangleleft\langle(\begin{array}{llll}0 1 0 1 \ddots 1 0\end{array})\}$$\cong(C_{p^{a}}\cross\cdots\cross C_{p^{a}})xC_{p}\cong C_{p^{a}}tC_{p}$となる。

主結果は次である。
定理 4 (Miyachi-Okuyama-K) $e=e(q_{1})=e(q_{2})=1$ とし,る。 また, $G_{i}=GL_{p}(q_{i})(i=1,2)$ とする。 このとき,$\cdot$

くに,$P$

を$G_{1}$と$G_{2}$の共通のシロー$p$$B_{0}(G_{1})$$(q_{1}-1)_{p}=(q_{2}-1)_{p}=p^{a}$とすと $B_{0}(G_{2})$ は森田同値である。 と-部分群としたとき, vertex が $\Delta(P)$ の Scott k $[G_{1}\cross G_{2}]-$加群 $M$ が, 森田同値を与える。
ここで,$\Delta(P);=\{(x,$ $x)\in G_{1}\cross G_{2};x\in P\}$をの直既約因子で, 自明な加群の Scott 加群とは,vertex が部分加群にもつ唯一つの因子のことである。 この Scott 加群 $M$ により与えられる森田同値は, 自とし,$\Delta(P)$明な加群を自明な加群に移し, 各 $Q\leq P$ に対し,をも引き起こす,$k_{G_{1}\cross G_{2}}$$k_{\Delta(P)^{\uparrow G_{1}\cross G_{2}}}$$B_{0}(C_{G_{1}}(Q))$と$B_{0}(C_{G_{2}}(Q))$の間の森田同値

とても性質のよいものである。

参考文献[1] J. L. Alperin, Local representation theory, Proc. Sym. Pure Math. 37 (1980), A.M.S.,
Providence, RI, 369-375.

[2] M. Brou\’e, Isom\’etries parfaites, types de blocs, cat\’egories d\’eriv\’ees, Ast\’erisque 181-182(1990), 61-92.

166
Chuang, R. Rouquier, Derived equivalences for symmetric groups and s12categorification, Ann. of Math. 167 (2008), 245-298.
[4] A. Hida, H. Miyachi, Module correspondences in Rouquier blocks of finite general linear[3] J.

groups, to appear in Representation Theory of Algebraic Groups and Quantum Groups,
Progress in Mathematics, Birkh\"auser.
[5] H. Miyachi, Unipotent blocks of finite general linear groups in non-defining characteristic,

Ph. D. thesis, Chiba University 2001.
[6] 奥山哲郎, Some examples of derived equivalent blocks of finite groups, in 第 6 回多元環の表現論シンポジウム報告集 (越谷重夫, 佐藤真久偏) 1996.

[7] T. Okuyama, K. Waki, Decomposition numbers of Sp 4,$($$q)$, J. Algebra 199 (1998), no. 2,544-555.
[8] L. Puig, Alg\‘ebres de source de certains blocs des groupes de Chevalley, Ast $\epsilon’:risque181-$$182$(1990), 221-236.

[9] W. Turner, Equivalent blocks of finite general linear groups in $non- describir_{\lfloor}g$ characteristic, J. Algebra 247 (2002), no. 1, 244-267.