New Combinatorial Formulae for Nested Bethe Vectors

技術的要約：入れ子状のベテ・ベクトルに関する新しい組合せ論的公式

問題提起
本論文は、ヤン・リアン $Y(\mathfrak{gl}_n)$ の評価加群に関連するベクトル値重み関数（オフシェル入れ子状ベテ・ベクトルとしても知られる）の、明示的な組合せ論的公式の構成に関する問題を扱う。先行研究（具体的には文献 [25]）では、標準的なリー代数の埋め込み（$\mathfrak{gl}_1 \oplus \mathfrak{gl}_{n-1} \subset \mathfrak{gl}_n$ および $\mathfrak{gl}_{n-1} \oplus \mathfrak{gl}_1 \subset \mathfrak{gl}_n$）によって誘導される漸化式に基づく公式が提供されていたが、これらの手法は、基底展開における非可換な因子の特定の順序付けをもたらす。著者らは、文献 [8] に見られるような応用において極めて重要となる特定の順序付けが、既存の公式ではカバーされていないことを指摘している。具体的には、$n=4$ の場合、基底の順序付けである積 $e_{32}e_{31}e_{42}e_{41}e_{21}e_{43}$ （ここで $e_{ij}$ は $\mathfrak{gl}_n$ の標準生成子）は、[25] で用いられた漸化構造からは導出できない。この順序付けは、$1 < m < n-1$ におけるより一般的な埋め込み $\mathfrak{gl}_m \oplus \mathfrak{gl}_{n-m} \subset \mathfrak{gl}_n$ に由来するものである。

手法
著者らは、煩雑な表記を避けるために $n=4$ のケースに焦点を当てて詳細な計算の解説を行っているが、この結果は任意の $n$ に一般化可能である（詳細は別の著作、文献 [5] に詳述されている）。手法は以下の通りである：

1. 定義と設定： 本論文は、標準的な有理 $R$ 行列および $Y(\mathfrak{gl}_n)$ の生成級数 $T^a_b(u)$ を利用する。ベクトル値重み関数は、$T$ 演算子の積と $R$ 行列が特異ベクトル $v$ に作用することによる、特定の行列成分として定義される。
2. 分割特性： 中心的なツールは、重み関数の「分割特性」（命題 4.1）である。この特性により、$Y(\mathfrak{gl}_4)$ の重み関数 $B_\xi(t)v$ を、$Y(\mathfrak{gl}_2)$ 加群の重み関数の和へと分解することが可能になる。この分解は、$Y(\mathfrak{gl}_2)$ の $Y(\mathfrak{gl}_4)$ への特定の埋め込み $\phi_2$ および $\psi_2$ と、ベクトル空間 $\mathbb{C}^2$ 上の評価加群 $L(x)$ および $\bar{L}(x)$ の使用に基づいている。
3. 漸次的簡約： 問題は、$Y(\mathfrak{gl}_2)$ が評価加群のテンソル積に作用する場合の重み関数の計算へと還元される。命題 5.2 および 5.3 は、対称化演算子と特定の有理関数 $F_I(t, z)$ を用いた、$Y(\mathfrak{gl}_2)$ のこれらの重み関数が特異ベクトルに作用する際の明示的な公式を提供する。
4. 組合せ論的代数： コアとなる技術的課題は、目的の基底順序付けに一致させるための添字部分集合の総和計算である。著者らは、2つの可換な対称群 $S_k$ のコピーと有理関数を含む代数的枠組み（セクション 7）を用いる。彼らは、 braid 関係を満たす要素 $\hat{s}_a$ を定義し、これらの要素の係数 $X_{\sigma, \tau}(z)$ に関する補題を利用して、固定された濃度と交差サイズを持つすべての部分集合のペア $(I, J)$ にわたる和が、特定の部分集合の選択に依存しない対称関数になることを証明する。
5. 命題 5.1 の証明： 著者らは、漸次的ステップに不可欠な、$Y(\mathfrak{gl}_2)$ 重み関数の余積に関する主要な命題（付録 A）の詳細な証明を提供している。

主な貢献と結果
主要な結果は 定理 5.7 であり、これは評価加群 $V(x)$ 上の $Y(\mathfrak{gl}_4)$ のベクトル値重み関数 $B_\xi(t)v$ の展開に対する、新しい閉形式の組合せ論的公式を提供する。

• 新しい基底順序付け： この公式は、重み関数を以下の基底で展開する：
  $$\{ e_{32}^{m_{32}} e_{31}^{m_{31}} e_{42}^{m_{42}} e_{41}^{m_{41}} e_{21}^{m_{21}} e_{43}^{m_{43}} v \mid m_{ij} \in \mathbb{Z}_{\ge 0} \}$$
  この順序付けは、埋め込み $\mathfrak{gl}_2 \oplus \mathfrak{gl}_2 \subset \mathfrak{gl}_4$ に対応しており、これは [25] の手法では到達不可能であった。
• 明示的な係数： 展開における係数 $F_{\vec{m}}(t)$ は、対称化された有理関数 $G_{i,j}(t)$（方程式 5.13）を用いて明示的に与えられる。これらの関数は、スペクトルパラメータ $t$、評価点 $x$、および特異ベクトルの重み $\Lambda_i$ に依存する項の積を含む。
• 選択の独立性： 著者らは、得られる対称化された式が、部分集合を定義するために使用される添字列 $i$ および $j$ の特定の選択に依存しないことを証明し、公式のウェルディファインド性（well-definedness）を保証している。
• 有理型と三角型： 本論文は有理型（ヤン・リアンの加群）の解析に限定している。著者らは、これらの新しい組合せ論的公式を三角型（量子ループ代数 $U_q(\widehat{\mathfrak{gl}}_n)$）へ拡張する場合、検討されている一般的な埋め込みの下での $e_{ij}$ ($i > j$) の $q$ アナログの不可避な非可換性が障害となることを明示的に述べている。

意義
本論文は、入れ子状のベテ・ベクトルに関する既存の組合せ論的公式の必要な一般化を提供することで、その意義を主張している。一般の埋め込み $\mathfrak{gl}_m \oplus \mathfrak{gl}_{n-m} \subset \mathfrak{gl}_n$ のケースに対処することにより、著者らは、量子可積分モデルや表現論において必要とされる、以前は到達不可能であった基底順序付けにおける重み関数の構成を可能にした。$n=4$ のケースに関する詳細な導出は、文献 [5] で扱われている一般の $n$ のケースに対する透明なモデルとして機能する。また、本研究は、現在の手法を三角型に適用する際の限界を浮き彫りにし、これらの新しい組合せ論的表現の直接的な $q$ 変形を妨げる特定の代数的障害を特定している。