[論文レビュー] Noncommutative Analogs of Monomial Symmetric Functions, Cauchy Identity, and Hall Scalar Product

Lenny Tevlin|ArXiv.org|Dec 13, 2007

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

ひとこと要約

本稿では、非可換対称関数代数 NSym 内で単項非可換対称関数と基本的非可換対称関数の類似物を導入し、非可換カウチ恒等式とホール内積に類似したスカラー積を確立する。リボン・シュール関数が両基底において非負に展開されることを証明し、非可換単項対称関数 $ M^I $ の可換像が組合せ $ I $ の置換の和に一致することを示し、古典的単項対称関数を回復する。

ABSTRACT

This paper introduces noncommutative analogs of monomial symmetric functions and fundamental noncommutative symmetric functions. The expansion of ribbon Schur functions in both of these basis is nonnegative. With these functions at hand, one can derive a noncommutative Cauchy identity as well as study a noncommutative scalar product implied by Cauchy identity. This scalar product seems be the noncommutative analog of Hall scalar product in the commutative theory.

研究の動機と目的

• 非可換対称関数代数 (NSym) 内で単項非可換対称関数および基本的非可換対称関数の類似物を構成すること。
• これらの新基底を用いて非可換カウチ恒等式を確立すること。
• 可換理論におけるホール内積に類似した非可換スカラー積を定義し、その性質を調べること。
• リボン・シュール関数が単項基底および基本基底の両方において非負に展開されることを証明し、非可換コストカ数を導入すること。

提案手法

• 非可換ピューレ和を含む行列式公式を用いて非可換単項対称関数 $ M^I $ を定義する。
• 基本的非可換対称関数 $ L^I $ を定義し、合成作用 $ \triangleright $ および $ \cdot $ を用いてその乗法則を導出する。
• 非可換完全対称関数 $ S^I $ と基本的関数 $ L^I $ をペアリングすることで非可換カウチ恒等式を確立し、古典的カウチ恒等式を一般化する。
• 非可換カウチ恒等式を用いて NSym 上にスカラー積を定義し、それがホール内積と類似した性質を示す。
• ピエリ型の公式および再帰的関係を用いて、$ M^I $ の可換像が $ I $ の置換の和に一致することを証明し、分割 $ \boldsymbol{\mu} $ に対して $ m_{\boldsymbol{\mu}} $ を回復する。
• 非可換単項対称関数と可換単項対称関数の関係を示すために、$ \widetilde{m}_{\boldsymbol{\mu}} = n \sum_{\mathfrak{S}_{n-1}} m_I $ を証明する。ここで和は $ \boldsymbol{\mu} $ の一部を固定する置換の上を取る。

実験結果

リサーチクエスチョン

• RQ1 NSym 内で単項対称関数の非可換類似物を定義可能か。その可換像が古典的単項対称関数を回復するか。
• RQ2 非可換カウチ恒等式は存在するか。古典的対称関数におけるカウチ恒等式とどのように関係するか。
• RQ3 NSym 上に、可換理論におけるホール内積に類似した非可換スカラー積は存在するか。
• RQ4 リボン・シュール関数は非可換単項基底および基本基底の両方において非負に展開可能か。その係数の組合せ的意味は何か。
• RQ5 リボン・シュール関数の基本基底への展開における非可換コストカ・ゲゼル係数（非可換コストカ数）に表現論的解釈は可能か。

主な発見

• 非可換単項対称関数 $ M^I $ は非可換ピューレ和を含む行列式公式により定義され、その可換像は組合せ $ I $ の置換の和に一致し、古典的単項対称関数 $ m_{\boldsymbol{\mu}} $ を回復する。
• $ M^I $ の可換像は $ \widetilde{m}_{\boldsymbol{\mu}} = n \sum_{\mathfrak{S}_{n-1}} m_I $ を満たし、ここで和は分割 $ \boldsymbol{\mu} $ の一部を固定する置換の上を取る。これにより $ m_{\boldsymbol{\mu}} $ の精密な分解が得られる。
• 非可換カウチ恒等式が成立する：非可換設定において $ \sum_{I} S^I \otimes L^I = \prod_{i<j} (1 - x_i^{-1}x_j)^{-1} $ が成り立ち、古典的恒等式を一般化する。
• カウチ恒等式を用いて定義された NSym 上のスカラー積は $ \langle S^I, L^J \rangle = \delta_{IJ} $ を満たし、ホール内積に類似した性質を示し、等長写像であることが示される。
• リボン・シュール関数 $ R^I $ は単項基底 $ M^I $ および基本基底 $ L^I $ の両方において非負に展開され、その係数は非可換コストカ数と呼ばれる。
• 非可換コストカ・ゲゼル係数は展開 $ R^I = \sum_J K_{IJ} L^J $ の係数として現れ、その構造は合成の refine および逆順序 refine 順序と関連している。