[論文レビュー] Star configurations in $\mathbb P^n$

Anthony V. Geramita, Brian Harbourne+1 more|arXiv (Cornell University)|Mar 26, 2012

Commutative Algebra and Its Applications参考文献 16被引用数 9

ひとこと要約

この論文は、射影空間におけるスターカンfigレーションを定義するイデアルの代数的性質を調査し、これらのイデアルの整符号冪が算術的にコhen＝マカウル・スキームを定義することを証明し、単項式の場合のコドメイン $n-1$ スターカンfigレーションの再発率を計算している。主な結果は、$ ( ) = rac{3(n-1)}{n+1}$ として再発率を正確に計算することである。これは、$ ^n$ において $n+2$ 個の超平面を持つコドメイン $n-1$ スターカンfigレーションのイデアルに対して成り立つ。

ABSTRACT

Star configurations are certain unions of linear subspaces of projective space. They have appeared in several different contexts: the study of extremal Hilbert functions for fat point schemes in the plane; the study of secant varieties of some classical algebraic varieties; the study of the resurgence of projective schemes. In this paper we study some algebraic properties of the ideals defining star configurations, including getting partial results about Hilbert functions, generators and minimal free resolutions of the ideals and their symbolic powers. We also show that their symbolic powers define arithmetically Cohen-Macaulay subschemes and we obtain results about the primary decompositions of the powers of the ideals. As an application, we compute the resurgence for the ideal of the codimension $n-1$ star configuration in $\pr{n}$ in the monomial case (i.e., when the number of hyperplanes is $n+1$).

研究の動機と目的

• スターカンfigレーションを定義するイデアルの代数的構造、特にその整符号冪と一次分解を理解すること。
• スターカンfigレーションイデアルの整符号冪が算術的にコhen＝マカウル（ACM）部分スキームを定義するかどうかを特定すること。
• 超平面の数が $n+1$ の場合に、$ ^n$ におけるコドメイン $n-1$ スターカンfigレーションのイデアル $I$ の再発率 $ (I)$ を計算すること。
• スターカンfigレーションの再発率がその組合せ的型にのみ依存するかどうかを調査すること。特に、一般の配置と単項式の配置を比較すること。

提案手法

• 著者たちは、$ ^n$ 内の $s$ 個の超平面の交わりとして得られるコドメイン $c$ の線形部分空間の和集合としてスターカンfigレーションを定義し、適切な交わり（$j$ 個の超平面に対してコドメイン $j$）を仮定する。
• スターカンfigレーションのイデアル $I$ の整符号冪 $I^{(m)}$ を、その成分のイデアルの $m$ 乗の交わりとして定義する。
• 算術的にコhen＝マカウル（ACM）スキームの概念を用い、$ _Z(d)$ のコhomologyの消滅を用いて ACM 性を特徴付ける。
• 基本的二重 G-リンクの概念を用い、次数付き環の技法を用いて整符号冪およびその一次分解を分析する。
• 再発率 $ (I)$ を、$I^{(m)} \not\subseteq I^r$ を満たす $m/r$ の上界として計算し、整符号冪の生成元の次数の上限を用いる。
• 一般の場合を線形断面を用いて単項式の場合に還元し、明示的な単項式イデアルの技法を用いてコドメイン $n-1$ の場合の $ (I)$ を計算する。

実験結果

リサーチクエスチョン

• RQ1 スターカンfigレーションのイデアルの整符号冪は、$ ^n$ において算術的にコhen＝マカウル（ACM）部分スキームを定義するか？
• RQ2 超平面が $n+2$ 個であるコドメイン $n-1$ スターカンfigレーションのイデアルに対して、再発率 $ (I)$ の正確な値は何か？
• RQ3 スターカンfigレーションの再発率は線形断面に関して不変か、すなわち $ (I_{V_c(\mathcal{H},\mathbb{P}^n)}) = \rho(I_{V_c(\mathcal{H}',\mathbb{P}^N)})$ が成り立つか？ここで $ ^N$ における $ ^N$ の単項式版である。
• RQ4 スターカンfigレーションイデアルの冪の一次分解は一般に記述可能か？もし可能であれば、その構造は何か？

主な発見

• すべてのスターカンfigレーションは、$ ^n$ において算術的にコhen＝マカウル（ACM）であり、一般の Hilbert 関数を持つ。
• スターカンfigレーションのイデアルのすべての整符号冪は、算術的にコhen＝マカウル・スキームを定義する。
• 超平面が $n+2$ 個であるコドメイン $n-1$ スターカンfigレーションに対して、再発率は正確に $ (I) = \frac{3(n-1)}{n+1}$ に等しい。
• コドメイン $n-1$ スターカンfigレーションのイデアルの再発率は、$ ^N$ における対応する単項式スターカンfigレーションの再発率に等しい。ここで $N = n+1$ である。
• スターカンfigレーションイデアルの冪の一次分解は、特定のパターンに従うと予想されており、特定のケースで確認されている。
• 不等式 $ (I) \leq \frac{3(N-1)}{N+1}$ は鋭いものであり、$t \to \infty$ のとき $m = 3(N-1)^2 t$ および $r = (N^2 - 1)t + N - 1$ で等号が成り立つ。