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

합동 모듈 형식과 반원분 이와사와 이론

기본 정보

  • 논문 ID: 2503.00247
  • 제목: Congruent modular forms and anticyclotomic Iwasawa theory
  • 저자: Dac-Nhan-Tam Nguyen (University of British Columbia)
  • 분류: math.NT (정수론)
  • 발표 시간: 2025년 3월 (arXiv v2: 2025년 10월 23일)
  • 논문 링크: https://arxiv.org/abs/2503.00247

초록

본 논문은 합동 모듈 형식이 반원분 이와사와 이론에서의 응용을 연구한다. pp를 홀수 소수라 하고, 허수 이차체 KK 위의 Heegner 가정을 만족하는 정규화된 newform f1,f2f_1, f_2를 고려하며, 이들이 동형인 잉여 Galois 표현을 유도한다고 가정한다. Greenberg-Vatsal과 Emerton-Pollack-Weston의 업적은 f1f_1과 f2f_2의 원분 이와사와 μ\mu와 λ\lambda-불변량을 비교했다. 본 논문은 이 결과를 반원분 부정형 경우로 일반화하며, f1f_1과 f2f_2에 부착된 BDP pp-진 LL-함수를 비교함으로써 일반화된 Heegner 순환과 이와사와 주 추측에 관한 산술 추론을 얻는다.

연구 배경 및 동기

문제 배경

  1. 핵심 문제: 동형인 잉여 Galois 표현을 갖는 모듈 형식 간의 산술 관계, 특히 이들의 pp-진 LL-함수와 이와사와 불변량 간의 연결을 연구한다.
  2. 중요성:
    • 이와사와 이론은 현대 정수론의 핵심 영역으로, 모듈 형식, Galois 표현 및 LL-함수를 연결한다
    • Heegner 순환은 타원곡선의 BSD 추측 연구에서 핵심 역할을 한다
    • 반원분 이와사와 이론은 모듈 형식의 산술 성질을 이해하기 위한 중요한 도구를 제공한다
  3. 기존 연구의 한계:
    • Greenberg-Vatsal 1과 Emerton-Pollack-Weston 2의 업적은 주로 원분 확대 경우에 집중한다
    • 반원분 부정형 설정에서는 가중치 2의 부분 결과만 존재한다 (Kriz-Li 9,10)
    • 고차 가중치 모듈 형식과 일반화된 Heegner 순환에 대해 체계적인 비교 이론이 부족하다
  4. 연구 동기:
    • 원분 경우의 고전적 결과를 반원분 부정형 설정으로 일반화한다
    • BDP pp-진 LL-함수 간의 합동 관계를 확립한다
    • Heegner 순환과 이와사와 주 추측에 대한 탐구를 진행한다

핵심 기여

  1. 반원분 부정형 설정에서 합동 이론 확립: 동형인 잉여 표현을 갖는 모듈 형식 f1,f2f_1, f_2의 BDP pp-진 LL-함수가 ϖm\varpi^m modulo 합동을 만족함을 증명했다 (Theorem 5.12, 즉 Theorem A)
  2. Hecke 연산자의 모듈 해석 도입: Igusa 스킴의 Serre-Tate 좌표 프레임워크 하에서 Hecke 연산자 VℓV_\ell의 기하학적 해석을 제시했다 (Section 5.2). 이는 pp-진 LL-함수의 변화를 연구하는 데 중요하다
  3. 가중치 2의 알려진 결과 일반화: Kriz-Li 9,10의 가중치 2 경우 결과를 임의의 가중치 2r2r의 모듈 형식과 일반화된 Heegner 순환으로 확장했다
  4. 이와사와 불변량의 비교 정리 획득:
    • μ(Lp(f1))=0⇔μ(Lp(f2))=0\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0
    • μ\mu-불변량이 0일 때, λ\lambda-불변량의 정확한 관계를 제시한다
  5. 일반화된 Heegner 순환에 응용: pp-진 Gross-Zagier 공식을 통해 Heegner 순환 로그 간의 합동 관계를 얻었다 (Theorem 6.2, 6.3)
  6. 이와사와 주 추측의 전파 성질: f1f_1이 이와사와 주 추측을 만족하면, 적절한 조건 하에서 f2f_2도 이를 만족함을 증명했다 (Theorem 7.5)

