2025-11-11T22:10:19.678537

Congruent modular forms and anticyclotomic Iwasawa theory

Nguyen
Let $p$ be an odd prime. Consider normalized newforms $f_1,f_2$ that both satisfy the Heegner hypothesis for an imaginary quadratic field $K$ and suppose that they induce isomorphic residual Galois representations. In the work of Greenberg-Vatsal and Emerton-Pollack-Weston, the authors compare the cyclotomic Iwasawa $μ$ and $λ$-invariants of $f_1$ and $f_2$. We extend this to the anticyclotomic indefinite setting by comparing the BDP $p$-adic $L$-functions attached to $f_1$ and $f_2$. Using this comparison, we obtain arithmetic implications for both generalized Heegner cycles and the Iwasawa main conjecture.
academic

Congruent modular forms and anticyclotomic Iwasawa theory

Basic Information

  • Paper ID: 2503.00247
  • Title: Congruent modular forms and anticyclotomic Iwasawa theory
  • Author: Dac-Nhan-Tam Nguyen (University of British Columbia)
  • Classification: math.NT (Number Theory)
  • Publication Date: March 2025 (arXiv v2: October 23, 2025)
  • Paper Link: https://arxiv.org/abs/2503.00247

Abstract

This paper studies the application of congruent modular forms in anticyclotomic Iwasawa theory. Let pp be an odd prime, and consider normalized newforms f1,f2f_1, f_2 satisfying the Heegner hypothesis on an imaginary quadratic field KK, assuming they induce isomorphic residual Galois representations. The work of Greenberg-Vatsal and Emerton-Pollack-Weston compared the cyclotomic Iwasawa μ\mu and λ\lambda-invariants of f1f_1 and f2f_2. This paper generalizes these results to the anticyclotomic indefinite case by comparing the BDP pp-adic LL-functions attached to f1f_1 and f2f_2, obtaining arithmetic consequences regarding generalized Heegner cycles and the Iwasawa main conjecture.

Research Background and Motivation

Problem Background

  1. Core Problem: Study arithmetic relationships between modular forms with isomorphic residual Galois representations, particularly the connections between their pp-adic LL-functions and Iwasawa invariants.
  2. Significance:
    • Iwasawa theory is a central area of modern number theory, connecting modular forms, Galois representations, and LL-functions
    • Heegner cycles play a crucial role in studying the BSD conjecture for elliptic curves
    • Anticyclotomic Iwasawa theory provides important tools for understanding arithmetic properties of modular forms
  3. Limitations of Existing Research:
    • The work of Greenberg-Vatsal 1 and Emerton-Pollack-Weston 2 focuses primarily on cyclotomic extensions
    • In the anticyclotomic indefinite setting, only partial results for weight 2 exist (Kriz-Li 9,10)
    • Lack of systematic comparison theory for higher weight modular forms and generalized Heegner cycles
  4. Research Motivation:
    • Generalize classical results from the cyclotomic case to the anticyclotomic indefinite setting
    • Establish congruence relations between BDP pp-adic LL-functions
    • Explore arithmetic applications to Heegner cycles and the Iwasawa main conjecture

Core Contributions

  1. Established congruence theory in the anticyclotomic indefinite setting: Proved that modular forms f1,f2f_1, f_2 with isomorphic residual representations have BDP pp-adic LL-functions satisfying congruences modulo ϖm\varpi^m (Theorem 5.12, i.e., Theorem A)
  2. Introduced modular interpretation of Hecke operators: Provided geometric interpretation of Hecke operators VℓV_\ell in the Serre-Tate coordinate framework on Igusa schemes (Section 5.2), which is crucial for studying variations of pp-adic LL-functions
  3. Generalized known results for weight 2: Extended results of Kriz-Li 9,10 for weight 2 to modular forms of arbitrary weight 2r2r and generalized Heegner cycles
  4. Obtained comparison theorems for Iwasawa invariants:
    • μ(Lp(f1))=0⇔μ(Lp(f2))=0\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0
    • When μ\mu-invariants vanish, provided precise relationships for λ\lambda-invariants
  5. Applications to generalized Heegner cycles: Through the pp-adic Gross-Zagier formula, obtained congruence relations between logarithms of Heegner cycles (Theorem 6.2, 6.3)
  6. Propagation property of the Iwasawa main conjecture: Proved that if f1f_1 satisfies the Iwasawa main conjecture, then under appropriate conditions f2f_2 also satisfies it (Theorem 7.5)

