[論文レビュー] Special effect varieties in higher dimension

Cristiano Bocci|ArXiv.org|Nov 12, 2004

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

ひとこと要約

この論文は、特殊効果多様体の概念を平面から高次元の射影空間および射影空間の積へ一般化し、$ℝ^2$ における数値的およびコhomological特殊効果予想を $ℝ^n$ および $ℝ^{n_1} \times \cdots \times \u211d^{n_t}$ へ拡張する。また、Alexander-Hirschowitzの定理で分類された二重特異点を持つすべての特殊線型系統に対して、数値的特殊効果予想が成り立つことを証明している。特に、$ℝ^1 \times \u211d^1 \times \u211d^1$ やその他の積においても成立する。

ABSTRACT

Here we introduce the concept of special effect varieties in higher dimension and we generalize to the n-dimensional projective space, n>=3, the two conjectures given in AG/0410527 for the planar case. Finally, we propose some examples on the product of projective spaces and we show how these results fit with the ones of Catalisano, Geramita and Gimigliano.

研究の動機と目的

• 平面 $ℝ^2$ における特殊効果曲線の理論を、$ℝ^n$ や射影空間の積における高次元多様体へ拡張すること。
• 平面の場合から高次元へ、数値的およびコhomological特殊効果予想を一般化すること。
• Alexander-Hirschowitzの定理で分類された二重特異点を持つすべての特殊線型系統に対して、数値的特殊効果予想が成り立つことを検証すること。
• 特に $ℝ^1 \times \u211d^1 \times \u211d^1$ や関連するケースにおいて、$2$-特殊効果多様体を特定・特徴づけること。

提案手法

• $ℝ^n$ や射影空間の積における $\alpha$-特殊効果多様体および $h^1$-特殊効果多様体の概念を導入する。
• 複数の基点を持つ線型系統の期待次元を計算するため、仮想次元の公式 $\nu(\mathcal{L}) = \binom{d+n}{n} - 1 - \sum \binom{m_i + n - 1}{n}$ を用いる。
• 線型系統を $|dH - \sum m_i E_i|$ の形に表現するため、$\pi: \tilde{\mathbb{P}}^n \to \mathbb{P}^n$ の吹き上げ構成を適用し、そのコホモロジーと特殊性を関連付ける。
• 吹き上げ上のリーマン・ロッホ定理を用いて、$\dim \mathcal{L}$ を $\chi(\tilde{\mathcal{L}})$ と関連付け、$h^1 \neq 0$ により特殊系統を特定する。
• 基点を単純に通るよう要求する、$X = \mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_t}$ 上の多重度 $(e_1,\dots,e_t)$ の除数類を用いて、特殊効果構成を分析する。
• 候補となる特殊効果多様体 $Y$ に対して $\nu(\mathcal{L}) = -1$ かつ $\nu(\mathcal{L} - Y) \geq 0$ を満たすかを確認することで、数値的特殊効果予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^2$ における特殊効果曲線の概念を、$n \geq 3$ の $ℝ^n$ における高次元多様体へ一般化できるか？
• RQ2 数値的特殊効果予想は、高次元射影空間や射影空間の積における複数の基点を持つ線型系統へ拡張可能か？
• RQ3 $\mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_t}$ に $2$-特殊効果多様体が存在し、二重特異点を持つ線型系統の特殊性を説明できるか？
• RQ4 Alexander-Hirschowitzの定理で分類された $ℝ^n$ におけるすべての二重特異点付き特殊系統に対して、数値的特殊効果予想が成り立つか？
• RQ5 コホモロジー的および数値的特殊効果枠組みを統合し、高次元における特殊線型系統を幾何学的に特徴づけられるか？

主な発見

• Alexander-Hirschowitzの定理で分類された $ℝ^n$ におけるすべての二重特異点付き特殊線型系統に対して、数値的特殊効果予想が成り立つ。
• $\mathcal{L}_{(2,2,2)}(2^7)$ の線型系統に対して、$\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上に multidegree $(1,1,1)$ で $h=7$ 個の点を持つ $2$-特殊効果多様体が存在する。
• $\mathcal{L}_{(2,2,2)}(2^{11})$ の線型系統に対して、$\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$ 上に multidegree $(1,1,1)$ で $h=11$ 個の点を持つ $2$-特殊効果多様体が存在する。
• $\mathcal{L}_{(2,2,2)}(2^{15})$ の線型系統に対して、$\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^3$ 上に multidegree $(1,1,1)$ で $h=15$ 個の点を持つ $2$-特殊効果多様体が存在する。
• $\mathcal{L}_{a_1,a_2}(2^h)$ の特殊線型系統に対して、$\mathbb{P}^1 \times \mathbb{P}^1$ 上で $(a_1,a_2)=(2d,2)$、$h=2d+1$、$d \geq 1$ の場合、仮想次元の明示的計算により数値的特殊効果予想が検証された。
• $\mathcal{L}_{(2\alpha,1,1)}(2^{2\alpha+1})$ の線型系統に対して、$\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上に multidegree $(\alpha,0,1)$ および $(\alpha,1,0)$ の除数を用いた $(1,1)$-特殊効果構成が構成され、予想が確認された。