[論文レビュー] A bialternant formula for odd symplectic characters and its application

Soichi Okada|Josai University Repository of Academia (Josai University)|May 30, 2019

Algebraic structures and combinatorial models参考文献 6被引用数 4

ひとこと要約

本稿では、Proctorによって導入された非再帰的で奇数次元のシミレクティック群の分解不能表現の特徴（文字）である奇数次シミレクティック文字について、変数 $x_1,\dots,x_n$ と $z$ を含む新しい $(n+1) \times (n+1)$ 行列式公式を導入することで、双代数的公式を確立した。この公式は、古典的群に適用されるワイルの双代数的公式を一般化し、バーレント＝クレットンタラー＝ワナール恒等式—古典的特徴恒等式の奇数次シミレクティック版—を線形代数的手段により証明する。

ABSTRACT

We present a bialternant formula for odd symplectic characters, which are the characters of indecomposable modules of odd symplectic groups introduced by R. Proctor. As an application, we give a linear algebraic proof to an odd symplectic character identity due to R. P. Brent, C. Krattenthaler and S. O. Warnaar.

研究の動機と目的

• 非再帰的で奇数次元のシミレクティック群（Proctorによって導入）の分解不能表現の特徴である奇数次シミレクティック文字の双代数的公式を構築すること。
• 半単純群に適用されるワイルの特徴公式を、半単純でも再帰的でもない奇数次シミレクティック群の状況に一般化すること。
• 奇数次シミレクティック表現理論における主要な特徴恒等式であるバーレント＝クレットンタラー＝ワナール恒等式を、線形代数的手法により証明すること。
• ジャコビ＝トゥルーデ型、カウチ型の古典的特徴公式とそれらの奇数次シミレクティック版との間のギャップを、行列式に基づく特徴公式を導入することで埋めること。

提案手法

• 生成関数と表現論的依存のない定義により、奇数次シミレクティック文字 $\mathrm{Sp}_{2n+1}(\lambda;x_1,\dots,x_n;z)$ を定義する。
• サイズ $(n+1) \times (n+1)$ の行列 $A_\lambda$ を構成し、$1 \leq i \leq n$ に対して $x_i^{\lambda_j + n - j + 2} - x_i^{-(\lambda_j + n - j + 2)}$ を成分とし、最後の行は $z^{\lambda_j + n - j + 1}$ とする。
• 根系 $C_n$ と $C_{n+1}$ の間の項に対応する $x_i - x_i^{-1}$ および $x_i^{1/2}x_j^{1/2} - x_i^{-1/2}x_j^{-1/2}$ を含む、分母 $\det A_\varnothing$ を根系に従って明示的に計算する。
• 二つのこのような行列の積にコーシー＝ビネの公式を適用し、特徴関数の積の和を表現する。
• バーレンデ型行列式の恒等式と $x_i^{2M+2}$-変換項の因数分解を用いて、和をより高いランクの単一の奇数次シミレクティック文字に結びつける。
• $m$ について下向き帰納法を用い、$m = n$ から任意の $m \leq n$ への一般化を達成する。この際、ランクを低下させつつ構造を維持するため $x_1 = 0$ の代入を用いる。

実験結果

リサーチクエスチョン

• RQ1 ワイルの古典的群用公式に類似した、奇数次シミレクティック文字の双代数的公式を構築することは可能か？
• RQ2 非再帰的性質を持つ奇数次シミレクティック群の特徴公式は、偶数次シミレクティック群のそれとどのように異なるか？
• RQ3 積の形で表される奇数次シミレクティック文字が、より高いランクの単一の文字に等しいというバーレント＝クレットンタラー＝ワナール恒等式は、組合せ論的ではなく線形代数的手法により証明可能か？
• RQ4 奇数次シミレクティック文字の双代数的公式における分母の構造は何か？また、$C_n$ と $C_{n+1}$ の根系とどのように関係するか？
• RQ5 代数的還元技術を用いて、$m = n$ の場合に限らない奇数次シミレクティック文字のカウチ型恒等式を一般化できるか？

主な発見

• 奇数次シミレクティック文字の双代数的公式が確立された：$\mathrm{Sp}_{2n+1}(\lambda;x_1,\dots,x_n;z) = \frac{\det A_\lambda}{\det A_\varnothing}$、ここで $A_\lambda$ は $x_i$ のべきと $z$ のべきを混在させる $(n+1) \times (n+1)$ 行列である。
• 分母 $\det A_\varnothing$ は明示的に計算され、$\prod_{i=1}^n (x_i - x_i^{-1}) \prod_{1 \leq i < j \leq n+1} (x_i^{1/2}x_j^{1/2} - x_i^{-1/2}x_j^{-1/2})(x_i^{1/2}x_j^{-1/2} - x_i^{-1/2}x_j^{1/2})$ となる。ここで $x_{n+1} = z$ であり、$C_n$ と $C_{n+1}$ の間の根系と一致する。
• バーレント＝クレットンタラー＝ワナール恒等式は線形代数的証明により証明された：$\sum_{\lambda} z^{-r} \mathrm{Sp}_{2m+1}(\lambda;\mathbf{x};z) \mathrm{Sp}_{2n+1}((r^{n-m}) \cup \lambda;\mathbf{y};z) = \mathrm{Sp}_{2(m+n+1)}((r^{m+n+1});\mathbf{x},\mathbf{y},z)$。
• 証明は、双代数的公式から導かれる行列にコーシー＝ビネの公式を適用し、適切な因数抽出と行列式の操作に依存する。
• $m = n$ から任意の $m \leq n$ への一般化は、$x_1 = 0$ の代入によりランクを低下させながら構造を保ちつつ、下向き帰納法を用いて達成された。
• 本手法により、元来の組合せ論的解釈を回避する新たな代数的証明が得られ、行列式の恒等式と奇数次シミレクティック文字理論との直接的な関係が確立された。