방법론 상세 설명

작업 정의

입력: 두 개의 정규화된 Hecke 특성 newform f1∈S2r1(Γ0(N1))newf_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}과 f2∈S2r2(Γ0(N2))newf_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}로, 다음을 만족한다:

  • 허수 이차체 KK 위의 Heegner 가정을 만족한다
  • 동형인 잉여 Galois 표현을 유도한다: ρˉf1≅ρˉf2(modϖm)\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}

출력:

  • BDP pp-진 LL-함수 Lp(f1)L_p(f_1)과 Lp(f2)L_p(f_2) 간의 합동 관계
  • 이와사와 μ\mu와 λ\lambda-불변량의 비교
  • Heegner 순환과 이와사와 주 추측에 대한 산술 추론

이론적 프레임워크

1. BDP pp-진 LL-함수의 구성

BDP pp-진 LL-함수는 CM 점 위의 pp-진 모듈 형식의 값을 통해 구성된다. Heegner 가정을 만족하는 newform f∈S2r(Γ0(N))newf \in S_{2r}(\Gamma_0(N))^{\text{new}}에 대해:

정의 (Definition 4.1): ψ\psi를 무한 유형 (r,−r)(r,-r), 도체 c0OKc_0\mathcal{O}_K인 반원분 Hecke 특성이라 하자. Γ~\tilde{\Gamma} 위의 pp-진 측도 Lp,ψ(f)L_{p,\psi}(f)를 다음과 같이 정의한다:

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}}

여기서 f^a♭\hat{f}^\flat_{\mathfrak{a}}는 pp-제거된 기하학적 모듈 형식 f♭f^\flat의 CM 점 xax_{\mathfrak{a}} 근처의 pp-진 화신이다.

twist 연산을 통해 다음을 얻는다: Lp(f):=Twψ^−1(Lp,ψ(f))L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))

θ\theta 연산자 (tddtt\frac{d}{dt})를 사용하면 다음과 같이 다시 쓸 수 있다: 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. Hecke 연산자의 Serre-Tate 좌표 해석

이것이 본 논문의 핵심 기술 혁신이다. 소수 ℓ≠p\ell \neq p가 ℓ=vvˉ\ell = \mathfrak{v}\bar{\mathfrak{v}}로 분해되는 경우:

정의 (Definition 5.4): pp-진 모듈 형식 위의 VℓV_\ell 연산자를 다음과 같이 정의한다: 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)

핵심 보조정리 (Lemma 5.7): CM 점 xa=(Aa,ηa)x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}})에 대해 다음이 성립한다: Vℓ(xa)=xv−1aV_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}

그리고 Serre-Tate 좌표는 다음을 만족한다: tv−1a(Vℓ(x))=ta(x)ℓt_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell

