[论文解读] Reduced and non-reduced linear spaces: Lines and points

Enrico Carlini, Maria Virginia Catalisano+1 more|arXiv (Cornell University)|Aug 30, 2013

Algebraic Geometry and Number Theory参考文献 5被引用 10

一句话总结

本文确定了在射影空间中由 $ s $ 个一般约化直线与一个一般 $ m $-重点构成的概形的 Hilbert 函数。对于 $ n \geq 4 $，证明了预期的 Hilbert 函数公式普遍成立；对于 $ n = 3 $，识别出当朴素参数计数失效的具体缺陷情形，推测这些是唯一的例外，并在多个情形下验证了该猜想。

ABSTRACT

In this paper we consider the problem of determining the Hilbert function of schemes X of the proiective space P^n which are the generic union of s lines and one m-multiple point. We completely solve this problem for any s and m when n > 3. When n=3 we find several defective such schemes and conjecture that they are the only ones. We verify this conjecture in several cases.

研究动机与目标

• 确定射影空间中概形 $ X \subset \mathbb{P}^n $ 的 Hilbert 函数，其为 $ s $ 个约化直线与一个 $ m $-重点的通用并集。
• 理解当对 Hilbert 函数的朴素参数计数失效时的情形，特别是 $ n = 3 $ 的情况。
• 在 $ \mathbb{P}^3 $ 中刻画缺陷情形，推测其仅在 $ m = d $ 且 $ 1 < s \leq d $ 时发生，并在多个情形下验证该猜想。
• 扩展关于约化与非约化概形并集的 Hilbert 函数结果，其动机源于 Veronese 与 Segre 嵌入的 secant 变换问题。

提出的方法

• 使用 Castelnuovo 不等式来界定在概形上消失的 $ d $ 次形式空间的维数。
• 通过理想理论分解 $ \operatorname{Res}_Y X $ 与 $ \operatorname{Tr}_Y X $ 应用剩余与迹概形技术，以归纳方式分析 Hilbert 函数。
• 应用一个准则（引理 2.3）以确定在概形理想中，一般点何时对形式施加独立条件。
• 引入三维日晷（一种带有嵌入点的退化圆锥）作为两条歪斜直线的退化形式，用于分析 $ \mathbb{P}^3 $ 中的特殊构型。
• 应用组合估计与下取整/上取整函数，分析预期与实际 Hilbert 函数值之间的差异，特别是在 $ n=3 $ 的情形。
• 通过定理 2.10 与辅助引理，对关键情形如 $ d=5, s=9 $ 与 $ d=8, s=18 $ 进行直接验证。

实验结果

研究问题

• RQ1 对于 $ n \geq 4 $，在 $ \mathbb{P}^n $ 中，$ s $ 条直线与一个 $ m $-重点的通用并集的朴素参数计数是否总是给出正确的 Hilbert 函数？
• RQ2 在 $ \mathbb{P}^3 $ 中，是否存在有限多个 Hilbert 函数偏离预期参数计数的情形？若存在，其特征是什么？
• RQ3 在 $ \mathbb{P}^3 $ 中，参数计数的失效是否恰好发生在 $ m = d $ 且 $ 1 < s \leq d $ 时，如所猜想？
• RQ4 在 $ \mathbb{P}^3 $ 的缺陷情形中，能否显式计算在该概形上消失的 $ d $ 次形式空间的维数？
• RQ5 在 $ n=3 $ 的缺陷区域中，消失于 $ s $ 条直线与一个多重点的通用并集的理想的精确结构是什么？

主要发现

• 对于 $ n \geq 4 $，$ s $ 条直线与一个 $ m $-重点的通用并集的 Hilbert 函数由公式 $ \min\left\{\binom{d+n}{n}, \binom{m+n-1}{n} + s(d+1)\right\} $ 给出，且对所有 $ s $ 与 $ m $ 成立。
• 在 $ \mathbb{P}^3 $ 中，朴素参数计数仅在 $ m = d $ 且 $ 1 < s \leq d $ 时失效，此时在概形上消失的 $ d $ 次形式空间的维数为 $ \binom{d-s+2}{2} $。
• 作者验证了其猜想：在 $ d=5, s=9 $ 与 $ d=8, s=18 $ 时，$ \mathbb{P}^3 $ 中仅存在这些缺陷情形，确认了这些情形下 Hilbert 函数为零。
• 本文证明，结合组合估计的剩余与迹概形方法足以在 $ n \geq 4 $ 的情形下确立 Hilbert 函数，通过形式数量与理想结构的界限实现。
• 对于 $ n=4 $，作者验证了对所有 $ d \geq 1 $，关键不等式 $ e - e' - 2r' \geq 0 $ 成立，仅对有限多个小的 $ d $ 需直接计算以确认该不等式成立。
• 本文确立了在 $ \mathbb{P}^3 $ 的缺陷情形中，Hilbert 函数并非双多项式，其失效源于直线与多重点的几何构型，特别是当多重点位于直线的线性张成中时。