[논문 리뷰] Lattice cohomology and Seiberg-Witten invariants of normal surface singularities

Tamás László|arXiv (Cornell University)|2013. 10. 14.

Geometric and Algebraic Topology참고 문헌 64인용 수 17

한 줄 요약

이 논문은 정상 표면 특이점에서 유래하는 플럼빙 3차원 다양체에 대해 격자 cohomology, Seiberg-Witten 불변량, 다변수 Ehrhart 이론 사이의 깊은 연결 고리를 확립한다. 격자 cohomology 계산을 해저지의 '나쁜' 정점들로만 단순화시키며, Seiberg-Witten 불변량을 최상위(topological) Poincaré 다항식의 주기적 상수(periodic constant)와 동일시하고, 군 작용을 가진 다변수 급수에 대한 Ehrhart 이론을 일반화하여 특이점의 위상적 불변량을 위한 통합 프레임워크를 제공한다.

ABSTRACT

One of the main questions in the theory of normal surface singularities is to understand the relations between their geometry and topology. The lattice cohomology is an important tool in the study of topological properties of a plumbed 3-manifold M associated with a connected negative definite plumbing graph G. It connects the topological properties with analytic ones when M is realized as a singularity link, i.e. when G is a good resolution graph of the singularity. Its computation is based on the (Riemann-Roch) weights of the lattice points of \Z^s, where s is the number of vertices of G. The first part of the thesis reduces the rank of this lattice to the number of `bad' vertices of the graph. Usually, the geometry/topology of M is encoded exactly by these `bad' vertices and their number measures how far the plumbing graph stays from a rational one. In the second part, we identify the following three objects: the Seiberg-Witten invariant of a plumbed 3-manifold, the periodic constant of its topological Poincare series, and a coefficient of an equivariant multivariable Ehrhart polynomial. For this, we construct the corresponding polytope from the plumbing graph, together with an action of H_1(M,\Z), and we develop Ehrhart theory for them. The effect of the reduction appears also at the level of the multivariable topological Poincare series, simplifying the corresponding polytope and the Ehrhart theory as well. We end the thesis with detailed calculations and examples.

연구 동기 및 목표

• 정상 표면 특이점의 해소 그래프를 통해 그 위상적 및 해석적 불변량을 이해하기 위해.
• 플럼빙 그래프의 '나쁜' 정점들에만 집중하여 격자 cohomology의 계산 복잡도를 줄이기 위해.
• 플럼빙 3차원 다각형의 Seiberg-Witten 불변량을 그 최상위 Poincaré 다항식의 주기적 상수와 동일시하기 위해.
• 격자 cohomology 계산을 위해 군 작용을 가진 다변수 급수에 대한 Ehrhart 이론을 일반화하기 위해.
• 특히 유리 동차 구형체 링크에 대해 다각형과 호모로지 작용을 통해 위상적 불변량을 통합하기 위해.

제안 방법

• H₁(M,ℤ) 작용을 가진 플럼빙 그래프에서 다각형을 구성하여 등변 Ehrhart 이론을 가능하게 한다.
• 다변수 급수에 대한 주기적 상수를 정의하고, 단변수 경우를 일반화한 성질을 확립한다.
• ℤ^s에 Riemann–Roch 가중치를 사용하여 격자 cohomology를 계산하고, 랭크를 '나쁜' 정점의 수로 줄인다.
• 구성된 다각형의 등변 다변수 Ehrhart 다항식의 계수로서 Seiberg-Witten 불변량을 식별한다.
• Poincaré 대칭성과 교차형식 대칭성을 이용하여 L → L'로의 관계를 유도하며, L_ℚ 내의 쌍대 격자 L'를 정의한다.
• 음의 정부호 교차형식 𝔪과 그 역행렬을 사용하여, 엄밀히 양의 성분을 가진 쌍대 사이클 E_j*를 정의한다.

실험 결과

연구 질문

• RQ1 플럼빙 그래프의 '나쁜' 정점들에만 집중함으로써 격자 cohomology는 어떻게 단순화될 수 있는가?
• RQ2 Seiberg-Witten 불변량과 최상위 Poincaré 다항식의 주기적 상수 사이의 정확한 관계는 무엇인가?
• RQ3 특이점 불변량의 맥락에서 군 작용을 가진 다변수 급수에 대한 Ehrhart 이론은 어떻게 일반화될 수 있는가?
• RQ4 격자 랭크의 감소는 최상위 Poincaré 다항식과 그 주기적 상수의 구조에 어떤 영향을 미치는가?
• RQ5 Seiberg-Witten 불변량은 등변 다변수 Ehrhart 다항식의 계수로서 복원될 수 있는가?

주요 결과

• 격자 cohomology 계산은 '나쁜' 정점의 수로 단순화되어 원래의 ℤ^s-격자에서 더 낮은 랭크의 격자로 줄어든다.
• 플럼빙 3차원 다각형의 Seiberg-Witten 불변량은 그 최상위 Poincaré 다항식의 주기적 상수와 같다.
• 주기적 상수는 다변수 급수로 일반화되었으며, 본 논문에서 처음으로 이 맥락에서 성질가 확립되었다.
• 플럼빙 그래프와 관련된 다각형의 등변 다변수 Ehrhart 다항식은 Seiberg-Witten 불변량을 계수로서 포함한다.
• 격자 랭크의 감소는 관련된 다변수 최상위 Poincaré 다항식과 그 Ehrhart 이론을 단순화시킨다.
• H₁(M,ℤ)-작용을 가진 다각형의 구성은 조합적 및 대수적 도구를 통해 위상적 불변량의 기하적 실현을 제공한다.