The Cox ring of an embedded variety

技术摘要：嵌入簇的考克斯环

问题陈述
本文解决了计算嵌入在正规环境簇 $Z$ 中的正规簇 $X$ 的考克斯环 $R(X)$ 的计算问题，其中 $Z$ 是一个莫里梦想空间（即 $R(Z)$ 是有限生成的）。虽然环境空间的考克斯环已知，但计算子簇的考克斯环并非易事。作者专注于拉回映射在除子类群上为同构 $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$ 的特定情形。该条件确保了环境簇与嵌入簇的除子类群在结构上完全相同，从而允许将结构性质从 $Z$ 转移到 $X$。

方法论
作者基于考克斯层和特征空间理论，开发了一种几何与算法相结合的方法。

1. 几何框架：

   • 设 $p_Z: \widehat{Z} \to Z$ 为 $Z$ 的特征空间（考克斯层的相对谱）。
   • 作者定义 $\widehat{X}$ 为 $p_Z^{-1}(X_0)$ 在 $\widehat{Z}$ 中的扎里斯基闭包，其中 $X_0 = X \cap Z_0$ 是 $X$ 与 $Z$ 光滑点的交集。
   • 他们引入了一个中间开子集 $\widetilde{X}_1 \subseteq \widetilde{X}$（其中 $\widetilde{X}$ 是 $\widehat{X}$ 在总坐标空间 $\overline{Z}$ 中的闭包），该集合是通过移除补集 $\widetilde{X} \setminus \widehat{X}$ 的余维数为 1 的不可约分量而得到的。
   • 在特定的“大性”和正规性假设下（具体而言，$X_0$ 在 $X$ 中是大子集，$p_Z^{-1}(X_0)$ 在 $\widehat{X}$ 中是大子集，且 $\widetilde{X}_1$ 是正规的），作者确立了 $X$ 的考克斯环同构于 $\widetilde{X}_1$ 上结构层的整体截面环。

2. 代数刻画（定理 1）：

   • 主要技术结果表明，$R(X)$ 可以计算为 $R(Z)$ 的某个商环的有限个局部化的交集。
   • 具体而言，若 $R = R(Z)/I(\widetilde{X})$，且 $m_1, \dots, m_s$ 是定义补集 $\widetilde{X} \setminus \widetilde{X}_1$ 的理想的齐次生成元，则：
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     其中交集是在公共分式域中取的。

3. 算法实现（算法 1）：

   • 为了计算此类局部化的交集，作者提出了一种迭代算法。
   • 该算法从环 $R$ 开始，检查元素 $m_i$ 的零点集的余维数是否 $\ge 2$。如果不是，则通过计算商理想和饱和，识别出交集中但不在当前环中的元素。
   • 将新的生成元添加到环中，并重复该过程。
   • 终止性： 当且仅当生成的考克斯环 $R(X)$ 是有限生成的时，该算法终止。这为此类情形下的有限生成性提供了一个判定过程。

主要结果与应用

• 射影簇中的一般超曲面（定理 2）：
  作者将其框架应用于极化射影簇 $(P, H)$ 中的超曲面 $X \in |H|$。假设 $P$ 的无关轨形具有唯一的余维数为 2 的分量 $V(T_1, T_2)$，且定义多项式 $f$ 沿该分量具有特定的重数 $d$，他们提供了 $R(X)$ 的显式表示。

  • 考克斯环被表示为原始变量加上 $d$ 个新变量 $S_1, \dots, S_d$ 的多项式环的商。
  • 关系式在新变量中是线性的，类似于“未投影”（unprojection）技术（类似于 Reid 的未投影）。
  • 这推广了 Ottem（针对射影空间乘积）和 Denisi（针对加权射影空间）的先前结果。

• 皮卡德秩为 2 的射影簇（推论 3）：
  结果被特化到皮卡德秩为 2 的光滑射影射影簇。作者对这些簇的分级矩阵和无关理想进行了分类，并确定了在何种条件下，一般丰超曲面的考克斯环是有限生成且显式可计算的。

• 卡拉比 - 丘超曲面（推论 5.1）：
  该方法被应用于皮卡德秩为 2 的光滑射影弗诺簇中的一般反典范超曲面，为其考克斯环提供了显式表示。

• 有限生成与完全交的例子（第 6 节）：

  • 例 6.1： $\mathbb{P}^4$ 在两个点处的吹起中的超曲面。该算法得出的考克斯环是一个完全交。
  • 例 6.2： 通过反翻转（anti-flip）获得的射影模型中的超曲面。该算法得出的考克斯环是有限生成的，但不是完全交。这表明嵌入簇的考克斯环可以是有限生成的，而无需继承环境空间或定义方程的完全交性质。

意义与主张
本文声称通过提供统一的理论框架和具体的算法，推广了关于计算嵌入簇考克斯环的先前工作（引用了 Hausen、Ottem 等人的研究）。

• 算法贡献： 主要贡献是算法 1，它提供了一种构造性方法来将 $R(X)$ 计算为局部化的交集。至关重要的是，作者证明了该算法终止当且仅当 $R(X)$ 是有限生成的，从而为此类设定下的有限生成性提供了一种测试方法。
• 显式描述： 本文提供了射影簇中超曲面考克斯环的显式生成元和关系式，将已知结果扩展到了更广泛的射影环境簇类。
• 结构洞察： 这项工作强调，虽然 $R(X)$ 源自 $R(Z)$，但取局部化交集的过程可能会引入新的生成元和关系，从而改变代数结构（例如，失去完全交性质），例 6.2 明确地展示了这一现象。

作者在范围上保持了适度的语气，指出他们的结果依赖于除子类群上的拉回映射是同构的假设，并且满足特定的几何条件（子集的大性、闭包的正规性）。他们并未声称解决任意嵌入的问题，而是为莫里梦想空间中满足这些条件的特定但重要的嵌入类提供了稳健的解决方案。