[論文レビュー] Containment Counterexamples for ideals of various configurations of points in ${\bf P}^N$

Brian Harbourne, Alexandra Seceleanu|arXiv (Cornell University)|Jun 16, 2013

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

ひとこと要約

本稿は、射影空間内の点の斉次イデアルにおける記号的べきの包含関係を調査し、$N=2$ の場合、特性 $p > 2$ において、$I^{(Nr-N+1)} \subseteq I^r$ という予想される包含関係が無限に多くの $r$ に対して成立しないことを示している。また、正の特性において $N>2$ の場合の反例を提示している。この結果は、普遍的に最適な包含関係を保証できないことを示し、代数的幾何学および可換代数における従来の予想の一般性を揺るがしている。

ABSTRACT

When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples show that this can fail when N=r=2. We study properties of the resulting ideals. We also show that failures occur for infinitely many $r$ in every characteristic $p>2$ when N=2, and we find additional positive characteristic failures when $N>2$.

研究の動機と目的

• 射影空間 $\mathbb{P}^N$ 内の有限個の点の根の斉次イデアル $I$ に対して、$I^{(Nr-N+1)} \subseteq I^r$ という包含関係の正当性を調査すること。
• この包含関係の失敗が特定の特性や構成に限定されるかどうか、特に正の特性において検証すること。
• 代数的および幾何的技法を用いて、$N=2$ および $N>2$、$r>2$ の場合の記号的べき包含関係の反例を構成・分析すること。
• 高次元射影空間（$N>2$）や大きな $r$ に対して、$I^{(Nr-N+1)} \subseteq I^r$ という包含関係が保全可能かどうかを検討すること。
• 既知の反例イデアル（例：[DST] や [BCH] からのもの）の代数的構造を、それらの再発展不変量を用いて比較すること。

提案手法

• 有限体 $K$ の特性 $p$ における $\mathbb{P}^N(K)$ のすべての点のうち、一つを除いた点のイデアルを用いて反例を構成すること。
• 基本的二重リンク構成を用いて、$N$ 個の点のイデアルを完全交差と関連づけ、記号的べきの制御を可能にすること。
• ケイリー＝バッハラックの定理を適用し、$p^N$ 個の点のグリッドから一つを除いた点にすべての形式が消える最小次数を評価すること。
• 点スキームの $h$-ベクトルを計算し、ヒルベルト関数および定義形式の次数を分析すること。
• 完全交差の構造を活用して、特定の点にのみ非ゼロとなる形式の最小次数を用い、記号的べきに含まれる形式の次数を分析すること。
• 非混合定理およびコーゾール複体を用いて、特定の完全交差イデアルが正規化されており、それらが関連する点イデアルと等しいことを確認すること。

実験結果

リサーチクエスチョン

• RQ1 任意の体上での $\mathbb{P}^N$ 内の有限個の点の根の斉次イデアル $I$ に対して、包含関係 $I^{(Nr-N+1)} \subseteq I^r$ が常に成り立つか？
• RQ2 包含関係 $I^{(Nr-N+1)} \subseteq I^r$ の失敗は、特に正の特性において特定の特性に限定されるのか？
• RQ3 正の特性において $N>2$ および $r>2$ の場合に、$I^{(Nr-N+1)} \subseteq I^r$ の反例を構成可能か？
• RQ4 [DST] や [BCH] からの反例イデアルの再発展不変量は、組合せ論的に類似しているにもかかわらず、代数的にはどのように異なるのか？
• RQ5 $I^{(Nr-N+1)} \subseteq I^r$ が失敗する場合でも、$N>2$ に対して $I^{(Nr-1)} \subseteq I^r$ のような普遍的な包含関係が成り立つか？

主な発見

• $N=2$ かつ $p>2$ の奇数の場合、$\mathbb{P}^2(K)$ 内のすべての点のうち一つを除いた点のイデアル $I$ に対して、無限に多くの $r$ に対して $I^{(2r-1)} \not\subseteq I^r$ が成り立つ。これは正の特性における失敗を示している。
• $N = \frac{p+1}{2}$ かつ $p$ が奇数の場合、$\mathbb{P}^N(K)$ 内のすべての点のうち一つを除いた点のイデアル $I$ に対して、$I^{(\frac{p+3}{2})} \not\subseteq I^2$ が成り立つ。これは $r=2$ の場合の $I^{(Nr-N+1)} \subseteq I^r$ の反例を提供する。
• $N>2$ の場合、$p \equiv 1 \pmod{N}$ かつ $p > (N-1)^2$ の条件下で、$I^{(p)} \not\subseteq I^r$ となる反例を構成した。ここで $r = \frac{p+N-1}{N}$ である。これは高次元における失敗を示している。
• [DST] からの反例イデアルの再発展不変量は、[BCH] からのものとは異なる。これは、点の配置が類似しているにもかかわらず、代数的性質が異なることを示している。
• イデアル $I$ に属するが、一点にのみ非ゼロとなる形式の最小次数は $N(p-1)+1$ である。この値を用いて、記号的べきに含まれないことを証明している。
• 本稿は、$I^{(Nr-N+1)} \subseteq I^r$ が普遍的に成り立たないことを確認しており、$\mathbb{P}^3$ でさえも、最も楽観的な包含関係 $I^{(Nr-N+1)} \subseteq I^r$ が一般には成立しないことを示している。