[论文解读] Homogeneous varieties for Hilbert schemes

G. Ferrarese, Margherita Roggero|ArXiv.org|Jan 21, 2009

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

一句话总结

本文研究在 ℤ^m-分次下的仿射概形，证明其可嵌入至原点处的扎里斯基切空间中——当且仅当同构于仿射空间时为光滑概形。将结果应用于希尔伯特概形，表明格罗布纳层是通过环面轨道实现有理链连通的，且其楚环群由齐次循环生成，从而在希尔伯特概形的显式方程中实现计算复杂度的降低。

ABSTRACT

The paper concerns the affine varieties that are homogeneous with respect to a (non-standard) graduation over the group Z^m. Among the other properties it is shown that every such a variety can be embedded in its Zariski tangent space at the origin, so that it is smooth if and only if it is isomorphic to an affine space. The results directly apply to the study of Hilbert schemes of subvarieties in P^n.

研究动机与目标

• 分析在 ℤ^m-分次下的仿射概形及其结构性质。
• 建立此类概形在原点处扎里斯基切空间中的最小嵌入。
• 将这些结果应用于希尔伯特概形中的格罗布纳层，以降低计算复杂度。
• 通过环面作用与轨道分层研究希尔伯特概形的几何性质。
• 证明此类概形的楚环群由齐次循环生成，尤其在低余维情形下。

提出的方法

• 通过群同态 λ: ℤ^s → ℤ^m 定义 λ-齐次理想与概形，诱导 k[y₁,…,yₛ] 上的 ℤ^m-分次。
• 证明任意 λ-齐次概形 V 可同构地嵌入至其在原点处的扎里斯基切空间中，且该嵌入为最小嵌入。
• 利用由分次诱导的环面 (k*)^m 作用，将 V 分为不同维数的轨道。
• 证明通过原点的有理曲线（参数化为 t ↦ (aᵢt^{cᵢ})）包含于 V 中，从而蕴含有理链连通性。
• 建立楚环群 A•(V) 由 λ-齐次循环生成，特别是轨道的闭包。
• 将这些结果应用于希尔伯特概形中的格罗布纳层，其中最小嵌入可减少参数数量并实现算法计算。

实验结果

研究问题

• RQ1 何时 λ-齐次概形为光滑？其在扎里斯基切空间中的嵌入性质如何？
• RQ2 是否可利用其切空间中的最小嵌入来描述希尔伯特概形中格罗布纳层的结构？
• RQ3 λ-齐次概形上的环面轨道如何促成希尔伯特概形的有理链连通性？
• RQ4 λ-齐次概形的楚环群在多大程度上由齐次循环生成？
• RQ5 是否可利用格罗布纳层的结构来降低希尔伯特概形显式方程的计算复杂度？

主要发现

• 每个 λ-齐次概形 V 同构地嵌入至其在原点处的扎里斯基切空间中，且当且仅当同构于仿射空间时为光滑概形。
• 希尔伯特概形中的格罗布纳层通过参数化为 t ↦ (aᵢt^{cᵢ}) 的有理曲线实现有理链连通，这些曲线为 1 维环面轨道的闭包。
• λ-齐次概形 V 的楚环群 A•(V) 由 λ-齐次循环生成，其中 A₁(V) 由 1 维轨道的闭包生成。
• 对由 F = y₁²y₂y₃ + y₁y₄ + y₂y₃²y₄ 定义的 3-维概形 V（λ-次数为 [3,5]），A₂(V) 由在点 Q₁=(0,0,1,1) 和 Q₂=(0,1,0,1) 处的轨道闭包生成，且满足 3[Λ_Q₁] + 5[Λ_Q₂] ≡ 0。
• V 关于环面作用的商未必是分离的，但可通过开覆盖 U_{i₁,…,i_μ} 局部粘合，得到商的概形态近似。
• 格罗布纳层在切空间中的最小嵌入显著减少了参数数量，从而可实现希尔伯特概形方程的算法计算。