[论文解读] Modular representations on some Riemann-Roch spaces of modular curves X(N)

David Joyner, Amy Ksir|ArXiv.org|Feb 28, 2005

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

一句话总结

本文计算了在模曲线 $ X(N) $ 上，对于素数 $ N \geq 7 $ 的黎曼-罗赫空间 $ L(D) $ 的模表示结构，表明 $ L(D) $ 的 $ \mathrm{PSL}(2,N) $-模分解明确依赖于等变度数与显式计算出的分歧模 $ \widetilde{\Gamma}_G $。关键结果是给出了 $ \widetilde{\Gamma}_G $ 的公式，其不可约表示的重数仅依赖于 $ N \mod 24 $，并将其应用于代数几何码。

ABSTRACT

We compute the PSL(2,N)-module structure of the Riemann-Roch space L(D), where D is an invariant non-special divisor on the modular curve X(N), with N > 5 prime. This depends on a computation of the ramification module, which we give explicitly. These results hold for characteristic p if X(N) has good reduction mod p and p does not divide the order of PSL(2,N). We give as examples the cases N=7, 11, which were also computed using GAP. Applications to AG codes associated to this curve are considered, and specific examples are computed using GAP and MAGMA.

研究动机与目标

• 确定在模曲线 $ X(N) $ 上，对于素数 $ N \geq 7 $，黎曼-罗赫空间 $ L(D) $ 的 $ \mathrm{PSL}(2,N) $-模结构。
• 显式计算分歧模 $ \widetilde{\Gamma}_G $，该模通过博恩公式控制 $ L(D) $ 的表示论分解。
• 建立分歧模在不可约表示上的伽罗瓦作用下不变的条件，特别是当 $ N \equiv 1 \pmod{4} $ 时。
• 将结果应用于从 $ X(N) $ 构造与分析代数几何（AG）码，特别是 $ N = 7 $ 和 $ N = 11 $ 的情况。

提出的方法

• 使用博恩公式，将 $ L(D) $ 的 $ G $-模类表示为正则表示、等变度数与分歧模 $ \widetilde{\Gamma}_G $ 的组合，其中 $ G = \mathrm{PSL}(2,N) $。
• 通过分析 $ G $-不变除子及其在椭圆点与尖点处的分歧，显式计算分歧模 $ \widetilde{\Gamma}_G $。
• 应用从子群 $ H_1, H_2, H_3 $（对应于椭圆点与尖点的稳定子）诱导的特征标理论，将 $ \widetilde{\Gamma}_G $ 分解为不可约表示。
• 使用计算代数系统 GAP 与 Magma 验证并计算小 $ N $ 情况下的表示分解，包括 $ N = 7 $ 与 $ N = 11 $。
• 推导出 $ G $-不变除子 $ D $ 的等变度数 $ \deg_{\mathrm{eq}}(D) $ 的公式，这对于通过博恩公式重构 $ L(D) $ 作为 $ G $-模至关重要。
• 利用伽罗瓦作用在 $ G $ 的不可约特征标上的性质，分析 $ \widetilde{\Gamma}_G $ 的不变性，证明其在 $ \mathcal{G} $-作用下不变当且仅当 $ N \equiv 1 \pmod{4} $。

实验结果

研究问题

• RQ1 对于非特殊且 $ G $-不变的除子 $ D $，黎曼-罗赫空间 $ L(D) $ 在 $ X(N) $ 上的 $ \mathrm{PSL}(2,N) $-模结构如何分解？
• RQ2 分歧模 $ \widetilde{\Gamma}_G $ 的显式结构是什么？其不可约分量如何依赖于 $ N \mod 24 $？
• RQ3 在何种条件下，分歧模 $ \widetilde{\Gamma}_G $ 在 $ G $ 的不可约表示上的伽罗瓦作用下不变？
• RQ4 如何利用 $ L(D) $ 的表示论结构来构造与分析来自 $ X(N) $ 的代数几何码？
• RQ5 空间 $ H^0(X(N), \Omega^1) $ 如何分解为不可约 $ \mathrm{PSL}(2,N) $-模？

主要发现

• 分歧模 $ \widetilde{\Gamma}_G $ 显式分解为不可约 $ \mathrm{PSL}(2,N) $-模，每个不可约表示 $ \pi $ 的重数仅依赖于 $ \pi $ 与 $ N \mod 24 $。
• 当 $ N = 7 $ 时，分歧模的特征标次数为：$ [0, 3, 4, 6, 7, 8] $；当 $ N = 11 $ 时，为 $ [0, 5, 6, 11, 10, 12, 12, 12] $，其重数经 GAP 计算验证。
• 分歧模 $ \widetilde{\Gamma}_G $ 在伽罗瓦作用下不变当且仅当 $ N \equiv 1 \pmod{4} $，此时其结构得以简化。
• $ H^1(X(N), k) = L(K) \oplus \overline{L(K)} $，其中 $ K $ 为典范除子，其分解为不可约 $ G $-模，其重数可通过尖形式与尖点解释。
• 当 $ N = 7 $ 时，亏格为 3，$ L(D) $ 的 $ G $-模结构已完全计算，并应用于 $ \mathbb{F}_7 $ 上的 AG 码。
• 等变度数 $ \deg_{\mathrm{eq}}(D) $ 通过从阶为 2、3 与 $ N $ 的子群诱导的特征标计算，使得通过博恩公式完全重构 $ L(D) $ 为 $ G $-模成为可能。