[论文解读] On the quantitative variation of congruence ideals and integral periods of modular forms

Chan-Ho Kim, Kazuto Ota|arXiv (Cornell University)|May 8, 2019

Advanced Algebra and Geometry参考文献 34被引用 4

一句话总结

本文证明了Pollack与Weston关于高权模形式中同余理想定量行为的猜想，建立了一个精确公式，通过Tate–Shafarevich群指数将全水平的同余理想与其$N^{-}$-新部分联系起来。作者通过新颖地结合$R=\mathbb{T}$定理、伽罗瓦上同调以及显式伴随$L$-值比较，无需依赖几何方法即解决了水平降低的同余问题，将先前结果推广至非平方自由水平与更高权的情形，并放宽了分歧条件。

ABSTRACT

We prove the conjecture of Pollack and Weston on the quantitative analysis of the level lowering congruence à la Ribet for modular forms of higher weight. It was formulated and studied in the context of the integral Jacquet-Langlands correspondence and anticyclotomic Iwasawa theory for modular forms of weight two and square-free level for the first time. We use a completely different method based on the $R=\mathbb{T}$ theorem established by Diamond-Flach-Guo and Dimitrov and an explicit comparison of adjoint $L$-values. We briefly discuss arithmetic applications of our main result at the end.

研究动机与目标

• 解决Pollack与Weston关于高权模形式中同余理想定量变化的猜想。
• 将水平降低同余结果推广至权2与平方自由水平之外的情形。
• 建立一个精确公式，通过Tate–Shafarevich群指数将全水平的同余理想与其$N^{-}$-新部分联系起来。
• 通过基于伴随$L$-值与$R=\mathbb{T}$定理的上同调与解析方法，克服先前几何方法的局限性。
• 为反典型Iwasawa理论与高权情形下的整数Jacquet–Langlands对应提供适用框架。

提出的方法

• 利用Diamond–Flach–Guo与Dimitrov建立的四元数代数上的$R=\mathbb{T}$定理，将同余理想与Selmer群联系起来。
• 应用伽罗瓦上同调，计算在整除$N^{-}$的素数处具有松弛与‘新’局部条件的伴随Selmer群的大小。
• 比较两个Selmer群——一个具有松弛局部条件，另一个具有‘新’局部条件——以隔离同余理想之间的差异。
• 通过伴随$L$-值的Euler因子引入解析校正项，弥合Selmer计算与期望同余公式之间的差异。
• 通过显式计算伴随$L$-值，将同余理想之间的差异解释为$L$-值的比值，从而完成证明。
• 避免使用固定的四元数代数，仅依赖[DFG04, Dim09]中的经典$R=\mathbb{T}$定理以保持一般性。

实验结果

研究问题

• RQ1 当$N^{-}$非平方自由或形式非权2时，高权模形式的同余理想在水平降低下如何变化？
• RQ2 全水平同余理想与$N^{-}$-新同余理想之间的差异具有何种精确的算术解释？
• RQ3 当残representation在某些$q\mid N^{-}$处无分歧（即$t_f(q) > 0$）时，$R=\mathbb{T}$方法能否扩展用于计算同余理想？
• RQ4 伴随$L$-值如何编码同余理想在整除$N^{-}$的素数处的局部行为？
• RQ5 Hecke模在$\mathbb{T}$-代数上的自由性在多大程度上可与高权情形下同余理想的结构相关联？

主要发现

• 本文证明了公式$\mathrm{ord}_{\lambda}\eta_f(N) = \mathrm{ord}_{\lambda}\eta_f(N^+,N^-) + \sum_{q|N^{-}} t_f(q)$，该公式量化了权$k \geq 2$的模形式的水平降低同余关系。
• 该结果在弱化假设下成立：$N^{-}$无需为平方自由，$k$可大于2，且在$q\mid N^{-}$处无需分歧条件。
• 作者建立了一种新方法，结合伽罗瓦上同调与伴随$L$-值计算，以绕过高权情形下几何方法的局限性。
• 全水平与$N^{-}$-新同余理想之间的差异被证明编码于伴随$L$-函数在整除$N^{-}$的素数处的Euler因子中。
• 该方法使得Petersson内积与典型周期的比较成为可能，从而导出其比值的$\lambda$-进赋值的新公式。
• 在适当假设下，本文确认了$\mathrm{ord}_{\lambda}(\langle f,f\rangle / \langle f_B,f_B\rangle) = \sum_{q|N^{-}} t_f(q)$，将算术不变量与同余数据联系起来。