[论文解读] Computing Congruences of Modular Forms and Galois Representations Modulo Prime Powers

Xavier Taixés i Ventosa, Gabor Wiese|arXiv (Cornell University)|Sep 15, 2009

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文開發了算法以計算模素數冪 ℓⁿ 的模形式與伽羅瓦表示的同餘關係，利用同餘數與牛頓多邊形方法，判斷兩個 Hecke 特徵形式是否在模 ℓⁿ 下同餘。一個關鍵結果是，模 ℓⁿ 的水平提升並不一定由同餘數的可除性所決定，挑戰了 Ribet 定理的直觀推廣。

ABSTRACT

This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.

研究动机与目标

• 開發計算方法，以判斷模 ℓⁿ 下模形式與伽羅瓦表示之間的同餘關係，其中 ℓ 為素數且 n ≥ 1。
• 應對在非簡約、非唯一分解環（如 ℤ/ℓⁿℤ）上工作所帶來的挑戰，此類環使標準同餘定義變得複雜。
• 將水平提升現象從模 ℓ 推廣至更高冪 ℓⁿ，特別是在 Hecke 特徵形式的脈絡下。
• 提供演算法工具，透過 Hecke 算子的特徵多項式及其根，計算新形式之間的同餘關係。
• 研究模 ℓⁿ 下模形式的非提升性，以及此情境下伽羅瓦表示的行為。

提出的方法

• 透過同餘數（由互素首一整係數多項式導出的不變量）定義代數整數之間模 ℓⁿ 的同餘關係。
• 利用由根之差形成的多項式的牛頓多邊形，當同餘數不足以判斷時，進一步精確同餘檢測。
• 應用 Sturm 界，以確定唯一識別模 ℓⁿ 下模形式所需的 q-展開係數之有限數量。
• 建構演算法，透過分析其 Hecke 算子特徵多項式之公共根，計算兩個新形式模 ℓⁿ 同餘的最大 ℓⁿ。
• 實作模 ℓⁿ 下的退化映射，透過降階至共同水平，比較不同水平的模形式。
• 使用同餘數與牛頓多邊形方法，計算模 ℓⁿ 下與 Eisenstein 級數同餘關係的上下界。

实验结果

研究问题

• RQ1 若 ℓⁿ 整除 T_p 特徵多項式的同餘數，是否意味著新形式在模 ℓⁿ 下可實現水平提升？
• RQ2 Ribet 的經典水平提升定理能否推廣至模 ℓⁿ 的同餘關係？若可，其條件為何？
• RQ3 對於同一水平與權重下，新形式 f 模 ℓⁿ 與 Eisenstein 級數同餘的最大 ℓⁿ 為何？
• RQ4 在水平 Np 中，f 與其他新形式之間同餘冪的 ℓ-進賦值之和，是否等於涉及 (p+1)² 的同餘數之 ℓ-進賦值？
• RQ5 模 ℓⁿ 下的模形式在多大程度上無法提升？此現象對其對應伽羅瓦表示的結構有何影響？

主要发现

• 同餘數為兩個首一互素整係數多項式之根模 ℓⁿ 同餘的最大 ℓⁿ 提供了良好的上界。
• 對於 Γ₀(17) 上權為 2 的新形式，即使 ℓ² 整除同餘數，模 9 下至水平 17·59 並未發生水平提升，顯示同餘數的可除性不足以保證模 ℓⁿ 下的水平提升。
• 該演算法在計算新形式模 ℓⁿ 同餘關係時，比使用完整數域嵌入的 naïve 方法更有效率。
• 透過分析 T_p 特徵多項式與 Eisenstein 子空間中多項式之公共根，該方法可檢測模 ℓⁿ 下與 Eisenstein 級數的同餘關係，進而得出同餘水平的上界。
• 本文觀察到，f 與水平 Np 中新形式之間同餘冪的 ℓ-進賦值之和，可能不等於涉及 (p+1)² 的同餘數之 ℓ-進賦值，暗示需要更精細的不變量。
• 反例顯示，將 Mazur 對模 ℓ 下與 Eisenstein 級數同餘關係的定理 naïve 推廣至模 ℓⁿ 時會失敗，因為模 ℓⁿ 的同餘關係未必能由模 ℓ 的同餘關係延拓而來。