[論文レビュー] Hilbert scheme of points on cyclic quotient singularities of type (p,1)

Ádám Gyenge|arXiv (Cornell University)|Mar 7, 2016

Advanced Mathematical Identities被引用数 1

ひとこと要約

この論文では、(p,1)型の循環商特異点上のヒルベルトスキームのオイラー特性の母関数を導出する。そのために、0-生成ヤング図形を符号化する一般化されたコイン配置であるp-フォンテンを導入する。トーラス作用の固定点と、連分数および母関数を用いた新しい組合せ的枠組みを用いて、母関数を2変数有理関数における定数項として表現し、滑らかな曲面に対するGöttscheの公式を特異曲面へと拡張する。

ABSTRACT

In this note we investigate the generating series of the Euler characteristics of Hilbert scheme of points on cyclic quotient singularities of type (p,1). We link the appearing combinatorics to p-fountains, a generalization of the notion of fountain of coins. We obtain a representation of the generating series as coefficient of a two variable generating series.

研究の動機と目的

• 循環商特異点 (p,1) 型における点のヒルベルトスキームのオイラー特性の母関数を計算すること。
• コインフォンテンの概念を一般化し、特異曲面上の0-生成ヤング図形の組合せ的性質を捉えるp-フォンテンを導入すること。
• 2変数母関数と連分数を用いて、母関数の閉形式表現を確立すること。
• トーラス固定点局所化と組合せ的補完を用いて、滑らかな曲面に対するGöttscheの公式を特異曲面へと拡張すること。

提案手法

• X(p,1) 上のトーラス作用を用いて、Hilb^n(X(p,1)) の固定点を0-生成ヤング図形と特定する。
• p-フォンテンを導入し、0-生成図形とその最小の二等辺三角形包除境界との間の面積をモデル化する。
• p-フォンテンの母関数 F(q,z) と原始的p-フォンテンの母関数 G(q,z) を定義し、G(q,z) = (qz)^p F(q, qz) で関連付ける。
• f(n,k) および g(n,k) の再帰的関係を導出し、F(q,z) および G(q,z) の連分数表現を得る。
• ヤコビの三重積恒等式を用いて、斜辺長が lp+1 の包除三角形の母関数 T(q,z) を表現する。
• T(q,z)H(q^{-1},z^{-1}) の定数項 [z^0] を適用することで、オイラー特性の母関数を回復する。

実験結果

リサーチクエスチョン

• RQ1 (p,1) 型循環商特異点上のヒルベルトスキームのオイラー特性の母関数を閉形式でどのように表現できるか？
• RQ2 どの組合せ的構造が、特異曲面上の0-生成イデアルの幾何をモデル化するためのコインフォンテンの一般化か？
• RQ3 トーラス固定点 Hilbn(X(p,1)) が Zp作用下で0-生成ヤング図形に対応する仕組みは何か？
• RQ4 オイラー特性の母関数が連分数を含む2変数有理関数の係数として表現可能か？
• RQ5 ヤコビの三重積恒等式は、包除三角形の母関数を構成する際に果たす役割は何か？

主な発見

• 母関数 ZX(p,1)(q) は [z^0] T(q,z) / (F(q^{-1},z^{-1}) - (qz)^{-p} F(q^{-1},(qz)^{-1})) で与えられ、F と T は連分数で定義される。
• p=1 の場合、古典的なGöttscheの公式に還元される：ZX(1,1)(q) = ∏_{m≥1} 1/(1−q^m)。
• p=2 の場合、既知の結果 ZX(2,1)(q) = (∏_{m≥1} 1/(1−q^m))^2 · ∑_{m∈Z} ξ^{m} q^{m^2}（ξ = exp(2πi/3)）と一致する。
• p-フォンテンの母関数 F(q,z) は、原始的フォンテン分解に基づく再帰的関係を用いた連分数展開を満たす。
• 包除三角形の母関数 T(q,z) は、ヤコビの三重積恒等式を用いて双方向のシータ級数として表現される。
• 主な洞察は、定数項 [z^0] が包除三角形の斜辺とp-フォンテンの底辺を一致させることで、0-生成図形の正確な列挙を可能にしていることである。