Chevalley 仿射簇间有理态射像定理的算法化方法
代数几何
2022-01-14 v3
摘要
本文旨在给出 Chevalley 定理仿射版本的一个新的构造性几何证明。该证明是算法化的，其逐字实现产生了一个用于计算仿射簇间有理映射的可构造像的高效代码。我们的方法将均匀矩阵乘积态的已知描述推广至 。
引用
@article{arxiv.1911.10411,
title = {An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties},
author = {Mohamed Barakat and Markus Lange-Hegermann},
journal= {arXiv preprint arXiv:1911.10411},
year = {2022}
}
备注
More elaborate comparison to other approaches (Section 5)