Mod p Monodromy of Cyclic Covers of the Projective Line

ステパノ・ネステロフの論文「射影直線の巡回被覆の mod p モノドロミー」の詳細な技術的概要を以下に示す。

1. 問題の定義

本論文は、射影直線 $\mathbb{P}^1$ の巡回分岐被覆の族に関連するモノドロミー表現の像を決定する問題に取り組んでいる。具体的には、$X$ を次数 $l$（奇素数）の巡回被覆とし、係数を有限体 $\mathbb{F}_p$ に取った場合の、これらの被覆の第一エタールコホモロジー群 $H^1_{\text{\'et}}(X; \mathbb{F}_p)$ に対する純ブレース群 $P_{n+1}$ の作用に焦点を当てる。

整数係数の場合については、以前にアクターとプライスによって像が整数環上のユニタリ群の有限指数部分群であることが示されていたが、本論文は「巨大モノドロミー」の結果をmod $p$ の設定に一般化することを目的としている。目標は、モノドロミーの像が「大きい」ことを証明することであり、具体的には素数 $p$ と $l$ の間の算術的関係に応じて、有限体上の特殊線形群または特殊ユニタリ群を含むことを示すことである。

2. 数学的設定と記法

• 被覆: 巡回被覆 $X_{\bar{a}, \bar{k}} \to \mathbb{P}^1$ は、方程式 $y^l = \prod_{i=0}^n (x-a_i)^{k_i}$ によって定義される。ここで、$a_i$ は相異なる分岐点であり、$k_i \in \{1, \dots, l-1\}$ である。
• モノドロミーベクトル: 組 $\bar{k} = (k_0, \dots, k_n)$ は固定される。分岐点の構成空間は $C_n$ であり、その基本群は $P_{n+1}$（純ブレース群）である。
• コホモロジー構造: コホモロジー $H^1_{\text{\'et}}(X; \mathbb{F}_p)$ は、デッキ変換 $\phi$（$T$ として作用する）の作用の下で分解する。関連する成分は、分円多項式 $\Phi_l(T) = T^{l-1} + \dots + 1$ の核であり、これは $\mathbb{F}_p[T]/(\Phi_l(T))$ 上の加群を形成する。
• 体の場合: $q$ を、$p$ 上の素イデアルにおける $\mathbb{Z}[\cos(2\pi/l)]$ の剰余体の位数とする。その振る舞いは $\frac{l-1}{\text{ord}_l(p)}$ の偶奇に依存する：
  • ユニタリの場合（奇数）: $p$ は $\mathbb{Z}[\zeta_l]$ において不分岐である。係数環は $\mathbb{F}_{q^2}$ であり、対象となる群は特殊ユニタリ群 $SU(n-1, q)$ である。
  • 線形の場合（偶数）: $p$ は $\mathbb{Z}[\zeta_l]$ において分解する。係数環は $\mathbb{F}_q \oplus \mathbb{F}_q$ であり、対象となる群は特殊線形群 $SL(n-1, q)$ である。

3. 手法

著者は、整数コホモロジーに対して用いられた証明戦略を適応させるが、有限体の制約を扱うために修正を加える。整数の場合に用いられたザリスキー稠密性の議論は、ここでは適用できないためである。

A. ガスネル表現

モノドロミー表現は、特殊化された縮小ガスネル表現 $\bar{g}_n(t_0, \dots, t_n)$ と同一視される。

• 参数 $t_i$ はモノドロミーベクトル $\bar{k}$ に対応する単位根である。
• この表現は、歪エルミート形式 $h$ を備えたベクトル空間に作用する。
• 既約性: 本論文は、この表現が絶対的に既約であることを示し（命題 4）、さらに重要なのは、パラメータがすべて 1 でない限り、非零の真の $\mathbb{F}_p$ 不部分空間を持たないことを示している（補題 2）。

B. 横断変換の生成

核心的な戦略は、ザレスキーの定理に依存しており、これは $GL(n, q)$の横断変換によって生成される既約部分群が、$SL$、$Sp$、または$SU$ に共役であることを述べている。証明は主に 2 つの段階で進行する：

1. 退化した場合（単一群根）:

   • 著者は、パラメータの積が 1 となるモノドロミーベクトルの部分列を考察する。これは、退化したエルミート形式（1 次元の核を持つ）に対応する。
   • 特定のブレース群要素の交換子を用いて（命題 5）、著者はモノドロミーの像が、この退化形式の等長群の単一群根を含むことを証明する。
   • この根は、核ベクトルに沿った横断変換から構成される。

2. 非退化の場合への持ち上げ:

   • 重要な革新（第 4 節）は、これらの横断変換を退化部分空間から完全な非退化空間へ持ち上げることである。
   • より大きなガスネル表現 $\bar{g}_{n+1}$ において「持ち上げられた」横断変換の交換子を構成することで、著者は特定の等方的ベクトルに沿ったすべてのユニタリ横断変換を生成する（命題 6）。
   • これにより、群の生成子を明示的に構成することで、ザリスキー稠密性の必要性を回避している。

C. 帰納的議論

• 基底の場合: 退化した場合で生成された横断変換と持ち上げの議論を用いて、著者は特定の構成において像が完全な特殊ユニタリ群または特殊線形群を含むことを証明する（定理 8）。
• 帰納的ステップ: 分岐点の順序を入れ替え、表現が原始的であるという事実（補題 3）を利用することで、著者は結果を超平面から完全な空間へ拡張する（定理 9）。
• 行列式の制御: 最後に、モノドロミー生成子の行列式が $l$ 乗根の単位根 $\mu_l$ の群を生成することが示され、像が一般線形群または一般ユニタリ群ではなく、「特殊」群（$SL$または$SU$）として固定される。

4. 主要な結果

定理 2（主要定理）:
$n \ge l+1$ とする。$P_{n+1}$ の関連するコホモロジー成分 $H^1(X_{\bar{a}}; \mathbb{F}_p)_{\pi_j=0}$ に対するモノドロミー表現の像は以下の通りである：

• $\frac{l-1}{\text{ord}_l(p)}$ が奇数の場合、$SU(n-1, q)$（特殊ユニタリ群）。
• $\frac{l-1}{\text{ord}_l(p)}$ が偶数の場合、$SL(n-1, q)$（特殊線形群）。
• 注: 群は、行列式が $\mu_l$ に属する行列として定義される。

定理 9:
特殊化されたガスネル表現の像が完全な特殊ユニタリ群または特殊線形群を含むことを保証するための、モノドロミーベクトル $\bar{k}$ に関する十分条件（具体的には、積が 1 となる部分列の存在）を提供する。

5. 意義と応用

• 一般化: この研究は、アクターとプライスの結果（次数 $l=2, 3$ を扱った）を、任意の奇素数次数 $l$ と任意の素数 $p$ に一般化するものである。
• 手法の転換: 位相的な稠密性の議論を、横断変換と交換子の明示的な代数的構成に置き換えることで、整数コホモロジーの証明を mod $p$ の設定に成功裏に適応させた。
• 逆ガロア理論: 主な動機は、特定のガロア群を持つ $\mathbb{Q}$ のガロア拡大を構成することである。
  • 「巨大モノドロミー」定理は、「巨大ガロア像」定理を意味する。
  • 著者は、これらの巡回被覆のヤコビアンねじれに対するガロア作用を解析することで、任意に大きな素数べき $q$ に対して、ガロア群が **$PSL(n, q)$** および **$PSU(n, q)$** に同型である無限個の$\mathbb{Q}$ の拡大を構成することを目指す。
  • これは、$\mathbb{Q}$ 上のガロア群としてリー型有限単純群を実現することに関する逆ガロア理論における主要な未解決問題に取り組むものである。

結論

ネステロフの論文は、$\mathbb{P}^1$ の巡回被覆のモノドロミーが mod $p$ の設定において「巨大」であることを厳密に証明している。モノドロミーの像が完全な特殊線形群またはユニタリ群を含むことを確立することで、本論文は、指定されたガロア群を持つ数体族を構成するための必要な基礎を築き、幾何学的モノドロミーと算術的ガロア理論の間の溝を埋めている。