[論文レビュー] Structure coefficients of the Hecke algebra of $(S_{2n},B_n)$

Omar Tout|arXiv (Cornell University)|Dec 21, 2012

Advanced Combinatorial Mathematics参考文献 12被引用数 12

ひとこと要約

この論文は、$(\mathcal{S}_{2n}, \mathcal{B}_n)$ に関連するヘッケ代数の構造係数の多項式性を確立し、それらが非負整数係数を持つ $n$ に関する多項式の $2^n n!$ 倍であることを証明する。著者らは、部分写像の普遍代数を構成し、それによってヘッケ代数へと射影する。フィルトレーションを用いてこれらの多項式の次数を制限し、構造係数の組合せ論的枠組みを提供する。

ABSTRACT

The Hecke algebra of the pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of $S_{2n}$, was introduced by James in 1961. It is a natural analogue of the center of the symmetric group algebra. In this paper, we give a polynomiality property of its structure coefficients. Our main tool is a combinatorial universal algebra which projects on the Hecke algebra of $(S_{2n},B_n)$ for every $n$. To build it, we introduce new objects called partial bijections.

研究の動機と目的

• ヘッケ代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ の構造係数の多項式性を確立すること。
• すべての $n$ に対してヘッケ代数へと射影する部分写像に基づく普遍代数を構成すること。
• 構造係数の多項式展開における係数の組合せ論的解釈を提供すること。
• 構造係数を符号化する多項式の次数に対する上界を導出すること。

提案手法

• $n$ 個の要素の部分写像を基本的な組合せ的対象として用いた普遍代数の構成。
• 部分写像の合成の平均として、普遍代数における積の定義。
• 係数の成長を制御するための三つのフィルトレーション（$\deg_1$, $\deg_2$, $\deg_3$）の導入。
• 普遍代数を用いて、各 $n$ に対してヘッケ代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ へと射影すること。
• 表現論的双対性を介して、普遍代数とシフトされた対称関数の代数を結びつけること。
• 普遍代数上のフィルトレーションから導かれる不等式を用いて、次数の上限を導出すること。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ の構造係数は $n$ に関する多項式として表現可能か？
• RQ2 これらの構造係数の多項式展開における係数の組合せ論的意味は何か？
• RQ3 すべての $n$ に対してヘッケ代数へと射影する普遍代数を構成可能か？
• RQ4 構造係数を符号化する多項式の次数にどの程度の上界を設定できるか？
• RQ5 普遍代数上のフィルトレーションは、構造係数の多項式の次数とどのように関係するか？

主な発見

• ヘッケ代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ の構造係数は、非負整数係数を持つ $n$ に関する多項式の $2^n n!$ 倍に等しい。
• 多項式 $f_{\lambda\delta}^{\rho}(n)$ の次数は、$|\lambda| + |\delta| - |\rho|$ で上から抑えられる。
• 追加の上界として、$|\lambda| + |\delta| - |\rho| - l(\lambda) - l(\delta) + l(\rho)$ が与えられ、ここで $l(\cdot)$ は分割の部の数を表す。
• 部分写像から構成された普遍代数は、ヘッケ代数の構造の組合せ論的実現を提供し、係数の明示的計算を可能にする。
• 普遍代数上のフィルトレーション $\deg_1$, $\deg_2$, $\deg_3$ は、構造係数のサポートに関する不等式を通じて、提示された次数の上限をもたらす。
• この構成は、普遍代数とシフトされた対称関数の代数との間の関係を確立し、ヘッケ代数における多項式性結果のより広範な枠組みを示唆する。