[论文解读] 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

一句话总结

本文研究了射影空间中星形配置的理想所具有的代数性质，证明了这些理想之符号幂定义了算术柯比-麦克劳林（arithmetically Cohen-Macaulay）子概形，并计算了在单项式情形下，余维 $n-1$ 星形配置的再生率。关键结果是精确计算出 $ ho(I) = \frac{3(n-1)}{n+1}$，即在 $\mathbb{P}^n$ 中具有 $n+2$ 个超平面的余维 $n-1$ 星形配置的理想之再生率。

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$).

研究动机与目标

• 理解 $\mathbb{P}^n$ 中定义星形配置的理想之代数结构，特别是其符号幂与初等分解。
• 确定星形配置理想之符号幂是否定义了算术柯比-麦克劳林（ACM）子概形。
• 计算 $\mathbb{P}^n$ 中余维 $n-1$ 星形配置的理想 $I$ 的再生率 $\rho(I)$，当超平面数量为 $n+1$ 时。
• 研究星形配置的再生率是否仅依赖于其组合类型，特别是比较一般配置与单项式配置。

提出的方法

• 作者将星形配置定义为 $\mathbb{P}^n$ 中 $s$ 个超平面相交形成的余维 $c$ 线性子概形的并集，假设交集为正则（$j$ 个超平面交于余维 $j$ 的子概形）。
• 他们使用星形配置理想 $I$ 的符号幂 $I^{(m)}$，定义为各分量理想之 $m$ 次幂的交集。
• 他们应用算术柯比-麦克劳林（ACM）概形的概念，利用 $\mathcal{I}_Z(d)$ 的上同调消失性来刻画 ACM 性质。
• 他们采用基本双 G-链接（basic double G-links）的概念，并使用分次环技巧分析符号幂及其初等分解。
• 他们通过计算满足 $I^{(m)} \not\subseteq I^r$ 的 $m/r$ 的上确界来计算再生率 $\rho(I)$，并利用符号幂生成元的次数界。
• 他们通过线性截面将一般情形约化为单项式情形，并使用显式的单项式理想技巧，计算出余维 $n-1$ 情形下的 $\rho(I)$。

实验结果

研究问题

• RQ1 $\mathbb{P}^n$ 中星形配置理想之符号幂是否定义了算术柯比-麦克劳林（ACM）子概形？
• RQ2 在 $\mathbb{P}^n$ 中具有 $n+2$ 个超平面的余维 $n-1$ 星形配置的理想 $I$，其再生率 $\rho(I)$ 的精确值是多少？
• RQ3 星形配置的再生率在经线性截面后是否保持不变？即当 $\mathcal{H}'$ 是 $\mathbb{P}^N$ 中的单项式版本时，是否成立 $\rho(I_{V_c(\mathcal{H},\mathbb{P}^n)}) = \rho(I_{V_c(\mathcal{H}',\mathbb{P}^N)})$？
• RQ4 星形配置理想之幂的初等分解能否一般地描述？若可，其结构为何？

主要发现

• $\mathbb{P}^n$ 中的所有星形配置均为算术柯比-麦克劳林（ACM）概形，且具有通用的 Hilbert 函数。
• 星形配置理想的所有符号幂均定义了算术柯比-麦克劳林（ACM）子概形。
• 对于 $\mathbb{P}^n$ 中具有 $n+2$ 个超平面的余维 $n-1$ 星形配置，其再生率精确为 $\rho(I) = \frac{3(n-1)}{n+1}$。
• $\mathbb{P}^n$ 中余维 $n-1$ 星形配置的理想之再生率，等于其在 $\mathbb{P}^N$（其中 $N = n+1$）中对应单项式星形配置的再生率。
• 星形配置理想之幂的初等分解被推测遵循特定模式，并在某些情形下已验证。
• 不等式 $\rho(I) \leq \frac{3(N-1)}{N+1}$ 是精确的，当 $m = 3(N-1)^2 t$ 且 $r = (N^2 - 1)t + N - 1$ 时，随着 $t \to \infty$，等号成立。