[論文レビュー] Good ideals and $p_g$-ideals in two-dimensional normal singularities

Tomohiro Okuma, Kei-ichi Watanabe+1 more|arXiv (Cornell University)|Jul 7, 2014

Commutative Algebra and Its Applications参考文献 12被引用数 11

ひとこと要約

本稿は、2次元正則特異点における $p_g$-イデアルと $p_g$-サイクルを導入し、有理特異点における整閉イデアルの性質を一般化する。2次元グローバンシュタイン正則局所環において良いイデアルの存在を証明し、単純な楕円特異点におけるすべてのウルフラムイデアルを分類し、既知の結果を非有理的かつ非グローバンシュタインな設定へと拡張する。

ABSTRACT

In this paper, we introduce the notion of $p_g$-ideals and $p_g$-cycles, which inherits nice properties of integrally closed ideals on rational singularities. As an application, we prove an existence of good ideals for two-dimensional Gorenstein normal local rings. Moreover, we classify all Ulrich ideals for two-dimensional simple elliptic singularities with small degree.

研究の動機と目的

• 有理特異点におけるイデアル論的性質（特に整閉イデアルの性質）を、$p_g$-イデアルの概念を用いて非有理的特異点へ一般化すること。
• 幾何的 genus $p_g$ を根拠として、2次元正則局所環におけるイデアル論の枠組みを確立すること。
• 2次元グローバンシュタイン正則局所環において良いイデアルの存在を証明し、有理特異点における結果を拡張すること。
• 2次元単純な楕円特異点におけるすべてのウルフラムイデアルを分類し、これらの環に対する完全な特徴付けを提供すること。
• Riemann-Roch技法と $p_g$-サイクルを用いて、特異な表面におけるサイクル論、コホモロジー、およびイデアル生成の関係を解明すること。

提案手法

• 解体 $f: X \to \operatorname{Spec} A$ における $p_g$-サイクルを、$\ell_A(H^1(X, \mathcal{O}_X(-Z))) = p_g(A)$ を満たす反ネフサイクル $Z$ として定義し、$p_g$-イデアルを $I_Z = H^0(X, \mathcal{O}_X(-Z))$ として定義する。
• ヴァンishing定理（定理2.7）およびカトウのRiemann-Roch定理（定理2.8）を用いて、$\mathcal{O}_X(-Z)$ のコホモロジー的性質を分析する。
• 特に $K_X \cdot Z$ および $-Z \cdot Z$ の計算を通じて、解体 $X$ 上の交線論を応用し、$p_g$-サイクルおよびイデアルを特徴付ける。
• 特にグローバンシュタイン設定において、$I^2 = IQ$ および $Q:I = I$ の安定性条件を用いて良いイデアルを定義・検証する。
• 具体的な解体列および吹き上げを用いて、単純な楕円特異点におけるウルフラムイデアルを構成・分類し、$k[[x,y,z]]/(x^2 + y^3 + z^6)$ のようなハイパーサーフェスを含む。
• 公式 $\mu_A(I) \geq -MZ + 1 - \ell_A(\bar{I}/I)$ を用いて生成数の上限を評価し、ウルフラムイデアルにおける等号条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元正則特異点の解体におけるどのサイクル $Z$ が $\ell_A(H^1(X, \mathcal{O}_X(-Z))) = p_g(A)$ を満たし、それらのイデアル論的性質は何か？
• RQ2 $p_g > 0$ であっても、2次元グローバンシュタイン正則局所環において良いイデアルの存在を保証できるか？
• RQ3 2次元単純な楕円特異点におけるウルフラムイデアルの完全な分類は何か？また、それは次数 $e$ にどのように依存するか？
• RQ4 整閉イデアルの生成数と還元型は、交線数およびコホモロジー的不変量とどのように関係するか？
• RQ5 すべての指数が奇数であるとき、$k[[x,y,z]]/(x^a + y^b + z^c)$ の形をしたハイパーサーフェス特異点がウルフラムイデアルをもつための条件は何か？

主な発見

• すべての $p_g$-サイクル $Z$ は $\ell_A(H^1(X, \mathcal{O}_X(-Z))) = p_g(A)$ を満たし、$p_g$-サイクルの和も再び $p_g$-サイクルである。これは、有理特異点における整閉イデアルの振る舞いを一般化する。
• 任意の2次元正則局所環において、ある解体上に $p_g$-サイクルが存在する。特に、非正則グローバンシュタイン環では、良いイデアルが存在する（定理4.1）。
• 2次元有理特異点において、$\mathfrak{m}$-主イデアルが良いイデアルであるための必要十分条件は、それが整閉であることかつ最小解体上に表現されることである。これは、Goto–Iai–Watanabe の結果を拡張する。
• 次数 $e \geq 5$ の単純な楕円特異点では、ウルフラムイデアルは存在しない。特に、$e=3$ のとき $A = k[[x,y,z]]/(x^2 + y^3 + z^6)$ においても同様に存在しない。
• $A = k[[x,y,z]]/(x^2 + y^3 + z^6)$ に対して、$I = (x,y,z^2)$ および $I = (x,y + \varepsilon z^2, z^3)$（$\varepsilon \in \mathbb{C}$）はウルフラムイデアルであり、$\ell_A(A/I) = 3$ を満たす。
• $A = k[[x,y,z]]/(x^2 + y^4 + z^4)$ に対して、$\ell_A(A/I) = 4$ を満たすウルフラムイデアルが存在し、$I = (x,y^2,z^2)$ および $I = (x,y^2 \pm z^2, yz)$ が含まれる。さらに $\overline{I} = \overline{\mathfrak{m}^2}$ が成り立つ。