理想的开集及其在双有理映射中的应用

本文中我们证明，主类理想、秩至少二的理想以及具有极大解析展布的理想之集合，是参数空间中的 Zariski 开集。作为应用，我们证明在任意射影簇 $X$ 上、具有{\it 明确多项式次数} $d$ 的双有理映射集合（记为 $\Bir(X)_{d}$）是可构造集。这推广了 Blanc 与 Furter 的先前结果。