[论文解读] An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties

Mohamed Barakat, Markus Lange‐Hegermann|arXiv (Cornell University)|Nov 23, 2019

Polynomial and algebraic computation参考文献 43被引用 5

一句话总结

本文提出了一种算法化、构造性的证明方法，用于证明仿射代数簇之间有理映射的构造像的Chevalley定理，基于项目化紧化和纤维维数约化的新型相对边界包络构造。该方法通过格罗布纳基和消去法实现了构造像的高效计算，其代码实现避免了过早进行主分解，计算效率优于先前的方法。

ABSTRACT

The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$

研究动机与目标

• 提供仿射版本的Chevalley定理关于有理态射像的构造性、算法化证明。
• 开发一种计算仿射代数簇之间有理映射的构造像的计算高效方法。
• 通过纤维维数约化技术推迟或避免主分解，降低计算成本。
• 提出一种基于项目化紧化和一般零维纤维的新型相对边界包络构造。
• 通过二分图数据结构和迭代分解方法，实现像计算的实际可计算实现。

提出的方法

• 通过将原始闭子集替换为在投影下具有一般零维纤维的子集Γ₀ ⊆ Γ，为像f(C)构造一个相对边界包络D。
• 使用项目化紧化：将环境空间嵌入射影空间，并考虑Γ₀在Pⁿ_Y中的闭包，与无穷远超平面H相交。
• 将相对边界包络D定义为Γ₀∞ := bΓ₀ ∩ H在无穷远处的点在投影下的像。
• 应用投影公式f(f⁻¹(D) ∩ C) = D ∩ f(C)，将f(C)分解为一个局部闭集与一个更小像的不交并，从而实现迭代计算。
• 使用二分有向图数据结构表示构造集为闭集差的不交并，实现该算法。
• 在每一层使用LocallyClosedApproximationOfProjection计算局部闭近似，并在每次递归层级后应用压缩操作以修剪冗余节点。

实验结果

研究问题

• RQ1 如何使用算法化方法构造性地证明关于构造像的Chevalley定理？
• RQ2 什么样的高效且最小化的相对边界包络构造能减少像计算中的递归深度和复杂度？
• RQ3 是否可以在构造像的计算中推迟或避免主分解？
• RQ4 项目化紧化与纤维维数约化如何提升计算效率？
• RQ5 何种数据结构与算法策略最能支持构造集的迭代分解？

主要发现

• 所提出的算法将有理映射的像构造为有限个局部闭集的不交并，从而为Chevalley定理提供了构造性证明。
• 相对边界包络通过项目化紧化和无穷远点的像构造，确保了正确性与计算效率。
• 该方法通过在消去前约化到一般零维纤维的情形，避免或延迟了主分解。
• 实现使用二分图数据结构，支持每层递归内的高效压缩与并行化。
• 该算法在Gröbner覆盖和基于一般自由性的方法等先前方法中表现更优，生成了更小、更低次的边界包络。
• 该方法在toric簇的轨道计算中得到验证，能正确计算主T-轨道为轨道闭包与其边界之差。