[論文レビュー] RoCK blocks for double covers of symmetric groups and quiver Hecke superalgebras

Alexander Kleshchev, Michael Livesey|arXiv (Cornell University)|Jan 18, 2022

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、クーヴァー・ヘッケ・スーパーアルゲブラを用いて、対称群の二重被覆のRoCKブロックと標準的局所ブロックの間のモラータ同値性を確立し、これらのブロックに対してブラウエのアーベル的欠損群予想を証明する。カン＝カシワラ＝ツチオカ同型とカテゴライゼーション技法を用いて、著者たちは明示的なモラータ同値性を構成し、レベル1の巡回的ヘッケ＝クレフ・スーパーアルゲブラへ結果を拡張し、虚数的カスピダルカテゴリにおけるカスピダル系を用いて、既約表現を分類する。

ABSTRACT

We define and study RoCK blocks for double covers of symmetric groups. We prove that RoCK blocks of double covers are Morita equivalent to standard `local' blocks. The analogous result for blocks of symmetric groups, a theorem of Chuang and Kessar, was an important step in Chuang and Rouquier ultimately proving Broué's abelian defect group conjecture for symmetric groups. Indeed we prove Broué's conjecture for the RoCK blocks defined in this article. Our methods involve translation into the quiver Hecke superalgebras setting using the Kang-Kashiwara-Tsuchioka isomorphism and categorification methods of Kang-Kashiwara-Oh. As a consequence we construct Morita equivalences between more general objects than blocks of finite groups. In particular, our results extend to certain blocks of level one cyclotomic Hecke-Clifford superalgebras. We also study imaginary cuspidal categories of quiver Hecke superalgebras and classify irreducible representations of quiver Hecke superalgebras in terms of cuspidal systems.

研究の動機と目的

• クーヴァー・ヘッケ・スーパーアルゲブラの文脈において、対称群の二重被覆のRoCKブロックを定義し、研究すること。
• RoCKブロックと標準的局所ブロックの間のモラータ同値性を確立し、対称群から二重被覆への結果の拡張を行うこと。
• 対称群の二重被覆のRoCKブロックに対して、ブラウエのアーベル的欠損群予想を証明すること。
• 虚数的カスピダルカテゴリにおけるカスピダル系を用いて、クーヴァー・ヘッケ・スーパーアルゲブラの既約表現を分類すること。
• 結果をレベル1の巡回的ヘッケ＝クレフ・スーパーアルゲブラの特定のブロックへ拡張すること。

提案手法

• カン＝カシワラ＝ツチオカ同型を用いて、対称群の二重被覆における表現論的問題をクーヴァー・ヘッケ・スーパーアルゲブラの設定に翻訳すること。
• カン＝カシワラ＝オウのカテゴライゼーション手法を適用して、ブロックの構造とその同値性を分析すること。
• ゲルファンド＝グラーヴの切断技法を、スーパーアルゲブラ $\bar{R}_\delta$ および $\bar{R}_{d\delta}$ に適用し、関連するブロック成分を分離すること。
• インターヴァイアーとアフィン・ジグザグ関係を用いて、スーパーアルゲブラ設定におけるモジュール間の準同型を構成・分析すること。
• カスピダル系および虚数的カスピダルカテゴリの理論を活用して、クーヴァー・ヘッケ・スーパーアルゲブラの既約表現を分類すること。
• $B_2$代数における明示的な図式的計算を実行し、要素 $\Upsilon$ とそのイデムポテンに作用する関係を検証すること。

実験結果

リサーチクエスチョン

• RQ1 対称群の二重被覆のRoCKブロックは、標準的局所ブロックとモラータ同値であるか？
• RQ2 ブラウエのアーベル的欠損群予想は、対称群の二重被覆のRoCKブロックへ拡張可能か？
• RQ3 カスピダル系は、クーヴァー・ヘッケ・スーパーアルゲブラの既約表現をどのように分類するか？
• RQ4 要素 $\Upsilon$ は、RoCKブロックの構造およびイデムポテンに作用する際に果たす役割は何か？
• RQ5 結果は、レベル1の巡回的ヘッケ＝クレフ・スーパーアルゲブラのブロックへどの程度まで拡張可能か？

主な発見

• 対称群の二重被覆のRoCKブロックは、標準的局所ブロックとモラータ同値であり、チャウアン＝ケッサーの定理を二重被覆の設定に一般化する。
• 本稿は、対称群の二重被覆のRoCKブロックに対して、ブラウエのアーベル的欠損群予想を証明する。
• 著者たちは、RoCKブロックと $\mathrm{Br}(p) \wr S_d$（$d$ 頂点を持つブレイヤー木代数と $S_d$ のワレント積）との間で明示的なモラータ同値性を構成する。
• クーヴァー・ヘッケ・スーパーアルゲブラの既約表現の分類は、虚数的カスピダルカテゴリにおけるカスピダル系を用いて達成される。
• 要素 $\Upsilon$ は、重要な関係 $\gamma_{i,i}\Upsilon\gamma_{i,i} \equiv (-1)^i(z_1^2 - z_2^2)\gamma_{i,i} \mod B^{(1)}_{12}$ を満たし、これはブロック代数の構造を検証する上で不可欠である。
• $B_2$代数における明示的な図式的計算により、$\Upsilon$ の振る舞いとイデムポテンとの相互作用が確認され、主要な構造的結果を裏付ける。