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

技術要約：与えられた有限群を伴う $\mathbb{P}^3$ 内のねじれ線の列挙幾何学

問題設定
本論文は、代数閉体 $K$ 上の射影3次元空間 $\mathbb{P}^3_K$ における、互いに素な（ねじれ）直線（skew lines）の有限集合の分類を取り扱う。有限体においては、このような集合は「スプレッド（spread）」として知られており、その分類は有限であるが、$\mathbb{C}$ のような無限体の場合、たとえ4本のねじれ線の集合であっても、射影同値類は無限に存在する。著者らは、特定の列挙問題、すなわち、その「随伴する群」$G_L$ に基づいてねじれ線の集合 $L$ を分類する問題について研究している。

任意の $s \geq 3$ 本のねじれ線の集合 $L$ に対して、群擬型（groupoid）$G_L$ が随伴する。ここで、対象（objects）は直線であり、射（morphisms）は3本のねじれ線の幾何学によって誘導される同型写像である。この群擬型における任意の直線の自己同型群 $G_L \subset \text{Aut}(L_i) \cong \text{PGL}_2(K)$ は、構成の射影不変量となる。中心となる問いは、固定された有限部分群 $G \subset \text{PGL}_2(K)$ に対して、 $G_L \cong G$ となるような構成 $L$ はどのようなものか、という点である。本論文では、特に $G$ が有限かつ非可換である場合（具体的には $A_4, S_4, A_5$）に焦点を当てている。これは、横断線（すべてのメンバーと交わる直線）に依存する従来の分類手法が失敗したケースである。

手法
著者らは、先行研究 [4] で開発された、ねじれ線の行列による記述を利用する。3本のねじれ直線 $L_\infty, L_0, L_{I_2}$ （ここで $L_{I_2}$ は単位行列に対応する）を固定すると、 $L_\infty$ および $L_0$ と交わらない任意の直線 $L$ は、行列 $M \in \text{GL}_2(K)$ を用いて一意に $L_M$ として表される。

• ねじれ条件： 2つの直線 $L_M$ と $L_N$ がねじれているための必要十分条件は、$M - N$ が可逆であることである。
• 群の生成： 群 $G_L$ は、直線によって定義される行列 $\{M_i\}$ の射影類およびそれらの差 $\{M_i - M_j\}$ のクラスによって生成される。
• 正規化： 任意の3本のねじれ直線は射影的に同値であるという事実を利用して、構成を $L_\infty, L_0, L_{I_2}$ を含むように正規化する。著者らは、行列 $M$ とその差のクラスが特定の有限群 $G$ を生成するような行列 $M$ の集合を研究する。

主要な貢献と結果

1. 有限性の境界（定理 3.2）：
   本論文は、固定された有限かつ非自明な部分群 $G \subset \text{PGL}_2(K)$ に対して、 $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本の集合については、少なくとも2つの異なる射影同値類の存在が記されているが、完全な列挙は行われていない。
• 幾何学的区別： 著者らは、$S_4$ の10本の直線からなる構成が、4本の直線を含む10個の二次曲面（quadric surfaces）を持つことを示している。一方で、特定の7本の直線からなる構成は、4本の直線を含む二次曲面を持たない。

4. 適合グラフ（Compatibility Graphs）：
   著者らは、候補となる行列を頂点とし、2つの行列の差が目標とする群の要素に射影されることを辺とする適合グラフを導入している。これらを用いて、群 $G$ を生成する「クリーク（clique）」（互いに適合する直線の集合）を特定している。$S_4$ については、サイズ8の極大クリーク9個（固定された3本を含む10本の直線に対応）と、サイズ5の極大クリーク70個（7本の直線に対応）を特定している。

意義と動機
本論文は、有限非可換な随伴群を持つねじれ線の分類のための、最初の体系的な基礎を提供すると主張している。先行研究 [2] は、主に横断線の存在（集合の全メンバーと交わる直線）を用いたアベル型（可換）の場合の分類を行ってきたが、この性質は非可換群では成立しない。随伴する群 $G_L$ に焦点を当て、行列の差の条件を利用することで、著者らは横断線の必要性を回避している。

本研究は、「geproci」集合（General Projection is a Complete Intersection：一般射影が完全交差となるもの）の研究によって動機付けられている。これは、$\mathbb{P}^3$ 内の点の有限集合であり、平面への一般的な射影が完全交差となるものである。[2] で指摘されているように、geproci 集合はしばしば、ねじれ直線上の点の群擬型軌跡として現れる。非可換群を持つこのような構成から生じる geproci 集合を完全に分類するためには、非可換群を持つねじれ線の分類が不可欠なステップとなる。本論文は、理論的な直線の境界値は大きいものの、特定の非可換群に対する実際の最小および最大構成は驚くほど小さく硬直的であり、しばしば一意の射影同値類を持つことを結論づけている。