[论文解读] Inclics, galaxies, star configurations and Waldschmidt constants

Giuliana Fatabbi, Brian Harbourne+1 more|arXiv (Cornell University)|Apr 8, 2013

Commutative Algebra and Its Applications参考文献 14被引用 3

一句话总结

本文引入了inclic构型——带有赋值重数的线性流形并集——提供了一种归纳方法，用于计算其定义理想在任意重数选择下的Hilbert函数。作为关键应用，本文显式计算了星系型inclic构型的Waldschmidt常数，将已知的关于投影空间中符号幂和星型构型的结果推广至新类别的理想。

ABSTRACT

This paper introduces complexes of linear varieties, called inclics (for INductively Constructible LInear ComplexeS). As examples, we study galaxies (these are constructed starting with a star configuration to which we add general points in a larger projective space). By assigning an order of vanishing (i.e., a multiplicity) to each member of the complex, we obtain fat linear varieties (fat points if all of the linear varieties are points). The scheme theoretic union of these fat linear varieties gives an inclic scheme $X$. For such a scheme, we show there is an inductive procedure for computing the Hilbert function of its defining ideal $I_X$, regardless of the choice of multiplicities. As an application, we show how our results allow the computation of the Hilbert functions of, for example, symbolic powers $(I_X)^{(m)}$ for arbitrary $m$ of many new examples of radical ideals $(I_X)$, and we explicitly compute the Waldschmidt constants $γ(I_X)$ for galactic inclics $X$.

研究动机与目标

• 开发一个通用的归纳框架，用于计算由任意重数赋予的线性流形并集所定义的理想之Hilbert函数。
• 将可计算的符号幂Hilbert函数范围扩展至已知情况之外，特别是针对根理想。
• 定义并研究星系型inclic构型，作为由星型构型与一般点构成的inclic的特殊类别。
• 显式计算星系型inclic构型的Waldschmidt常数，提供其符号幂初始次数的渐近度量。
• 将符号幂与Waldschmidt常数的相关结果推广至高维投影空间中的新构型。

提出的方法

• 将inclic定义为投影空间中可归纳构造的线性子簇复形，满足特定的包含与不相交条件。
• 将inclic构型定义为加权线性流形的并集，其中每个分量被赋予一个重数（消失阶数），形成一个方案论意义上的并集。
• 建立一个递归过程，用于计算任意重数分配下inclic构型$X$的定义理想$I_X$的Hilbert函数。
• 将归纳Hilbert函数计算方法应用于根理想$I_X$的符号幂$(I_X)^{(m)}$，从而实现对任意$m$的Hilbert函数的显式计算。
• 将星系型inclic定义为在超平面上的星型构型与在更大投影空间中的$h$个一般点构成的inclic，其中主结果中取$h=N$。
• 利用推论3.5并依添加点的数量进行归纳，计算$α((I_X)^{(j)})$，即第$j$个符号幂的初始次数，从而导出Waldschmidt常数$\gamma(I_X)$的显式公式。

实验结果

研究问题

• RQ1 能否发展一种归纳程序，用于计算由任意重数赋予的线性流形构成的方案的定义理想之Hilbert函数？
• RQ2 该归纳方法在多大程度上可应用于计算根理想符号幂的Hilbert函数？
• RQ3 由星型构型与$N$个一般点构成的星系型inclic构型的Waldschmidt常数是多少？
• RQ4 星系型inclic理想第$j$个符号幂的初始次数如何渐近增长？
• RQ5 在何种条件下，$α((I_X)^{(j)})$的归纳计算能稳定下来，从而得到Waldschmidt常数的闭式表达？

主要发现

• 已建立一种归纳程序，用于计算任意inclic构型的定义理想之Hilbert函数，且该程序对所有重数分配均有效。
• 该方法使我们能够显式计算许多新根理想$I_X$的符号幂$(I_X)^{(m)}$的Hilbert函数，其中$m$为任意值。
• 对于星系型inclic$X = γ(n,N,e,u,N;S(n,e,u),\mathcal{H})$，其Waldschmidt常数被显式计算为$\gamma(I_X) = \frac{(N+1)u - Ne}{Nu - (N-1)e}$。
• 第$j$个符号幂的初始次数$\alpha((I_X)^{(j)})$随$j$线性增长，且序列$a_i = iru - (i-1)re$满足递推关系$a_{i+1} = 2a_{i+1} - a_i$，其中$a_i = \alpha((I_{G_i})^{(a_i)})$。
• 当$e = n$时，理想$I_G$的正则性为$u - n + 1$，且$\alpha(I_G) = 2$，这有助于界定Waldschmidt常数。
• 该结果依赖于一个关键观察：$\alpha(I_{a_i G_i}) = a_i + d$，其中$d = a_i - a_{i-1}$，由此导出递推关系$a_{i+1} = a_i + (a_i - a_{i-1})$，最终得到$\gamma(I_X)$的闭式表达。