Detailed Methods

Task Definition

Input: Two normalized Hecke eigenform newforms f1∈S2r1(Γ0(N1))newf_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}} and f2∈S2r2(Γ0(N2))newf_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}} such that:

  • They satisfy the Heegner hypothesis on an imaginary quadratic field KK
  • They induce isomorphic residual Galois representations: ρˉf1≅ρˉf2(modϖm)\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}

Output:

  • Congruence relations between BDP pp-adic LL-functions Lp(f1)L_p(f_1) and Lp(f2)L_p(f_2)
  • Comparison of Iwasawa μ\mu and λ\lambda-invariants
  • Arithmetic consequences for Heegner cycles and the Iwasawa main conjecture

Theoretical Framework

1. Construction of BDP pp-adic LL-functions

The BDP pp-adic LL-function is constructed via values of pp-adic modular forms at CM points. For a newform f∈S2r(Γ0(N))newf \in S_{2r}(\Gamma_0(N))^{\text{new}} satisfying the Heegner hypothesis:

Definition (Definition 4.1): Let ψ\psi be an anticyclotomic Hecke character of infinity type (r,−r)(r,-r) and conductor c0OKc_0\mathcal{O}_K. Define Lp,ψ(f)L_{p,\psi}(f) as a pp-adic measure on Γ~\tilde{\Gamma}:

Lp,ψ(f)(ρ)=∑[a]∈PicOc0ψ(a)N(a)−r⋅∫Zp×ψpρ∣[a]df^a♭L_{p,\psi}(f)(\rho) = \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_{c_0}} \psi(\mathfrak{a})N(\mathfrak{a})^{-r} \cdot \int_{\mathbb{Z}_p^\times} \psi_p\rho|_{[\mathfrak{a}]} d\hat{f}^\flat_{\mathfrak{a}}

where f^a♭\hat{f}^\flat_{\mathfrak{a}} is the pp-adic avatar of the pp-depleted geometric modular form f♭f^\flat near the CM point xax_{\mathfrak{a}}.

Via the twist operation: Lp(f):=Twψ^−1(Lp,ψ(f))L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))

Using the θ\theta-operator (tddtt\frac{d}{dt}), this can be rewritten as: Lp(f)(ρ)=(−DK)r∑[a]∈PicOK((θ−rf^♭)a⊗ρ∣[a])(Aa,ηa)L_p(f)(\rho) = (\sqrt{-D_K})^r \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_K} ((\theta^{-r}\hat{f}^\flat)_{\mathfrak{a}} \otimes \rho|_{[\mathfrak{a}]})(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})

2. Serre-Tate Coordinate Interpretation of Hecke Operators

This is a key technical innovation of the paper. For a prime ℓ≠p\ell \neq p splitting as ℓ=vvˉ\ell = \mathfrak{v}\bar{\mathfrak{v}}:

Definition (Definition 5.4): Define the VℓV_\ell operator on pp-adic modular forms: Vℓ:Ig(N♯)→Ig(N♯ℓ−1)V_\ell: \text{Ig}(N^\sharp) \to \text{Ig}(N^\sharp\ell^{-1})(A,η)↦(A/C[ℓ],π∘ηN♯∘(⋅)1/ℓ×πˇ−1∘ηp)(A, \eta) \mapsto (A/C[\ell], \pi \circ \eta_{N^\sharp} \circ (\cdot)^{1/\ell} \times \check{\pi}^{-1} \circ \eta_p)

Key Lemma (Lemma 5.7): For CM points xa=(Aa,ηa)x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}}), we have Vℓ(xa)=xv−1aV_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}