이 기하학적 관계는 (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. 안정화 및 Euler 인수

정의 (Definition 5.9): Euler 다항식을 다음과 같이 정의한다:

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}$$ 여기서 $\gamma_{\mathfrak{v}} \in \Gamma_K^-$는 $\mathfrak{v}$에서의 Frobenius 원소이다. **핵심 정리** (Theorem 5.11): $\ell$-제거는 다음을 만족한다: $$L_p(f^{(\ell)}) = P_{\mathfrak{v}}(f)L_p(f)$$ ### 주요 정리의 증명 전략 **Theorem 5.12의 증명 개요**: 1. **기초 합동**: $f_1, f_2$가 동일한 수준을 가질 때, $q$-전개식 합동 (Lemma 5.1)에서 다음을 얻는다: $$L_p(f_1) \equiv L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ 2. **수준 조정**: 서로 다른 수준의 경우, 다음을 고려한다: $$N^\sharp := \text{lcm}_{\ell|N_1N_2}(N_1, N_2, \ell^2)$$ Theorem 5.11을 반복 적용하면 다음을 얻는다: $$L_p(f^{(N_1N_2)}) = \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f) \cdot L_p(f)$$ 3. **합동 전이**: $f_1^{(N_1N_2)} \equiv f_2^{(N_1N_2)} \pmod{\varpi^m}$에서 다음을 얻는다: $$\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. **불변량 비교**: $\mu(P_{\mathfrak{v}}(f)) = 0$ (Lemma 5.10)이므로, $\varpi$ modulo 축약 후 차수를 비교하면 $\mu$와 $\lambda$-불변량의 관계를 얻는다. ### 기술적 혁신점 1. **Serre-Tate 좌표 프레임워크 하의 모듈 해석**: - 전통적 방법은 $q$-전개식을 사용한다: $f(q) \mapsto f(q^\ell)$ - 본 논문은 Igusa 스킴의 기하학적 구조를 통해 내재적 해석을 제시한다 - 핵심은 CM 점의 모듈 해석과 Serre-Tate 좌표의 변환 성질을 활용한 것이다 2. **가중치 차이를 처리하는 기법** (Lemma 5.1의 증명): - $2r_1 \not\equiv 2r_2 \pmod{\phi(p^{m'})}$일 때, Legendre 기호 $(\frac{\cdot}{p})$를 도입해야 한다 - $n^{r_1} \equiv (\frac{n}{p})n^{r_2} \pmod{p^{m'}}$를 이용하여 보정한다 - 핵심 관찰: Legendre 기호에 대응하는 Hecke 특성은 반원분 확대 $\Gamma_K^-$ 위에서 자명하다 3. **임의의 소수 거듭제곱 합동의 통일적 처리**: - [9]와 달리 modulo $\varpi$ 합동만 처리할 수 있었던 것과 달리, 본 논문은 modulo $\varpi^m$의 일반 이론을 확립한다 - 이는 고차 합동 현상 연구에 중요하다 ## 실험 설정 **주**: 순수 수학 이론 논문이므로 본 논문은 수치 실험을 포함하지 않지만, 광범위한 이론적 검증과 응용을 포함한다. ### 이론적 검증 프레임워크 1. **가정 조건**: - $p$는 홀수 소수이고, $p \nmid 2(2r-1)!N\phi(N)$ - $K/\mathbb{Q}$는 허수 이차체이고, 판별식은 $-D_K$ - $p = \mathfrak{p}\bar{\mathfrak{p}}$는 $K$에서 분해된다 - 강 Heegner 가정을 만족한다: $N$의 모든 소인수는 $K$에서 분해된다 2. **구성 대상**: - Igusa 스킴 $\text{Ig}(N)$ 및 그 형식 완성 - CM 점 $(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$ 및 그 축약 - Serre-Tate 좌표 $t_{\mathfrak{a}}$ 3. **검증 방법**: - Shimura 상호 법칙을 통해 CM 점의 Galois 작용을 검증한다 - $q$-전개식 원리를 통해 모듈 형식 합동을 검증한다 - 국소-전역 원리를 통해 $p$-진 $L$-함수의 보간 성질을 검증한다 ## 주요 결과 ### Theorem A (Theorem 5.12): BDP $p$-진 $L$-함수의 합동 $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$, $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$가 다음을 만족한다고 하자: - 계수는 $p$-진 체 $F$에 있다 - 동형인 mod $\varpi^m$ Galois 표현을 유도한다: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2}$ 그러면 다음 합동이 성립한다: $$\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}$$ **추론**: 1. $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$ 2. $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$이면, 다음이 성립한다: $$\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: 일반화된 Heegner 순환의 응용 $\chi = \hat{\phi}$를 무한 유형 $(j,-j)$ ($-r < j < r$), 도체 $p^n\mathcal{O}_K$인 반원분 Hecke 특성이라 하자. $f_1, f_2$가 위와 같고 $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$이면, 다음이 성립한다: $$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)$$ 이는 Heegner 순환 로그 간의 정확한 합동 추정을 제공한다. ### Theorem 6.3: 가중치 2 경우의 추론 가중치 2의 모듈 형식에 대해, 위 결과는 Heegner 점 로그의 합동으로 단순화된다: $$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)$$ 이는 Kriz-Li [10, Theorem 3.9]의 결과를 일반화한다. ### Theorem 7.5: 이와사와 주 추측의 전파 $f_1$이 이와사와 주 추측 (Conjecture 7.4)을 만족하고 $\mu_{\text{anal}}(f_1) = \mu_{\text{alg}}(f_1) = 0$이라 하자. $f_2$가 다음을 만족하면: - 가제성: $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}$ - 모든 $w|\mathfrak{p}$에 대해 $H^0(K_w, A_i) = 0$ 그러면 $\mu_{\text{anal}}(f_2) = \mu_{\text{alg}}(f_2) = 0$이고 $f_2$도 이와사와 주 추측을 만족한다. **증명 요점**: - Theorem 5.12와 Lei-Müller-Xia [9, Corollary 3.8]을 이용하여 $\mu$-불변량이 같음을 얻는다 - 식 (7.1)과 (7.2)의 $\lambda$-불변량 등식을 비교하고, 가제성과 결합하여 완전한 주 추측을 얻는다 ## 관련 연구 ### 원분 이와사와 이론의 합동 1. **Greenberg-Vatsal [1]** (2000): - 원분 확대 위의 타원곡선의 이와사와 불변량 연구 - 동형인 잉여 표현을 갖는 타원곡선의 $\mu$-불변량이 같고, $\lambda$-불변량이 유계 차이를 가짐을 증명했다 2. **Emerton-Pollack-Weston [2]** (2006): - Hida 족의 이와사와 불변량 변화로 확장 - 체계적인 이론 프레임워크를 확립했다 ### 반원분 이와사와 이론 3. **Pollack-Weston [6]**, **Kim [7]**, **Castella-Kim-Longo [8]**: - **정형** 반원분 설정에서 합동과 불변량 변화 연구 - 본 논문은 **부정형** 설정을 연구하며, 기술적으로 본질적 차이가 있다 4. **Kriz-Li [9,10]** (2019, 2023): - 가중치 2 경우의 Heegner 점 로그 합동 연구 - 안정화 방법을 사용하지만, 가중치 2와 modulo $\varpi$ 합동으로 제한된다 - **본 논문의 일반화**: 임의의 가중치, 일반화된 Heegner 순환, modulo $\varpi^m$ 합동 5. **Castella et al. [11]** (2022): - Eisenstein 소수에서의 반원분 주 추측 연구 - [1, Theorem (1.3)]의 일반화로 볼 수 있다 - **본 논문의 업적**: [1, Theorem (1.4)]를 BDP 설정으로 일반화 ### BDP $p$-진 $L$-함수 이론 6. **Bertolini-Darmon-Prasanna [4]** (2013): - 일반화된 Heegner 순환과 $p$-진 Rankin $L$-급수 구성 - $p$-진 Gross-Zagier 공식 확립 7. **Brakočević [5]** (2011), **Castella-Hsieh [3]** (2018): - Serre-Tate 좌표를 통한 BDP $p$-진 $L$-함수 구성 - 본 논문은 [3]의 프레임워크를 밀접하게 따르며, 새로운 Hecke 연산자 해석을 도입한다 ### 본 논문의 위치 본 논문은 다음 측면에서 혁신을 이루었다: - **설정**: 정형에서 부정형 반원분 이론으로 - **가중치**: 가중치 2에서 임의의 짝수 가중치 $2r$으로 - **합동 차수**: modulo $\varpi$에서 modulo $\varpi^m$으로 - **기법**: Hecke 연산자의 모듈 해석 도입으로 증명 단순화 및 가정 감소 - **응용**: Heegner 순환과 이와사와 주 추측의 통일적 처리 ## 결론 및 논의 ### 주요 결론 1. **이론적 기여**: 반원분 부정형 설정에서 합동 모듈 형식의 체계적 이론을 확립하고, 잉여 표현이 동형일 때 BDP $p$-진 $L$-함수가 합동을 만족함을 증명했다. 2. **이와사와 불변량**: $\mu$와 $\lambda$-불변량의 정확한 비교 정리를 제시하여 Greenberg-Vatsal의 고전적 결과를 일반화했다. 3. **기하학적 해석**: Igusa 스킴과 Serre-Tate 좌표를 통해 Hecke 연산자에 내재적 기하학적 해석을 제공했으며, 이는 $p$-진 $L$-함수의 변화를 이해하는 데 중요하다. 4. **산술 응용**: - 일반화된 Heegner 순환 로그 간의 합동 추정 - 합동 족에서 이와사와 주 추측의 전파 성질 ### 한계 1. **가정 조건이 많다**: - Heegner 가정은 응용 범위를 제한한다 - Theorem 7.5는 추가 가제성 가정이 필요하며, 실제로 검증하기 어려울 수 있다 - 주로 ordinary 경우에서 작동한다 2. **구체적 예시 부족**: - 이론 논문이므로 수치 예시가 없다 - 독자의 이해를 위해 일부 명시적 계산이 도움이 될 것이다 3. **증명의 의존성**: - Theorem 7.5는 Lei-Müller-Xia [9]의 결과에 의존한다 - $\mu$-불변량 소멸 조건 ([25,26] 참조)은 추가 가정을 가진다 4. **기술적 세부사항**: - Section 2-3의 준비 자료가 길어 가독성에 영향을 줄 수 있다 - 일부 기호가 복잡하다 (다층 아래첨자) ### 영향력 1. **분야에 대한 기여**: - 반원분 부정형 이론의 중요한 공백을 채웠다 - 합동 모듈 형식 연구에 새로운 기하학적 관점을 제공한다 - $p$-진 $L$-함수, Heegner 순환, 이와사와 주 추측을 연결하는 다리를 구축했다 2. **실용적 가치**: - Theorem A는 구체적 모듈 형식의 이와사와 불변량 연구에 사용될 수 있다 - Theorem 7.5는 이와사와 주 추측 검증의 새로운 경로를 제공한다 - 방법은 다른 유형의 $p$-진 $L$-함수에 적용될 수 있다 3. **재현성**: - 이론 증명이 완전하고 논리가 명확하다 - 배경 지식은 명확한 참고문헌을 가진다 - 주요 결과는 다른 연구자가 사용하고 일반화할 수 있다 ### 적용 시나리오 1. **이론 연구**: - 모듈 형식의 산술 성질 연구 - Galois 표현의 합동 현상 탐구 - 이와사와 이론의 추가 발전 2. **구체적 응용**: - 타원곡선의 BSD 추측 연구 - 특수 $L$-값의 $p$-진 보간 - Selmer 군 구조 계산 3. **일반화 방향**: - Hilbert 모듈 형식 - 더 높은 차원의 Shimura 다양체 - 다른 유형의 Galois 표현 ## 참고문헌 (주요 문헌) [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) --- **종합 평가**: 이는 고품질의 정수론 이론 논문으로, 원분 이와사와 이론의 고전적 합동 결과를 반원분 부정형 설정으로 성공적으로 일반화했다. 논문의 주요 기여는 Hecke 연산자의 기하학적 해석을 도입하고, BDP $p$-진 $L$-함수의 합동 이론을 확립하며, Heegner 순환과 이와사와 주 추측에 관한 중요한 응용을 얻은 것이다. 가정 조건이 많고 기술 요구 사항이 높지만, 논문은 이 분야의 추가 연구를 위한 견고한 기초를 제공하며, 중요한 이론적 가치와 잠재적 응용 전망을 가진다.