[論文レビュー] Lattice cohomology and Seiberg-Witten invariants of normal surface singularities

Tamás László|arXiv (Cornell University)|Oct 14, 2013

Geometric and Algebraic Topology参考文献 64被引用数 17

ひとこと要約

本稿は、正則表面特異点から生じる plumbed 3次元多様体における、ラティスコホロジー、セイバーグ・ワインバーゲンの不変量、および多変数 Ehrhart 理論の間に深い接続を確立する。ラティスコホロジーの計算は解体グラフ内の「悪い」頂点に限定され、Seiberg-Witten 不変量はトポロジカル Poincaré 級数の周期的定数と同定され、群作用を伴う多変数級数に対する 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.

研究の動機と目的

• 解体グラフを通じて、正則表面特異点のトポロジカルおよび解析的不変量を理解すること。
• プラミンググラフ内の「悪い」頂点にのみ注目することで、ラティスコホロジーの計算複雑度を低減すること。
• プラumbed 3次元多様体の Seiberg-Witten 不変量を、そのトポロジカル Poincaré 級数の周期的定数と同定すること。
• ラティスコホロジーの計算を目的として、群作用を伴う多変数級数に対する Ehrhart 理論を一般化すること。
• 特に有理数係数ホモロジー球面のリンクに対して、多面体とホモロジー作用を通じてトポロジカル不変量を統一すること。

提案手法

• ホモロジー群 $ H_1(M,\mathbb{Z}) $ の作用を伴う多面体をプラミンググラフから構成し、等長的 Ehrhart 理論を可能にする。
• 多変数級数の周期的定数を定義し、その性質を確立し、単変数の場合を一般化する。
• $ \mathbb{Z}^s $ 上のリーマン・ローチ重みを用いてラティスコホロジーを計算し、ランクを「悪い」頂点の数にまで削減する。
• 構成された多面体の等長的多変数 Ehrhart 多項式の係数として、Seiberg-Witten 不変量を同定する。
• Poincaré双対性と交差形式の双対性を用いて $ L \to L' $ を関係づけ、$ L_{\mathbb{Q}} $ 内の双対格子 $ L' $ を得る。
• 負定値交差形式 $ \mathfrak{I} $ 及びその逆行列を用いて、厳密に正の成分を持つ双対サイクル $ E_j^* $ を定義する。

実験結果

リサーチクエスチョン

• RQ1 プラミンググラフ内の「悪い」頂点にのみ注目することで、ラティスコホロジーをどのように簡略化できるか？
• RQ2 Seiberg-Witten 不変量とトポロジカル Poincaré 級数の周期的定数との正確な関係は何か？
• RQ3 特異点不変量の文脈において、群作用を伴う多変数級数に対する Ehrhart 理論をどのように拡張できるか？
• RQ4 ラティスランクの低減が、トポロジカル Poincaré 級数およびその周期的定数の構造にどのように影響するか？
• RQ5 Seiberg-Witten 不変量は、等長的多変数 Ehrhart 多項式の係数として回復可能か？

主な発見

• ラティスコホロジーの計算は「悪い」頂点の数にまで簡略化され、元の $ \mathbb{Z}^s $-ラティスはより低いランクのラティスに削減される。
• プラumbed 3次元多様体の Seiberg-Witten 不変量は、そのトポロジカル Poincaré 級数の周期的定数に等しい。
• 周期的定数は多変数級数へ一般化され、本研究で初めてこの文脈におけるその性質が確立された。
• プラミンググラフに関連する多面体の等長的多変数 Ehrhart 多項式は、Seiberg-Witten 不変量を係数として符号化する。
• ラティスランクの低減は、対応する多変数トポロジカル Poincaré 級数およびその Ehrhart 理論の両方を単純化する。
• ホモロジー群 $ H_1(M,\mathbb{Z}) $ の作用を伴う多面体の構成により、組合せ的・代数的道具を用いたトポロジカル不変量の幾何的実現が得られる。