[論文レビュー] Geometry of splice-quotient singularities

Gábor Braun|ArXiv.org|Dec 23, 2008

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

ひとこと要約

この論文は、スプライス・クォシェント特異点の関数環における除数的フィルトレーションが代数的であることを確立する。つまり、各レベルが定義する座標関数の単項式によって生成されることを意味する。自然な線分束とオクマによる普遍アーベル被覆の関数環の記述に基づく幾何的アプローチにより、著者たちはエンドカーブ定理の新しい、簡潔な証明を提供し、自然な線分束のヒルベルト・サミュエル関数およびコホモロジー次元の組合せ的公式を導出する。

ABSTRACT

We obtain a new important basic result on splice-quotient singularities in an elegant combinatorial-geometric way: every level of the divisorial filtration of the ring of functions is generated by monomials of the defining coordinate functions. The elegant way is the language of of line bundles based on Okuma's description of the function ring of the universal abelian cover. As an easy application, we obtain a new proof of the End Curve Theorem of Neumann and Wahl.

研究の動機と目的

• スプライス・クォシェント特異点の関数環における除数的フィルトレーションが代数的であることを確立すること、すなわち各レベルが定義する座標関数の単項式によって生成されることを示すこと。
• スプライス・クォシェント特異点におけるエンドカーブ定理を、幾何的で線分束に基づく証明を提供すること。
• スプライス・クォシェント特異点におけるヒルベルト・サミュエル関数および自然な線分束のコホモロジー群の次元の組合せ的公式を導出すること。
• 解像図だけではヒルベルト・サミュエル関数を決定できないことを示し、誤った仮定に反する。

提案手法

• 特異点の解像におけるPoincaré双対性を用いた自然な線分束に基づく幾何的枠組みを採用する。
• オクマによる普遍アーベル被覆の関数環の記述を自然な線分束を用いて再解釈し、除数的フィルトレーションを大域的切断として再定式化する。
• ワイエルシュトラスの準備定理を用いて、関数環が単項式の基底をもつ部分環上の自由加群であることを示す。
• 禁止された単項式（例えば $x_1^{a_1}$、$x_1^{a_1-1}x_2^i$）を、非減少のコードグレードを持つ許可された単項式の線形結合として表現する明示的構成を行う。
• 解像図の構造と帰納法を用いて、自然な線分束の切断の因子が単項式によって生成されることを示す。
• コードグレードの唯一性と最小性を、禁止された単項式をコードグレードが等しいかそれ以上である等価な表現に逐次置き換えることで検証する。

実験結果

リサーチクエスチョン

• RQ1 スプライス・クォシェント特異点の関数環における除数的フィルトレーションは代数的か。すなわち、定義する座標関数の単項式によって生成されるか。
• RQ2 スプライス・クォシェント特異点におけるエンドカーブ定理は、幾何的線分束アプローチを用いて再証明可能か。
• RQ3 スプライス・クォシェント特異点におけるヒルベルト・サミュエル関数の構造は何か。また、解像図から組合せ的に計算可能か。
• RQ4 自然な線分束のコホモロジー群の次元は、解像図から明示的な公式で得られるか。
• RQ5 スプライス・クォシェント特異点のヒルベルト・サミュエル関数は、解像図によって一意に決定されるか。

主な発見

• スプライス・クォシェント特異点の関数環における除数的フィルトレーションは代数的である。すなわち、各レベルが定義する座標関数の単項式によって生成される。
• 自然な線分束と単項式生成に基づく幾何的証明により、エンドカーブ定理が再証明され、新しい簡潔な証明が得られた。
• 特定の禁止された項で割り切れない単項式の基底を同定することに基づき、ヒルベルト・サミュエル関数の組合せ的公式が導出された。
• 自然な線分束のコホモロジー群の次元は明示的に計算可能であり、オクマの幾何的 genus の加法性公式を補完する。
• 解像図だけではヒルベルト・サミュエル関数を決定できないことが、第9節の反例によって示された。
• 任意の自然な線分束の切断の因子は単項式によって生成され、この性質はネーメティのこれらのバンドルのコホモロジー公式の根拠となっている。