Enumerative geometry of skew lines in $\mathbb P^3$ with a given associated finite group

技术摘要：具有给定相关有限群的 $\mathbb{P}^3$ 中偏斜直线（Skew Lines）的枚举几何学

问题陈述
本文研究了在代数封闭域 $K$ 上的射影三维空间 $\mathbb{P}^3_K$ 中，互不相交（pairwise skew）直线有限集的分类问题。虽然对于有限域，此类集合的分类是有限的（这些集合被称为铺展/spreads），但在像 $\mathbb{C}$ 这样的无限域上，即使是对于四个偏斜直线的集合，也存在无穷多个射影等价类。作者研究了一个特定的枚举问题：根据其“相关群” $G_L$ 来对偏斜直线集 $L$ 进行分类。

对于任何由 $s \geq 3$ 条偏斜直线组成的有限集 $L$，都会关联一个群组（groupoid）$G_L$，其对象是这些直线，而态射是由三条偏斜直线所诱导的同构构成的。该群组中任何一条直线的自同构群 $G_L \subset \text{Aut}(L_i) \cong \text{PGL}_2(K)$ 是该配置的一个射影不变量。核心问题是：对于一个固定的有限子群 $G \subset \text{PGL}_2(K)$，是否存在可能的配置 $L$ 使得 $G_L \cong G$？本文特别关注 $G$ 为有限非阿贝尔群（具体为 $A_4, S_4, A_5$）的情况，在这些情况下，以往依赖于横截线（transversals，即与 $L$ 中所有成员相交的直线）的分类方法失效了。

方法论
作者利用了前人工作 [4] 中开发的偏斜直线的矩阵描述。通过固定三条偏斜直线 $L_\infty, L_0, L_{I_2}$（其中 $L_{I_2}$ 对应单位矩阵），任何与 $L_\infty$ 和 $L_0$ 不相交的直线 $L$ 都可以唯一地表示为矩阵 $M \in \text{GL}_2(K)$ 的函数 $L_M$。

• 偏斜条件： 两条直线 $L_M$ 与 $L_N$ 是偏斜的，当且仅当 $M - N$ 是可逆的。
• 群生成： 群 $G_L$ 由定义直线的矩阵集合 $\{M_i\}$ 的射影类及其差值 $\{M_i - M_j\}$ 的射投影类生成。
• 归一化： 利用任何三条偏斜直线在射影意义下都是等价的这一事实，作者将配置归一化为包含 $L_\infty, L_0, L_{I_2}$。他们研究了满足 $M$ 及其差值的类生成特定有限群 $G$ 的矩阵 $M$ 的集合。

主要贡献与结果

1. 有限性界限（定理 3.2）：
   本文建立了一个结论：对于任何固定的有限非平凡子群 $G \subset \text{PGL}_2(K)$，存在唯一的最小有限直线集 $M_G$，使得任何满足 $G_L = G$ 的配置 $L$ 都是 $M_G$ 的子集。作者推导出了该集合的一个显式上界：
   $$|M_G| \leq (|G| - 1)^2(|G| - 2) + 2$$
   该结果意味着，对于给定的 $G$，此类配置的分类问题是有限的。因此，推论 3.4 指出，如果 $\mathbb{P}^3_\mathbb{C}$ 中的一组偏斜直线包含超过 201,900 条，则其相关群必须是无限群或有限循环群（从而排除了 $A_4, S_4, A_5$ 等有限非阿贝尔群）。

2. $A_4$ 的分类（定理 4.3）：
   对于特征为 0 的情形下的交替群 $A_4$，作者证明了存在唯一的具有 $G_L \cong A_4$ 的偏斜直线配置的射影等价类。

• 基数： 该唯一集合恰好由 5 条直线组成。
• 结构： 该集合为 $\{L_\infty, L_0, L_{I_2}, L_U, L_V\}$，其中 $U$ 和 $V$ 是 $A_4$ 中阶数为 3 的矩阵，且其乘积 $UV$ 的阶为 2。
• 对称性： 置换这 5 条直线的射影自同构群同构于 $S_5$。

3. $S_4$ 的分类（定理 5.6）：
   对于对称群 $S_4$，分类更为复杂，会根据直线数量产生多个射影等价类。

• 最小情况 ($s=5$)： 存在一个具有 $S_4$ 群的 5 条偏斜直线的唯一射影等价类。
• 极大情况：
  • 对于 7 条直线（极大不可扩展集），存在 8 个配置的共轭类。
  • 对于 10 条直线（极大集），存在唯一的射影等价类。
• 中间情况： 对于包含 6、8 或 9 条直线的集合，论文指出存在至少两个不同的射影等价类，但未提供完整的枚举。
• 几何区分： 作者展示了 $S_4$ 的 10 条直线配置恰好包含 10 个各包含 4 条直线的二次曲面，而某些 7 条直线的配置则不包含任何包含 4 条直线的二次曲面。

4. 兼容图（Compatibility Graphs）：
   作者引入了兼容图，其中顶点代表候选矩阵，边代表两个矩阵之差的射影类属于目标群的条件。他们利用这些图来识别“团”（cliques，即相互兼容的直线集合），这些集合生成目标群 $G$。对于 $S_4$，他们识别出了 9 个大小为 8 的极大团（对应于包含固定的三条直线在内的 10 条直线）和 70 个大小为 5 的极大团（对应于 7 条直线）。

意义与动机
本文声称提供了对具有有限非阿贝尔相关群的偏斜直线进行分类的首个系统性基础。以往的工作 [2] 主要通过横截线（与集合中所有成员相交的直线）的存在性来对阿贝尔情形进行分类，而这一性质在非阿贝尔群的情况下并不成立。通过将重点转向群 $G_L$ 并利用矩阵差值条件，作者绕过了对横截线的需求。

这项工作受到 “geproci” 集（General Projection is a Complete Intersection，一般投影为完全交集）研究的启发，geproci 集是指在 $\mathbb{P}^3$ 中，其向平面进行一般投影后为完全交集的有限点集。正如文献 [2] 所指出的，geproci 集通常作为偏斜直线上的点构成的群组轨道出现。对具有非阿贝尔群的直线进行分类，是完整分类此类配置产生的 geproci 集的必要步骤。论文最后指出，尽管关于直线数量的理论界限很大，但针对特定非阿贝尔群的实际最小和最大配置却出人意料地小且具有刚性，通常仅允许唯一的射影等价类。