[論文レビュー] Nonzero coefficients in restrictions and tensor products of supercharacters of $U_n(q)$

S. R. Lewis, Nathaniel Thiem|ArXiv.org|Dec 9, 2009

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

ひとこと要約

本稿では、$U_n(q)$ のユニポテンツ上三角行列群における超キャラクター係数が非ゼロとなる条件を、集合分割から構成された二部グラフにおける完全マッチングを用いて特徴づける。主な貢献は、超キャラクターが分解に現れるための均一な組合せ的基準を提示することである：ある超キャラクターが現れるのは、関連する二部グラフが完全マッチングを持つとき、かつそのときに限る。

ABSTRACT

The standard supercharacter theory of the finite unipotent upper-triangular matrices $U_n(q)$ gives rise to a beautiful combinatorics based on set partitions. As with the representation theory of the symmetric group, embeddings of $U_m(q)\subseteq U_n(q)$ for $m\leq n$ lead to branching rules. Diaconis and Isaacs established that the restriction of a supercharacter of $U_n(q)$ is a nonnegative integer linear combination of supercharacters of $U_m(q)$ (in fact, it is polynomial in $q$). In a first step towards understanding the combinatorics of coefficients in the branching rules of the supercharacters of $U_n(q)$, this paper characterizes when a given coefficient is nonzero in the restriction of a supercharacter and the tensor product of two supercharacters. These conditions are given uniformly in terms of complete matchings in bipartite graphs.

研究の動機と目的

• 超キャラクター理論における $U_n(q)$ の分岐則係数の組合せ論的構造を理解すること。これは対称群 $S_n$ の表現論と類似する。
• 与えられた超キャラクター $\chi^\nu$ が、部分群 $U_K \subseteq U_n$ への別の超キャラクターの制限 $\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$ において非ゼロ係数をもって現れる条件を特定すること。
• 二つの他の超キャラクターのテンソル積 $\chi^\lambda \otimes \chi^\mu$ において、超キャラクター $\chi^\nu$ が現れる条件を特徴づけること。
• これらの分解における非ゼロ係数を特徴づける一様な、組合せ論的基準（二部グラフにおける完全マッチングに基づく）を提供すること。
• 係数の明示的計算のための基礎的枠組みを構築し、$q$ における係数の多項式性に関する既知の結果を拡張すること。

提案手法

• $U_K \subseteq U_n$ の埋め込み構造を符号化するため、集合分割 $\lambda$ と $\{1,\dots,n\}$ の部分集合 $K$ から二部グラフ $\Gamma_K(\lambda)$ を構成する。
• テンソル積分解をモデル化するため、三つ組の集合分割 $\lambda, \mu, \nu$ に対して二部グラフ $\Gamma(\lambda, \mu, \nu)$ を定義する。
• 定理 4.2 を用いて、超キャラクターのテンソル積を、より大きな超キャラクターの制限にスケーリングされた形で関連づけ、これによりテンソル積問題を制限問題に還元する。
• 集合分割の構造と $\Lambda_K$-ラベルに基づく構成的アルゴリズムを用い、完全マッチングの存在を決定する。
• マッチングと非ゼロ係数の対応関係を活用する：非ゼロ係数が現れるのは、完全マッチングが存在する場合に限る。
• 多重集合 $\lambda \in \mathcal{M}_K(q)$ への一般化により、テンソル積を扱い、交差ペアの集合 $\mathcal{C}_K(\lambda)$ の修正版を用いる。

実験結果

リサーチクエスチョン

• RQ1 与えられた超キャラクター $\chi^\nu$ が、$\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$ において非ゼロ係数をもって現れる条件は何か？
• RQ2 $U_n(q)$ の二つの超キャラクター $\chi^\lambda$ と $\chi^\mu$ のテンソル積 $\chi^\lambda \otimes \chi^\mu$ において、超キャラクター $\chi^\nu$ が現れる条件は何か？
• RQ3 集合分割 $\lambda$, $\mu$, $\nu$ にどのような組合せ的条件が課されると、テンソル積分解における非ゼロ係数が存在するか？
• RQ4 $U_K \subseteq U_n$ の埋め込み構造をどのように符号化すれば、超キャラクターの制限のサポートを特定できるか？
• RQ5 このような分解における自明なキャラクターの係数を明示的に計算できるか？また、どのような条件下でそれは $q$ のべき乗となるか？

主な発見

• 自明な超キャラクターは、$\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$ に現れるための必要十分条件として、二部グラフ $\Gamma_K(\lambda)$ が完全マッチングを持つことである。
• 超キャラクター $\chi^\nu$ が $\chi^\lambda \otimes \chi^\mu$ に現れるのは、関連する二部グラフ $\Gamma(\lambda, \mu, \nu)$ が完全マッチングを持つとき、かつそのときに限る。
• $\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$ において、$\chi^\mu$ の係数が非ゼロであるのは、グラフ $\Gamma_K(\lambda, \mu)$ が完全マッチングを持つとき、かつそのときに限る。
• $\mathrm{Res}^{U_L}_{U_K}(\chi^\lambda)$ における自明なキャラクターの係数は、$q^{r_K^L(\lambda) + |\mathcal{C}_K(\lambda)|}$ に等しい。ここで $\mathcal{C}_K(\lambda)$ は集合分割内の特定の交差ペアの数を数える。
• テンソル積において、自明なキャラクターの係数は $\Lambda_K(\lambda) \in \{ (\circ,\bullet), (\bullet,\circ) \}$ のとき $q^{|\mathcal{C}_K(\lambda)|}$ に等しく、一般には $q$-多項式係数に一般化される。
• 明示的な例により、係数が純粋な $q$ のべき乗でないことが示されている。例えば、$a + b + c = 0$ のとき、$\langle \chi^{\{1\overset{a}{\frown}5, 1\overset{b}{\frown}5, 1\overset{c}{\frown}5\}}, {11} \rangle_{U_5(q)} = 3q - 2$ である。