Affine Jacobi-Trudi Identities and $q,t$-Rogers-Ramanujan Identities

技術要約：アフィン・ヤコビ・トリューディ恒等式と $q, t$-ロジャース・ラマヌジャン恒等式

問題提起
本論文は、アフィンルート系（$B_n, C_n, BC_n$）に関連するホール・リトルウッド多項式に関して、既知のヤコビ・トリューディ恒等式が欠如しているという問題に対処している。古典的なヤコビ・トリューディおよび双対ヤコビ・トリューディ恒等式は、完全対称関数または基本対称関数を用いてシュー関数を表現するが、最大高さの矩形分割によってインデックス付けされたホール・リトルウッド多項式に対する類似の公式は、これまで主に予想の域を出ていなかった。さらに、本論文は、これらの恒等式を利用して、アフィンリー代数の標準モジュールの指標に関する新しい $q, t$-ロジャース・ラマヌジャン恒等式を導出することを目指している。

手法
著者は、対称関数論、結晶基底理論、および解析的手法を組み合わせて用いている：

1. 予想の枠組み： 本論文は、矩形分割 $(k^r)$ によってインデックス付けされたホール・リトルウッド多項式に対する、双対ヤコビ・トリューディ恒等式のアフィン版を提案している。これらの予想は、シフトされたインデックスを持つ基本対称関数と $t$ 依存の重みを含む行列式を、アフィンワイル群（具体的には $W(A^{(1)}_{k-1})$）にわたる和として表現するものである。
2. 定理 1.1 の証明： $GL(n, \mathbb{C})$ のケース（通常のホール・リトルウッド多項式）において、矩形形状でインデックス付けされた場合の厳密な証明が提供されている。この証明は、Schilling と Shimozono による、$U_q(\widehat{\mathfrak{sl}}_k)$ のレベル制限パスに関する結晶基底理論の結果に基づいている。
3. 予想の検証： $B_n, C_n, BC_n$ のケースについては、有界リトルウッド恒等式とベイリー・ペア（特に Slater のリストにあるもの）を用いて、$k=1$ の特定のケースにおける予想が証明されている。さらに、$t=1$ の場合の特定の恒等式についても、円筒状シュー関数を用いた証明が提供されている。
4. ロジャース・ラマヌジャン恒等式の導出： 予想されるヤコビ・トリューディ公式を特殊化し（変数 $x_i = q^{i-1/2}$ または $q^i$ と設定し、$n \to \infty$ の極限を取る）、$q, t$-ロジャース・ラマヌジャン恒等式を導出する。これらの導出には、アフィンルート系（$C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1}$）に関するマクドナルド恒等式を利用する。
5. 無条件の証明： 未解決のヤコビ・トリューディ予想に依存せずに $q, t$-ロジャース・ラマヌジャン恒等式を確立するために、著者は Ismail の解析的手法を採用している。これは、恒等式の級数側と積側の差が、特定の点（$t = q^N$）において消滅することを示す手法である。これには、解析関数の恒等定理を用いる。

主要な貢献と結果

• アフィン双対ヤコビ・トリューディ恒等式：
  • 定理 1.1： 通常のホール・リトルウッド多項式 $P_{(k^r)}(x; t)$ に対するアフィン双対ヤコビ・トリューディ公式を、基本対称関数を含む行列式のルート格子 $Q$ 上の和として証明している。
  • 予想 1.2–1.4： $B_n, C_n, BC_n$ のホール・リトルウッド多項式に対する類似の公式を提案している。これらは $k=1$ および特定の $t$ の値（$t=1$）に対して証明されている。
• 新しい $q, t$-ロジャース・ラマヌジャン恒等式：
  • 定理 1.5–1.8： アフィンルート系 $C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1}, A^{(2)}_{2k-1}$ に対応する4つの新しい $q, t$-ロジャース・ラマヌジャン恒等式の族を確立している。これらの恒等式は、右辺に積の形式を維持しつつ、第2のパラメータ $t$（ホール・リトルウッド・パラメータ）を導入することで、古典的な結果（ロジャース・ラマヌジャン、Andrews–Gordon、GOW恒等式）を一般化している。
• 補題 5.1–5.18： アフィンリー代数の標準モジュールの指標に関するロジャース・ラマヌジャン恒等式の包括的なリストを導出している（$A^{(2)}_{2n}, C^{(1)}_n, D^{(2)}_{n+1}, B^{(1)}_n, D^{(1)}_n$）。これには、先行文献では見つかっていなかった8つの新しい恒等式が含まれる。
• レベルランク双対性： 本論文は、レベルランク双対性の新しい現れを示しており、$q, t$-恒等式におけるパラメータ $t$ の特殊化が、既知および新しいアフィンリー代数の指標の恒等式へとどのようにつながるかを示している。
• 付録の結果： Matthew Russell によって発見された、$A^{(2)}_{2n}$ のケースに関連する新しいロジャース・ラマヌジャン型の恒等式（式 5.21）を証明しており、これはヴィラソロ代数の指標との関連性を示している。

意義
本論文は、$B_n, C_n, BC_n$ のケースにおける（たとえ一般的な $k$ については予想であっても）最初のアフィン・ヤコビ・トリディ公式を提供することにより、ホール・リトルウッド多項式の組合せ論的構造の理解を進展させると主張している。主な意義は、これらの組合せ論的恒等式とアフィンリー代数の表現論との統一にある。$q, t$-ロジャース・ラマヌジャン恒等式を導出することで、本研究は、分割恒等式とアフィンリー代数の指標との間の古典的な対応関係を、二パラメータの設定へと拡張している。得られたロジャース・ラマヌジャン恒等式の無条件の証明は、基礎となるヤコビ・トリディ予想のステータスに関わらず、新しい標準モジュールの指標公式が妥当であることを保証している。本研究は、ロジャース・ラマヌジャン恒等式と表現論を結びつける基礎的な役割を果たした Jim Lepowsky に捧げられている。