旗多様体に対する量子 $K$ 理論的除子公理

基本情報

• 論文ID: 2505.16150
• タイトル: Quantum $K$-theoretic divisor axiom for flag manifolds
• 著者: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Weihong Xu、付録はLeonardo C. Mihalcea と Weihong Xu による
• 分類: math.QA（量子代数）、math.AG（代数幾何）、math.CO（組合論）、math.KT（K理論）、math.RT（表現論）
• 発表時期: 2025年5月（arXiv v2: 2025年10月31日）
• 論文リンク: https://arxiv.org/abs/2505.16150

摘要

本論文は、旗多様体 $G/P$ の（トーラス等変）3点、種数0の $K$ 理論 Gromov-Witten 不変量に対する恒等式を証明する。この恒等式は、その（トーラス等変）量子 $K$ 理論における「除子公理」の代替物と見なすことができる。この恒等式により、2つの挿入が Schubert 類で、もう1つが Schubert 除子類である場合のこれらの不変量を計算することが可能になる。著者の型に依存しない証明は、旗多様体の（トーラス等変）量子 $K$ 理論環の Chevalley 公式を利用し、この公式は量子 Bruhat グラフを通じて Schubert 除子類との乗法を計算する。

研究背景と動機

問題の背景

1. 古典的除子公理の制限：上同調 Gromov-Witten 理論では、有名な除子公理が存在する： $\langle[\Omega_1], \ldots, [\Omega_{m-1}], [D]\rangle^Y_d = \left(\int_d [D]\right) \cdot \langle[\Omega_1], \ldots, [\Omega_{m-1}]\rangle^Y_d$ ここで $D$ は除子である。しかし、$K$ 理論の枠組みでは、このような公理の一般的な類似物は存在しない。
2. Buch-Mihalcea 予想：A型リー代数に対して、Buch と Mihalcea は $K$ 理論除子公理の予想を提出した（予想 1.1）：\langle[O_{\Omega_1}], [O_{\Omega_2}]\rangle^Y_d & \text{if } d_i > 0, \\ \langle O_{s_i} \cdot [O_{\Omega_1}], [O_{\Omega_2}]\rangle^Y_d & \text{if } d_i = 0, \end{cases}$$ ここで $O_{s_i} = [O_{Y^{s_i}}]$ は Schubert 除子である。
3. 既知結果の制限：
   • この予想は元々 A型旗多様体に対して提出された
   • G₂型では反例が発見された（LM, Section 4）。これは第1の場合が常に成立するわけではないことを示している
   • 以前は余最小旗多様体、特定の Grassmannian、および辛 Grassmannian $SG(2,2n)$ に対してのみ証明されていた

研究の動機

本論文は以下を目指している：

1. 型に依存しない証明を与える：すべてのリー型の旗多様体 $G/P$ に対して量子 $K$ 理論除子公理を確立する
2. 補正項を特徴付ける：条件 $\langle\varpi_i, \theta^\vee\rangle = 1$ が満たされない場合、正確な補正公式を与える
3. 組合論的ツールを提供する：量子 Lakshmibai-Seshadri (QLS) 路径モデルを利用して計算可能な組合論的記述を提供する

核心的貢献

1. 主定理（定理 3.1）：$d_i = 0$ のとき、除子公理の第2の場合がすべての $G/P$ に対して成立することを証明する： $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_{s_i} \cdot O_w, O_x\rangle_d$
2. 補正項を伴う公式（定理 3.2）：一般の有効次数 $d \in Q^{\vee,+}_K$ に対して、正確な公式を与える： $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d - \sum_{p \in R^{K;\triangleright}_{w,x,d}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)}$ ここで補正項は QLS 路径の部分集合 $R^{K;\triangleright}_{w,x,d}$ を通じて与えられる。
3. 十分条件：$\langle\varpi_i, \theta^\vee\rangle = 1$ かつ $d_i > 0$ のとき、補正項がゼロであることを証明する、すなわち： $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d$ これはすべての最小および余最小基本ウェイト、および C型のすべての基本ウェイトを含む。
4. 完全な分類：条件 $\langle\varpi_i, \theta^\vee\rangle = 1$ を満たす基本ウェイトの完全なリストを与える（Section 2.4）。
5. Peterson 比較公式（付録 A、命題 1.3）：$G/P$ の KGW 不変量を $G/B$ のそれに還元する公式を証明する： $\langle\gamma_1, \ldots, \gamma_m\rangle^{G/P}_d = \langle\pi^*\gamma_1, \ldots, \pi^*\gamma_m\rangle^{G/B}_{\hat{d}}$
6. 正性結果（系 3.5）：非等変設定において、KGW 不変量 $\langle O_{s_i}, O_u, (O^w)^\vee\rangle_d$ の正性性質を証明する。

