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

Basic Information

• Paper ID: 2510.12890
• Title: On λ-invariants of congruent modular forms in the anticyclotomic indefinite setting
• Author: Dac-Nhan-Tam Nguyen (University of British Columbia)
• Classification: math.NT (Number Theory)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.12890v1

Abstract

This paper provides precise, computable formulas for comparing λ-invariants of modular forms in the anticyclotomic indefinite setting, where the Selmer group has positive rank. This represents an improvement over the work of Hatley-Lei 11, 12, whose formulas contained non-computable error terms.

Research Background and Motivation

Core Problem

This research addresses how to precisely compare λ-invariants between modular forms with isomorphic residual representations in the anticyclotomic Iwasawa theory framework when the Selmer group has positive rank.

Problem Significance

1. Theoretical Importance: In Iwasawa theory, μ and λ invariants are crucial invariants characterizing the p-adic properties of arithmetic objects, particularly in the study of elliptic curves and modular forms
2. Computational Significance: Precise computable formulas are essential for verifying theoretical predictions and performing concrete calculations
3. Generalization Value: Extending from the cotorsion case to the positive rank case represents important progress in this field

Limitations of Existing Methods

Hatley-Lei investigated the same problem in references 11, 12, but their results contained non-computable error terms cL(·), which limited the formulas' practical applicability. Specifically, their formula was:

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

Research Motivation

The goal of this paper is to eliminate these non-computable error terms and provide a completely precise and computable λ-invariant comparison formula.

Core Contributions

1. Precise Formula: Provides a precise, computable formula for comparing λ-invariants in the anticyclotomic indefinite setting (Theorem 3.5)
2. Technical Improvements: Enhances existing techniques that could only effectively handle the cotorsion case
3. Concrete Applications: Provides specific computational examples for elliptic curves (Section 4), verifying theoretical results
4. Error Correction: Identifies and corrects an error in the Hatley-Lei literature (Appendix A)

Methodology Details

Problem Setup

Let f₁ ∈ S₂r₁(Γ₀(N₁)), f₂ ∈ S₂r₂(Γ₀(N₂)) be modular forms satisfying the following conditions:

• Heegner Hypothesis: Each prime ℓ dividing N splits in K/Q
• Admissibility Conditions: p is unramified in F and satisfies specific divisibility conditions
• Irreducibility Condition: The residual representation ρ̄f is absolutely irreducible

Core Theorem

Theorem 3.5: Let f₁, f₂ satisfy the above conditions with ρ̄f₁ ≃ ρ̄f₂, μ(f₁) = μ(f₂) = 0. Assume X(K,Af₁), X(K,Af₂) have no nonzero finite submodules. Then:

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

where λℓ(fi) are local constants defined in Definition 3.4.

Technical Innovations

1. Key Lemma (Lemma 3.1)

Proves that under the assumption that X(K,A)tors has no nonzero finite submodules, for height-one prime ideals P, lengthP(coker(locp)) depends only on the residual representation ρ̄f.

2. Novel Analytical Method

Through studying the commutative diagram:

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

Proves the surjectivity of map α, thereby establishing the required isomorphism relations.

3. Precise Computation of Local Constants

For split primes ℓ, define:

• When ℓ ∤ N: Pv(f)(X) = 1 - aℓ(f)X + ℓ·X²
• When ℓ | N: Pv(f)(X) = 1 - aℓ(f)X

λℓ(f) is defined as the multiplicity of X = ℓ⁻¹ as a root of Pv(f)(X) (mod ϖ).

Experimental Setup

Numerical Verification Example

Example 4.1: Take K = Q(√-51), p = 5, considering elliptic curves:

• E₁: Cremona label 19a1
• E₂: Cremona label 817b1

Verification Conditions

Using SageMath to verify:

1. E₁p ≃ E₂p (by comparing modular form coefficients up to Sturm bound)
2. E₁ satisfies the hypotheses of 19, Theorem 0.16, hence Sel(E₁/K∞) is cotorsion-free
3. Both elliptic curves satisfy the admissibility conditions

Computational Process

