[論文レビュー] Descendents on local curves: Stationary theory

Rahul Pandharipande, Aaron Pixton|arXiv (Cornell University)|Sep 6, 2011

Algebraic Geometry and Number Theory参考文献 24被引用数 6

ひとこと要約

本稿は、トーラス作用付き挿入を伴う局所的曲線の安定ペア理論における定常的後退の還元規則を確立し、因子分解と局所化を用いて有理性および関数方程式を証明する。安定ペアの頂点と量子微分方程式の解を用いて、系列 $\mathsf{Z}^\mathsf{cap}_{d,(d)}(\tau_d(\mathsf{p}))^\mathbf{T}$ の正確な計算が行われ、マクマホン関数と $q$ における有理生成関数を含む閉形式の表現が得られる。この手法により、-equivariant 3次元幾何における定常的後退不変量の効果的な計算が可能となる。

ABSTRACT

The stable pairs theory of local curves in 3-folds (equivariant with respect to the scaling 2-torus) is studied with stationary descendent insertions. Reduction rules are found to lower descendents when higher than the degree. Factorization then yields a simple proof of rationality in the stationary case and a proof of the functional equation related to inverting q. The method yields an effective determination of stationary descendent integrals. Particular descendent series in the cap geometry play a special role and are calculated exactly using the stable pairs vertex and an analysis of the solution of the quantum differential equation for the Hilbert scheme of points of the plane.

研究の動機と目的

• 局所的曲線の安定ペア理論における $T$-等化挿入を伴う定常的後退 $\tau_k(\mathsf{p})$ の還元規則の構築。
• 因子分解と局所化を用いて、定常的後退不変量の生成関数の有理性の証明。
• 安定ペアの頂点と点のヒルベルトスキームの量子微分方程式の解を用いて、重要な系列 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ の正確な計算。
• 導来された有理構造を介して、$q \to -q$ の逆転に対する関数方程式の確立。
• 複数の挿入 $\tau_{m_i}([0])$ を含むより広い不変量族への手法の拡張と、組合せ的係数を含む閉形式の導出。

提案手法

• $k > d$ の $\tau_k(\mathsf{p})$ について、$\mathbb{Q}(s_1,s_2)$ に値をとる係数をもつ $\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p})$ における普遍多項式としての還元規則が導出され、高次の後退の簡約が可能になる。
• 相対的条件の因子分解と、挿入なし理論の既知の有理性を用いて、完全な生成関数の有理性が証明される。
• 等化残留物と安定ペアの頂点を用いて、局所化技術が $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ の計算に適用される。
• $\mathrm{Hilb}^d(\mathbb{C}^2)$ の量子微分方程式の解の解析により、生成関数の構造が特定される。
• 組合せ的恒等式を用いて $A_r + B_r$ の寄与の和を簡約し、すべての $1 \leq r \leq d$ に対して $A_r + B_r = \frac{1}{d!}$ を証明し、閉形式の表現が得られる。
• 複数の挿入 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$ への手法の拡張が行われ、部分集合の和と周期的軌道の数え上げを用いて定義される係数 $C_r(m_1,\dots,m_k)$ を含む公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 $k > d$ の高次の後退 $\tau_k(\mathsf{p})$ は、局所的曲線の安定ペア理論において、$\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p})$ の組み合わせに還元可能か。
• RQ2 局所的曲線の定常理論は、$q \to -q$ の逆転に対して有理性および関数方程式を示すか。その理由は何か。
• RQ3 生成関数 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ の正確な値は、既知の特殊関数を用いてどのように表現できるか。
• RQ4 この手法は、複数の定常的挿入 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$ を含む不変量の計算に一般化可能か。
• RQ5 $d > 1$ のとき、ドナルドソン＝トーマス関数と安定ペアの生成関数は等しいか。$d=1$ のときの違いは何か。

主な発見

• $k > d$ のとき、$\tau_k(\mathsf{p}) \mapsto f_{k,d}(\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p}))$ の還元規則が成り立ち、$f_{k,d}$ は $\mathbb{Q}(s_1,s_2)[x_1,\dots,x_d]$ 内の普遍多項式である。これにより、高次の後退の効果的な計算が可能になる。
• 生成関数 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ は、$\frac{1}{2 \cdot d!} \sum_{r=1}^d \frac{1 + (-q)^r}{1 - (-q)^r}$ として正確に計算され、$q \to -q$ の下での有理性および関数方程式が証明される。
• $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ は $q$ に関して有理的であり、$\mathbb{Q}(s_1,s_2)$ に値をとる係数を持つ。関数方程式は恒等式 $A_r + B_r = \frac{1}{d!}$ を用いて検証される。
• 複数の挿入 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$ の場合、生成関数は $\frac{q^d}{m_1!\cdots m_k!} \left(\frac{s_1+s_2}{s_1 s_2}\right) \frac{1}{2} \sum_{r=1}^d C_r(m_1,\dots,m_k) \frac{1 + (-q)^r}{1 - (-q)^r}$ として与えられ、$C_r$ は組合せ的部分集合の和で定義される。
• 正規化されたドナルドソン＝トーマス生成関数 $\mathsf{Z}^{\mathsf{DT,cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ は $d > 1$ のとき安定ペアのバージョンと等しくなるが、$d = 1$ のときには $q \frac{d}{dq} \log M(-q)$ を含む加法的項の違いがある。ここで $M(q)$ はマクマホン関数である。
• 恒等式 $\sum_{r=1}^d C_r(m_1,\dots,m_k) = \sum_{f \text{ が1つの周期的軌道を持つ}} \prod_{i=1}^k m_{f(i)}$ は再帰的証明により示され、係数の組合せ的構造が確認される。