[论文解读] BOREL OPEN COVERING OF HILBERT SCHEMES

Margherita Roggero|arXiv (Cornell University)|Sep 11, 2009

Commutative Algebra and Its Applications参考文献 15被引用 8

一句话总结

本文通过普吕克坐标引入了一种基于博雷尔固定单项式理想的希尔伯特簇开覆盖，表明每个指标为博雷尔固定单项式理想的开集 $ H_J $ 参数化与 $ J $ 的单项式基补集对应的齐次理想，并证明这些开集在 $ \mathrm{GL}(n+1) $-作用下覆盖整个希尔伯特簇，且 $ H_J $ 由次数至多为 $ d+2 $ 的方程定义。其主要贡献在于利用局部普吕克坐标，构建了希尔伯特簇的一个有限且具有几何意义的开覆盖。

ABSTRACT

Let p(t) be an admissible Hilbert polynomial in Pn of degree d and Gotzmann number r. It is well known that Hilbn p(t) can be seen as a closed subscheme of the Grasmannian G(N, s), where N = `n+r ´ and s = N − p(r), hence, by Plücker embedding, it becomes a closed subset of a n suitable projective space. Let us denote by B the finite set of the Borel fixed ideals in k[X0,..., Xn] generated by s monomials of degree r. We associate to every monomial ideal J ∈ B, a Plücker coordinate pJ. If UJ is the open subset of G(N, s) given by pJ ̸ = 0, which is isomorphic to the affine space As(N−s) , then HJ = Hilbn p(t) ∩ UJ is an open subset of Hilbn p(t) and then can be seen as an affine subvariety of As(N−s). The main results obtained in this paper are the following: i) HJ ̸ = ∅ ⇔ Proj(k[X0,..., Xn]/J) ∈ Hilbn p(t); ii) if non-empty, HJ parametrizes all the homogeneous ideals I such that the set NJ of the monomials not belonging to J is a basis of k[X0,..., Xn]/I as a k-vector space; iii) the ideal defining HJ as a subvariety of As(N−s) (i.e. in “local ” Plücker coordinates) is generated in degree ≤ d + 2; iv) HJ can be isomorphically projected into a linear subspace of As(N−s) of dimension ≤ σ(N −s), where σ is the number of minimal generators of the saturation Jsat of J; v) up to changes of coordinates in Pn, the open sets HJ cover Hilbn p(t) , namely: Hilb n p(t) = G g(HJ). g∈GL(n+1) J∈B 1.

研究动机与目标

• 通过与博雷尔固定单项式理想相关的开子集，构造希尔伯特簇 $ \mathrm{Hilb}^n_{p(t)} $ 的有限开覆盖。
• 通过条件 $ \mathrm{Proj}(k[X_0,\dots,X_n]/J) \in \mathrm{Hilb}^n_{p(t)} $ 来刻画每个开集 $ H_J $ 的非空性。
• 描述 $ H_J $ 在仿射空间中的定义理想，其生成元次数至多为 $ d+2 $，从而支持算法与几何分析。
• 证明每个 $ H_J $ 可同构地投影到维度至多为 $ \sigma(N-s) $ 的线性子空间中，其中 $ \sigma $ 为 $ J^{\text{sat}} $ 的极小生成元个数。
• 证明所有 $ H_J $ 在 $ \mathrm{GL}(n+1) $-变换下的并集覆盖整个希尔伯特簇 $ \mathrm{Hilb}^n_{p(t)} $。

提出的方法

• 将每个博雷尔固定单项式理想 $ J \in B $ 关联到一个普吕克坐标 $ p_J $，定义 $ \mathrm{Gr}(N,s) $ 中满足 $ p_J \neq 0 $ 的开子集 $ U_J \subset \mathrm{Gr}(N,s) $。
• 定义 $ H_J = \mathrm{Hilb}^n_{p(t)} \cap U_J $，通过局部普吕克坐标将其视为 $ \mathbb{A}^{N-s} $ 中的仿射概形。
• 利用 $ H_J \neq \emptyset $ 当且仅当 $ \mathrm{Proj}(k[X_0,\dots,X_n]/J) \in \mathrm{Hilb}^n_{p(t)} $ 的事实，将几何隶属关系与非空性联系起来。
• 通过戈茨曼数 $ r $ 和希尔伯特多项式次数 $ d $，证明 $ H_J \subset \mathbb{A}^{N-s} $ 的定义理想在次数 $ \leq d+2 $ 内生成。
• 构造 $ H_J $ 到维度至多为 $ \sigma(N-s) $ 的线性子空间的线性投影，保持同构性，其中 $ \sigma $ 为 $ J^{\text{sat}} $ 的极小生成元个数。
• 证明所有 $ J \in B $ 的 $ \mathrm{GL}(n+1) $-变换下的 $ H_J $ 的并集覆盖整个希尔伯特簇 $ \mathrm{Hilb}^n_{p(t)} $，从而建立全局开覆盖。

实验结果

研究问题

• RQ1 何时希尔伯特簇中的开子集 $ H_J \subset \mathrm{Hilb}^n_{p(t)} $ 非空？其几何特征如何刻画？
• RQ2 作为 $ \mathbb{A}^{N-s} $ 的子簇时，$ H_J $ 的定义方程的最大次数为何？其与希尔伯特多项式次数 $ d $ 的关系如何？
• RQ3 $ H_J $ 是否可同构地投影到低维线性空间中？该空间的维数由什么决定？
• RQ4 索引为博雷尔固定理想的 $ H_J $ 如何在 $ \mathrm{GL}(n+1) $ 作用下共同覆盖希尔伯特簇？
• RQ5 饱和 $ J^{\text{sat}} $ 在决定局部模型 $ H_J $ 的复杂性方面起什么作用？

主要发现

• 开集 $ H_J $ 非空当且仅当 $ \mathrm{Proj}(k[X_0,\dots,X_n]/J) $ 属于希尔伯特簇 $ \mathrm{Hilb}^n_{p(t)} $，从而提供了非空性的几何判别准则。
• 当非空时，$ H_J $ 参数化所有齐次理想 $ I $，使得不在 $ J $ 中的单项式构成 $ k[X_0,\dots,X_n]/I $ 作为 $ k $-向量空间的一组基。
• 作为 $ \mathbb{A}^{N-s} $ 的子簇，$ H_J $ 的定义理想在次数至多 $ d+2 $ 内生成，其中 $ d $ 为希尔伯特多项式 $ p(t) $ 的次数。
• 每个 $ H_J $ 可同构地投影到维度至多为 $ \sigma(N-s) $ 的线性子空间中，其中 $ \sigma $ 为 $ J^{\text{sat}} $ 的极小生成元个数。
• 所有 $ J \in B $ 的 $ \mathrm{GL}(n+1) $-变换下的 $ H_J $ 的并集覆盖整个希尔伯特簇 $ \mathrm{Hilb}^n_{p(t)} $，从而建立了有限且具有几何意义的开覆盖。