[论文解读] 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

一句话总结

该论文通过平面曲线奇点的多变量Hilbert函数，建立了代数链的Heegaard-Floer链同调与格同调之间的深刻联系。它证明了四种不同的同调理论——Heegaard-Floer同调、格同调、射影化局部超平面排列补集的同调，以及Orlik-Solomon代数的一种变体——具有相同的Poincaré多项式，且该多项式也与奇点的动机Poincaré级数的系数一致。

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.

研究动机与目标

• 建立代数链的Heegaard-Floer链同调与格同调之间的精确关系。
• 证明四种不同同调理论——Heegaard-Floer同调、格同调、排列补集同调与Orlik-Solomon变体——的Poincaré多项式完全一致。
• 将这些同调不变量与底层平面曲线奇点的动机Poincaré级数联系起来。
• 证明局部代数的多变量Hilbert函数决定了链的同调不变量。
• 通过一个共同的生成函数，统一看似不同的代数与拓扑不变量。

提出的方法

• 以平面曲线奇点的局部代数的多变量Hilbert函数作为核心不变量，定义格同调。
• 从解析图和Hilbert函数出发构造格同调，利用对偶图上的组合结构。
• 通过代数拓扑方法，将局部超平面排列补集（射影化）的同调与Hilbert函数联系起来。
• 定义与局部排列相关的Orlik-Solomon代数的一种变体，并证明其同调与其余理论一致。
• 应用关于同调球面上链的Heegaard-Floer同调的结果，通过Hilbert函数计算链不变量。
• 证明所有四种同调理论具有相同的Poincaré多项式，且该多项式等于动机Poincaré级数的系数。

实验结果

研究问题

• RQ1 对于代数链，Heegaard-Floer链同调、格同调以及射影化局部超平面排列补集的同调的Poincaré多项式是否一致？
• RQ2 基于平面曲线奇点的Hilbert函数的格同调是否能恢复链的Heegaard-Floer同调？
• RQ3 是否存在一个共同的生成函数，统一所研究的四种同调理论的不变量？
• RQ4 奇点的动机Poincaré级数如何与链的拓扑不变量相关联？
• RQ5 能否构造一种Orlik-Solomon代数的变体，使其同调与其余三种不变量一致？

主要发现

• Heegaard-Floer链同调、格同调、射影化局部超平面排列补集的同调，以及Orlik-Solomon变体的Poincaré多项式完全相同。
• 该共同的Poincaré多项式与平面曲线奇点的动机Poincaré级数的系数一致。
• 局部代数的多变量Hilbert函数完全决定了代数链的Heegaard-Floer链同调。
• 通过Hilbert函数定义的格同调，在代数奇点情形下能恢复链的Heegaard-Floer同调。
• 局部超平面排列（射影化）补集的同调与其余三种同调理论同构。
• 从局部排列构造的Orlik-Solomon型代数，其同调与其余不变量同构，证实了深刻的代数-拓扑对偶性。