[論文レビュー] Deformation data, Belyi maps, and the local lifting problem

Irene I. Bouw, Stefan Wewers+1 more|ArXiv.org|Jan 9, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 5

ひとこと要約

本稿は、Belyi マップの還元を用いて、正標数における良い変形データ（正標数における微分形式）の存在を示すことにより、位数 $p$ のSylow $p$-部分群をもつ有限群の局所的持ち上げ問題を解決する。主な結果は、このような変形データが存在するための必要十分条件が、剰余類および共役類に関する組合せ論的・群論的条件に依存することであり、この場合における持ち上げ問題は完全に解決される。

ABSTRACT

We prove existence and nonexistence results for certain differential forms in positive characteristic, called {\em good deformation data}. Some of these results are obtained by reduction modulo $p$ of Belyi maps. As an application, we solve the local lifting problem for groups with Sylow $p$-subgroup of order $p$.

研究の動機と目的

• 位数 $p$ の巡回群 $P$ と $p$ と互いに素な位数 $m$ の巡回群 $C$ からなる $G = P \rtimes C$ である有限群 $G$ に対する局所的持ち上げ問題を解決すること。
• このような群作用に関連する良い変形データ（所定の導手および $G$-不変性をもつ対数微分形式）の存在に関する必要十分条件を確立すること。
• 良い変形データの存在を、Belyi マップによる対称群内の特定の共役類三重組の実現可能性に結びつけること。
• Belyi モルフィズムの還元およびそれに関連する dessins d’enfant を用いて、変形データの幾何学的・代数的特徴づけを提供すること。

提案手法

• 体 $k$ 上の $\mathbb{P}^1_k$ 上に、対数的（$\omega = dg/g$）で、$h-1$ 順の単一の零点をもち、群 $C$ の特徴 $\chi$ による作用で変換される微分形式 $\omega = f(z)\,dz$ を構成する。
• 留数定理を用いて、$\omega$ の極における留数 $a_i \in \mathbb{F}_p^\times$ の和が 0 であることを示し、変形データの型 $\mathbf{a} = (a_1, \dots, a_r)$ を定義する。
• $a_i$ を整数 $A_i \in \mathbb{Z}$ に上げ、$\sum A_i = 0$ を満たすようにし、極と零点の位数が $A_i$ である有理関数 $g \in k(z)$ を関連付ける。
• $\psi(z) = z^2$ および $\phi(v) = \left(\frac{v-1}{v+1}\right)^2$ を用いて、$\tilde{g} = \phi \circ g \circ \psi^{-1}$ としてBelyi マップ $\tilde{g}: \mathbb{P}^1_k \to \mathbb{P}^1_k$ を構成し、$0, 1, \infty$ のみに分岐する写像を得る。
• 良い変形データの存在を、Grothendieck の dessins d’enfant の理論を用いて、$n = \sum A_i$ における対称群 $S_n$ 内の共役類三重組 $C({\mathbf{A}})$ の実現可能性に翻訳する。
• このような三重組が実現可能で $n < p$ であれば、型 $\mathbf{a}$ の良い変形データが存在することを示し、持ち上げ問題を解決する。

実験結果

リサーチクエスチョン

• RQ1 位数 $|P| = p$ で、導手 $h < p$ であるような局所的 $G$-作用は、すべて特徴 $0$ に持ち上がるか？
• RQ2 $\sum a_i = 0$ を満たす型 $\mathbf{a} = (a_1, \dots, a_r) \in (\mathbb{F}_p^\times)^r$ に対して、良い変形データが存在するための条件は何か？
• RQ3 Belyi マップを用いて、良い変形データの存在が、対称群内での共役類三重組の実現可能性に還元可能か？
• RQ4 Belyi マップの還元を用いた幾何的構成により、このような変形データの存在について、一様的かつ概念的な証明が得られるか？
• RQ5 $m=2$ の場合、$\mathbf{A}$ を $\mathbf{a}$ の上げとすると、$n < p$ のとき、三重組 $C({\mathbf{A}})$ が一意に良い変形データの存在を決定するか？

主な発見

• 位数 $|P| = p$ で導手 $h < p$ である局所的 $G$-作用は、導手 $h$ の良い変形データが存在する場合にかつその場合にのみ、特徴 $0$ に持ち上がる。
• $\sum a_i = 0$ を満たす任意の型 $\mathbf{a} = (a_1, \dots, a_r) \in (\mathbb{F}_p^\times)^r$ に対して、良い変形データが存在するための必要十分条件は、関連する共役類三重組 $C({\mathbf{A}})$ が $S_n$ で実現可能であり、$n < p$ であることである。
• $m=2$ の場合、$\mathbf{A} = (1,\dots,1,r)$ で $n = 2r-1$ とすると、三重組 $C({\mathbf{A}})$ は $n$-巡回置換、$r$-巡回置換、および $r-1$ 個の互いに素な互換の積からなり、同値類の意味で実現可能である。
• $r \geq 1$ かつ素数 $p > 2r-1$ のとき、$\mathbb{F}_p$ 上に型 $\mathbf{a} = (1,\dots,1,r)$ の良い変形データが一意に存在する。これは [3] の結果をより短い幾何的証明で確認する。
• Belyi マップと dessins d’enfant を用いた構成により、良い変形データを概念的かつ構成的に得る方法が提供され、代数的方程式系に対する手作業的解法に取って代わる。
• 本稿は、位数 $p$ のSylow $p$-部分群をもつ群に対する局所的持ち上げ問題を完全に解決し、正標数における群作用の長年の未解決問題を解消する。