方法の詳細説明

核心的戦略

本論文は組合論-代数的方法を採用し、主な技術的経路は以下の通りである：

1. 量子 $K$ 理論環の構造：量子 $K$ 理論環 $QK_T(Y)$ における乗法 $\star$ と3点 KGW 不変量の関係を利用する： $((σ_1 \star σ_2, σ_3)) = \sum_{d \in Q^{\vee,+}_K} Q^d \langle σ_1, σ_2, σ_3\rangle_d$
2. Chevalley 公式：NOS と LNS によって証明された量子 $K$-Chevalley 公式（定理 2.17）を重要に利用する： $O_{s_i} \star O_w = O_w + \sum_{v \in W} \sum_{\substack{\eta \in \text{QLS}(\varpi_i) \\ \kappa(\eta,v) = w}} (-1)^{\ell(v) - \ell(w) + 1} e^{-\varpi_i + \text{wt}(\eta)} Q^{\zeta(\eta,v)} O_v$
3. 量子 Bruhat グラフ：量子 Bruhat グラフ $\text{QBG}(W)$ を通じて Schubert 演算の組合論的情報を符号化する。

量子 Lakshmibai-Seshadri 路径

定義（定義 2.9）：形状 $\lambda$ の QLS 路径は対 $\eta = (v; a) = (v_1, \ldots, v_s; a_0, a_1, \ldots, a_s), \quad s \geq 1$ である。ここで：

• $v_1, \ldots, v_s \in W^J$（$J = J_\lambda = \{j \in I \mid \langle\lambda, \alpha^\vee_j\rangle = 0\}$）
• $0 = a_0 < a_1 < \cdots < a_s = 1$ は増加する有理数列
• 各 $k = 1, \ldots, s-1$ に対して、$\text{QBG}^{a_k\lambda}(W^J)$ に $v_{k+1}$ から $v_k$ への有向路径が存在する

主要性質：

• $\langle\varpi_i, \theta^\vee\rangle = 1$ のとき、$\text{QLS}(\varpi_i) = \text{LS}(\varpi_i)$（通常の LS 路径のみを含む）
• ウェイト定義：$\text{wt}(\eta) = \sum_{k=1}^s (a_k - a_{k-1}) v_k \lambda$

技術的革新点

1. Sijection 方法：2つの主要な符号付き全単射（sijections）$\Theta$ と $\Theta'$ を構成する：
   • $\Theta$ は最後のラベル $\alpha_i$ を持つ辺を追加/削除することで作用する
   • $\Theta'$ は最後のラベル $\beta$ と初期ラベル $\gamma$ の反射順序関係に基づいて辺を追加/削除する
2. 階層的処理：QLS 路径集合を以下のように分解する： $\text{QLS}^{K;\triangleright}_{w,x,d} = \text{QLS}^{K;\triangleright}_{w,x,d,+} \sqcup \text{QLS}^{K;\triangleright}_{w,x,d,0}$ そして別々に証明する：
   • $\sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d,+}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} = 0$（sijections $\Theta$ と $\Theta'$ を通じて）
   • $\sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d,0} \setminus R^{K;\triangleright}_{w,x,d}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} = 0$（sijection $\Psi$ を通じて）
3. 2点曲線近傍：幾何的対象 $\Gamma_d(Y_u, Y^{s_i})$（定義 1.4）を導入する： $\Gamma_d(Y_u, Y^{s_i}) := \text{ev}_3(M_d(Y_u, Y^{s_i}))$ そして証明する（補題 2.14）：\text{ev}_2(\text{ev}_1^{-1}(Y_u)) & \text{if } d_i > 0, \\ \text{ev}_2(\text{ev}_1^{-1}(Y_u)) \cap Y^{s_i} & \text{if } d_i = 0 \end{cases}$$

主定理の証明の思路

定理 3.1 の証明（$d_i = 0$ の場合）

証明戦略（Section 4.2）：

