关于特征零域上代数簇嵌入问题的算法不可解性
代数几何
2019-07-01 v5 逻辑
摘要
我们证明，对于特征零的任意域上的两个仿射簇，不存在用于检查一个代数簇嵌入另一个代数簇的一般形式的算法。此外，我们对坐标环由生成元与定义关系给出的仿射簇确立了这一点。而且，其中一个簇可取为仿射空间，而在实数域的情形可取为仿射直线。
引用
@article{arxiv.1812.01883,
title = {On algorithmic unsolvability of the problem embeddability of algebraic varieties over a field of characteristic zero},
author = {A. J. Kanel-Belov and A. A. Chilikov},
journal= {arXiv preprint arXiv:1812.01883},
year = {2019}
}
备注
17 pages, in Russian