[论文解读] The Chow Ring of the Hilbert Scheme of Rational Normal Curves

Rahul Pandharipande|ArXiv.org|Jul 23, 1996

Algebraic Geometry and Number Theory参考文献 4被引用 6

一句话总结

本文使用等变查粮环技术，完整地给出了在 P^d 中参数化 d 次有理正则曲线的 Hilbert 模间 H(d) 的积分查粮环的完整表述。通过计算经典群如 O(n) 和 SO(2k+1) 的积分等变查粮环，特别是 SO(3) ≅ PGL(2)，作者确立了 H(d) 的查粮环结构，为 Hilbert 模间在枚举代数几何中的基础性结果。

ABSTRACT

Let H(d) be the (open) Hilbert scheme of rational normal curves of degree d in P^d. A presentation of the integral Chow ring of H(d) is given via equivariant Chow ring computations. Included also in the paper are algebraic computations of the integral equivariant Chow rings of the algebraic groups O(n), SO(2k+1). The results for S0(3)=PGL(2) are needed for the Hilbert scheme calculation.

研究动机与目标

• 确定在 P^d 中参数化 d 次有理正则曲线的 Hilbert 模间 H(d) 的积分查粮环结构。
• 为经典代数群的积分等变查粮环开发计算工具，特别是 O(n) 和 SO(2k+1)。
• 建立必要的群论查粮环结果，特别是针对 SO(3) ≅ PGL(2)，以支持 Hilbert 模间计算。
• 将 H(d) 的查粮环以多项式环的商形式完整呈现，关系明确。
• 为更广泛地理解 Hilbert 模间上典型环与枚举几何做出贡献。

提出的方法

• 本文采用等变交点理论，利用其极大环和 Weyl 群作用，计算了代数群 O(n) 和 SO(2k+1) 的积分查粮环。
• 利用了重代数群的分类空间查粮环同构于点的等变查粮环的事实。
• 对于 SO(3)，计算归结为理解 PGL(2) 的等变查粮环，后者通过环的等变解析和局部化技术推导得出。
• Hilbert 模间 H(d) 被证明是光滑的、不可约的、拟射影的代数簇，其查粮环通过全局商构造计算得出。
• 该方法依赖于 H(d) 是有理正则曲线的精细模空间这一事实，其上自然作用着 PGL(2)。
• H(d) 的查粮环最终通过将它视为多项式环模由 PGL(2) 的等变查粮环导出的关系而获得。

实验结果

研究问题

• RQ1 在 P^d 中参数化 d 次有理正则曲线的 Hilbert 模间 H(d) 的积分查粮环结构是什么？
• RQ2 如何整数地计算经典群如 O(n) 和 SO(2k+1) 的等变查粮环，特别是低秩情形如 SO(3)？
• RQ3 PGL(2) 在 Hilbert 模间 H(d) 的几何中起什么作用？其等变查粮环与 H(d) 的查粮环有何关系？
• RQ4 H(d) 的查粮环能否显式地表示为带有明确关系的多项式环的商？
• RQ5 H(d) 的查粮环中的典型关系是什么？它们如何由群作用产生？

主要发现

• 在 P^d 中参数化 d 次有理正则曲线的 Hilbert 模间 H(d) 的积分查粮环被完整地表述为一个多项式环的商。
• 该计算关键依赖于 SO(3) 的积分等变查粮环，其同构于 PGL(2) 的等变查粮环。
• O(n) 的等变查粮环被计算为在极大环的查粮环上 Weyl 群作用下的不变子环。
• 对于 SO(2k+1)，其积分等变查粮环被证明同构于极大环查粮环上 Weyl 群不变子环。
• H(d) 的查粮环同构于 PGL(2) 的等变查粮环在自然作用下的不变子环。
• H(d) 的查粮环最终被表述为 d 个变量的多项式环模显式关系，这些关系由群作用导出。