[論文レビュー] Crossover Morita equivalences of spin representations of the symmetric and alternating groups

Ruthi Leabovich, Mary Schaps|ArXiv.org|Oct 27, 2009

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

本稿は、スピンブロックのブロック簡約化されたキリスグラフにおける最大の $i$-ストリングの端点における、被覆群 $ ilde{S}_n$ と $ ilde{A}_n$ のスピンブロック間のソース代数同値性を確立する。これはモリタ同値性を示唆する。これはケッサール＝シュープスのクロスオーバー予想を、これらの端点ブロックに対して確認したものであり、コアの偶奇が一致する場合には同じファミリー内、異なる場合にはファミリー間の同値性が成立することを示し、モリタ同値類の明確な上限を提供するとともに、 twisted affine Lie 代数における反射と関連付ける。

ABSTRACT

We prove the existence of Morita equivalences between the spin blocks at the extremal points of strings in the block-reduced crystal graph. When the parities of the core partitions are not preserved, these equivalences require crossovers, with a block of the symmtric group Morita equivalent to a block of the alternating group and vice versa. The result permits in improvement of the bound for Donovan's Conjecture given by Kessar.

研究の動機と目的

• スピンブロックのブロック簡約化キリスグラフにおける最大の $i$-ストリングの端点における、$ ilde{S}_n$ と $ ilde{A}_n$ の extremal blocks について、ケッサール＝シュープスのクロスオーバー予想を検証すること。
• 最大の $i$-ストリングの端点における $ ilde{S}_n$ と $ ilde{A}_n$ のスピンブロック間のソース代数同値性を、コアの偶奇に応じて示すこと。
• 与えられた $p$-コアと重み $w$ に対して、スピンブロックのモリタ同値類の数の鋭い上界を導出すること。これはドノヴァン予想からの以前の上限を改善する。
• 同値性に用いられるスコープの対合 $K_i$ が、タイプ $A^{(2)}$ の twisted affine Lie 代数の単純根にどのように関連するかを特定すること。
• 重み $w$ のスピンブロックの異なるモリタ同値類の数に対して、$w$ における多項式的上限を与えること。

提案手法

• 著者たちは、ブロック簡約化キリスグラフを用いて最大の $i$-ストリングを特定し、その端点に位置する extremal blocks を同定する。
• コア座標 $n_i$ に作用し、twisted affine Lie 代数の単純根 $\alpha_i$ における反射に対応するスコープの対合 $K_i$ を適用する。
• これらの対合が $p$-コアと重みパラメータに与える作用を分析することで、ブロックがソース代数同値である条件を同定する。
• ブロックのレベルは $\gamma_t(\rho) = \sum_{i=1}^t \frac{n_i^2 - n_i}{2}$ で定義され、置換および $n_i \mapsto 1 - n_i$ に対して不変であり、候補となるコアの数を制限するために用いられる。
• 著者たちは、$p$-コアと重みによるブロックのパrametrization を用い、ブロック構造を twisted affine Lie 代数 $A^{(2)}_{2t-1}$ のワイル群に関連付ける。
• スコープの対合 $K_i$ が、Lie 代数の単純根に関する反射 $r_{\alpha_i}$ に正確に対応することを確立する。特に $\alpha_0$ と $\alpha_t$ が果たす特別な役割に注目する。

実験結果

リサーチクエスチョン

• RQ1 ブロック簡約化キリスグラフにおける最大の $i$-ストリングの端点における、$ ilde{S}_n$ と $ ilde{A}_n$ のスピンブロックは、ソース代数同値性を有するか？
• RQ2 これらの同値性は、コアの偶奇が一致する場合に同じグループファミリー（$ ilde{S}_n$ または $ ilde{A}_n$）内で維持され、偶奇が異なる場合にはファミリー間を横切るのか？
• RQ3 与えられた重み $w$ のスピンブロックのモリタ同値類の数を鋭く上限づけることは可能か？ これはドノヴァン予想とどのように関係するか？
• RQ4 同値性に用いられるスコープの対合 $K_i$ は、twisted affine Lie 代数の根系へのワイル群作用とどのように関連するか？
• RQ5 レベルが有界であるコアの集合の正確な幾何学的・代数的構造は何か？ そして、これはモリタ同値類の数とどのように関係するか？

主な発見

• 本稿は、最大の $i$-ストリングの端点における extremal blocks に対して、$ ilde{S}_n$ と $ ilde{A}_n$ のスピンブロック間のソース代数同値性が存在することを証明する。同値性の性質はコアの偶奇に依存する。
• 二つの extremal blocks のコアが同じ偶奇を持つ場合、それらのブロックは同じファミリー内（$ ilde{S}_n$ または $ ilde{A}_n$）でソース代数同値である。偶奇が異なる場合には、ファミリー間を横切る同値性が成立する。
• 重み $w$ のスピンブロックのモリタ同値類の代表元の数は、$\gamma_t(\rho) \leq L_w$ を満たす $p$-コアの数によって上限づけられる。ここで $L_w = \sum_{i=1}^t (w + (w-1)(i-1))(w-1)i$ であり、これは $t^t w^t$ のオーダーである。
• この上限は $w$ についての $t$ 次多項式であり、与えられた $p$ に対してモリタ同値類の数の鋭い上界を提供し、ドノヴァン予想からの以前の上限を改善する。
• スコープの対合 $K_i$ は、タイプ $A^{(2)}_{2t-1}$ の twisted affine Lie 代数の単純根に関する反射 $r_{\alpha_i}$ に正確に対応する。特に $K_0$ は $\alpha_0$ における反射に対応し、$K_t$ は $\alpha_t$ における反射に対応する。
• レベル関数 $\gamma_t(\rho)$ は $n_i$ の置換および $n_i \mapsto 1 - n_i$ に対して不変であり、レベルが有界なコアの集合は、$(\frac{1}{2}, \dots, \frac{1}{2})$ を中心とする概ね球形の領域をなす。