[論文レビュー] Analytic singularities supported by a specific integral homology sphere link

András Némethi, Tomohiro Okuma|arXiv (Cornell University)|Nov 9, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 9

ひとこと要約

本稿は、病理的とされる解体グラフを持つ特定の整数ホモロジー球面リンクに対して、その解析的型および幾何的 genus の取りうる値を調査する。パスラティスコhomology および Laurfer の計算列を用いて、Path(Γ) が与える幾何的 genus の上界が、常に達成可能であるとは限らないことが示され、同じ位相型に対して複数の異なる不変量を持つ解析的構造が存在することが明らかになった。

ABSTRACT

The main question we target is the following: If one fixes a topological type of a complex normal surface singularity then what are the possible analytic types supported by it, and/or, what are the possible values of the geometric genus? We answer the question for a specific (in some sense pathological) topological type, which supports rather different analytic structures. These structures are listed together with some of their key analytic invariants.

研究の動機と目的

• 複素正則特異点の固定された位相型（整数ホモロジー球面リンク）に実現可能な解析的型および幾何的 genus の値を特定すること。
• 与えられた解体グラフ Γ に対して、幾何的 genus の上界 Path(Γ) が常に実現可能かどうかを調査すること。
• 特に Path(Γ) が実現されない場合に、同一の位相型に複数の解析的構造が存在するかを探索すること。
• 特定の解析的実現について、幾何的 genus、多重度、埋め込み次元といった主要な不変量を計算すること。
• 線分束の基点および特異点の局所環における極大イデアルの構造を分析すること。

提案手法

• 幾何的 genus の上界候補として、パスラティスコhomology 不変量 Path(Γ) を計算する。
• 有効サイクルに関連する線分束の h¹ を分析するために、Laufer の計算列を適用する。
• 層 O(−Z) を含む完全系列を用いて、h¹ 不変量と交差数およびサイクル係数を関連付ける。
• 反標準的サイクル ZK および最小サイクル Zmin を用いて、所望の零点順序を持つ関数を構成する。
• コホモロジー系列および次元数え上げを用いて、線分束 O(−Zmax) の基点を分析する。
• 所望の除因子的台を持つ関数を明示的に構成することで、特定の解析的構造の存在を検証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた解体グラフ Γ に対して、幾何的 genus の上界 Path(Γ) は、常にそのような解析的構造によって達成可能か？
• RQ2 固定された位相型（特に整数ホモロジー球面リンク）に実現可能な解析的構造の幾何的 genus pg の取りうる値は何か？
• RQ3 同一の解体グラフに複数の同型でない解析的構造が存在するか？それらの区別に用いられる不変量は何か？
• RQ4 同じ位相型に属する異なる解析的型において、多重度、埋め込み次元、線分束の基点といった不変量はどのように変化するか？
• RQ5 最小サイクル Zmin および反標準的サイクル ZK は、関数の構成および局所環の構造を決定するために果たす役割は何か？

主な発見

• 幾何的 genus の上界 Path(Γ) は常に達成可能ではない。本稿で検討された整数ホモロジー球面リンクでは、Path(Γ) = 3 であるが、pg = 3 を実現する解析的構造は存在しない。
• 同一の位相型に、幾何的 genus が pg = 1, 2, 3 の3つの異なる解析的構造が構成されたが、pg = 1 および pg = 2 のみが実現された。
• pg = 2 の解析的構造では、最大サイクル Zmax = E₄* であり、線分束 O(−E₄*) に基点が存在するため、非Gorenstein性が示された。
• 特異点の多重度は 6 であり、埋め込み次元は 7 であり、両者とも極大イデアルおよびサイクル Zmax の構造から計算された。
• 一般要素 f ∈ mX,o の除因子は Zmax + H であり、H は E₄ を横断的に切断する。f は交点近傍で局所的に x⁵y の形をとる。
• 除因子 (g)E = 3Zmin を満たす関数 g が存在し、g は E₄ に沿って6次の位数で消える。この性質により、極大イデアルが mP OX̃(−Zmax) であることが特定された。