The complex projective plane as a ball quotient

技術要約：ボール商としての複素射影平面

問題設定
本論文は、複素射影平面 $\mathbb{P}^2$ 上の「ボール商構造」の分類について扱う。具体的には、どの因子 $D$ が、複素 2-ボール $B^2$ からの商写像 $B^2 \to \mathbb{P}^2$（ここで商はラティス $\Gamma < \text{PU}(1,2)$ による）の分岐因子となり得るかを調査する。この研究は、因子 $D$ が滑らかな曲線の配置であり、それらが互いに正規交差（すなわち、任意の 2 つの成分は横断的に交わるが、3 つ以上の成分は 1 点で交わり得る）である場合に限定される。目標は、ボール商オービフォールドを形成するようなペア $(\mathbb{P}^2, D)$ をすべて決定することである。この問題は、$\mathbb{P}^1$ 上のボール商構造に関するポアンカレの 1882 年の分類に対する、自然な次元 2 のアナロジーとして提示されている。

手法
本論文は、複素双曲幾何学および複素反射群の理論から導出された数値的制約を組み合わせて用いる。その核心となる手法は以下の通りである：

1. 数値的不変量： 著者は、ヒルツェブルフの比例関係とエノキの結果を用いて、滑らかなコンパクト・オービフォールド $(X, D)$ に対する数値的不変量を定義する。具体的には、論文ではオービフォールド比例不変量 $\text{Prop}(X, D)$ と、曲線に特化した不変量 $\text{prop}_{(X,D)}(D_i)$ を定義する。滑らかなコンパクト・ボール商オービフォールドにおいて、これらの不変量は消失しなければならない（命題 3.9）。これらの不変量は、標準的な類 $K_X$、因子 $D$、および局所的な特異性の寄与を用いて表現される。
2. 特異性の分類： 解析は、滑らかな曲面上のオービフォールドの特異性が「反射群の特異性」でなければならないという事実に大きく依存している。シェバレー・シェパード・トッドの定理により、任意の特異点における局所群は複素反射群となる。本論文では、これら 2 次元における反射群のシェパード・トッド分類を利用して、可能なすべての局所的な特異性タイプを列挙し（表 1）、それらの具体的な数値的寄与（$\lambda_{x,D}$ および $\alpha_{x,D}$）を計算する。
3. 一様化定理： 特定の候補が実際にボール商であることを検証するために、本論文はコブヤシ・ナカムラ・サカイの定理（定理 3.12、これは ヤーの一様化定理のオービフォールド版である）を適用する。この定理は、滑らかなコンパクト・オービフォールド $(X, D)$ がボール商であるための必要十分条件は、$K_X + D$ が豊富（ample）であり、かつオービフォールド・チェルン数が $c_1^2(X, D) = 3c_2(X, D)$ を満たすことであると述べている。
4. ケース解析： 証明は、問題を直線数とそれらの重みに基づいて特定のケースへと還元することによって進められる。著者はまず、いかなる因子も直線配置でなければならないことを証明する（命題 4.2）。続いて、重みを制約し（命題 4.3）、不変量の消失条件を満たす直線と特異性の具体的な構成を列挙する。

主要な結果
主要な結果である定理 1.1 は、成分が滑らかで互いに正規交差するという仮定の下での、$\mathbb{P}^2$ 上のボール商因子の完全な分類を提供する。定理は、$(\mathbb{P}^2, D)$ がボール商オービフォールドであるための必要十分条件は、$D$ が以下の 2 つの配置のいずれかと射影的に同値であることだと述べている：

1. デリーニュ・モストウの例 ($D_Q$)： 4 つの 3 重点を伴う 6 本の直線からなる完全四角形。3 本の直線が 3 重点で交わる場合、それらの重みは 3 であり、残りの 3 本の直線の重みは 2 である。これは、デリーニュ・モストウの構成における重み $(\frac{5}{6}, \frac{5}{12}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4})$ に対応する。
2. デュアル・ヘッセ配置 ($D_H$)： 12 個の 3 重点を伴う 9 本の直線による配置であり、すべての直線は重み 2 を持つ。この構造は、写像 $(X:Y:Z) \mapsto (X^3:Y^3:Z^3)$ を通じて、デリーニュ・モストウの例の次数 9 のオービフォールド被覆として実現される。

本論文は、5 本未満の直線を持つ直線配置、重みが 2 または 3 以外の配置（豊富性または消失条件に失敗する特定の例外を除く）、および異なる特異性構成を持つ配置を含む、他のすべての構成を明確に排除している。

意義および主張
本論文は、成分が滑らかで、かつ互いに正規交差するという条件下において、デリーニュ・モストウの例 ($D_Q$) とデュアル・ヘッセ配置 ($D_H$) が唯一のボール商因子であることを示す最初の直接的な証明を提供すると主張している。$D_Q$ と $D_H$ がボール商であることは、デリーニュ・モストウのモジュライ空間の構成やトーマスス・ヘーファーの研究を通じて既知であったが、このクラスにおいて他の構成が存在しないという事実は新しい結果である。

著者は、「互いに正規交差」という仮定は、因子が正規交差因子（これは 3 重点を禁止する）であると仮定することよりも厳密に弱いものであると指摘している。この分類の帰結として、$\mathbb{P}^2$ 上のいかなる滑らかな正規交差因子も、ボール商因子にはなり得ない。また、本論文は、より複雑な特異性（例えば、 conic や非正規交差配置を含むもの）を持つボール商因子が存在することも認めているが、それらは本研究の分類の範囲外であり、それらを扱うには異なる手法が必要となる。

本研究は、ポアンカレによる $\mathbb{P}^1$ のボール商の分類を次元 2 へと一般化し、射影平面上のボール商オービフォールドに対して、ヒルツェブルフらによって研究された $\mathbb{P}^2$ の吹出し（blow-up）上のより柔軟な構成とは対照的な、硬直した構造的制約を確立している。