Journal of Algebra and Its Applications ( IF 0.5 ) Pub Date : 2021-06-22 , DOI: 10.1142/s0219498822501882 Martin Kreuzer 1 , Le Ngoc Long 2 , Lorenzo Robbiano 3
Given an affine algebra , where is a polynomial ring over a field and is an ideal in , we study re-embeddings of the affine scheme , i.e. presentations such that is a polynomial ring in fewer indeterminates. To find such re-embeddings, we use polynomials in the ideal which are coherently separating in the sense that they are of the form with an indeterminate which divides neither a term in the support of nor in the support of for . The possible numbers of such sets of polynomials are shown to be governed by the Gröbner fan of . The dimension of the cotangent space of at a -linear maximal ideal is a lower bound for the embedding dimension, and if we find coherently separating polynomials corresponding to this bound, we know that we have determined the embedding dimension of and found an optimal re-embedding.
中文翻译:
余切空间和分离重新嵌入
给定一个仿射代数, 在哪里是域上的多项式环和是一个理想的 ,我们研究仿射方案的重新嵌入,即演示文稿这样是较少不定项的多项式环。为了找到这样的重新嵌入,我们使用多项式在理想中它们是连贯地分开的,因为它们是形式带有不确定的它既不划分一个术语来支持也不支持为了. 这样的多项式集合的可能数量由 Gröbner fan 控制. 余切空间的维数 在一个-线性最大理想是嵌入维数的下界,如果我们找到对应于这个界的相干分离多项式,我们知道我们已经确定了嵌入维数并找到了一个最佳的重新嵌入。