[論文レビュー] Compactified Jacobians and q,t-Catalan Numbers, I

Eugene Gorsky, Mikhail Mazin|arXiv (Cornell University)|May 5, 2011

Advanced Combinatorial Mathematics参考文献 31被引用数 11

ひとこと要約

本稿は、1つのプアヌー・ペアをもつ平面曲線特異点のコンパクト化ヤコビアンのホモロジーとガルシアとハイマンによる $q,t$-カタラン数の間の組合せ的関係を確立する。$\Gamma^{p,q}$-半モジュールと$(p,q)$-長方形内のヤング図形の間の双対写像を構成することで、細胞次元を $h^+_{p/q}$ に関する統計量で表し、ヤコビ因数のペオナリエ多項式を $q,t$-カタラン生成関数として表現する公式を得た。この公式は $(n,n+1)$-特異点で検証され、一般の互いに素な $(p,q)$ に対しては予想されている。

ABSTRACT

J. Piontkowski described the homology of the Jacobi factor of a plane curve singularity with one Puiseux pair. We discuss the combinatorial structure of his answer, in particular, relate it to the bigraded deformation of Catalan numbers introduced by A. Garsia and M. Haiman.

研究の動機と目的

• 1つのプアヌー・ペアをもつ平面曲線特異点のヤコビ因数のホモロジーを、組合せ的道具を用いて理解すること。
• ピオンツコフスキーのヤコビ因数の細胞分解とガルシアとハイマンによって導入された $q,t$-カタラン数との関係を特定すること。
• $\Gamma^{p,q}$-半モジュールと直角 $(p,q)$-三角形内のヤング図形との間の組合せ的双対写像を構成すること。
• $(n,n+1)$-特異点におけるヤコビ因数のペオナリエ多項式が $t^{2\binom{n}{2}}C_n(t^{-2},1)$ に等しいことを証明すること。
• この公式を一般の互いに素な $(p,q)$-特異点に一般化し、$\mathbb{C}^2$ 上の点のヒルベルトスキームと関連付ける予想を提示すること。

提案手法

• $\Gamma^{p,q}$-半モジュールを、$p$ と $q$ で生成される半群の $0$-正規化された部分モノイドとして定義する。
• $\Gamma^{p,q}$-半モジュールから、$(p,q)$-長方形内の対角線以下の領域 $R_+^{p,q}$ に含まれるヤング図形への自然な双対写像 $D$ を構成する。
• 半モジュール $\Delta$ に対応する細胞 $C_\Delta$ の次元を、$\frac{(p-1)(q-1)}{2} - h^+_{p/q}(D(\Delta))$ と表し、ここで $h^+_{p/q}(D)$ は $\frac{a(c)}{l(c)+1} \leq \frac{p}{q} < \frac{a(c)+1}{l(c)}$ を満たす箱 $c$ の数を数える。
• ガルシアとハグランドによる $q,t$-カタラン数の組合せ的公式を用いて、$(n,n+1)$-特異点に対して $\sum_{\Delta} q^{\dim C_\Delta} t^{|\mathbb{Z}_{\geq 0} \setminus \Delta|} = q^{\binom{n}{2}} C_n(q^{-1}, t)$ という恒等式を導出する。
• $R_+^{p,q}$ の部分図形からそれ自身への写像 $G$ を定義し、対応する $\Delta$ に対して $|G(D)| = \dim C_\Delta$ が成り立つようにする。さらに、$G$ が双対写像であると予想する。
• $(\mathbb{C}^*)^2$-作用と固定点の不安定多様体を介して、ピオンツコフスキーの細胞分解と $\operatorname{Hilb}^h(\mathbb{C}^2)$ の開部分多様体の細胞分解との間の双対写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 1つのプアヌー・ペアをもつ平面曲線特異点のヤコビ因数のホモロジーは、どのように組合せ的に記述できるか？
• RQ2 ピオンツコフスキーの細胞分解における細胞次元とヤング図形上の $h^+_{p/q}$ 統計量との間の明確な関係は何か？
• RQ3 ヤコビ因数のペオナリエ多項式は、$q,t$-カタラン数の生成関数として表現可能か？
• RQ4 $R_+^{p,q}$ の部分図形の集合と $\Gamma^{p,q}$-半モジュールの集合との間に、細胞の次元を保存する自然な双対写像は存在するか？
• RQ5 ヤコビ因数の細胞分解は、$\mathbb{C}^2$ 上の点のヒルベルトスキームの細胞分解とどのように関係しているか？

主な発見

• $(n,n+1)$-特異点において、ヤコビ因数のペオナリエ多項式は $P_{n,n+1}(t) = t^{2\binom{n}{2}} C_n(t^{-2}, 1)$ に等しく、$q,t$-カタラン生成関数と一致する。
• $\Gamma^{n,n+1}$-半モジュール $\Delta$ に対応する細胞 $C_\Delta$ の次元は $\binom{n}{2} - h^+_{n/(n+1)}(D(\Delta))$ で与えられ、ここで $D(\Delta)$ は関連するヤング図形である。
• $R_+^{n,n+1}$ の部分図形に定義された写像 $G$ は $|G(D)| = \dim C_\Delta$ を満たし、$(n,n+1)$-ケースでは双対写像であることが証明された。これにより、ハグランドの双対写像の新たな組合せ的実現が得られた。
• ヤコビ因数の細胞分解が、$T$-作用と不安定多様体を介して $\operatorname{Hilb}^h(\mathbb{C}^2)$ の開部分多様体 $\mathcal{M}_{p,q,h}$ の細胞分解と等価であることが示された。
• $\mathcal{M}_{p,q,h}$ の図形 $D$ に対応する細胞の次元は $h + h^+_{p/q}(D)$ に等しく、両者の細胞分解が整合していることが確認された。
• これらの結果は、コンパクト化ヤコビアンのコホモロジーとトーラスリンクのHOMFLYホモロジーの間の深い関係を示唆しており、特に $q,t$-カタラン数の組合せ論的構造を通じて関連している。