1. 概述 于 代数几何 中, 构造 从非负分次环建立射影概形. 它是 构造在射影几何中的对应物. 2. 定义 定义 1 ( 构造) 设 为非负 分次环, 并假设 为 交换环, 为无关理想. 称所有不包含 的 齐次素理想 组成的集合配备标准 Zariski 拓扑与结构层后所得的 概形 为 的 . 记号 2 ( 构造) 构造 所得的射影概形记为 . 3. 例子 例子 3 (射影空间) 对 域 , 构造 给出： 4. 相关性质 命题 4 (标准仿射开覆盖) 设 为 构造 中的非负 分次环, 并假设 为 交换环, 为正次数齐次元素. 则标准开集 是 仿射概形, 且： 5. 相关概念 分次环 齐次理想 射影空间 仿射概形 6. 术语翻译 中文英文 构造Proj construction