2025-11-25T05:13:24.235571

On equations of fake projective planes with automorphism group of order $21$

Borisov

We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective planes with this automorphism group. This includes, in particular, the fake projective plane discovered by J. Keum.

academic

自己同型群の位数が21である偽射影平面の方程式について

基本情報

論文ID: 2109.02070
タイトル: On equations of fake projective planes with automorphism group of order $21$
著者: Lev Borisov (Rutgers University)
分類: math.AG (代数幾何)
掲載誌: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 17
論文リンク: https://arxiv.org/abs/2109.02070

要約

本論文は二重および三重ファイバーを持つDolgachev楕円曲面を研究し、21個の自己同型を持つ偽射影平面の新しい2対の明示的方程式を発見することで、この自己同型群を持つ偽射影平面の明示的方程式を求める問題を完成させた。これは特にJ. Keumが発見した偽射影平面を含む。

研究背景と動機

問題の背景

偽射影平面理論の起源: 偽射影平面理論はD. Mumfordの著名な例に始まり、彼は通常の射影平面 $\mathbb{CP}^2$ と同じHodge数を持つ一般型曲面を構成したが、その構成方法は明示的方程式を与えなかった。
分類結果: 複数の研究者の研究を経て、D. CartwriteとT. Stegerはすべての偽射影平面の分類を完成させ、正確に50対の共役な曲面が28個のクラスに分類されることを確定した。これらの曲面は複素2次元球 $B^2 = \{(z_1, z_2), |z_1|^2 + |z_2|^2 < 1\}$ がある離散算術部分群による自由商として分類される。
明示的方程式の課題: 分類は完全であるが、この分類は多項式方程式をもたらさない。なぜなら、これらの群の明示的な保型形式を構成する既知の方法がないからである。

研究の動機

明示化の必要性: 近年、著者は偽射影平面および関連曲面を定義する明示的多項式方程式を発見することを目標とする複数の共同プロジェクトに参加している。
自己同型群の役割: 非自明な自己同型群を持つ偽射影平面は探索のための道を提供する。なぜなら対称性は計算を簡素化するからである。
分類の完成: Cartwright-Steger分類によれば、偽射影平面の自己同型群の最大位数は21であり、この大きさの自己同型群を持つ偽射影平面の3対の共役が存在する。本論文は残りの2対の明示的方程式を見つけることを目指している。

核心的貢献

2対の新しい偽射影平面の構成: 21個の自己同型を持つ2対の偽射影平面の明示的方程式を発見
21次自己同型群の分類の完成: J. Keumが発見した偽射影平面を含む、21次自己同型群を持つすべての偽射影平面の明示的構成を完成
新しい構成方法の開発: Dolgachev楕円曲面の研究を通じて体系的な構成フレームワークを確立
具体的多項式方程式の提供: $\mathbb{CP}^9$ において84個の3次方程式で定義される偽射影平面の明示的表現を提供

方法の詳細

タスク定義

21次自己同型群を持つ偽射影平面の明示的多項式方程式を求める。特に：

$(a = 7, p = 2, \{7\}, D_3^{27})$ : Keumが構成した曲面
$(C_{20}, p = 2, \emptyset, D_3^{27})$ : 第3の曲面

核心的構成フレームワーク

1. 幾何的設定

21次自己同型群のすべての3つの場合において、 $P^2_{fake}/C_7$ の商の最小解析化 $Y$ は特殊な幾何構造を持つ：

$\frac{1}{3}(1,7)$ 型の3つの特異点が、剰余 $C_3$ の作用により置換される
最小解析化は3つの互いに素なチェーンを持つ： $S - B - C$ , $S_1 - B_1 - C_1$ , $S_2 - B_2 - C_2$
$Y$ は $\mathbb{CP}^1$ へ繊維化し、2つの多重ファイバー、3つのノード型ファイバーおよび1つの $I_9$ 型ファイバーを持つ

2. 環構造分析

環 $R = \bigoplus_{a,b \geq 0} H^0(Y, \mathcal{O}(aF + bS))$ を考察し、その次数付き次元を計算： $\sum_{a,b \geq 0} \dim H^0(Y, \mathcal{O}(aF + bS)) s^b t^a = \frac{1+2st^4 +2st^5 + s^2t^9}{(1-t^2)(1-t^3)(1-s)(1-st^3)}$

これは $R$ が環 $\mathbb{C}[u_0, u_1, v_1, v_2]$ 上の6次の次数付き自由加群構造を持つことを示す。

構成ステップ

ステップ1: 9パラメータ族の構成

有理6-切断 $S$ を持つ $(2,3)$ -Dolgachev曲面の9パラメータ族を構成する。一般的なメンバーは二重および三重ファイバーに加えて、12個の異なる特異ノード型ファイバーを持つ。方程式は重み $3 \times (2,8)$ 、 $3 \times (2,9)$ および $3 \times (2,10)$ の9つの2次式として定義される。