1. λ(E₁) = 0: Since E₁ satisfies the cotorsion-free condition
2. Local λ-invariant calculations:
   • ℓ = 19: Both curves have split multiplicative reduction, λℓ(Ei) = 0
   • ℓ = 43: E₁ has good ordinary reduction, computed λ₄₃(E₁) = 1; E₂ has split multiplicative reduction, λ₄₃(E₂) = 0

Experimental Results

Main Computational Results

Via formula (4.1): λ(E₁) + 2∑ℓ|N₁N₂ λℓ(E₁) = λ(E₂) + 2∑ℓ|N₁N₂ λℓ(E₂)

Substituting computed values: 0 + 2(0 + 1 + 0) = λ(E₂) + 2(0 + 0 + 0)

Yielding: λ(E₂) = 2

Technical Verification

1. Prime Factorization Computation: Using 2, Theorem 2(a) to compute prime factorization in the anticyclotomic extension
2. Class Number Calculation: K has class number hK = 2
3. Local Parameters: Computed sℓ = 1

Related Work

Main Research Directions

1. Cyclotomic Case: Greenberg-Vatsal 10, Emerton-Pollack-Weston 8
2. Anticyclotomic Definite Case: Pollack-Weston 22, Castella-Kim-Longo 6
3. Anticyclotomic Indefinite Case: Hatley-Lei 11, 12

Improvements in This Paper

Compared to Hatley-Lei's work, this paper:

1. Eliminates non-computable error terms cL(·)
2. Provides completely precise formulas
3. Furnishes concrete numerical verification

Conclusions and Discussion

Main Conclusions

1. In the anticyclotomic indefinite setting, provides precise formulas for comparing λ-invariants
2. These formulas are completely computable without error terms
3. Theoretical results are validated through elliptic curve examples

Limitations

1. Assumption Conditions: Requires the strong assumption that the Selmer group has no nonzero finite submodules
2. Applicable Scope: Primarily applies to cases satisfying the Heegner hypothesis
3. Computational Complexity: While theoretically computable, practical calculations may remain complex

Future Directions

1. Hida Family Generalization: The author mentions further research from the perspective of Hida families
2. Weak Heegner Hypothesis: Could be generalized to cases where certain primes are inert in K
3. More General Settings: Potentially generalizable to more general arithmetic geometric objects

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: Successfully eliminates non-computable error terms from prior work, representing important theoretical progress
2. Methodological Innovation: Improved techniques apply not only to the cotorsion case but also handle the positive rank case
3. Practical Value: The provided formula is completely computable with practical applicability
4. Rigor: Mathematical arguments are rigorous with concrete numerical verification

Weaknesses

1. Assumption Restrictions: The assumption of "no nonzero finite submodules" is strong and may limit applicability
2. Computational Complexity: While theoretically computable, calculations for general cases may remain complex
3. Generalizability: Currently focuses on specific anticyclotomic settings; generalization to other cases requires further work

Impact

1. Theoretical Contribution: Provides new precise tools for anticyclotomic Iwasawa theory
2. Practical Value: Offers feasible methods for concrete calculations in elliptic curves and modular forms
3. Foundation for Future Research: Establishes groundwork for further research in this field

Applicable Scenarios

1. Elliptic Curve Research: Particularly suitable for elliptic curves satisfying the Heegner hypothesis
2. Modular Form Theory: Applicable to comparing modular forms with isomorphic residual representations
3. Computational Number Theory: Provides theoretical foundation for related numerical computations

Technical Details Supplement

Definitional Framework

The paper establishes a complete technical framework:

• Selmer Groups: Defines Selmer groups under various local conditions
• Duality Structure: Establishes corresponding dual groups using Pontryagin duality
• Iwasawa Algebra: Studies invariants within the Iwasawa algebra framework

Proof Techniques

1. Global Duality Theory: Utilizes global duality to establish short exact sequences
2. Local Analysis: Detailed analysis of local behavior at each prime
3. Homological Algebra: Employs homological algebra methods to handle complex algebraic structures

This paper makes important contributions to anticyclotomic Iwasawa theory, not only resolving technical issues in prior work but also providing completely computable precise formulas with significant value for both theoretical development and practical applications in the field.