[論文レビュー] Poincar\'e series of algebraic links and lattice homology

Eugene Gorsky, András Némethi|arXiv (Cornell University)|Jan 31, 2013

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

この論文は、平面曲線特異点の多変数ヒルベルト関数を介して、代数的リンクのヘーガード＝フロイアー・リンクホモロジーとラティスホモロジーの深い関係を確立する。4つの異なるホモロジー理論—ヘーガード＝フロイアー・ホモロジー、ラティスホモロジー、局所超平面配置の補集合のホモロジー、およびオリク＝ソロモン代数の変種—のペイオカラ多項式が一致することを証明しており、それらは特異点のモチーフ的ペイオカラ級数の係数とも一致する。

ABSTRACT

We compute the Heegaard-Floer link homology of algebraic links in terms of the multivariate Hilbert function of the corresponding plane curve singularities. The main result of the paper identifies four homologies: (a) the Heegaard-Floer link homology of the local embedded link of the germ, (b) the lattice homology associated with the Hilbert function, (c) the homologies of the projectivized complements of local hyperplane arrangements cut out from the local algebra, and (d) a certain variant of the Orlik-Solomon algebra of these local arrangements. In particular, the Poincare polynomials of all these homology groups are the same, and we also show that they agree with the coefficients of the motivic Poincare series of the singularity.

研究の動機と目的

• 代数的リンクに対してヘーガード＝フロイアー・リンクホモロジーとラティスホモロジーの明確な関係を確立すること。
• ヘーガード＝フロイアー・ホモロジー、ラティスホモロジー、配置の補集合のホモロジー、オリク＝ソロモン代数の変種という4つの異なるホモロジー理論のペイオカラ多項式が一致することを示すこと。
• これらのホモロジー不変量を、対応する平面曲線特異点のモチーフ的ペイオカラ級数に関連付けること。
• 局所代数の多変数ヒルベルト関数がリンクのホモロジー不変量を完全に決定することを示すこと。
• 共通の生成関数を通じて、見た目は異なる代数的および位相的不変量を統一すること。

提案手法

• 平面曲線特異点の局所代数の多変数ヒルベルト関数を、ラティスホモロジーを定義する中心的不変量として用いる。
• 解像化グラフとヒルベルト関数に基づいてラティスホモロジーを構成し、双対グラフ上の組合せ的構造を活用する。
• 代数的トポロジーを用いて、局所超平面配置（射影化された）の補集合のホモロジーをヒルベルト関数に関連付ける。
• 局所配置に関連するオリク＝ソロモン代数の変種を定義し、そのホモロジーが他のものと一致することを示す。
• 同調球面上のリンクに対するヘーガード＝フロイアー・ホモロジーの結果を応用し、ヒルベルト関数を介してリンク不変量を計算する。
• 4つのホモロジー理論がすべて同一のペイオカラ多項式を持つことを示し、それらがモチーフ的ペイオカラ級数の係数と等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 代数的リンクに対して、ヘーガード＝フロイアー・リンクホモロジー、ラティスホモロジー、および射影化された局所超平面配置の補集合のホモロジーのペイオカラ多項式は一致するか？
• RQ2 平面曲線特異点のヒルベルト関数に基づくラティスホモロジーは、リンクのヘーガード＝フロイアー・ホモロジーを回復できるか？
• RQ3 4つのホモロジー理論の不変量を統一する共通の生成関数は存在するか？
• RQ4 特異点のモチーフ的ペイオカラ級数は、リンクの位相的不変量とどのように関係するか？
• RQ5 局所配置から構成されるオリク＝ソロモン代数の変種を構成し、そのホモロジーが他の3つの不変量と一致するようにできるか？

主な発見

• ヘーガード＝フロイアー・リンクホモロジー、ラティスホモロジー、射影化された局所超平面配置の補集合のホモロジー、およびオリク＝ソロモン代数の変種のペイオカラ多項式は、すべて同一である。
• 共通のペイオカラ多項式は、平面曲線特異点のモチーフ的ペイオカラ級数の係数と一致する。
• 局所代数の多変数ヒルベルト関数は、代数的リンクのヘーガード＝フロイアー・リンクホモロジーを完全に決定する。
• ヒルベルト関数を用いて定義されたラティスホモロジーは、代数的特異点の場合にヘーガード＝フロイアー・リンクホモロジーを回復する。
• 局所超平面配置（射影化された）の補集合のホモロジーは、他の3つのホモロジー理論と同型である。
• 局所配置から構成されたオリク＝ソロモン型代数のホモロジーは、他の不変量と同型であり、深い代数的位相的双対性を確認する。