[論文レビュー] Containment problem for points on a reducible conic in $\mathbb{P}^2$

Annika Denkert, Mike Janssen|arXiv (Cornell University)|Jul 31, 2012

Commutative Algebra and Its Applications参考文献 6被引用数 7

ひとこと要約

本稿は、ℙ²における可約な円錐（2本の直線）上に存在する2つの特殊な点配置（ほぼ完全交差とほぼ同一直線上の部分スキーム）を定義するイデアルの記号的・通常的冪の包含問題を解決する。代数幾何学的およびイデアル的技法を用いて、I^{(m)} ⊆ I^r が成り立つすべての m と r を完全に特徴づけ、点の配置に応じて異なる結果を提示する。明示的な境界を提示し、これらの状況における再発度と包含に関する未解決問題を解消する。

ABSTRACT

Given an ideal $I$ in a Noetherian ring, one can ask the containment question: for which $m$ and $r$ is the symbolic power $I^{(m)}$ contained in the ordinary power $I^r$? C. Bocci and B. Harbourne study the containment question in a geometric setting, where the ideal $I$ is in a polynomial ring over a field. Like them, we will consider special geometric constructs. In particular, we obtain a complete solution in two extreme cases of ideals of points on a pair of lines in $\mathbb{P}^2$; in one case, the number of points on each line is the same, while in the other all the points but one are on one of the lines.

研究の動機と目的

• ℙ²における可約な円錐上に存在する点を定義する斉次イデアルについて、包含問題 I^{(m)} ⊆ I^r を解決すること。
• 2つの極端な配置（ほぼ完全交差とほぼ同一直線上の部分スキーム）について、再発度 ρ(I) を計算すること。
• 非滑らかな円錐設定における記号的・通常的冪の包含関係に関して、[HH1, BCH] で提起された未解決問題に答えること。
• これらの特定の点配置について、I^{(m)} ⊆ I^r が成り立つすべての m と r を完全に特徴づけること。

提案手法

• 著者たちは、次元0の部分スキーム Z を定義する根基イデアル I の構造を分析し、これは完全交差と1点の和集合である。
• Z を2本の直線上の点に幾何的に分解し、交点と同一直線上の点に特に注意を向ける。
• 多項式環における形式の因数分解と、各点における零化の順序を分析することで、記号的・通常的冪への属する条件を特定する。
• 特に、[ELS, HH2] における包含関係 I^{(rN)} ⊆ I^r を一般的境界として用いる、乗数イデアルと記号的冪理論の技法を適用する。
• 各配置について、次数と指数に関する不等式を導出し、H ∈ I^{(m)} ならば H ∈ I^r となる条件を特定する。この際、形式の再帰的因数分解を用いる。
• 同型の形式を、関連する点で位数 m で消える形式の積に因数分解する構成を用いて、包含関係を証明する。これにより、M^t (I^{(m)})^t に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 ℙ²における2本の直線上に2n+1個のほぼ完全交差点があるとき、どの m と r に対して I^{(m)} ⊆ I^r が成り立つか？
• RQ2 n 個の点が同一直線上にあり、1点が直線から外れているほぼ同一直線上の部分スキームに対して、I^{(m)} ⊆ I^r が成り立つすべての m と r の集合は何か？
• RQ3 これらの2つの配置について、再発度 ρ(I) は何か？また、点の数にどのように依存するか？
• RQ4 これらの配置のイデアルは、すべての m ≥ r に対して I^{(m)} ⊆ I^r を満たすか？それとも例外があるか？
• RQ5 これらの結果は、[HH1, BCH] で提起された可約な円錐設定における記号的冪の包含関係に関する未解決問題を肯定的に解消できるか？

主な発見

• n > 1 であるほぼ完全交差に対して、I^{(m)} ⊆ I^r が成り立つのは、m ≥ r のときに限る。これは完全交差の性質と一致する。
• n ≥ 3 であるほぼ同一直線上の部分スキームに対して、I^{(m)} ⊆ I^r は n に依存する：m ≥ r かつ r ≥ n のとき成り立つが、r < n のとき、ある m < r に対しては成り立たない。
• ほぼ完全交差の再発度 ρ(I) は正確に 1 であり、最適な包含挙動を示す。
• n ≥ 3 であるほぼ同一直線上の部分スキームの再発度 ρ(I) は n に等しく、同一直線上の点数に強く依存する。
• ほぼ同一直線上のケースにおいて、I^{(t(m+1)−1)} ⊆ M^{t−1}(I^{(m)})^t が成り立つことを証明し、鋭い包含境界を提供する。
• 本稿の結果は、[HH1, BCH] で提起された非滑らかな円錐的配置における記号的冪の包含関係に関する未解決問題を肯定的に解消する。