论标记族的函子性

计算代数方法的应用最近为 Hilbert 概形的研究引入了新工具。其核心思想是定义赋予概形结构的理想平坦族，其定义方程可通过算法过程确定。为此，几位作者基于 Borel 固定理想的组合性质开发了新方法，使得能够将此类每个理想 $J$ 关联到一个称为 $J$-标记概形 ($J$-marked scheme) 的概形 $\mathbf{Mf}_{J}$。本文我们为标记概形提供了坚实的函子论基础，并表明先前论文中引入的算法过程不依赖于系数环。我们证明，对于所有强稳定理想 $J$，标记概形 $\mathbf{Mf}_{J}$ 可作为局部闭子概形嵌入到 Hilbert 概形中，且在关于 $J$ 的适当条件下它们是开的。最后，我们推广了 Lederer 关于零维理想的 Gröbner 层的结果，证明了任意理想的 Gröbner 层均为 Hilbert 概形的局部闭子概形。