[論文レビュー] 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

ひとこと要約

本稿は、素数 $ N \geq 7 $ に対して、モジュラー曲線 $ X(N) $ 上のリーマン・ロッホ空間 $ L(D) $ のモジュラー表現構造を計算し、$ \mathrm{PSL}(2,N) $-加群としての $ L(D) $ の分解が、同変次数と明示的に計算された分岐加群 $ \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.

研究の動機と目的

• 素数 $ N \geq 7 $ に対して、モジュラー曲線 $ X(N) $ 上のリーマン・ロッホ空間 $ L(D) $ の $ \mathrm{PSL}(2,N) $-加群構造を特定すること。
• Borneの公式を用いて、$ L(D) $ の表現論的分解を支配する分岐加群 $ \widetilde{\Gamma}_G $ を明示的に計算すること。
• 分岐加群 $ \widetilde{\Gamma}_G $ が、$ G $ の既約表現のガロア作用に関して不変となる条件を確立すること、特に $ N \equiv 1 \pmod{4} $ の場合に成立することを示すこと。
• 得られた結果を、$ X(N) $ からの代数幾何（AG）コードの構成と解析に応用すること。特に $ N = 7 $ および $ N = 11 $ の場合に焦点を当てる。

提案手法

• Borneの公式を用いて、$ 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 $ を含む）の表現分解を検証・計算する。
• 同変次数 $ \deg_{\mathrm{eq}}(D) $ の公式を導出し、$ G $-不変除数 $ D $ に対して $ L(D) $ を $ G $-加群として再構成する上で不可欠な役割を果たす。
• $ G $ の既約キャラクターのガロア作用を用いて $ \widetilde{\Gamma}_G $ の不変性を分析し、$ \widetilde{\Gamma}_G $ が $ \mathcal{G} $-不変であるのは $ N \equiv 1 \pmod{4} $ の場合に限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 非特異的かつ $ G $-不変な除数 $ D $ に対して、$ X(N) $ 上のリーマン・ロッホ空間 $ L(D) $ の $ \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 $ の場合、 genus は 3 であり、$ G $-加群としての $ L(D) $ の構造が完全に計算されており、$ \mathbb{F}_7 $ 上のAGコードへの応用がある。
• 同変次数 $ \deg_{\mathrm{eq}}(D) $ は、位数 2, 3, $ N $ の部分群からの誘導キャラクターを用いて計算され、Borneの公式により $ L(D) $ を $ G $-加群として完全に再構成可能である。