[论文解读] The Chow Ring of the Non-Linear Grassmannian

Rahul Pandharipande|ArXiv.org|Apr 28, 1996

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

一句话总结

本文建立了从 P^k 到 P^r 的度 d 映射的模空间（非线性格拉斯曼ian）的有理查环与参数化线性映射的古典格拉斯曼ian Gr(P^k, P^r) 的查环之间的典范同构。结果表明，非线性格拉斯曼ian的典型环结构与线性情形完全相同，为枚举几何与格罗莫夫-威滕理论提供了基础性比较。

ABSTRACT

Let M_{P^k}(P^r, d) be the moduli space of unparameterized maps μ:P^k -> P^r satisfying μ^*(O(1))= O(d). M_{P^k}(P^r,d) is a quasi-projective variety, and, in case k=1, M_{P^1}(P^r,d) is the fundamental open cell of Kontsevich's space of stable maps \bar{M}_{0,0}(P^r,d). It is shown that the Q-coefficient Chow ring of M_{P^k}(P^r,d) is canonically isomorphic to the Chow ring of the Grassmannian Gr(P^k, P^r)= M_{P^k}(P^r,1).

研究动机与目标

• 理解从 P^k 到 P^r 的无参数化度 d 映射的模空间的代数周期结构。
• 比较非线性格拉斯曼ian的有理查环与参数化线性嵌入的古典格拉斯曼ian的查环。
• 在这些查环之间建立典范同构，从而统一它们的典型环结构。
• 通过阐明当 k=1 时康采维奇模空间的几何结构，为格罗莫夫-威滕理论提供基础输入。
• 将代数几何中线性参数空间的结构洞见推广至非线性参数空间。

提出的方法

• 作者分析了满足 μ*(O(1)) = O(d) 的度 d 映射 μ: P^k → P^r 的模空间 M_{P^k}(P^r,d)，该空间是一个拟射影代数簇。
• 研究聚焦于有理查环，使用代数几何与交集理论的工具。
• 关键技术在于比较 M_{P^k}(P^r,d) 中的典型类与关系，与格拉斯曼ian Gr(P^k, P^r) 中的对应类进行对比。
• 通过查环的典范识别构造同构，依赖于两个环均由典型丛的陈类生成的事实。
• 论证利用了当 k=1 时，M_{P^1}(P^r,d) 是康采维奇的稳定映射空间的开胞腔这一事实，从而能够与已知结果进行比较。
• 证明依赖于全族的结构以及线丛在拉回下的行为。

实验结果

研究问题

• RQ1 非线性格拉斯曼ian M_{P^k}(P^r,d) 的有理查环是否与古典格拉斯曼ian Gr(P^k,P^r) 的查环同构？
• RQ2 度 d 映射模空间中的典型类与线性格拉斯曼ian中的典型类有何异同？
• RQ3 在模空间的背景下，从线性映射到非线性映射的转换过程中，哪些结构不变量得以保持？
• RQ4 是否可以通过与格拉斯曼ian的比较来理解康采维奇的稳定映射空间的查环？
• RQ5 度 d 条件在决定模空间查环结构方面起什么作用？

主要发现

• M_{P^k}(P^r,d) 的有理查环与格拉斯曼ian Gr(P^k, P^r) 的查环之间存在典范同构。
• 该同构保持了典型环结构，意味着非线性格拉斯曼ian与线性情形具有相同的代数周期结构。
• 该结果对所有 k ≥ 1 和 d ≥ 1 成立，推广了已知的 k=1 且 d 任意的情形。
• 当 k=1 时，空间 M_{P^1}(P^r,d) 是康采维奇的稳定映射模空间的基本开胞腔，其查环与 Gr(P^1, P^r) 的查环同构。
• 该同构是自然且函子性的，源于典型丛及其陈类的识别。
• 非线性格拉斯曼ian的查环由典型商丛的陈类生成，与经典情形完全一致。