[論文レビュー] Decomposition numbers for abelian defect RoCK blocks of double covers of symmetric groups

Matthew Fayers, Alexander Kleshchev+1 more|arXiv (Cornell University)|Mar 6, 2023

Finite Group Theory Research参考文献 25被引用数 2

ひとこと要約

本稿は、アーベル型のデフォルト群をもつ対称群の二重被覆のスピン RoCK ブロックについて、(超)分解数を計算し、Fayers の予想を検証する。モルタ超同値性を用いてワイヤード超積代数と関連づけ、射影的特徴標の明示的構成により、リトルウッド＝リチャードソン係数と逆 Kostka 多項式を含む閉じた公式を導出し、カルタン行列の比較によって調整行列が自明であることを証明する。

ABSTRACT

We calculate the (super)decomposition matrix for a RoCK block of a double cover of the symmetric group with abelian defect, verifying a conjecture of the first author. To do this, we exploit a theorem of the second author and Livesey that a RoCK block $\mathcal B^{ρ,d}$ is Morita superequivalent to a wreath superproduct of a certain quiver (super)algebra with the symmetric group $\mathfrak S_d$. We develop the representation theory of this wreath superproduct to compute its Cartan invariants. We then directly construct projective characters for $\mathcal B^{ρ,d}$ to calculate its decomposition matrix up to a triangular adjustment, and show that this adjustment is trivial by comparing Cartan invariants.

研究の動機と目的

• アーベル型デフォルト群をもつ対称群の二重被覆のスピン RoCK ブロックの分解数問題を解明すること。
• Fayers (2023) が提示した、この設定における分解数の構造に関する予想を検証すること。
• 組合せ的不変量と表現論的技法を用いて、(超)分解数の明示的公式を確立すること。
• 射影的特徴標と通常の特徴標の間の調整行列が自明であることを示し、公式が自然であることを示すこと。
• カノニカル基底理論、q-変形 Fock 空間、スピン群のモジュラー表現論の結果を統合すること。

提案手法

• Kleshchev–Livesey のモルタ超同値定理を活用し、RoCK ブロックがクーヴァー超代数と対称群 $S_d$ のワイヤード超積に同値であることを特定する。
• ワイヤード超積 $W_d = A_\Im \wr S_d$ の表現論を発展させ、非可約射影的超モジュールを明示的に構成し、その超カルタン行列を計算する。
• 誘導法と Gelfand–Graev の手法を用いて、RoCK ブロック $B_{\rho,d}$ の射影的特徴標 $\hat{\phi}_\mu$ を構成し、それらをカノニカル基底係数と関連付ける。
• ブラウアー双対性と調整行列 $A$ を用い、分解行列と未調整公式との関係を確立し、$A$ が非負の成分をもつ上三角行列であることを示す。
• 予想された公式から予測されるカルタン行列の成分と、$W_d$ の実際のカルタン行列（$A_\ell \wr S_d$ の表現論により独立に計算）を比較し、トレースの一致により $A = I$ を証明する。
• リトルウッド＝リチャードソン係数、逆 Kostka 多項式、バー・コア商についての組合せ的恒等式を用いて、最終的な式を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 アーベル型デフォルト群をもつ対称群の二重被覆のスピン RoCK ブロックの (超)分解数の明示的公式は何か？
• RQ2 この設定において、射影的特徴標と通常の特徴標の間の調整行列はどのように振る舞い、それが自明であることを示せるか？
• RQ3 スピン RoCK ブロックの分解数は、q-変形 Fock 空間におけるカノニカル基底係数によって予測されるものとどの程度一致するか？
• RQ4 RoCK ブロックとワイヤード超積の間のモルタ超同値性を用いて、カルタン不変量を計算し、それによって分解数を導出できるか？
• RQ5 $p$-バー・コアと $p$-バー・コア商の分解は、この文脈における非可約および射影的モジュールのパラメトライゼーションにおいて果たす役割は何か？

主な発見

• $p$-バー・コアが $\rho$ で、$p$-バー重量が $d < p$ であるスピン RoCK ブロックについて、分解数 $[S(\lambda) : D(\mu)]$ は、リトルウッド＝リチャードソン係数と逆 Kostka 多項式を含む閉じた公式で与えられる。
• 公式は $[S(\lambda) : D(\mu)] = 2^{\lfloor \frac{1}{2}(h(\lambda^{(0)}) + a(\lambda)) \rfloor} \sum_{\sigma,\tau} K^{-1}_{\lambda^{(0)}\sigma^{(0)}}(-1)^\ell \prod_{i=1}^\ell c(\lambda^{(i)}; \sigma^{(i)}, \tau^{(i)}) c(\mu^{(i-1)}; \sigma^{(i-1)}, \tau^{(i)\prime})$ であり、ここで $\lambda^{(i)}, \mu^{(i)}$ は $p$-バー・コア商である。
• 射影的特徴標 $\phi_\mu$ と未調整特徴標 $\hat{\phi}_\mu$ の間の調整行列 $A$ は単位行列であり、公式が自然であることが確認された。
• RoCK ブロックの超カルタン行列の成分は、ワイヤード超積 $W_d$ のそれと一致しており、これは $A_\ell \wr S_d$ の表現論により独立に計算されている。
• 未調整カルタン行列成分 $\check{C}_{\mu\nu}$ は、$\prod_{i=0}^{\ell-1} c(\mu^{(i)}; \phi(i), \chi(i), \psi(i+1)', \omega(i)) c(\nu^{(i)}; \phi(i), \psi(i), \chi(i+1)', \omega(i))$ の形で、適切なラベル付けのもとで実際のカルタン行列と一致する。
• 証明により、分解行列が $p$-バー・コアと $p$-バー・コア商の組合せ論的性質によって一意に決定されること、Fayers (2023) のカノニカル基底計算に基づく予想が確認されたことが示された。