[论文解读] Inverse Systems of Zero-dimensional Schemes in P^n

Young Hyun Cho, Anthony Iarrobino|arXiv (Cornell University)|Jul 1, 2011

Algebraic structures and combinatorial models参考文献 30被引用 3

一句话总结

本文通过对其不可约分支的局部逆系统进行齐次化，构建了射影 n 空间中零维概形的全局 Macaulay 逆系统。它证明了对于局部 Gorenstein 概形，任意高次一般型式（次数大于某一不变量 β(𝑍)）唯一确定该概形，并证明了当 socle 次数较大时，Gorenstein Artin 商的 Hilbert 函数达到自然上界。

ABSTRACT

The authors construct the global Macaulay inverse system for a zero-dimensional subscheme Z of projective n-space P^n, from the local inverse systems of the irreducible components of Z. They show that when Z is locally Gorenstein a generic homogeneous form F of degree d apolar to Z determines Z when d is larger than an invariant b(Z). They also show that a natural upper bound for the Hiilbert function of Gorenstein Artin quotient of the coordinate ring is achieved for large socle degree. They show the uniqueness of generalized additive decompositions of a homogeneous form F into powers of linear forms, under suitable hypotheses. They include many examples.

研究动机与目标

• 开发一种方法，从其不可约分支的局部逆系统出发，构造射影 n 空间中零维概形 $ \mathfrak{Z} \subset \mathbb{P}^n $ 的全局 Macaulay 逆系统 $ L_{\mathfrak{Z}} $。
• 确定当一般型式 $ F $ 的次数足够高，即 $ d > \beta(\mathfrak{Z}) $ 时，其通过 apolarity 关系唯一确定 $ \mathfrak{Z} $ 的条件。
• 建立 Gorenstein Artin 商的 Hilbert 函数在 socle 次数较大时达到自然上界的结论。
• 在适当假设下，证明齐次型式分解为线性形式幂次的广义加法分解（GAD）的唯一性。
• 提供一种算法化构造方法，通过局部逆系统的齐次化，生成全局逆系统 $ L_{\mathfrak{Z}} $ 的生成元。

提出的方法

• 使用定义 2.4 中定义的坐标不变程序，对概形 $ \mathfrak{Z} $ 的每个不可约分支 $ \mathfrak{Z}(k) $ 关联的局部逆系统 $ L^\prime(J(k)) $ 进行齐次化。
• 利用齐次化过程，将局部逆系统的生成元提升为 $ L_{\mathfrak{Z}} \subset \Gamma = \mathrm{DP}[X_1,\dots,X_{n+1}] $ 的全局生成元，确保与 $ R = k[x_1,\dots,x_{n+1}] $ 的分次结构相容。
• 应用 apolarity 概念：当且仅当 $ I_{\mathfrak{Z}} \cdot F = 0 $（其中 $ I_{\mathfrak{Z}} $ 通过配对作用）时，型式 $ F \in \Gamma $ 属于 $ L_{\mathfrak{Z}} $。
• 利用 $ R $ 中理想与 $ \Gamma $ 中子模之间的对偶性，利用 $ L_{\mathfrak{Z}} $ 与 $ \mathcal{O}_{\mathfrak{Z}} $ 具有相同 Hilbert 函数的事实。
• 分析坐标变换下齐次化的性质，特别是当 $ \mathfrak{Z} $ 集中于一点时的情形。
• 建立当 $ d > \beta(\mathfrak{Z}) $ 时，任意 $ F \in (L_{\mathfrak{Z}})_d $ 通过其消去理想唯一确定 $ \mathfrak{Z} $ 的结论。

实验结果

研究问题

• RQ1 如何从其不可约分支的局部逆系统重构射影 n 空间中零维概形 $ \mathfrak{Z} \subset \mathbb{P}^n $ 的全局 Macaulay 逆系统 $ L_{\mathfrak{Z}} $？
• RQ2 在何种条件下，一个次数为 $ d $ 的一般型式 $ F $ 关于 $ \mathfrak{Z} $ 的 apolarity 关系能唯一确定 $ \mathfrak{Z} $，且该性质成立的阈值次数 $ d > \beta(\mathfrak{Z}) $ 是多少？
• RQ3 Gorenstein Artin 商的坐标环的 Hilbert 函数可能达到的最大值是什么？该上界在何时被实现？
• RQ4 在何种条件下，齐次型式分解为线性形式幂次的广义加法分解（GAD）是唯一的？
• RQ5 概形 $ \mathfrak{Z} $ 的 Hilbert 函数 $ H_{\mathfrak{Z}} $ 与其各分量的局部 Hilbert 函数之间有何关系？在何种情况下，该函数不能由其局部函数唯一确定？

主要发现

• 全局逆系统 $ L_{\mathfrak{Z}} $ 构造为局部逆系统 $ L^\prime(J(k)) $ 的直和的齐次化，其生成元由局部系统的生成元显式确定。
• 对于局部 Gorenstein 的零维概形 $ \mathfrak{Z} $，当 $ d > \beta(\mathfrak{Z}) $ 时，任意一般型式 $ F \in (L_{\mathfrak{Z}})_d $ 唯一确定 $ \mathfrak{Z} $，即 $ \mathrm{Ann}(F) = I_{\mathfrak{Z}} $。
• 当 socle 次数较大时，概形 $ \mathfrak{Z} $ 的 Hilbert 函数 $ H_{\mathfrak{Z}} $ 达到自然上界 $ \min\{\dim_k R_i, \deg \mathfrak{Z}\} $，且该上界是紧的。
• 当 $ \mathfrak{Z} $ 为 Gorenstein 且 $ d $ 足够大时，型式 $ F $ 的广义加法分解（GAD）为线性形式幂次的分解是唯一的，如定理 3.22 所示。
• 当 $ \mathfrak{Z} $ 是固定局部 Gorenstein 概形 $ \Upsilon $ 的 $ k $ 个平移的并时，其 $ h $-向量 $ \Delta H_{\mathfrak{Z}} $ 取决于点的配置；当 $ k=3,4 $ 时，一般配置下的 Hilbert 函数与 $ 3k $ 个一般光滑点的函数一致。
• 度数为 $ 3k $ 的点状 Gorenstein 概形族 $ \mathcal{F}(\Upsilon,k,\mathbb{P}^2) $ 具有纤维化于光滑或压缩 Gorenstein 概形族的不可约分支，其纤维同构于 $ \mathbb{P}^{s-1} $ 的开子集。