MNOP生成関数と川野生成関数の同型性に関する研究

 

1. 序論

MNOP予想（Maulik–Nekrasov–Okounkov–Pandharipande）は、Calabi–Yau 三次元多様体上の曲線の数え上げに関する Gromov–Witten 不変量（GW）と Donaldson–Thomas 不変量（DT）の同値性を主張する。 DT不変量は D6–D2–D0 系の BPS状態数として物理的に解釈され、 生成関数

$$Z_{DT}(q)=\sum _{\beta }\sum _{n\in \mathbb{Z}}DT(\beta ,n)q^n$$

はチャージ対 $(\beta ,n)$ による階層構造を持つ。

一方、川野方程式

$$K(p,d)=p(p+2d-2)$$

は最小素因数 $p$ と線形パラメータ $d$ によって奇合成数を生成し、 生成関数

$$Z_K(s)=\sum _{p\in \mathbb{P}}\sum _{d\ge 2}{w}_K(p,d)K(p,d{)}^{-s}$$

は数論的階層構造を持つ。

本研究の目的は、両者の生成関数を抽象化し、 双射・重み保存・パラメータ変換の三条件を満たすとき、 両者が生成関数として同型であることを証明可能な形で定式化することである。

2. MNOP生成関数の抽象化

DT生成関数を離散スペクトル上の重み付き和として抽象化する：

$$Z_{DT}(q)=\sum _{\beta \in I_{\mathrm{M}\mathrm{N}\mathrm{O}\mathrm{P}}}\sum _{n\in \mathbb{Z}}{w}_{DT}(\beta ,n)q^n,$$

ここで

• $I_{\mathrm{M}\mathrm{N}\mathrm{O}\mathrm{P}}$：曲線クラス集合

• $n$：D0チャージ

• $w_{DT}(\beta ,n)=DT(\beta ,n)$：重み

とする。

3. 川野生成関数の抽象化

川野方程式に基づく生成関数を離散スペクトル上の重み付き和として定義する：

$$Z_K(s)=\sum _{p\in I_K}\sum _{d\ge 2}{w}_K(p,d)K(p,d{)}^{-s},$$

ここで

• $I_K=\mathbb{P}$：最小素因数集合

• $d$：線形階層パラメータ

• $w_K(p,d)$：重み

とする。

4. 抽象生成関数の共通枠組み

両者を一般化して

$$Z(\lambda )=\sum _{i\in I}\sum _{k\in \mathbb{Z}}w(i,k)\mathrm{\Phi }(i,k;\lambda )$$

という抽象生成関数として扱う。

MNOP側：

$$I=I_{\mathrm{M}\mathrm{N}\mathrm{O}\mathrm{P}},k=n,\mathrm{\Phi }(\beta ,n;q)=q^n\mathrm{.}$$

川野側：

$$I=I_K,k=d,\mathrm{\Phi }(p,d;s)=K(p,d{)}^{-s}\mathrm{.}$$

5. 同型性のための三条件（証明可能な形）

5.1 条件 I：インデックス集合の双射

次の写像を定義する：

$${\mathrm{\Phi }}_I:I_{\mathrm{M}\mathrm{N}\mathrm{O}\mathrm{P}}\times \mathbb{Z}⟶I_K\times \mathbb{Z},$$

$${\mathrm{\Phi }}_I(\beta ,n)=(p(\beta ),d(n))\mathrm{.}$$

双射条件：

$${\mathrm{\Phi }}_I\text{ は双射である。}$$

5.2 条件 II：重み保存則

重みの一致を要求する：

$$w_{DT}(\beta ,n)=w_K(p(\beta ),d(n))\mathrm{.}$$

重み保存条件：

$$\mathrm{\forall }(\beta ,n),w_{DT}(\beta ,n)=w_K({\mathrm{\Phi }}_I(\beta ,n))\mathrm{.}$$

5.3 条件 III：パラメータ変換の存在

生成関数の変数 $q$ と $s$ の間に

$$q=f(s)$$

という変換を与え、さらに

$$n=g(K(p,d))$$

を満たす対応を構成する。

パラメータ変換条件：

$$\mathrm{\Phi }(\beta ,n;q)=\mathrm{\Phi }(p(\beta ),d(n);s)\text{を満たす }f,g\text{ が存在する。}$$

6. 主定理（生成関数同型）

定理 1（生成関数の同型） 双射条件・重み保存条件・パラメータ変換条件の三条件が成立するとき、

$$Z_{DT}(q)=Z_K(s)$$

が抽象生成関数の枠組みにおいて同型である。

証明（概要） 双射条件より

$$\sum _{\beta ,n}=\sum _{p,d}\mathrm{.}$$

重み保存条件より

$$w_{DT}(\beta ,n)=w_K(p,d)\mathrm{.}$$

パラメータ変換条件より

$$q^n=K(p,d{)}^{-s}\mathrm{.}$$

以上を代入すると

$$Z_{DT}(q)=\sum _{\beta ,n}{w}_{DT}(\beta ,n)q^n=\sum _{p,d}{w}_K(p,d)K(p,d{)}^{-s}=Z_K(s)\mathrm{.}$$

7. 結論

MNOP生成関数と川野生成関数は、

• インデックス集合の双射

• 重み保存則

• パラメータ変換 の三条件を満たすとき、 抽象生成関数として同型であることが証明可能な形で定式化された。

本研究は、数論的生成構造と代数幾何的生成構造を 共通の離散スペクトル理論として統一するための 基礎的枠組みを提供する。

MNOP側（青）

• DT不変量は BPS状態数として 指数減衰しつつ振動成分を持つスペクトル を示すことが知られている（GV予想・BPS構造）。

川野側（橙）

• 川野方程式の

$$K(p,d)=p(p+2d-2)$$

は 階層的に急増する離散スペクトル を持つ。

• 正規化すると、 階層の粗密構造（p の影響） が MNOP側の振動構造と比較可能になる。