An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties
Algebraic Geometry
2022-01-14 v3
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
Keywords
Cite
@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}
}
Comments
More elaborate comparison to other approaches (Section 5)