The pre-Pieri rules

「プレ・ピエリの規則」の技術的概要（Darij Grinberg 著）

問題の提示
本論文は、対称関数の理論における古典的なピエリの規則を一般化する問題に取り組みます。標準的なピエリの規則は、シューア関数 $s_\lambda$ と完全対称関数 $h_p$ または基本対称関数 $e_p$ の積を、特定の組み合わせ的制約（それぞれ、横帯と縦帯）を満たすシューア関数 $s_\mu$ の和として記述します。

著者は、これらの規則の「代替的」あるいは「未打ち消し」バージョンに焦点を当てています。具体的には、本論文は、和の範囲を分割数や特定の帯の条件に制限するのではなく、成分ごとの不等式と固定された和の条件を満たすすべての整数 $n$ 組 $\mu$ にわたる恒等式を調査します。これらの代替的な定式化において、有効な分割数や帯の条件に対応しない項は、しばしば消滅するか、打ち消し合います。目標は、任意の（非可換である可能性のある）環上で、行行列式を用い、任意の成分 $h_{k,i}$ を持つ行列の行列式によって定義される一般化されたシューア様関数に対して、これらの恒等式を極めて一般的な設定で確立することです。

手法
本論文は、非可換環上の行行列式（rowdet）の操作を中心とした組み合わせ論的・代数的アプローチを採用しています。手法は以下の通り進行します。

1. 定義: 著者は、整数 $n$ 組 $\alpha \in \mathbb{Z}^n$ に対して、成分が $h_{\alpha_i+j, i}$ である行列の行行列式として、一般化されたシューア様要素 $t_\alpha$ を定義します。
2. 組み合わせ的補題: 証明は、以下の補題の系列に依存します。
   • 整数 $n$ 組に対する対称群 $S_n$ の作用。
   • Iverson 括弧 $[A]$（真であれば 1、偽であれば 0）の性質。
   • 行列 $([ \nu_i \ge j ])_{i,j}$ または $([ \nu_i \trianglerighteq j ])_{i,j}$ に関する行列式恒等式。ここで $\trianglerighteq$ は関係 $u-v \in \{0, 1\}$ を表します。
   • ある $n$ 組が別の $n$ 組の置換であるかどうかを判定するための鳩の巣原理の議論。
3. 和の操作: 中核的な技法は、行行列式の定義を展開し、置換 $\sigma \in S_n$ と整数 $n$ 組 $\beta$ に関する和の順序を入れ替え、全単射を利用して和のインデックスを再付与することです。
4. 非可換環への一般化: 証明は、因子の順序を慎重に維持すること（標準的な行列式ではなく行行列式を使用すること）によって、可換である必要のない任意の単位的結合環 $R$ に対して成り立つように構成されています。

主要な貢献と結果

本論文は、「プレ・ピエリの規則」と呼ばれる 2 つの主要な恒等式を確立し、いくつかの系を導出します。

1. 第一のプレ・ピエリの規則（定理 2.1）
この恒等式は、代替的な第一ピエリの規則（$h_p$ による乗法）を一般化します。

• 主張: 環 $R$、整数 $n \ge 1, p \ge 0$、および要素 $h_{k,i} \in R$ に対して、$t_\alpha = \text{rowdet}(h_{\alpha_i+j, i})$ とします。$\eta = (1, 2, \dots, n-1, n+p)$ とします。すると、
  $$\sum_{\substack{\beta \in \mathbb{N}^n \\ |\beta|=p}} t_{\alpha+\beta} = \text{rowdet}(h_{\alpha_i+\eta_j, i})$$
  右辺は、標準的な行列の最後の列が $p$ だけシフトされた単一の行行列式です。
• 証明の方針: 証明は、行行列式の和を展開し、和の変数を再インデックス付けし、補題 2.9 を利用して、展開における各項の係数が Iverson 括弧の行列の行列式に対応することを示します。この行列式は、特定の $n$ 組 $\eta$ を和のインデックスに写す一意の置換の符号として評価されます。

2. 第二のプレ・ピエリの規則（定理 4.1）
この恒等式は、基本対称関数（$e_p$）による乗法に対応するもので、成分が $\{0, 1\}$ にある $n$ 組の和を含みます。

• 主張: $p \in \{0, 1, \dots, n\}$ に対して、$\xi = (1, 2, \dots, n-p, n-p+2, \dots, n+1)$ とします。すると、
  $$\sum_{\substack{\beta \in \{0,1\}^n \\ |\beta|=p}} t_{\alpha+\beta} = \text{rowdet}(h_{\alpha_i+\xi_j, i})$$
• 証明の方針: 第一の規則と同様ですが、制限された和の定義域を処理するために、関係 $\trianglerighteq$（$u \trianglerighteq v \iff u-v \in \{0,1\}$）および補題 4.6 を利用します。

3. 系と回復
本論文は、これらの一般的な恒等式がいくつかの既知の結果を回復し、一般化することを示しています。

• 可換の場合: $R$ が可換であるとき、行行列式は標準的な行列式となり、古典的な恒等式が回復されます。
• シューア関数: $h_{k,i} = h_k$（完全対称関数）および適切な境界条件を設定することにより、本論文は「代替的な第一ピエリの規則」（導入部の式 5）を回復します。ここで $s_\lambda h_p = \sum s_{\lambda+\beta}$ です。
• Immaculate 関数: 本論文は、第一のプレ・ピエリの規則の特殊な場合として、Immaculate 関数に対する「右ピエリの規則」（Berg ら、[BBSSZ13, 定理 3.5]）を回復します。
• マクドナルドの第 9 変種: 本論文は、マクドナルドの第 9 変種シューア関数に対するピエリ様規則（Fun、[Fun12, 命題 3.9]）を回復します。
• 消滅条件: 本論文は、特定の $h_{k,i}$ が消滅する場合（例えば負の $k$ に対して）に恒等式がどのように簡略化され、結果として生じる行列式の因数分解につながるかを詳述する特定の系（例えば、系 3.1、4.9）を提供します。

意義と主張
本論文は、主に既存の組み合わせ恒等式の統合と一般化において意義を主張します。

• 一般性: 恒等式は非可換環上で成り立ち、ピエリの規則の範囲を対称関数から非可換多項式環（非可換対称関数の環 NSym など）へと拡張します。
• 統合: 2 つのプレ・ピエリの規則は、様々な既知のピエリの規則のための「プレ（予備的または基盤となる）」枠組みとして機能します。本論文は、標準的なピエリの規則（帯の条件を満たす分割数にわたる和）は、消滅する項を取り除くか、打ち消し合いを観察することで、これらのプレ・ピエリの規則から導出可能であると指摘しています。ただし、プレ・ピエリの規則自体は、有効な恒等式であるためにそのような打ち消し合いを必要としません。
• LR 規則に関する推測: 著者は、第一および第二のプレ・ピエリの規則の両方を一般化し、特定のケースとして「Immaculate Littlewood-Richardson 規則」を含む可能性のある「プレ・リトルウッド・リチャードソン規則」の存在について推測しています。命題 5.2 はこの方向への一歩として提示されており、不変な $n$ 組の集合にわたる行行列式の和が、行行列式の線形結合として表現可能であることを示しています。

本論文は、新しい実験的応用や将来の計算アルゴリズムを提案するものではなく、対称関数および非可換対称関数の既存の文献内において、これらの代数的恒等式とそれらの論理的帰結を確立することに焦点を当てています。