[論文レビュー] A new integral basis for the centre of the Hecke algebra of type A

Andrew Francis, Lenny Jones|arXiv (Cornell University)|May 11, 2007

Advanced Combinatorial Mathematics参考文献 8被引用数 3

ひとこと要約

本稿では、Jucys–Murphy要素における単項対称多項式の整数係数線形結合からなる、A型ヘッケ代数の中心の整数基底を構成する再帰的アルゴリズムを提示する。主な貢献は、このような基底の存在を証明することであり、これは中心に対して対称多項式に基づく最初の整数基底を提供する。一方、単一の単項対称多項式からなる基底は稀であり、$ S_3 $ のヘッケ代数では唯一のものしか存在しない。

ABSTRACT

We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of monomial symmetric polynomials of Jucys--Murphy elements.

研究の動機と目的

• A型のイワハリ–ヘッケ代数の中心に対して、Jucys–Murphy要素における対称多項式を用いて整数基底を構成すること。
• Jucys–Murphy要素における単項対称多項式のみからなる整数基底が存在するかどうかを調査すること。
• $ S_3 $ のヘッケ代数の中心に対して、このような単項対称多項式基底がいくつ存在するかを特定すること。
• $ n \to 3,4,5 $ の場合にヘッケ代数において失敗するが、群代数からヘッケ代数へのマーフィーの単項対称多項式基底の一般化を試みること。
• このような単項対称多項式のみからなる基底が稀であり、$ \text{Hecke}(S_3) $ のみに一つしか存在しないことを確立すること。

提案手法

• 合成と分割を定義し、$ n $ の分割への写像 $ \bar{\bullet} $ を導入し、合成に対する再帰的順序を定義する。
• $ S_n $ のコクセター表示を用い、合成を用いて増加要素とその形状を定義し、共轭類と関連付ける。
• Jucys–Murphy要素を導入し、これら要素における対称関数として単項対称多項式 $ m_\nu $ を定義する。
• ヘッケ代数 $ \text{Hecke}(S_n) $ の中心を、$ \bbZ[q,q^{-1}] $ 上の Jucys–Murphy要素における対称多項式の線形包として構成し、群代数への特殊化を適用する。
• 整数係数線形結合としての単項対称多項式の整数基底を生成する再帰的アルゴリズムを適用する。
• 特性理論的技法と係数解析（補題 6.1–6.5 を用いて）を用い、基底候補の係数行列の整数性および可逆性を決定する。

実験結果

リサーチクエスチョン

• RQ1 A型ヘッケ代数の中心に対して、Jucys–Murphy要素における単項対称多項式のみからなる整数基底が存在するか？
• RQ2 $ S_3 $ のヘッケ代数の中心に対して、このような単項対称多項式基底はいくつ存在するか？
• RQ3 群代数からのマーフィーの単項対称多項式基底をヘッケ代数へ一般化できるか？
• RQ4 単項対称多項式の集合が、ヘッケ代数の中心の整数基底をなすための条件は何か？
• RQ5 高ランクのヘッケ代数では、単項対称多項式のみからなる整数基底の存在を妨げる構造的障害は存在するか？

主な発見

• A型ヘッケ代数の中心に対して、Jucys–Murphy要素における単項対称多項式の整数係数線形結合からなる整数基底が存在する。
• $ n=3 $ の場合、ヘッケ代数 $ \text{Hecke}(S_3) $ の中心に対して唯一のこのような基底が存在し、それは $ \big\{ m_{\text{\emptyset}}, m_1, m_{1,1} \big\} $ である。
• 群代数 $ \bbZ S_3 $ の中心に対して、単項対称多項式のみからなる基底は正確に4つ存在する：$ \{m_{\emptyset}, m_1, m_2\} $、$ \{m_{\emptyset}, m_1, m_{1,1}\} $、$ \{m_{\emptyset}, m_1, m_{2,2}\} $、および $ \{m_1, m_2, m_{2,2}\} $。
• 単項式 $ m_{i+j,i} $ における共役類要素の係数は、常に偶数であることが示されている（補題 6.6）。
• 単項式 $ m_{2j} $ および $ m_{i,i} $ の係数行列の行列式は $ \frac{(-1)^{i+1}(4^j + 1) + 2^{i+1}}{3} $ に等しく、これは $ i=2, j=1 $ のみで $ \pm 1 $ に等しくなる。このとき、唯一の基底 $ \{m_2, m_{2,2}\} $ が得られる。
• 1次元成分 $ \Gamma_{2,1} $ を整数的に張る唯一の単項式は、係数制約および偶奇条件のため $ m_1 $ である。