[论文解读] The local lifting problem for actions of finite groups on curves

Ted Chinburg, Robert M. Guralnick+1 more|ArXiv.org|Mar 2, 2009

Algebraic Geometry and Number Theory参考文献 9被引用 5

一句话总结

本文研究了正特征 p 下有限群作用在曲线上的局部提升问题，重点关注从 k[[t]] 提升到特征 0 时群作用的障碍。文章引入并分析了 KGB 障碍——当所有子群 H 的商曲线 X/H 与 Y/H 的亏格相等时该障碍消失——并证明对于 G = Z/p × Z/p，KGB 障碍当且仅当 p ≠ 3 时消失，从而为广义 Oort 猜想提供了关键反例。

ABSTRACT

Let $k$ be an algebraically closed field of characteristic $p > 0$. We study obstructions to lifting to characteristic 0 the faithful continuous action $ϕ$ of a finite group $G$ on $k[[t]]$. To each such $ϕ$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $ϕ$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic 0 in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H \subset G$. We determine for which $G$ the KGB obstruction of every $ϕ$ vanishes. We also consider analogous problems in which one requires only that an obstruction to lifting $ϕ$ due to Bertin vanishes for some $ϕ$, or for all sufficiently ramified $ϕ$. These results provide evidence for a strengthening of Oort's lifting conjecture.

研究动机与目标

• 确定哪些有限群 G 能够将所有局部作用 φ: G → Aut(k[[t]]) 提升到特征 0。
• 分析 KGB 障碍，即对所有 H ≤ G 满足 genus(X/H) = genus(Y/H) 的条件，并确定其何时消失。
• 比较 Bertin 障碍与 KGB 障碍，并厘清其在局部提升背景下的关系。
• 通过识别所有足够高度分支的局部作用均能提升的群，为加强版 Oort 猜想提供证据。

提出的方法

• 使用 Katz-Gabber 定理，为每个在 k[[t]] 上的局部作用 φ 关联一个定义在 k 上的光滑射影曲线 Y。
• 将 KGB 障碍定义为：存在一个特征 0 上的提升 X，使得对所有 H ≤ G 都有 genus(X/H) = genus(Y/H)。
• 应用 Hasse-Arf 定理分析伽罗瓦群上编号的分歧过滤与跳跃数。
• 将问题简化为分析循环子群及其生成元，特别是在 G = Z/p × Z/p 的情形下。
• 通过幂级数扩张和单位根构造显式例子，以计算 φ(σ)(t) − t 的赋值。
• 利用涉及阶为 p 的子群生成元乘积的群论条件，判断 KGB 障碍是否消失。

实验结果

研究问题

• RQ1 对于哪些有限群 G，KGB 障碍对每个局部作用 φ: G → Aut(k[[t]]) 都消失？
• RQ2 当 p = 3 时，G = Z/p × Z/p 的 KGB 障碍是否消失？若不消失，原因是什么？
• RQ3 Bertin 障碍与 KGB 障碍之间有何关系？它们在一般情况下是否等价？
• RQ4 在何种条件下，KGB 障碍对足够高度分支的作用消失？
• RQ5 是否存在一个有限群 G，使得 KGB 障碍消失但 Bertin 障碍不消失？

主要发现

• 对于 G = Z/p × Z/p，KGB 障碍当且仅当 p ≠ 3 时消失。
• 当 p = 3 且 i₀ + 1 = p 时，KGB 障碍不消失，从而为广义 Oort 猜想提供了反例。
• 当 i₀ + 1 > p 时，对所有 G = Z/p × Z/p，KGB 障碍都消失，原因在于每个子群存在多个生成元，使得乘积恒等式成立。
• 当 i₀ + 1 = p 且 G_{i₀+1} = {e} 时，KGB 障碍仅在 p ≠ 3 时消失，这是由于在 (Z/p)× 中不存在满足某方程组的解。
• KGB 障碍严格强于 Bertin 障碍：存在 Bertin 障碍消失但 KGB 障碍不消失的作用。
• 本文在特征 3 下构造了一个显式例子，其中 Bertin 障碍消失但 KGB 障碍不消失，从而证实了二者不等价。