[论文解读] Special effect varieties in higher dimension

Cristiano Bocci|ArXiv.org|Nov 12, 2004

Commutative Algebra and Its Applications参考文献 8被引用 15

一句话总结

本文将平面中特殊效应簇的概念推广至高维射影空间及射影空间的乘积，将 $\mathbb{P}^2$ 中的数值与上同调特殊效应猜想推广至 $\mathbb{P}^n$ 和 $\mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_t}$。本文证明了，对于亚历山大-赫施科维茨定理分类的所有具有二重点的特殊线性系统，包括 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 及其他乘积情形，数值特殊效应猜想均成立。

ABSTRACT

Here we introduce the concept of special effect varieties in higher dimension and we generalize to the n-dimensional projective space, n>=3, the two conjectures given in AG/0410527 for the planar case. Finally, we propose some examples on the product of projective spaces and we show how these results fit with the ones of Catalisano, Geramita and Gimigliano.

研究动机与目标

• 将 $\mathbb{P}^2$ 中特殊效应曲线的理论推广至 $\mathbb{P}^n$ 及射影空间乘积中的高维代数簇。
• 将平面情形下的数值与上同调特殊效应猜想推广至高维情形。
• 验证由亚历山大-赫施科维茨定理分类的所有具有二重点的特殊线性系统，其数值特殊效应猜想均成立。
• 在射影空间乘积中识别并刻画 $2$-特殊效应簇，特别是 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 及相关情形。

提出的方法

• 在 $\mathbb{P}^n$ 及射影空间乘积中引入 $\alpha$-特殊效应簇与 $h^1$-特殊效应簇的概念。
• 使用虚维数公式 $\nu(\mathcal{L}) = \binom{d+n}{n} - 1 - \sum \binom{m_i + n - 1}{n}$ 计算具有多重基点的线性系统之期望维数。
• 应用爆破构造 $\pi: \tilde{\mathbb{P}}^n \to \mathbb{P}^n$，将线性系统表示为 $|dH - \sum m_i E_i|$，并将其上同调与特殊性关联。
• 在爆破空间上应用黎曼-罗赫定理，将 $\dim \mathcal{L}$ 与 $\chi(\tilde{\mathcal{L}})$ 关联，通过 $h^1 \neq 0$ 识别特殊系统。
• 通过分析 $X = \mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_t}$ 上多度数为 $(e_1,\dots,e_t)$ 的除子类，研究特殊效应构型，要求其在基点处仅简单相交。
• 通过验证 $\nu(\mathcal{L}) = -1$ 且对候选特殊效应簇 $Y$ 有 $\nu(\mathcal{L} - Y) \geq 0$，验证了数值特殊效应猜想。

实验结果

研究问题

• RQ1 能否将 $\mathbb{P}^2$ 中特殊效应曲线的概念推广至 $n \geq 3$ 时的 $\mathbb{P}^n$ 中的高维代数簇？
• RQ2 数值特殊效应猜想是否可推广至高维射影空间及射影空间乘积中具有多重基点的线性系统？
• RQ3 $\mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_t}$ 中是否存在解释具有二重点线性系统特殊性的 $2$-特殊效应簇？
• RQ4 亚历山大-赫施科维茨定理在 $\mathbb{P}^n$ 中分类的所有具有二重点的特殊系统，其数值特殊效应猜想是否均成立？
• RQ5 能否统一上同调与数值特殊效应框架，以在高维中几何地刻画特殊线性系统？

主要发现

• 由亚历山大-赫施科维茨定理分类的所有具有二重点的特殊线性系统在 $\mathbb{P}^n$ 中，其数值特殊效应猜想均成立。
• 在 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上，对于系统 $\mathcal{L}_{(2,2,2)}(2^7)$，存在一个 $2$-特殊效应簇，其多度数为 $(1,1,1)$，且 $h=7$ 个点。
• 在 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$ 上，对于系统 $\mathcal{L}_{(2,2,2)}(2^{11})$，存在一个 $2$-特殊效应簇，其多度数为 $(1,1,1)$，且 $h=11$ 个点。
• 在 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^3$ 上，对于系统 $\mathcal{L}_{(2,2,2)}(2^{15})$，存在一个 $2$-特殊效应簇，其多度数为 $(1,1,1)$，且 $h=15$ 个点。
• 通过显式计算虚维数，验证了 $\mathcal{L}_{a_1,a_2}(2^h)$ 在 $\mathbb{P}^1 \times \mathbb{P}^1$ 上，当 $(a_1,a_2)=(2d,2)$，$h=2d+1$，$d \geq 1$ 时，数值特殊效应猜想成立。
• 对于 $\mathcal{L}_{(2\alpha,1,1)}(2^{2\alpha+1})$ 在 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上，通过使用多度数为 $(\alpha,0,1)$ 和 $(\alpha,1,0)$ 的除子，构造出一个 $(1,1)$-特殊效应构型，从而证实了猜想。