Generating functions of dual $K$-theoretic $P$- and $Q$-functions and boson-fermion correspondence

技術要約：二重K理論的P関数およびQ関数の生成関数とボゾン・フェルミオン対応

問題の所在
本論文は、池田および成瀬によって導入された、K理論的シュアP関数およびQ関数（$GP_\lambda$ および $GQ_\lambda$）とその双対関数（$gp_\lambda$ および $gq_\lambda$）の代数的性質を扱う。これらの関数は、極大等長型シンプレクティックおよび直交グラスマン多様体のK理論におけるシューベルト類を表している。K理論的Q関数（$GQ_\lambda$）については、先行研究において著者が$\beta$変形された中性フェルミオン演算子を用いて特性付けを行っていたが、K理論的P関数（$GP_\lambda$）および、極めて重要な点としてその双対関数（$gp_\lambda$ および $gq_\lambda$）の完全なフェルミオン表示は未解決の課題であった。具体的には、中川および成瀬による双対関数の生成関数に関する予想が存在していたが、ボゾン・フェルミオン対応を用いた厳密な導出は欠けていた。

手法
著者は、標準的な中性フェルミオン理論を$\beta$変形パラメータを含む形式へと拡張することで、中性フェルミオン演算子の枠組みを用いたフォック空間の手法を採用している。核心となる手法上の革新は以下の通りである：

1. 4つの家族の$\beta$変形演算子の導入：
   本論文では、$\beta$に応じて、4つの異なる家族の中性フェルミオン演算子 $\phi^{(\beta)}_n, \phi^{[\beta]}_n, \Phi^{(\beta)}_n, \Phi^{[\beta]}_n$ を定義する。

   • $\phi^{(\beta)}_n$ および $\Phi^{(\beta)}_n$ は、K理論的関数 $GQ_\lambda$ および $GP_\lambda$ を生成するように構成されている。
   • $\phi^{[\beta]}_n$ および $\Phi^{[\beta]}_n$ は、双対関数 $gq_\lambda$ および $gp_\lambda$ を生成するように構成されている。
     これらの演算子は、特定のシフトと$\beta$によるスケーリングを伴う、標準的な中性フェルミオン演算子 $\phi_n$ の無限線形結合として定義される。

2. 双対ペアの定義と交換関係：
   著者は、演算子の家族間の双対関係を確立する。具体的には、反交換関係が $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$ となるように導出される。これは、非変形の場合における標準的な双対関係の$\beta$変形版として機能する。

3. $\beta$変形ボゾン・フェルミオン対応：
   2つの線形写像 $\Omega$ および $\chi$ が、$\beta$変形されたボゾン・フェルミオン対応として導入される。

   • $\Omega$ はフェルミオン・フォック空間のベクトルを、K理論的関数に対応する完備対称関数環 $\widehat{\Lambda}$ へと写す。
   • $\chi$ はベクトルを、双対関数に対応する部分代数 $g\Gamma$ へと写す。
     これらの写像は、$\beta$変形されたハミルトニアン演算子 $H^{(\beta)}(x)$ および $H^{[\beta]}(x)$ を用いた真空期待値を通じて定義される。

4. 生成関数の導出：
   $\beta$変形された頂点演算子および電流演算子の間の交換関係を利用することで、著者は中川・成瀬のK理論的コーシー核を導出する。この核は、フェルミオン演算子の真空期待値と、積公式 $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ （ここで $\bar{x}_i$ は$\beta$シフトされた変数である）を結びつける。

主要な貢献と結果
本論文の主要な成果は、4つのK理論的関数を特定のフェルミオン演算子の真空期待値として明示的に実現したこと、および双対関数の生成関数を導出したことである。

1. フェルミオン表示：
   定理1.1は、任意の厳密な分割 $\lambda$ に対して、フェルミオン・フォック空間内に4つのベクトル $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ が存在し、以下を満たすことを確立している：

   • $GQ_\lambda = \Omega(|\lambda\rangle_Q)$
   • $GP_\lambda = \Omega(|\lambda\rangle_P)$
   • $gq_\lambda = \chi(|\lambda\rangle_q)$
   • $gp_\lambda = \chi(|\lambda\rangle_p)$
     これらのベクトルは、本文中で定義された各々の$\beta$変形フェルミオン演算子を用いて構成されている。

2. 双対関数の生成関数：
   構成されたベクトルの直交性と$\beta$変形ボゾン・フェルミオン対応の性質を用いることで、本論文は双対K理論的関数 $gq_\lambda$ および $gp_\lambda$ の明示的な生成関数を導出している。これにより、双対関数の形式に関する中川・成瀬の予想が検証された。

3. K理論的コーシー恒等式：
   $\beta$変形された演算子の交換関係から、K理論的コーシー恒等式が自然に導かれることを本論文は示している：
   $$\sum_{\lambda: \text{strict}} G Q_\lambda(x) g p_\lambda(y) = \sum_{\lambda: \text{strict}} G P_\lambda(x) g q_\lambda(y) = \prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$$
   ここで $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$ である。

意義
本論文は、タイプB、C、DのK理論的対称関数の統一的な代数的枠組みを提供する。$\beta$変形された演算子を含めることでボゾン・フェルミオン対応を拡張することにより、著者は、既知のQ関数と同様の方法で、K理論的P関数とその双対関数を成功裏に実現した。この提示は、双対関数の生成関数の予想を検証するだけでなく、中性フェルミオン演算子の観点からこれらの関数の代数的性質を研究するための体系的な手法を提供する。本研究は、タイプAのK理論的関数（安定なグロタンディーク多項式など）の既知のフェルミオン記述を、直交およびシンプレクティックの場合へと一般化するものである。