[論文レビュー] Invariants of relatively generic structures on normal surface singularities

János Nagy|arXiv (Cornell University)|Oct 8, 2019

Algebraic Geometry and Number Theory参考文献 39被引用数 9

ひとこと要約

この論文は、有理ホモロジー球体リンクをもつ正則表面特異点に対して、相対的な一般解析的構造フレームワークを構築し、幾何的 genus および解析的 Poincaré 級数の明示的公式を提供し、自然な線分束の基本点構造を特定し、多重度の鋭い下界を確立する。この手法は、固定された部分グラフの解析型に対して不変量を導出するため、解体グラフ上のコhomological 制限および格子論的技法を用いる。

ABSTRACT

In the present article we work out a relative setup of generic structures on surface singularities. We fix an analytic type on a subgraph of a rational homology sphere resolution graph $\mathcal{T}$ and we choose a relatively generic normal surface singularity $ X$ with resolution graph $\mathcal{T}$. We provide formulae for the geometric genus and the analytical Poincaré series of $ X$. We determine the base point structure of natural line bundles on $ X$ and give a lower bound on the multiplicity of $ X$ which is expected to be sharp. We prove similar results about cohomology numbers of relatively generic line bundles on every singularity with rational homology sphere link.

研究の動機と目的

• 解体グラフの部分グラフに固定された解析型をもつ相対的設定に、正則表面特異点における一般解析的構造理論を拡張すること。
• 相対的一般性の下で、幾何的 genus や解析的 Poincaré 級数、線分束のコホモロジー数といった不変量を計算すること。
• 特に $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ のような自然な線分束の基本点構造を、相対的一般特異点において特定すること。
• 相対的一般特異点の多重度に対する鋭い下界を確立すること。予想される最適性が期待される。

提案手法

• 論文は相対的設定を用いる：有理ホモロジー球体（QHS）解体グラフ $\mathcal{T}$ の部分グラフ $\mathcal{T}_1$ に解析型を固定し、全グラフ $\mathcal{T}$ 上の相対的一般特異点を考察する。
• 線分束の全解体から部分解体への関係を表すコホモロジー制限写像 $r: \mathrm{Pic}^{l'}(\widetilde{X}) \to \mathrm{Pic}^{R_1(l')}(\widetilde{X}_1)$ を適用する。
• 主な道具は、オイラー特性 $\chi(l) = -(l, l - Z_K)/2$ とリプマン錐 $\mathcal{S}'$ を用いてコホモロジーと基本点を解析すること。
• 頂点 $v_2 \in \mathcal{V}_2$ に沿った指定されたカット $D_{v_2}$ を用いて、固定された部分構造と整合性を持つ相対的一般解析的構造の概念を導入する。
• 特に、サイクル $l \in L$ における最小化を用いた公式を導出し、例えば $p_g(\widetilde{X}) = 1 - \min_{E \leq l} (\chi(l) - h^1(\mathcal{O}_{\widetilde{X}_1}(-l)))$ のように、幾何的 genus を計算する。
• 制限写像のファイバー内の一般線分束に対して、コホモロジーの境界が等式に達することを証明し、不変量の帰納的証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 解体グラフの部分グラフに固定された解析型をもつ相対的一般正則表面特異点の幾何的 genus をどのように計算できるか。
• RQ2 相対的一般特異点における線分束 $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ の基本点構造は何か。
• RQ3 このような相対的一般特異点の多重度に対する鋭い下界は何か。
• RQ4 部分解体への制限の下で、相対的一般線分束のコホモロジー数はどのように振る舞うか。
• RQ5 全解体上の線分束のコホモロジーは、部分解体上のデータから帰納的に計算可能か。

主な発見

• 相対的一般特異点の幾何的 genus は、$p_g(\widetilde{X}) = 1 - \min_{E \leq l} (\chi(l) - h^1(\mathcal{O}_{\widetilde{X}_1}(-l)))$ で与えられ、最小化は $\mathrm{supp}(l) \supset \mathcal{V}_1$ を満たす有効サイクル $l$ の範囲で行われる。
• 制限写像のファイバー内に属する相対的一般線分束 $\mathcal{L}$ に対して、コホモロジー数 $h^1(\widetilde{X}, \mathcal{L})$ は、不等式 $h^1(\widetilde{X}, \mathcal{L}) \geq \chi(-l') - \min_{0 \leq l} \{ \chi(-l' + l) - h^1(\widetilde{X}_1, \mathfrak{L}(-l)) \}$ の境界に等しくなる。
• $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ は、例外除集合の交点では基本点を持たず、$\mathcal{O}_{\widetilde{X}_1}(-Z_{\text{max}})$ が $\widetilde{X}_1$ 上で基本点を持たない限り、単純な基本点しか持たない。
• 特異点の多重度には、予想される最適性を持つ下界が存在し、著者らによる A. Némethi との後続研究で確認されている。
• $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ の基本点集合が $E_v$ で空でないのは、$\chi(Z_{\text{max}}) - h^1(\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}} - A)) < \chi(-Z_{\text{max}})$ を満たすサイクル $A \geq E_v$ が存在するときかつそのときに限る。
• 相対的一般特異点の解析的 Poincaré 級数は、サイクル上の同一の最小化プロセスを用いて決定され、部分解体のコホモロジーと関連づけられる。