$\mathbb P^3$ 中斜线的组合结构及其在代数几何中的应用

本文引入了 $\mathbb{P}^3$ 中斜线构型下一种此前未被认识的组合结构，并揭示了它与代数几何中 geproci 集概念的深刻而令人惊讶的联系。给定任意域 $\mathbb{K}$ 及 $\mathbb{P}^3_\mathbb{K}$ 中由 3 条或更多斜线组成的有限集 $\mathcal L$，我们为其关联一个群 $G_{\mathcal L}$ 与一个群胚 $C_{\mathcal L}$，其对并集 $\cup_{L\in\mathcal L}L$ 的作用给出具有丰富组合结构的轨道。我们刻画了 $G_{\mathcal L}$ 为阿贝尔群的条件，并给出了其有限性方面的部分结果。引入了\emph{共线完备}子集的概念，并证明其恰对应于群胚轨道的并。在 $\mathbb{K}$ 为有限域且 $\mathcal L$ 为 $\mathbb{P}^3_\mathbb{K}$ 中一个完全散布（即 $\mathbb{P}^3_\mathbb{K}$ 每点均位于 $\mathcal{L}$ 中某条线上）的情形，我们证明 $G_{\mathcal L}$ 为阿贝尔群刻画了由 Hopf 纤维化纤维给出的经典散布。在任意代数闭域上，我们确立 $C_{\mathcal L}$-轨道的有限并是 geproci 集——即其到平面的一个一般投影为完全交的有限集。进一步，我们证明了一个逆定理：若 $\mathbb{K}$ 代数闭且 $Z \subset \mathbb{P}^3_\mathbb{K}$ 是一个 geproci 集，由 $s \geq 3$ 条斜线 $\mathcal L$ 上每条 $m$ 个点组成，且 $Z$ 的一般投影为型 $(m, s)$ 的完全交，则 $Z$ 是 $C_{\mathcal L}$ 轨道的有限并。本工作从而揭示了支配 geproci 集的深刻组合框架，为关联组合学与代数几何提供了新桥梁。