[论文解读] Abstract configurations in algebraic geometry

Igor Dolgachev|ArXiv.org|Apr 18, 2003

graph theory and CDMA systems参考文献 31被引用 35

一句话总结

本文探讨了抽象配置——具有对称关联关系的组合结构——在代数几何中的表现，重点关注其在代数曲面和有限射影平面上的几何实现。研究表明，诸如法诺平面、库默尔配置和克雷莫纳-里希特配置等配置在代数几何中自然出现，尤其通过曲面上的纤维结构和曲线实现，例如在特征为2的K3曲面上，通过显式构造将它们与有限域及群作用联系起来。

ABSTRACT

An abstract $(v_k,b_r)$-configuration is a pair of finite sets of cardinalities $v$ and $b$ with a relation on the product of the sets such that each element of the first set is related to the same number $k$ of elements from the second set and each element of the second set is related to the same number $r$ of elements in the first set. An example of an abstract configuration is a finite geometry. In this paper we discuss some examples of abstract configurations and, in particular finite geometries, which one encounters in algebraic geometry.

研究动机与目标

• 研究抽象配置（尤其是对称和正则配置）在代数几何中的出现。
• 研究抽象配置在代数曲面上（特别是K3曲面和库默尔曲面）的几何实现。
• 将有限域上的有限射影平面与代数曲面上由曲线和纤维结构产生的配置联系起来。
• 分析此类配置的自同构群及其与经典群如PGL(3, F_q)的关系。
• 通过(−2)-曲线的关联配置及其交点性质，对特征为2的K3曲面进行刻画。

提出的方法

• 使用莱维图将抽象配置表示为二部图，其中黑色顶点表示点，白色顶点表示块。
• 通过代数曲面（特别是由 $x_0y_0^q + x_1y_1^q + x_2y_2^q = 0$ 定义的曲面 $X_q \subset \mathbb{P}^2 \times \mathbb{P}^2$ 及其对偶）构造配置的几何实现。
• 应用弗罗贝尼乌斯自同态 $\mathbf{F}$，将 $X_q$ 中的关联条件与 $\mathbb{P}^2(\mathbb{F}_{q^2})$ 中的线性条件联系起来。
• 分析 $X_q$ 上纤维 $R_a$ 与 $Q_b$ 的交点，证明在弗罗贝尼乌斯映射下，该配置同构于 $\textup{PG}(2,\mathbb{F}_{q^2})$。
• 使用邻接公式计算曲线的自交数，证明 $R_a^2 = -q$。
• 利用 $\textup{PGL}(3,\mathbb{F}_{q^2})$ 和交换自同构实现配置的对称性，其中陪集对应于通过弗罗贝尼乌斯幂实现的非实现实对称性。

实验结果

研究问题

• RQ1 抽象配置（如法诺平面和库默尔配置）如何在代数几何中自然出现？
• RQ2 哪些代数曲面支持有限射影平面作为不相交有理曲线或(−2)-曲线配置的几何实现？
• RQ3 弗罗贝尼乌斯自同态如何将曲面上的关联条件与有限射影平面上的线性条件联系起来？
• RQ4 如何通过其(−2)-曲线配置和纤维结构刻画特征为2的K3曲面？
• RQ5 哪些配置的自同构群可以在代数曲面上实现几何化？完整自同构群的结构是什么？

主要发现

• 由 $x_0y_0^q + x_1y_1^q + x_2y_2^q = 0$ 和 $y_0x_0^q + y_1x_1^q + y_2x_2^q = 0$ 定义的曲面 $X_q$ 是一个非奇异极小曲面，满足 $q(X_q) = 0$，$p_g(X_q) = \frac{1}{4}q^2(q-1)^2$，且 $K_{X_q}^2 = 2(q-2)^2(q^2+1)$。
• 在 $X_q$ 上，$q^4 + q^2 + 1$ 条不相交的有理曲线 $R_a$ 与同样数量的曲线 $Q_b$ 在弗罗贝尼乌斯映射 $\mathbf{F}^k$ 下实现 $\textup{PG}(2,\mathbb{F}_{q^2})$。
• 当 $q = 2$ 时，曲面 $X_2$ 是一个K3曲面，其Picard格子同构于 $U \perp D_{20}$，并允许一个雅可比拟椭圆纤维结构，其纤维类型为 $\tilde{D}_{20}$。
• K3曲面 $X_2$ 包含两组曲线 $\mathcal{A}$ 和 $\mathcal{B}$，每组包含21条不相交的$(-2)$-曲线，且 $\mathcal{A}$ 中每条曲线与 $\mathcal{B}$ 中恰好5条曲线以重数1相交。
• $\textup{Aut}(X_2)$ 是无限群，其包含一个由168个对合生成的正规子群，且商群同构于 $\textup{PGL}(3,\mathbb{F}_4) \cdot 2$。
• 类型为 $9_3$ 的塞瓦(3)配置在 $\mathbb{P}^2(\mathbb{F}_4)$ 中通过一个包含9个非零坐标点的子集实现，其对称群作为 $\textup{Aut}(X_2)$ 中一个阶为108的子群实现。