[论文解读] Weighted Projective Spaces from the toric point of view with computational applications

Michele Rossi, Lea Terracini|arXiv (Cornell University)|Dec 7, 2011

Algebraic Geometry and Number Theory参考文献 13被引用 11

一句话总结

本文提出了一套全面的关于加权射影空间（wps）的代数几何框架，利用赫米特标准形与横截矩阵运算，刻画其扇形与多面体。该框架建立了基于多面体中格点计数的线丛上同调计算算法，得出显式的Bott–Tu型公式，推广了Dolgachev的结果，并具备可计算实现性。

ABSTRACT

The purpose of the present paper is threefold. First: giving a treatise on weighted projective spaces by the toric point of view. Second: providing characterizations of fans and polytopes giving weighted projective spaces, with particular focus on a kind of \emph{recognition process} of toric data like fans and polytopes. Third: building a mathematical framework for the algorithmic and computational approach to wps's realized in [23,24].

研究动机与目标

• 为非专家提供一份自包含的、关于加权射影空间（wps）的代数几何专论，弥合组合数学与代数几何之间的鸿沟。
• 利用赫米特标准形与横截矩阵运算，刻画定义wps的扇形与多面体，实现算法化构造。
• 建立wps上线丛上同调的计算框架，支持数学软件中的自动化处理。
• 提供wps扇形与多面体的识别程序，可验证给定的代数几何数据是否对应于一个wps。
• 通过凸几何方法推广Dolgachev的上同调结果，提供基于格点计数的可计算公式。

提出的方法

• 利用权向量 $Q^T$ 的赫米特标准形（HNF），构造一个扇形矩阵 $U$，使得 $U \cdot Q^T = B = (1,0,\ldots,0)^T$，从而将线性代数与代数几何数据相联系。
• 引入“加权横截过程”，通过转置扇形矩阵并在缩放后删除对应于选定权 $q_0$ 的列，从wps扇形生成一个极小极化多面体。
• 应用Serre–Grothendieck对偶性与定理4.8，将上同调计算简化为对多面体 $m\Delta$ 与 $-m\Delta$ 的面中格点的计数。
• 定义 $s(\mathbf{u},m)$ 为包含格点 $\mathbf{u}$ 的 $m\Delta$ 的最小面的维数，该值通过二项式系数确定上同调维数。
• 利用约化定理证明 $\mathbb{P}(Q) \cong \mathbb{P}(Q')$，当 $Q'$ 为约化权向量时，从而简化数据表示。
• 在数学软件中实现算法2.6，利用标准赫米特标准形算法计算wps扇形，支持手工计算与自动化处理。

实验结果

研究问题

• RQ1 如何利用线性代数，从权向量算法化重构加权射影空间的扇形？
• RQ2 何种条件可刻画定义极化加权射影空间的多面体？如何从其扇形构造该多面体？
• RQ3 如何利用凸几何与格点计数方法，计算加权射影空间上线丛的上同调？
• RQ4 Dolgachev的上同调公式与代数几何中的Bott–Tu公式之间在扇形框架下的精确关系为何？
• RQ5 在何种条件下，有理多面体 $m\Delta$ 不包含内部格点？这与上同调消失性有何关联？

主要发现

• 加权射影空间 $\mathbb{P}(Q)$ 的扇形由满足 $U \cdot Q^T = (1,0,\ldots,0)^T$ 的矩阵 $U$ 编码，其存在性由赫米特标准形算法保证。
• 通过加权横截过程，可构造 $\mathbb{P}(Q)$ 的极小极化多面体，该过程等价于转置扇形矩阵后，按权重缩放并删除对应于某权 $q_0$ 的列。
• 对于 $m \geq 0$，维数 $h^0\Omega^p(m)$ 等于所有格点 $\mathbf{u} \in M \cap m\Delta$ 的 $\binom{s(\mathbf{u},m)}{p}$ 之和，其中 $s(\mathbf{u},m)$ 为包含 $\mathbf{u}$ 的面的维数。
• 当 $0 < q < n$ 时，若 $m \neq 0$，则 $h^q\Omega^p(m) = 0$；若 $m = 0$，则 $h^q\Omega^p = 1$ 当且仅当 $q = p$，否则为 0。
• 当 $m \leq 0$ 时，$h^n\Omega^p(m) = \sum_{\mathbf{u} \in M \cap (-m)\Delta} \binom{s(\mathbf{u},-m)}{n-p}$，且 $h^n\Omega^p = 1$ 仅当 $p = n$ 且 $m = 0$ 时成立。
• 当 $\mathbb{P}(Q)$ 为Gorenstein时，$m\Delta$ 中的内部格点数等于 $(m - |Q|/\delta)\Delta$ 中的格点数，且对 $-|Q|/\delta < m < 0$，有 $h^n\mathcal{O}(m) = 0$，这意味着在 $0 \leq m < |Q|/\delta$ 时，$m\Delta$ 中无内部格点。