[論文レビュー] A characterization of two-dimensional rational singularities via Core of ideals

Tomohiro Okuma, Kei-ichi Watanabe+1 more|arXiv (Cornell University)|Nov 4, 2015

Commutative Algebra and Its Applications参考文献 20被引用数 8

ひとこと要約

本稿は、2次元正則表面特異点における $p_g$-イデアルのコアに対して明示的な公式を提供し、$p_g$-イデアル $I$ のコアが $I_{2Z - Y}$ で与えられることを示している。ここで $Z$ は $I$ に関連するサイクルであり、$Y$ はその最小還元に関連する。主な貢献は、コアの包含関係による有理特異点の特徴付けである：$\operatorname{char}(k) \neq 2$ のもとで、$A$ が有理特異点であることと、すべての整閉 $\mathfrak{m}$-主イデアル $I' \subset I$ に対して $\operatorname{core}(I') \subset \operatorname{core}(I)$ が成り立つことは同値である。これにより、表面特異点における有理性のための新しいホモロジー的不変量が確立された。

ABSTRACT

The notion of $p_g$-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the core of an ideal seems to be given only for very special cases. In this paper, we will give an explicit description of the core of $p_g$-ideals of normal surface singularities. As a consequence, we give a characterization of rational singularities using the inclusion of the core of integrally closed ideals.

研究の動機と目的

• 2次元正則表面特異点における $p_g$-イデアルのコアの明示的記述を提供すること。
• 整閉イデアルのコアの包含関係を用いた有理特異点の特徴付けを確立すること。
• Gorensteinでない2次元正則局所環への良い $p_g$-イデアルの存在の一般化を達成すること。
• 特異点の解消とサイクル論を用いた $Q:I$ および $\operatorname{core}(I)$ の計算のアルゴリズム的メソッドの開発。

提案手法

• 特異点の解消 $f: X \to \operatorname{Spec}A$ を用い、あるサイクル $Z$ に対してイデアルを $\mathcal{O}_X(-Z)$ として表現すること。
• $\ell_A(H^1(X, \mathcal{O}_X(-Z))) = p_g(A)$ という条件を用いて $p_g$-サイクルおよび $p_g$-イデアルを定義・用いること。
• 最小還元 $Q$ を用いて $Y$ を導出し、$\operatorname{core}(I) = I_{2Z - Y}$ という公式によりコアを計算すること。
• 解消された多様体 $X$ 上での接続および交点論を応用し、$Q:I$ および $\operatorname{core}(I)$ を $p_g$-イデアルに関連付けること。
• 最小解消における相対標準的因子 $K = K_{X/X_0}$ を用いて、$A$ が有理特異点のとき $\operatorname{core}(I) = I_{2Z - K}$ と表現できることを示すこと。
• $(I^2 = QI$ かつ $I = Q:I$ を満たす) 良好イデアルの理論を活用し、$p_g$-イデアルの存在および構造的性質を証明すること。

実験結果

リサーチクエスチョン

• RQ1 特異点の解消およびサイクルデータを用いて、$p_g$-イデアルのコアを明示的に記述できるか？
• RQ2 すべての $I' \subset I$ を満たす整閉 $\mathfrak{m}$-主イデアルについて $\operatorname{core}(I') \subset \operatorname{core}(I)$ が成り立つことは、有理特異点を特徴付けるか？
• RQ3 $p_g$-イデアル $I$ に対して、$Q:I$ や $\operatorname{core}(I)$ が自身で $p_g$-イデアルであるような条件は何か？
• RQ4 $p_g$-イデアルの良好性の存在は、Gorensteinでない2次元正則局所環に対しても保証されるか？
• RQ5 幾何的 genus $p_g(A)$、サイクル $Z$、および $I_Z$ のコアとの正確な関係は何か？

主な発見

• $p_g$-イデアル $I = I_Z$ のコアは $\operatorname{core}(I) = I_{2Z - Y}$ で与えられ、ここで $Y$ は $I$ の最小還元 $Q$ に対して $Q:I = I_{Z-Y}$ を満たすサイクルである。
• 有理特異点の場合、$\operatorname{core}(I) = I_{2Z - K}$ であり、ここで $K$ は最小解消における相対標準的因子である。
• $\operatorname{char}(k) \neq 2$ のもとで、すべての整閉 $\mathfrak{m}$-主イデアル $I' \subset I$ に対して $\operatorname{core}(I') \subset \operatorname{core}(I)$ が成り立つことは、$A$ が有理特異点であることと同値である。
• $I$ が $p_g$-イデアルで $Q$ が $I$ の最小還元であるとき、$Q:I$ および $\operatorname{core}(I)$ は自身で $p_g$-イデアルである。
• 代数閉体上に存在する任意の2次元優良正則局所環は、良い $p_g$-イデアルをもつ。これはGorensteinの場合の結果を一般化する。
• 与えられた整閉 $\mathfrak{m}$-主イデアル $J$ に含まれる最大の $p_g$-イデアル $I$ が存在し、$A$ がGorensteinのとき $\mu_A(I) = e(\mathfrak{m}) + 1$ かつ $\ell_A(A/I) = e(I)/2 = e(\mathfrak{m}) + p_a(M_X) - 1$ を満たす。