[論文レビュー] q,t-Catalan numbers and knot homology

Eugene Gorsky|arXiv (Cornell University)|Mar 3, 2010

Geometric and Algebraic Topology参考文献 22被引用数 10

ひとこと要約

本稿は、ガリスィとハイマンのq,t-カタラン数との関連を対称多項式を通じて、トーラス絡み目の予想される三重に重み付けられたホモロジーの代数的モデルを提案する。n ≤ 4 に対して、対称関数の環内の双次数部分空間 Lₙ のヒルベルト級数が q,t-カタラン多項式と一致することを構成し、ハイマンによる点のヒルベルトスキームに関する研究を通じて、絡み目のホモロジーと代数的組合せ論の間の橋渡しを確立する。

ABSTRACT

We propose an algebraic model of the conjectural triply graded homology of Gukov, Dunfield and Rasmussen for some torus knots. It turns out to be related to the q,t-Catalan numbers of Garsia and Haiman.

研究の動機と目的

• Gukov, Dunfield, および Rasmussen が提唱したトーラス絡み目の予想される三重に重み付けられたホモロジーの代数的モデルを構築すること。
• Garsia と Haiman の q,t-カタラン数を対称関数を通じてこのホモロジー・モデルに関連付けること。
• n ≤ 4 の場合に、対称多項式の環内の特定の部分空間 Lₙ の双次数ヒルベルト関数が q⁻¹,t に関する q,t-カタラン多項式 Cₙ(q⁻¹,t) と一致することを示すこと。
• 対称多項式上の特定の微分複体のホモロジーが、Lₙ のレベルで期待される絡み目のホモロジー構造を実現することを証拠づけること。
• 等長的オイラー特性を通じて、ℂ² 上の点のヒルベルトスキームの幾何学と絡み目の不変量との間の関係を確立すること。

提案手法

• 対称多項式の環 Λ に、同次次数 (S) と基本対称多項式次数 (b) を用いた双次数を定義する。
• すべての k に対して αₖ ≤ k を満たす単項式 h_{α₁}⋯h_{αₙ} によって生成される部分空間 Lₙ ⊂ Λ を構成する。
• Lₙ のヒルベルト級数を用いて、n ≤ 4 の場合に qⁿ⁽ⁿ⁻¹⁾ᐟ²Cₙ(q⁻¹,t) と一致する二変数母関数を計算する。
• eᵢ と αᵢ を含む関係式を持つ生成子 dᵢ を持つ対称多項式上の微分複体を定義し、そのホモロジーを計算する。
• 微分 d₁ のホモロジーを、T₄,₅ の削減されたカホロフホモロジーの母関数を通じて関連付ける。
• q-アナローグの二項係数恒等式を適用して Pₛ²ᵏ(Tₙ,ₘ) の式を簡略化し、一般化されたナラヤナ数を含む式を得る。

実験結果

リサーチクエスチョン

• RQ1 トーラス絡み目の三重に重み付けられたホモロジーは、対称多項式とその双次数構造を用いて代数的にモデル化可能か？
• RQ2 小さい n に対して、部分空間 Lₙ のヒルベルト級数は q,t-カタラン多項式 Cₙ(q⁻¹,t) と一致するか？
• RQ3 対称多項式上の微分複体のホモロジーが、期待される絡み目のホモロジー不変量を実現するか？
• RQ4 一般化されたナラヤナ数は、トーラス絡み目のホモロジーと q-二項係数恒等式の文脈でどのように生じるか？
• RQ5 T₄,₅ の削減されたカホロフホモロジーの母関数は、対称多項式上の微分複体のホモロジーから回復可能か？

主な発見

• n ≤ 4 の場合、部分空間 Lₙ の双次数ヒルベルト関数は qⁿ⁽ⁿ⁻¹⁾ᐟ²Cₙ(q⁻¹,t) に等しく、q,t-カタラン多項式と一致することが確認された。
• 微分 d₁ のホモロジーは1次元であり、1 で張られるため、最低次元での最小構造であることが示された。
• 微分 d₂ のホモロジーは8つの生成子で張られ、T₄,₅ の削減されたカホロフホモロジーの母関数 1 + q⁴t² + q⁶t³ + q⁶t⁴ + q¹⁰t⁵ + q⁸t⁶ + q¹²t⁷ + q¹²t⁸ + q¹⁴t⁹ と一致した。
• L₄ は単項式基底を持たないため、標準的な単項式基底を超える非自明な代数的構造を示している。
• Pₛ²ᵏ(Tₙ,ₘ) の式は (−1)ᵏq²ᵏ⁺¹ᐟ² [m−1]_q²! [m+n−1−k]_q²! / ([n]_q² [m]_q²! [m−k−1]_q²! [n−1−k]_q²! [k]_q²!) として導出され、一般化されたナラヤナ数に依存することが示された。
• ∑ₗ₌ₖⁿ⁻¹ (l choose k)Nₗ = (m+n−k−1)! / (m·n·(n−k−1)!·(m−k−1)!·k!) が成り立ち、Nₖ が一般化されたナラヤナ数であると確認され、ホモロジーの文脈における組合せ的恒等式が裏付けられた。