1. 代数的展開：量子度量関係から出発する： $\sum_{d \in Q^{\vee,+}_K} Q^d \langle O_{s_i}, O_w, O_x\rangle_d = ((O_{s_i} \star O_w, O_x))$
2. Chevalley 公式の応用：系 2.19 を使用する： $O_{s_i} \star O_w = O_w - \sum_{p \in \text{QLS}^\triangleright_w} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} Q^{[\text{qwt}(p)]} O_{\lfloor\text{end}(p)\rfloor}$
3. 主要な分解：集合を定義する $U := \{z \in W^{I\setminus K} \mid \lfloor\text{end}(p)\rfloor = z \text{ for some } p \in \text{QLS}^\triangleright_w \text{ with qwt}(p) = 0\}$
4. モジュロ演算分析：以下を証明する：
   • $z \in U$ ならば $a_z(Q) \in c_z + Q_i R(T)[Q]$
   • $z \notin U$ ならば $a_z(Q) \in Q_i R(T)[Q]$、したがって $c_z = 0$
5. 係数の抽出：$d_i = 0$ は $Q^d \notin Q_i R(T)[Q]$ を意味するため、$Q^d$ の係数を抽出して得る： $\langle O_{s_i}, O_w, O_x\rangle_d = \sum_{z \in U} c_z \langle O^z, O_x\rangle_d = \sum_{z \in W^{I\setminus K}} c_z \langle O^z, O_x\rangle_d = \langle O_{s_i} \cdot O_w, O_x\rangle_d$

定理 3.2 の証明（一般的な場合）

証明戦略（Section 4.3）：

1. 基本恒等式（方程式 4.10-4.11）：Chevalley 公式と2点不変量公式（補題 4.1）を通じて： $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d - \sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)}$
2. 集合の分解： $\text{QLS}^{K;\triangleright}_{w,x,d,+} := \{p \in \text{QLS}^{K;\triangleright}_{w,x,d} \mid \langle\varpi_i, d - \text{qwt}_2(p)\rangle > 0\}$$\text{QLS}^{K;\triangleright}_{w,x,d,0} := \{p \in \text{QLS}^{K;\triangleright}_{w,x,d} \mid \langle\varpi_i, d - \text{qwt}_2(p)\rangle = 0\}$
3. $\text{QLS}^{K;\triangleright}_{w,x,d,+}$ の寄与がゼロであることを証明する（Section 4.3.1）：
   • Sijection $\Theta$ を構築する：最後のラベル $\alpha_i$ を持つ辺を追加/削除することで
   • 集合を $A$（最後のラベルが $\alpha_i$）と $B$（最後のラベルが $\alpha_i$ でない）に分割する
   • さらに $B = B_1 \sqcup B_2$ に分解する
   • $A \sqcup B_1$ に $\Theta$ を適用し、$B_2$ に新しい sijection $\Theta'$ を構築する
4. $\text{QLS}^{K;\triangleright}_{w,x,d,0} \setminus R^{K;\triangleright}_{w,x,d}$ の寄与がゼロであることを証明する（Section 4.3.2）：
   • Sijection $\Psi$ を構築する：最後のラベル $\beta$ と $x$ への路径の初期ラベル $\gamma$ の反射順序関係に基づいて
   • 主要な観察：$(β, γ) \neq (\alpha_i, \alpha_i)$（そうでなければ矛盾が生じる）
5. 補正項が消える十分条件（Section 4.3.3）：
   • $\langle\varpi_i, \theta^\vee\rangle = 1$ のとき、$\text{QLS}(\varpi_i) = \text{LS}(\varpi_i)$
   • $N = 2$ を取ることができ、$\eta_p = (\lfloor\text{end}(p_2)\rfloor^J, \lfloor w\rfloor^J)$ は $\lfloor\text{end}(p_2)\rfloor^J \geq \lfloor w\rfloor^J$ を満たす
   • 補題 2.6 により、$\text{end}(p_2) \geq w$ を得、したがって $\text{qwt}_2(p) = 0$
   • したがって $\langle\varpi_i, d - [\text{qwt}_2(p)]\rangle = d_i > 0$、すなわち $R^{K;\triangleright}_{w,x,d} = \emptyset$

主要な技術的詳細

量子 Bruhat グラフ

定義 2.1：部分集合 $L \subseteq I$ に対して、量子 Bruhat グラフ $\text{QBG}(W^L)$ は $(\Delta^+ \setminus \Delta^+_L)$-ラベル付き有向グラフであり、その：

• 頂点：$W^L$ の元素
• 辺：$x \xrightarrow{\alpha} y$（$x, y \in W^L$、$\alpha \in \Delta^+ \setminus \Delta^+_L$）。以下を満たす：
  • (B) Bruhat 辺：$\ell(y) = \ell(x) + 1$
  • (Q) 量子辺：$\ell(y) = \ell(x) + 1 - 2\langle\rho - \rho_L, \alpha^\vee\rangle$

