2025-11-15T20:25:11.820002

On $Î»$-invariants of congruent modular forms in the anticyclotomic, indefinite setting

Nguyen

We give a precise, computable formula for comparing $Î»$-invariants between modular forms in the anticyclotomic indefinite setting where the Selmer groups have positive rank. This is an improvement of Hatley-Lei \cite{HL19, HL21} where the authors give a formula with incomputable error terms.

academic

On λ-invariants of congruent modular forms in the anticyclotomic indefinite setting

基本信息

论文ID: 2510.12890
标题: On λ-invariants of congruent modular forms in the anticyclotomic indefinite setting
作者: Dac-Nhan-Tam Nguyen (University of British Columbia)
分类: math.NT (Number Theory)
发表时间: October 14, 2025 (arXiv preprint)
论文链接: https://arxiv.org/abs/2510.12890v1

摘要

本文给出了在反周期无限设置下比较模形式λ-不变量的精确、可计算公式，其中Selmer群具有正秩。这是对Hatley-Lei 11, 12工作的改进，后者给出的公式包含不可计算的误差项。

研究背景与动机

核心问题

该研究解决的是在反周期Iwasawa理论框架下，当Selmer群具有正秩时，如何精确比较具有同构剩余表示的模形式之间的λ-不变量。

问题重要性

理论意义: 在Iwasawa理论中，μ和λ不变量是刻画算术对象p-adic性质的重要不变量，特别是在椭圆曲线和模形式的研究中
计算意义: 精确的可计算公式对于验证理论预测和进行具体计算至关重要
推广价值: 从余扭转情形推广到正秩情形是该领域的重要进展

现有方法的局限性

Hatley-Lei在文献11, 12中研究了相同问题，但他们的结果包含不可计算的误差项cL(·)，这使得公式在实际应用中受到限制。具体来说，他们的公式为：

λL(f) + cL(f) + ∑v∈Σ₀ dimκ A^Iv_f/ϖA^Iv_f = λL(g) + cL(g) + ∑v∈Σ₀ dimκ A^Iv_g/ϖA^Iv_g

研究动机

本文的目标是消除这些不可计算的误差项，给出完全精确且可计算的λ-不变量比较公式。

核心贡献

精确公式: 给出了在反周期无限设置下比较λ-不变量的精确、可计算公式（定理3.5）
技术改进: 改进了现有文献中只能有效处理余扭转情形的技术方法
具体应用: 提供了椭圆曲线的具体计算实例（第4节），验证了理论结果
错误修正: 指出并修正了Hatley-Lei文献中的一个错误（附录A）

方法详解

任务定义

设f₁ ∈ S₂r₁(Γ₀(N₁)), f₂ ∈ S₂r₂(Γ₀(N₂))是满足以下条件的模形式：

Heegner假设: 每个整除N的素数ℓ在K/Q中分裂
可容许条件: p不在F中分歧，且满足特定的整除性条件
不可约条件: 剩余表示ρ̄f是绝对不可约的

核心定理

定理3.5: 设f₁, f₂满足上述条件，且ρ̄f₁ ≃ ρ̄f₂, μ(f₁) = μ(f₂) = 0。假设X(K,Af₁), X(K,Af₂)都没有非零有限子模，则：

λ(f₁) + 2∑ℓ|N₁N₂ λℓ(f₁) = λ(f₂) + 2∑ℓ|N₁N₂ λℓ(f₂)

其中λℓ(fi)是定义3.4中的局部常数。

技术创新点

1. 关键引理（引理3.1）

证明了在假设X(K,A)tors没有有限非零子模的条件下，对于高度1的素理想P，lengthP(coker(locp))仅依赖于剩余表示ρ̄f。

2. 新的分析方法

通过研究交换图：

0 → coker(locp) ⊗ Ω → X∅,Gr(K,A) ⊗ Ω → X(K,A) ⊗ Ω → 0
    ↓ α                    ↓ β∅,Gr              ↓ βGr,Gr
0 → coker(locp)        → X∅,Gr(K,A[ϖ])    → X(K,A[ϖ])    → 0

证明了映射α的满射性，从而建立了所需的同构关系。