[论文解读] Grobner bases and extension of scalars

Dave Bayer, André Galligo+1 more|ArXiv.org|Feb 20, 1992

Advanced Numerical Analysis Techniques参考文献 4被引用 21

一句话总结

本文研究了诺特环上多项式环中格罗卜纳基在标量扩张下的行为，建立了在何种条件下，基环 A 上理想 I 的格罗卜纳基能诱导出标量扩张 B 上的格罗卜纳基。关键贡献在于：标量扩张与取首项理想的运算可交换，当且仅当该扩张是平坦的；且首项理想的系数理想编码了纤维的几何信息，从而可在开子集上检测同构与有限态射。

ABSTRACT

This paper studies the behavior of Grobner bases with respect to extensions of scalars. We prove that an extension of scalars commutes with taking Grobner bases iff the extension is flat. We consider what information can be deduced about fibers of a family, from the Grobner basis of the defining ideal of the family itself. This information can be used to construct algorithms, such as to find locii over which a map is finite, or an isomorphism.

研究动机与目标

• 理解格罗卜纳基在从诺特环 A 到环 B 的标量扩张下的行为。
• 刻画当理想 I ⊂ A[x] 的格罗卜纳基在标量扩张下诱导出 I·B[x] 的格罗卜纳基的条件。
• 利用首项理想 in(A) 的系数理想提取由 I 定义的族的纤维的几何信息。
• 确定基概形中使得由 I 定义的态射为同构或有限映射的点的集合。
• 建立家族由 I 定义时在基概形上忠实平坦的条件，将代数性质与几何结构联系起来。

提出的方法

• 将首项理想 in(A) ⊂ A[x] 定义为在满足齐次性与正则性公理的单项序下，由 I 中元素的首项生成的单项理想。
• 引入 in(I) 的系数理想，其中单项式 x^E 的系数理想是指 A 中由 in(I) 中所有被 x^E 整除的项的系数生成的理想。
• 证明标量扩张 B/A 与取首项理想运算可交换，当且仅当 B 是 A 上的平坦模。
• 利用局部化与系数理想的结构分析纤维行为，尤其关注态射的满射性与有限性。
• 刻画基概形中使得态射为同构的最大开子集（通过 in(I)_x_i ≠ 0）或有限映射（通过 in(I)_{x_i^∞} = 1）的性质。
• 将结果应用于仅通过首项理想 in(I) 及其系数理想检测几何性质，如同构、有限映射与忠实平坦性。

实验结果

研究问题

• RQ1 在何种条件下，理想 I ⊂ A[x] 的格罗卜纳基在标量扩张到 B[x] 后仍保持为格罗卜纳基？
• RQ2 首项理想 in(I) 的系数理想如何与由 I 在 Spec(A) 上定义的族的纤维几何相关？
• RQ3 基概形中使得由 I 定义的态射为同构或有限映射的精确点集为何？
• RQ4 当家族由 I 在其基概形上忠实平坦时，其条件为何？这与 in(I) 的结构有何关联？
• RQ5 仅凭首项理想 in(I) 是否足以确定基概形中‘好’点上的纤维首项理想？

主要发现

• 标量扩张与取首项理想运算可交换，当且仅当扩张 B/A 是平坦的。
• I 的格罗卜纳基决定了 I 在其支撑的每个孤立分支的稠密开子集上的局部化的格罗卜纳基。
• 首项理想 in(I) 确定了在‘好’点上的纤维首项理想，其中点 p ∈ Spec(A) 称为‘好’点，若 in(I) 的每个系数理想要么避开 p，要么在支撑中包含 p 的一个邻域。
• 若支撑 X 的每个点均为‘好’点，则由 I 定义的家族在 X 上忠实平坦。
• 态射 Y → X 在 X 的最大开子集上为同构，当且仅当所有系数理想 in(I)_{x_i} 不被素理想 p 包含；类似地，其在开集上为有限映射，当且仅当对所有 i 有 in(I)_{x_i^∞} = 1。
• 系数理想 in(I)_{x_i^∞} 检测了态射为有限映射的点集，且这些理想可作为系数理想链 in(I)_{x_i^e} 的极限计算得出。