[論文レビュー] Free and nearly free surfaces in $P^3$

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Jul 13, 2015

Geometric and Algebraic Topology参考文献 21被引用数 10

ひとこと要約

本稿は、$\mathbb{P}^3$ 内の自由およびほぼ自由な曲面を導入し、自由曲線の概念を高次元に一般化する。この曲面のミルナー代数のヒルベルト多項式がその指数によって決定されることを示し、ほぼ自由曲面に対して斎藤の自由性基準の類似を証明し、ベクトルバンドルおよび対数的層への応用を含む、具体的な例（非可約かつ有理曲面を含む）を提示する。

ABSTRACT

We define the nearly free surfaces in $P^3$ and show that the Hilbert polynomial of the Milnor algebra of a free or nearly free surface in $P^3$ can be expressed in terms of the exponents. An analog of Saito's criterion of freeness in the case of nearly free divisors is proven and examples of irreducible free and nearly free surfaces are given.

研究の動機と目的

• 自由曲線の高次元版として、$\mathbb{P}^3$ 内の自由およびほぼ自由な曲面を定義し、特徴づけること。
• このような曲面のミルナー代数のヒルベルト多項式がその指数でどのように表現されるかを明らかにすること。
• ほぼ自由曲面の文脈において、斎藤の自由性基準の類似を確立すること。
• 非可約な自由およびほぼ自由な曲面（有理曲面や二変数形式の判別式に関連する曲面を含む）の具体的な例を構成すること。
• 第一局所コホモロジー群 $H^1_Q(M(f))$ の構造を調査し、それらが対数的層 $Der(-log D)$ に与える影響を明らかにすること。

提案手法

• $\u0000\mathbb{P}^3$ 内の自由およびほぼ自由な曲面を、ヤコビ理想のシンジオジー構造およびミルナー代数 $M(f) = S/J_f$ を用いて定義する。
• ヒルベルト多項式 $P(M(f))$ を用いて、特異点集合および曲面の代数的・幾何的性質を特徴づける。
• 自由曲面の場合、指数 $d_1 \leq d_2 \leq d_3$ がヒルベルト多項式を一意に決定し、逆にそれも成り立つことを証明する。
• 一次のシンジオジーの行列式と関連付けることで、二次のシンジオジーを用いて、ほぼ自由曲面に対する斎藤型基準を確立する。
• 自由／ほぼ自由な曲線の錐や、二変数形式の判別式を用いて例を構成する。
• 計算代数システム（CoCoA, Singular）を用いて最小分解を計算し、自由性およびほぼ自由性を検証する。

実験結果

リサーチクエスチョン

• RQ1 $\u0000\mathbb{P}^2$ 内の曲線における自由性の概念を、$\u0000\mathbb{P}^3$ 内の曲面へどのように一般化できるか。
• RQ2 自由またはほぼ自由な曲面の指数とそのミルナー代数のヒルベルト多項式との間の明確な関係は何か。
• RQ3 $\u0000\mathbb{P}^3$ 内のほぼ自由曲面に対して、斎藤の自由性基準の類似を定式化し、証明できるか。
• RQ4 $\u0000\mathbb{P}^3$ 内の非可約曲面が自由またはほぼ自由であるための幾何的条件は何か。
• RQ5 $H^1_Q(M(f))$ が有限次元であるのはいつか。これは対数的層 $Der(-log D)$ にどのような意味を持つのか。

主な発見

• $\u0000\mathbb{P}^3$ 内の自由曲面に対して、ヒルベルト多項式 $P(M(f))$ はその指数 $d_1 \leq d_2 \leq d_3$ によって完全に決定され、逆にそれも成り立つ。
• ほぼ自由曲面に対し、斎藤の自由性基準の類似が成り立つ：唯一の二次のシンジオジーは、一次のシンジオジーの行列式によって表現される。
• $H^1_Q(M(f))$ が有限次元であることは、四つの多項式 $a_1, a_2, a_3, a_4$（分解から得られる）が正則列をなすことに同値である。
• $H^1_Q(M(f))$ が無限次元であるようなほぼ自由曲面の例が存在し、これは対数的層 $Der(-log D)$ が局所自由でないことを示唆する。
• $D_6, D_7, D_8$ や $D_{a,b}$ のような特定のほぼ自由曲面では、$a_1, a_2, a_3, a_4$ が正則列をなし、$H^1_Q(M(f))$ は有限次元であり、結果として局所自由だが非自明な対数的層が得られる。
• 例には、$f = x^4 - xyw^2 + zw^3 = 0$ のような非可約有理曲面や、$a>1, b>1, a+b>4$ を満たす $D_{a,b}: f = x^{2a+2b-1} + x^{a+b-1}y^a z^b + y^{2a-1}z^{2b-1}w = 0$ のような族が含まれる。