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

技术摘要：对偶 K-理论 P-函数与 Q-函数的生成函数及玻色子-费米子对应

问题陈述
本文研究了 Ikeda 和 Naruse 引入的 K-理论 Schur P- 和 Q-函数（$G P_\lambda$ 和 $G Q_\lambda$）及其对偶函数（$g p_\lambda$ 和 $g q_\lambda$）的代数特征。这些函数代表了极大各向同性辛格拉斯曼（symplectic Grassmannian）和正交格拉斯曼（orthogonal Grassmannian）K-理论中的 Schubert 类。虽然此前作者的工作已通过 $\beta$-变形中性费米子算子对 K-理论 Q-函数（$G Q_\lambda$）进行了特征化，但对于 K-理论 P-函数（$G P_\lambda$）以及至关重要的其对偶函数（$g p_\lambda$ 和 $g q_\lambda$）的完整费米子表示仍然是一个悬而未决的问题。具体而言，Nakagawa-Naruse 曾对这些对偶函数的生成函数提出过猜想，但缺乏通过玻色子-费米子对应关系进行的严谨推导。

方法论
作者利用包含 $\beta$ 变形参数的费米子 Fock 空间形式化框架，采用了中性费米子算子的理论。其核心方法论创新包括：

1. 引入四类 $\beta$-变形算子：
   本文定义了四种不同的中性费米子算子族，取决于 $\beta$ 的取值：$\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$, 以及 $\Phi^{[\beta]}_n$。

   • $\phi^{(\beta)}_n$ 和 $\Phi^{(\beta)}_n$ 被构建用于生成 K-理论函数 $G Q_\lambda$ 和 $G P_\lambda$。
   • $\phi^{[\beta]}_n$ 和 $\Phi^{[\beta]}_n$ 被构建用于生成对偶函数 $g q_\lambda$ 和 $g p_\lambda$。
     这些算子被定义为标准中性费米子算子 $\phi_n$ 的无穷线性组合，涉及特定的位移和由 $\beta$ 引起的缩放。

2. 定义对偶对与交换关系：
   作者建立了算子族之间的对偶关系。具体而言，推导出了反交换子关系，使得 $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$。这是对无变形情况下标准对偶关系的 $\beta$-变形模拟。

3. $\beta$-变形玻色子-费米子对应：
   引入了两个线性映射 $\Omega$ 和 $\chi$，作为 $\beta$-变形的玻色子-费米子对应。

   • $\Omega$ 将费米子 Fock 空间中的向量映射到完备对称函数环 $\widehat{\Lambda}$，对应于 K-理论函数。
   • $\chi$ 将向量映射到子代数 $g\Gamma$，对应于对偶函数。
     这些映射是通过涉及 $\beta$-变形哈密顿算子 $H^{(\beta)}(x)$ 和 $H^{[\beta]}(x)$ 的真空期望值来定义的。

4. 生成函数的推导：
   通过利用 $\beta$-变形顶点算子和电流算子之间的交换关系，作者推导出了 Nakagawa-Naruse 的 K-理论 Cauchy 核。该核将费米子算子的真空期望值与乘积公式 $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$（其中 $\bar{x}_i$ 是 $\beta$-位移变量）联系起来。

主要贡献与结果
本文的主要结果是将四种 K-理论函数实现为特定费米子算子的真空期望值，并推导出对偶函数的生成函数。

1. 费米子表示：
   定理 1.1 确立了对于任何严格划分 $\lambda$，在费米子 Fock 空间中存在四个向量 $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$，使得：

   • $G Q_\lambda = \Omega(|\lambda\rangle_Q)$
   • $G P_\lambda = \Omega(|\lambda\rangle_P)$
   • $g q_\lambda = \chi(|\lambda\rangle_q)$
   • $g p_\lambda = \chi(|\lambda\rangle_p)$
     这些向量是使用文中定义的相应 $\beta$-变形费米子算子构造的。

2. 对偶函数的生成函数：
   利用所构造向量的正交性以及 $\beta$-变形玻色子-费米子对应的性质，本文推导出了对偶 K-理论函数 $g q_\lambda$ 和 $g p_\lambda$ 的显式生成函数。这证实了 Nakagawa-Naruse 关于这些对偶函数生成函数形式的猜想。

3. K-理论 Cauchy 恒等式：
   本文证明了 $\beta$-变形算子的交换关系自然地导致了 K-理论 Cauchy 恒等式：
   $$\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$-变形算子，作者成功地将 K-理论 P-函数及其对偶函数实现为类似于先前已知的 Q-函数的形式。这种表示不仅验证了关于对偶函数生成函数的猜想，还提供了一种通过中性费米子算子视角研究这些函数代数属性的系统方法。这项工作将之前对 A 型 K-理论函数（如稳定 Grothendieck 多项式）的费米子描述推广到了正交和辛情况。