[论文解读] On the canonical representation of curves in positive characteristic

Ruthi Hortsch|arXiv (Cornell University)|Dec 7, 2011

Algebraic Geometry and Number Theory参考文献 22被引用 6

一句话总结

该论文证明了在特征 $ p > 2 $ 下，曲线 $ y^2 = x^p - x $ 的自同构群的典范表示是不可约的，且随着 $ p $ 增大，其亏格无界。利用 $ \mathrm{SL}_2(\mathbb{F}_p) $ 的表示理论，证明了全纯1-形式空间在群作用下不可约，并进一步表明德雷姆上同调是不可分解的但非投射的，从而解决了正特征代数几何中的一个关键问题。

ABSTRACT

Given a smooth curve, the canonical representation of its automorphism group is the space of global holomorphic differential 1-forms as a representation of the automorphism group of the curve. In this paper, we study an explicit set of curves in positive characteristic with irreducible canonical representation whose genus is unbounded. Additionally, we study the implications this has for the de Rham hypercohomology as a representation of the automorphism group.

研究动机与目标

• 研究正特征下光滑曲线自同构群典范表示的结构。
• 确定在正特征下，具有不可约典范表示的曲线是否可以具有任意大的亏格。
• 分析作为自同构群表示的德雷姆上同调，特别是其可分解性。
• 将已知的典范表示结果推广至非分歧及 $ p $-幂阶的情形之外。

提出的方法

• 在特征 $ p > 2 $ 的代数闭域上分析曲线 $ X: y^2 = x^p - x $，其亏格为 $ g = (p-1)/2 $。
• 将自同构群 $ G $ 识别为 $ \mathrm{PGL}_2(\mathbb{F}_p) $ 的2次中心扩张，并明确给出其在仿射坐标上的作用。
• 将典范表示限制到子群 $ H \cong \mathrm{SL}_2(\mathbb{F}_p) $ 上，证明其同构于标准表示在 $ k^2 $ 上的第 $ (g-1) $ 重对称幂。
• 利用标准表示对称幂的不可约性，得出 $ H^0(X, \Omega^1_{X/k}) $ 作为 $ k[G] $-模是不可约的。
• 应用塞尔对偶性，并构造对偶基以分析德雷姆上同调正合列的可分解性。
• 利用 $ T $ 和 $ \sigma $ 的群作用推导潜在分裂的特征值约束，导致矛盾，从而证明不可分解性。

实验结果

研究问题

• RQ1 在正特征下，曲线是否可以具有任意大亏格的不可约典范表示？
• RQ2 当特征整除群阶时，曲线的德雷姆上同调作为其自同构群表示的行为如何？
• RQ3 $ y^2 = x^p - x $ 的德雷姆上同调作为 $ k[G] $-模是可分解还是不可分解的？
• RQ4 当覆盖 $ X \to X/G $ 是强烈分歧时，典范表示是否仍保持不可约？

主要发现

• 在特征 $ p > 2 $ 下，曲线 $ y^2 = x^p - x $ 的典范表示 $ H^0(X, \Omega^1_{X/k}) $ 作为 $ k[G] $-模是不可约的。
• 随着 $ p $ 增大，曲线的亏格 $ g = (p-1)/2 $ 无界，表明在正特征下，不可约典范表示可出现在任意大的亏格上。
• 尽管德雷姆上同调 $ H^1_{\mathrm{dR}}(X/k) $ 是可约的，但其作为 $ k[G] $-模是不可分解的，原因在于典范正合列不可分裂。
• 该表示是非投射的，因为西罗 $ p $-子群的阶（即 $ p $）不整除维数 $ 2g = p-1 $，违反了投射性的必要条件。
• 在德雷姆上同调的范畴中，$ G $ 在1-形式空间上的作用不是半单的，因为上同调序列的分裂在 $ k[G] $-模范畴中不存在。
• 证明依赖于 $ T $-作用的特征值约束以及群作用公式中非零系数的存在，若存在分裂则将导致矛盾。