主要性質（定理 2.3）：

• ラベルが増加する最短路径とラベルが減少する最短路径が一意に存在する
• 量子ウェイト $\text{qwt}(v \Rightarrow w)$ は良定義である（最短路径の選択に依存しない）

二重傾斜 Bruhat 順序

定義 2.4：各 $v \in W$ に対して、二重 $v$-傾斜 Bruhat 順序 $\leq^*_v$ を定義する： $w_1 \leq^*_v w_2 \Longleftrightarrow \ell(w_1 \Rightarrow v) = \ell(w_1 \Rightarrow w_2) + \ell(w_2 \Rightarrow v)$

重要な結果（命題 2.5）：各剰余類 $uW_L$ は $\leq^*_v$ に関する一意の極大元を持ち、$\max(uW_L, \leq^*_v)$ と記す。

Sijection の構築の詳細

Sijection $\Theta$（$A \sqcup B_1$ に対して）：

$p = (p_N, \ldots, p_2, p_1) \in \text{QLS}^\triangleright_w$ に対して：

1. $\kappa_L(p_1) = \alpha_i$ ならば：$p_1$ の最後の辺（ラベル $\alpha_i$）を削除する
2. $\kappa_L(p_1) \neq \alpha_i$ ならば：$p_1$ の末尾にラベル $\alpha_i$ の辺を追加する

Sijection $\Theta'$（$B_2$ に対して）：

$p \in B_2$ を設定し、以下を定義する：

• $\beta := \kappa_L(p_1)$（$p_1$ の最後のラベル、または $p_1$ が自明ならば $-\infty$）
• $\gamma := \iota_L(\text{dec}(z \Rightarrow x))$（$z = \text{end}(p)$ から $x$ へのラベルが減少する路径の初期ラベル、または $z = x$ ならば $-\infty$）

主要な観察：$\beta \neq \gamma$（注釈 4.5）

1. $\beta \triangleright \gamma$ ならば：$p_1$ の最後の辺（ラベル $\beta$）を削除する
2. $\beta \triangleleft \gamma$ ならば：$p_1$ の末尾にラベル $\gamma$ の辺を追加する

検証：$\Theta'(p) \in B_2$（条件 4.21 と 4.22 の確認が重要）

応用と系

正性結果

系 3.5：$d_i = 0$ または $\langle\varpi_i, \theta^\vee\rangle = 1$ ならば、非等変 KGW 不変量は以下を満たす： $(-1)^{\ell(w) - \text{codim} \Gamma_d(Y_u, Y^{s_i})} \langle O_{s_i}, O_u, (O^w)^\vee\rangle_d \geq 0$

証明の思路：

1. 定理 3.1 と 3.2 により、$\chi_Y(O_{\Gamma_d(Y_u, Y^{s_i})} \cdot (O^w)^\vee)$ の計算に還元する
2. Brion 定理 Br を適用する：有理特異点を持つ閉不可約部分多様体の構造層は Schubert 基での展開で交代符号を持つ
3. 等変の場合は Anderson-Griffeth-Miller の一般化 AGM を使用する

Peterson 比較公式

命題 1.3：$\pi: G/B \to G/P$ を自然な投影とし、$\hat{d}$ を $d$ の Peterson 持ち上げとすれば： $\langle\gamma_1, \ldots, \gamma_m\rangle^{G/P}_d = \langle\pi^*\gamma_1, \ldots, \pi^*\gamma_m\rangle^{G/B}_{\hat{d}}$

証明の要点（付録 A）：

1. Woodward の結果 W を利用する：自然な写像 $M_{0,m}(G/B, \hat{d}) \to M_{0,m}(G/P, d)$ は上同調自明である（系 A.4）
2. 射影公式と構造層の前進を適用する

系 A.6：定理 3.1 と 3.2 が $G/B$ に対して成立する $\Rightarrow$ $G/P$ に対して成立する

具体例

例 3.3（G₂型の反例）

$g$ を G₂型とし、$i = 2$（長単根）、$w = s_2s_1s_2s_1s_2$、$d = d_1\alpha^\vee_1 + 2\alpha^\vee_2$（$d_1 > 0$）を考える。

計算：

• $\langle\varpi_2, \theta^\vee\rangle = 2 \neq 1$（$\theta = 3\alpha_1 + 2\alpha_2$）
• $N_2 = 6$、$\text{QLS}(\varpi_2) \neq \text{LS}(\varpi_2)$

結果：