[논문 리뷰] Poincar\'e series of algebraic links and lattice homology

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

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 대수의 변종을 정의하고, 그 호몰로지가 나머지 이론들과 일치함을 보여준다.
• 호모로지 구형에서 링크의 호몰로지 불변량을 Hilbert 함수를 통해 계산하기 위해, 호모로지 구형에서의 Heegaard-Floer 호몰로지 결과를 적용한다.
• 모든 네 가지 호몰로지 이론이 동일한 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 유형의 대수의 호몰로지는 다른 불변량들과 위상적으로 동형이며, 깊이 있는 대수적-위상수학적 이중성을 확인한다.