[论文解读] 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图的约化，证明了存在良好的形变数据——在正特征下定义的微分形式——从而解决了有限群的局部提升问题，其Sylow $p$-子群阶为 $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$.

研究动机与目标

• 解决有限群 $G = P \rtimes C$ 的局部提升问题，其中 $P$ 是阶为 $p$ 的循环群，$C$ 是与 $p$ 互素的阶为 $m$ 的循环群。
• 建立与此类群作用相关的良好形变数据（具有指定分歧指数和等变性的对数微分形式）存在的必要与充分条件。
• 通过Belyi图将良好形变数据的存在性与对称群中某些共轭类三元组的实现性联系起来。
• 通过Belyi态射及其关联的dessins d’enfant的约化，提供形变数据的几何与代数刻画。

提出的方法

• 在 $\mathbb{P}^1_k$ 上构造一个微分形式 $\omega = f(z)\,dz$，使其为对数形式（即 $\omega = dg/g$），具有单个阶为 $h-1$ 的零点，并在 $C$ 的作用下通过特征 $\chi$ 变换。
• 利用留数定理，证明 $\omega$ 的极点处的留数 $a_i \in \mathbb{F}_p^\times$ 之和必须为零，从而定义形变数据的类型 $\mathbf{a} = (a_1, \dots, a_r)$。
• 将留数 $a_i$ 提升为整数 $A_i \in \mathbb{Z}$，满足 $\sum A_i = 0$，并关联一个具有阶为 $A_i$ 的极点与零点的有理函数 $g \in k(z)$。
• 通过复合 $\tilde{g} = \phi \circ g \circ \psi^{-1}$ 构造一个Belyi图 $\tilde{g}: \mathbb{P}^1_k \to \mathbb{P}^1_k$，其中 $\psi(z) = z^2$ 且 $\phi(v) = \left(\frac{v-1}{v+1}\right)^2$，从而得到仅在 $0, 1, \infty$ 处分支的映射。
• 将良好形变数据的存在性转化为在对称群 $S_n$ 中三元组共轭类 $C({\mathbf{A}})$ 的实现性，其中 $n = \sum A_i$，借助Grothendieck的dessins d’enfant理论。
• 证明：若此类三元组可实现且 $n < p$，则存在类型为 $\mathbf{a}$ 的良好形变数据，从而解决提升问题。

实验结果

研究问题

• RQ1 每个满足 $G = P \rtimes C$，$|P| = p$ 且分歧指数 $h < p$ 的局部 $G$-作用是否都能提升到特征零？
• RQ2 对于类型 $\mathbf{a} = (a_1, \dots, a_r) \in (\mathbb{F}_p^\times)^r$ 且 $\sum a_i = 0$ 的剩余类，何种条件可保证良好形变数据的存在？
• RQ3 能否通过Belyi图将良好形变数据的存在性约化为对称群中三元组共轭类的实现性？
• RQ4 是否存在一种几何构造方法——通过Belyi图的约化——为这类形变数据提供统一且概念性的存在性证明？
• RQ5 在 $m=2$ 的情形下，对于提升 $\mathbf{A}$ 对应的三元组共轭类 $C({\mathbf{A}})$，当 $n < p$ 时，是否唯一确定良好形变数据的存在性？

主要发现

• 当 $|P| = p$ 且分歧指数 $h < p$ 时，局部 $G$-作用可提升到特征零，当且仅当存在类型为 $h$ 的良好形变数据。
• 对任意类型 $\mathbf{a} = (a_1, \dots, a_r) \in (\mathbb{F}_p^\times)^r$ 满足 $\sum a_i = 0$，良好形变数据存在当且仅当关联的共轭类三元组 $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的构造提供了一种概念性且构造性的方法来生成良好形变数据，取代了以往针对方程组的特殊代数解法。
• 本文为Sylow $p$-子群阶为 $p$ 的群的局部提升问题提供了完整解法，解决了正特征群作用中长期存在的问题。