and the Serre-Tate coordinates satisfy: tv−1a(Vℓ(x))=ta(x)ℓt_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell

This geometric relation leads to (Lemma 5.8): ((θ−rVℓ∗f)a⊗ϕ)(xa)=ℓ−r((θ−rf)v−1a⊗ϕ)(xv−1a)((θ^{-r}V_\ell^* f)_{\mathfrak{a}} \otimes \phi)(x_{\mathfrak{a}}) = \ell^{-r}((θ^{-r}f)_{\mathfrak{v}^{-1}\mathfrak{a}} \otimes \phi)(x_{\mathfrak{v}^{-1}\mathfrak{a}})

3. Stabilization and Euler Factors

Definition (Definition 5.9): Define the Euler polynomial

1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} + \ell^{-1} \cdot \gamma_{\mathfrak{v}}^2 & \text{if } \ell \nmid N \\ 1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} & \text{if } \ell \mid N \end{cases}$$ where $\gamma_{\mathfrak{v}} \in \Gamma_K^-$ is the Frobenius element at $\mathfrak{v}$. **Key Theorem** (Theorem 5.11): The $\ell$-depletion satisfies $$L_p(f^{(\ell)}) = P_{\mathfrak{v}}(f)L_p(f)$$ ### Proof Strategy of Main Theorems **Proof Strategy for Theorem 5.12**: 1. **Basic Congruence**: When $f_1, f_2$ have the same level, the $q$-expansion congruence (Lemma 5.1) gives $$L_p(f_1) \equiv L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ 2. **Level Adjustment**: For different levels, consider $$N^\sharp := \text{lcm}_{\ell|N_1N_2}(N_1, N_2, \ell^2)$$ By repeatedly applying Theorem 5.11, we obtain $$L_p(f^{(N_1N_2)}) = \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f) \cdot L_p(f)$$ 3. **Congruence Propagation**: From $f_1^{(N_1N_2)} \equiv f_2^{(N_1N_2)} \pmod{\varpi^m}$, we get $$\prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1) L_p(f_1) \equiv \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_2) L_p(f_2) \pmod{\varpi^m}$$ 4. **Invariant Comparison**: Since $\mu(P_{\mathfrak{v}}(f)) = 0$ (Lemma 5.10), by comparing degrees after reduction modulo $\varpi$, we obtain the relationships for $\mu$ and $\lambda$-invariants. ### Technical Innovations 1. **Modular Interpretation in Serre-Tate Coordinate Framework**: - Traditional approach uses $q$-expansions: $f(q) \mapsto f(q^\ell)$ - This paper provides an intrinsic interpretation via the geometric structure of Igusa schemes - The key is exploiting the modular interpretation of CM points and transformation properties of Serre-Tate coordinates 2. **Technique for Handling Weight Differences** (Proof of Lemma 5.1): - When $2r_1 \not\equiv 2r_2 \pmod{\phi(p^{m'})}$, introduce the Legendre symbol $(\frac{\cdot}{p})$ - Use $n^{r_1} \equiv (\frac{n}{p})n^{r_2} \pmod{p^{m'}}$ for compensation - Key observation: The Hecke character corresponding to the Legendre symbol is trivial on the anticyclotomic extension $\Gamma_K^-$ 3. **Unified Treatment of Arbitrary Prime Power Congruences**: - Unlike [9] which only handles congruences modulo $\varpi$, this paper establishes general theory modulo $\varpi^m$ - This is crucial for studying higher-order congruence phenomena ## Experimental Setup **Note**: As a pure mathematics theory paper, this work contains no numerical experiments, but includes extensive theoretical verification and applications. ### Theoretical Verification Framework 1. **Assumption Conditions**: - $p$ is an odd prime with $p \nmid 2(2r-1)!N\phi(N)$ - $K/\mathbb{Q}$ is an imaginary quadratic field with discriminant $-D_K$ - $p = \mathfrak{p}\bar{\mathfrak{p}}$ splits in $K$ - Strong Heegner hypothesis satisfied: every prime divisor of $N$ splits in $K$ 2. **Constructed Objects**: - Igusa scheme $\text{Ig}(N)$ and its formal completion - CM points $(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$ and their reductions - Serre-Tate coordinates $t_{\mathfrak{a}}$ 3. **Verification Methods**: - Verify Galois action on CM points via Shimura reciprocity law - Verify modular form congruences via $q$-expansion principle - Verify interpolation properties of $p$-adic $L$-functions via local-global principle ## Main Results ### Theorem A (Theorem 5.12): Congruence of BDP $p$-adic $L$-functions Let $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$, $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$ satisfy: - Coefficients lie in a $p$-adic field $F$ - Induce isomorphic mod $\varpi^m$ Galois representations: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2}$ Then the congruence holds: $$\prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1) L_p(f_1) \equiv \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_2) L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ **Corollaries**: 1. $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$ 2. If $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, then $$\sum_{\ell|N_1N_2} \lambda(P_{\mathfrak{v}}(f_1)) + \lambda(L_p(f_1)) = \sum_{\ell|N_1N_2} \lambda(P_{\mathfrak{v}}(f_2)) + \lambda(L_p(f_2))$$ ### Theorem 6.2: Application to Generalized Heegner Cycles Let $\chi = \hat{\phi}$ be an anticyclotomic Hecke character of infinity type $(j,-j)$ ($-r < j < r$) and conductor $p^n\mathcal{O}_K$. If $f_1, f_2$ are as above and $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, then $$v_p\left(\langle \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1)(\chi^{-1}) \log_p(z_{f_1,\chi}), \omega_f \otimes \omega_A^{r-1+j}\eta_A^{r-1-j}t^{1-2r}\rangle - \text{(term for } f_2)\right) \geq n\left(\frac{j+r-1}{2} - v_p(\chi_p^{-1}(p))\right) + v_p(\varpi^m)$$ This gives precise congruence estimates between logarithms of Heegner cycles. ### Theorem 6.3: Corollary for Weight 2 For weight 2 modular forms, the above result simplifies to a congruence of Heegner point logarithms: $$v_p\left(\langle \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1)(\chi^{-1}) \log_{\omega_{A_{f_1}}}(P_{f_1}(\chi^{-1})) - \text{(term for } f_2)\rangle\right) \geq \frac{n}{2} + v_p(\varpi^m)$$ This generalizes the result of Kriz-Li [10, Theorem 3.9]. ### Theorem 7.5: Propagation of the Iwasawa Main Conjecture Suppose $f_1$ satisfies the Iwasawa main conjecture (Conjecture 7.4) and $\mu_{\text{anal}}(f_1) = \mu_{\text{alg}}(f_1) = 0$. If $f_2$ satisfies: - Divisibility: $L_p(f_2)^2 \in \text{char}_\Lambda(X_p(K,A_2))$ - $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi}$ - $H^0(K_w, A_i) = 0$ for all $w|\mathfrak{p}$ Then $\mu_{\text{anal}}(f_2) = \mu_{\text{alg}}(f_2) = 0$ and $f_2$ also satisfies the Iwasawa main conjecture. **Key Points of Proof**: - Use Theorem 5.12 and Lei-Müller-Xia [9, Corollary 3.8] to obtain equality of $\mu$-invariants - Compare $\lambda$-invariant equations (7.1) and (7.2) combined with divisibility to obtain the complete main conjecture ## Related Work ### Congruences in Cyclotomic Iwasawa Theory 1. **Greenberg-Vatsal [1]** (2000): - Study Iwasawa invariants of elliptic curves over cyclotomic extensions - Prove that elliptic curves with isomorphic residual representations have equal $\mu$-invariants and $\lambda$-invariants differing by a bounded amount 2. **Emerton-Pollack-Weston [2]** (2006): - Generalize to variations of Iwasawa invariants in Hida families - Establish systematic theoretical framework ### Anticyclotomic Iwasawa Theory 3. **Pollack-Weston [6]**, **Kim [7]**, **Castella-Kim-Longo [8]**: - Study congruences and invariant variations in **definite** anticyclotomic setting - This paper studies the **indefinite** setting, which is technically distinct 4. **Kriz-Li [9,10]** (2019, 2023): - Study congruences of Heegner point logarithms in weight 2 case - Use stabilization method but limited to weight 2 and congruences modulo $\varpi$ - **This paper extends**: arbitrary weights, generalized Heegner cycles, congruences modulo $\varpi^m$ 5. **Castella et al. [11]** (2022): - Study anticyclotomic main conjecture at Eisenstein primes - Can be viewed as generalization of [1, Theorem (1.3)] - **This work**: Generalizes [1, Theorem (1.4)] to BDP setting ### BDP $p$-adic $L$-function Theory 6. **Bertolini-Darmon-Prasanna [4]** (2013): - Construct generalized Heegner cycles and $p$-adic Rankin $L$-series - Establish $p$-adic Gross-Zagier formula 7. **Brakočević [5]** (2011), **Castella-Hsieh [3]** (2018): - Construct BDP $p$-adic $L$-functions via Serre-Tate coordinates - This paper closely follows [3]'s framework and introduces new Hecke operator interpretation ### Positioning of This Work This paper innovates in the following aspects: - **Setting**: From definite to indefinite anticyclotomic theory - **Weight**: From weight 2 to arbitrary even weight $2r$ - **Congruence Order**: From modulo $\varpi$ to modulo $\varpi^m$ - **Technique**: Introduce modular interpretation of Hecke operators, simplifying proofs and reducing assumptions - **Applications**: Unified treatment of Heegner cycles and Iwasawa main conjecture ## Conclusions and Discussion ### Main Conclusions 1. **Theoretical Contribution**: Established systematic theory of congruent modular forms in the anticyclotomic indefinite setting, proving that BDP $p$-adic $L$-functions satisfy congruence relations when residual representations are isomorphic. 2. **Iwasawa Invariants**: Provided precise comparison theorems for $\mu$ and $\lambda$-invariants, generalizing the classical results of Greenberg-Vatsal. 3. **Geometric Interpretation**: Via Igusa schemes and Serre-Tate coordinates, provided intrinsic geometric interpretation for Hecke operators, which is crucial for understanding variations of $p$-adic $L$-functions. 4. **Arithmetic Applications**: - Precise congruence estimates between logarithms of generalized Heegner cycles - Propagation properties of the Iwasawa main conjecture in congruent families ### Limitations 1. **Assumption Conditions**: - Requires Heegner hypothesis, particularly that prime divisors of the level split in $K$ - For Theorem 7.5, additional divisibility assumptions and local conditions needed 2. **Technical Restrictions**: - Main results in the $p$-ordinary case ($a_p(f) \in \mathbb{Z}_p^\times$) - Supersingular case requires different techniques 3. **Application Scope**: - Anticyclotomic setting limits types of applicable modular forms - Methods may not directly apply to general Galois extensions ### Future Directions 1. **Generalization to Other Settings**: - Hilbert modular forms and anticyclotomic theory over totally real fields - Similar results for quaternion algebras (partially completed by Magrone [24]) 2. **Non-ordinary Case**: - Study congruence theory at supersingular primes - May require Perrin-Riou's logarithm map or Nekovář's height pairing 3. **Explicit Computations**: - For concrete modular forms (e.g., those corresponding to elliptic curves), compute explicit congruence constants - Verify specific instances of the Iwasawa main conjecture 4. **Connections with Other Conjectures**: - Explore relationships with the Bloch-Kato conjecture - Study interpretation within the Langlands program framework ## In-Depth Evaluation ### Strengths 1. **Theoretical Depth**: - Successfully generalizes classical results from cyclotomic theory to anticyclotomic indefinite setting - Technical treatment is meticulous, particularly regarding Serre-Tate coordinates and geometric relationships of CM points - Unifies multiple previous partial results 2. **Methodological Innovation**: - Modular interpretation of Hecke operators (Lemma 5.7) is key innovation, simplifying proofs - Technique for handling weight differences (using Legendre symbol) demonstrates deep number-theoretic insight - General theory of congruences modulo $\varpi^m$ is stronger than previous work 3. **Result Completeness**: - Not only proves congruences of $p$-adic $L$-functions but also gives precise relationships for Iwasawa invariants - Applications span both Heegner cycles and Iwasawa main conjecture - Theorem 7.5 demonstrates propagation of main conjecture in congruent families, a highly valuable result 4. **Writing Quality**: - Clear paper structure, progressing from background to applications - Complete technical details with clear definitions - Relationships with relevant literature well explained ### Weaknesses 1. **Numerous Assumption Conditions**: - Heegner hypothesis limits application scope - Theorem 7.5 requires additional divisibility assumptions, potentially difficult to verify in practice - Primarily works in ordinary case 2. **Lack of Concrete Examples**: - As a theory paper, provides no numerical examples - Some explicit computations would aid reader understanding 3. **Proof Dependencies**: - Theorem 7.5 depends on results from Lei-Müller-Xia [9] - Conditions for $\mu$-invariant vanishing (citing [25,26]) have additional assumptions 4. **Technical Details**: - Preparatory material in Sections 2-3 is lengthy, potentially affecting readability - Some notation is complex (multiple subscripts) ### Impact 1. **Contribution to Field**: - Fills important gap in anticyclotomic indefinite theory - Provides new geometric perspective for studying congruent modular forms - Establishes bridges connecting $p$-adic $L$-functions, Heegner cycles, and Iwasawa main conjecture 2. **Practical Value**: - Theorem A can be used to study Iwasawa invariants of concrete modular forms - Theorem 7.5 provides new approach to verifying Iwasawa main conjecture - Methods potentially applicable to other types of $p$-adic $L$-functions 3. **Reproducibility**: - Theory proofs are complete with clear logic - Background knowledge has explicit references - Main results can be used and generalized by other researchers ### Applicable Scenarios 1. **Theoretical Research**: - Study arithmetic properties of modular forms - Explore congruence phenomena in Galois representations - Further development of Iwasawa theory 2. **Concrete Applications**: - Study of BSD conjecture for elliptic curves - $p$-adic interpolation of special $L$-values - Computation of Selmer group structure 3. **Generalization Directions**: - Hilbert modular forms - Higher-dimensional Shimura varieties - Other types of Galois representations ## Key References [1] Greenberg, R., Vatsal, V.: On the Iwasawa invariants of elliptic curves. Invent. Math. 142(1), 17–63 (2000) [2] Emerton, M., Pollack, R., Weston, T.: Variation of Iwasawa invariants in Hida families. Invent. Math. 163(3), 523–580 (2006) [3] Castella, F., Hsieh, M.-L.: Heegner cycles and p-adic L-functions. Math. Ann. 370(1-2), 567–628 (2018) [4] Bertolini, M., Darmon, H., Prasanna, K.: Generalized Heegner cycles and p-adic Rankin L-series. Duke Math. J. 162(6), 1033–1148 (2013) [9] Lei, A., Müller, K., Xia, J.: On the Iwasawa invariants of BDP Selmer groups and BDP p-adic L-functions. Forum Mathematicum (2023) [10] Kriz, D., Li, C.: Goldfeld's conjecture and congruences between Heegner points. Forum Math. Sigma 7, 15–80 (2019) --- **Overall Assessment**: This is a high-quality number theory theory paper that successfully generalizes classical congruence results from cyclotomic Iwasawa theory to the anticyclotomic indefinite setting. The main contributions lie in introducing geometric interpretation of Hecke operators, establishing congruence theory for BDP $p$-adic $L$-functions, and obtaining important applications regarding Heegner cycles and the Iwasawa main conjecture. Despite numerous assumption conditions and high technical requirements, the paper establishes solid foundations for further research in this field, possessing significant theoretical value and potential application prospects.