On quaternionic ordinary families of modular forms and $p$-adic $L$-functions

제목: 사원수 일반 모듈러 형식과 p-진 L-함수에 관하여
저자: M. Longo, P. Magrone, E. R. Walchek
날짜: 2026 년 5 월 5 일

1. 문제 제기

본 논문은 Castella [Cas20] 가 $\text{GL}_2$에 대해 개발한 이론과 유사한, 부호수가 양인 유리수 사원수 대수에 대한 "거대" p-진 L-함수의 구성을 다룹니다. 주요 목표는 사원수 대수 위의 Hida 가계 (Hida family) 의 고전적 특수화들에 연관된 p-진 L-함수들을 보간 (interpolate) 하는 것입니다.

저자들이 지적한 핵심적인 어려움은 타원 모듈러 형식을 사원수 대수로 들어 올린 Jacquet–Langlands 승 (lift) 에 대한 표준적인 정규화의 부재입니다. 첫 번째 푸리에 계수를 1 으로 설정하여 고유형 (eigenform) 을 정규화할 수 있는 $\text{GL}_2$ 경우와 달리, 사원수 설정에서는 직접적인 푸리에 전개가 존재하지 않습니다. 따라서 "올바른" 승을 정의하고 그러한 형식들의 가계에 대한 적분 성질을 확립하는 것은 자명하지 않습니다. 본 논문은 Serre–Tate 전개를 사원수 설정으로 확장한 Ohta 의 일반 모듈러 형식 가계 이론과 결합함으로써 이를 해결하고자 합니다.

2. 방법론

저자들은 판별식 $D > 1$인 부호수가 양인 사원수 대수에 연관된 Shimura 곡선을 중심으로 한 기하학적 및 산술적 접근법을 사용합니다.

• Serre–Tate 전개: Mori [Mor95, Mor11, Mor22] 와 다른 이들의 연구에 따라, 저자들은 사원수 모듈러 형식에 대한 멱급수 전개를 정의하기 위해 Serre–Tate 좌표를 활용합니다. 이는 사원수 맥락에서 직접적으로 이용 불가능한 고전적인 푸리에 전개를 대체합니다.
• 적분 모형과 Igusa 탑: 구성은 판별식 $D > 1$인 부호수가 양인 사원수 대수에 연관된 Shimura 곡선 $X_m$과 그 일반 (ordinary) 영역의 기하학에 의존합니다. 저자들은 사원수 곱셈 (QM) 아벨 곡면과 연관된 p-가분군에 대한 산술적 자명화 (trivializations) 를 정의하기 위해 이러한 곡선의 특수 섬유 위의 Igusa 탑을 다룹니다.
• Ohta 이론의 일반화: 본 논문은 일반 모듈러 형식의 일반 가계에 관한 Ohta [Oht93, Oht95, Oht99, Oht00] 의 결과를 사원수 경우로 확장합니다. 여기에는 다음이 포함됩니다:
  • Serre–Tate 전개를 사용하여 일반 모듈러 형식의 역극한 모듈 ($S^*_\infty$) 을 정의합니다.
  • 이러한 모듈과 Shimura 곡선의 Jacobian 의 특정 몫 ($A_m, B_m, C_m$) 의 여접공간 (cotangent spaces) 사이의 관계를 확립합니다.
  • Jacquet–Langlands 대응을 활용하여 이러한 사원수 객체들을 그들의 $\text{GL}_2$ 대응물과 연관시킴으로써, 준안정적 축소 (semistable reduction) 와 p-가분군에 관한 알려진 결과들을 활용합니다.
• Eichler–Shimura 동형: 저자들은 코호몰로지 군의 역극한 (특히 "분기된" 몫 $B^*_\infty$) 에서 멱급수 모듈 $J[[T_x]]$로 가는 단사 사상을 구성합니다. 이 사상은 QM 아벨 곡면의 보편 변형 (universal deformation) 위의 미분형식에 대한 Serre–Tate 전개를 통해 구성됩니다.

3. 주요 기여 및 결과

거대 p-진 L-함수의 구성:
주요 결과 (정리 6.3) 는 거대 p-진 L-함수 $L_{I, \xi} \in \tilde{I}[[\Gamma_\infty]]$의 존재를 확립합니다. 여기서:

• $I$는 잔류 표현에 부착된 Hida 가계의 원시 가지 (primitive branch) 입니다.
• $\xi$는 Hecke 문자의 p-진 가계입니다.
• $\Gamma_\infty$는 허수 이차체 $K$의 반순환 확장 (anticyclotomic extension) 의 갈루아 군입니다.

함수 $L_{I, \xi}$는 Burungale 과 Magrone [Bur17, Mag22] 가 가중치 $k \geq 2$인 고전적 산술적 특수화 $\kappa$에서 구성한 p-진 L-함수 $L_{f_\kappa, \xi_\kappa}$를 보간합니다. 구체적으로, 산술적 사상 $\kappa$에 대해, 특수화 $L_{I, \xi}(\kappa)$는 적절한 환에서의 아이디얼로서 $L_{f_\kappa, \xi_\kappa}$와 (명시적 인자까지) 일치합니다.

사원수 모듈러 형식의 적분 이론:
본 논문은 Serre–Tate 전개를 사용하여 Shimura 곡선 위의 모듈러 형식에 대한 적분 이론을 개발합니다. 이는 모듈러 형식의 역극한의 부분 모듈 $S^*_\infty$를 정의하고, 이러한 모듈이 Iwasawa 대수 위의 멱급수 환에 단사적으로 매장됨을 증명합니다. 이는 $\text{GL}_2$ 경우의 $\Lambda$-적분 모듈러 형식 이론과 유사한 사원수 설정에서의 적분성 조건을 연구하기 위한 틀을 제공합니다.

제어 정리와 동형:
저자들은 코호몰로지 군의 역극한을 특정 가중치에서의 고전적 모듈러 형식 공간과 연관시키는 제어 정리 (Theorem 5.3) 를 증명합니다. 또한, 그들은 갈루아 표현의 일반 성분과 비일반 성분에 해당하는 부분으로 코호몰로지를 분해하는 $J^*$-모듈의 완전열 (exact sequence) 을 확립합니다 (Theorem 5.7). 이는 관련 몫이 계수 1 인 자유 모듈임을 보여줍니다.

보간 공식:
정리 6.3 은 명시적인 보간 공식을 제공합니다:
$$(L_{I, \xi}(\kappa)) = (L_{f_\kappa, \xi_\kappa})$$
이는 $\tilde{I}[[\Gamma_\infty]]$에서의 아이디얼로서 성립합니다. Corollary 6.4 는 반순환 Hecke 문자에 대한 보간 성질을 더 자세히 기술하며, p-진 L-값의 제곱을 복소수 L-함수의 중심 임계값과 연관시킵니다.

4. 한계 및 주장의 겸손함

저자들은 명시적으로 그들의 작업이 Wiles 의 $\Lambda$-적분 모듈러 형식 이론의 완전한 유사체이거나 Ohta 의 [Oht95, 정리 2.3.6] 에 대한 완전한 사원수 대응물이 아님을 인정합니다.

• 결여된 제어 정리: 본 논문은 $S^*_\infty$ 모듈에 대한 완전한 제어 정리를 증명할 수 없음을 지적합니다 ([Hid93] 와 [Oht95] 와 같이). 이로 인해 $S^*_\infty$가 Iwasawa 대수 $\Lambda_O$ 위에서 유한 계수의 자유 모듈임을 입증할 수 없습니다.
• 방해 요인: Hecke 작용과 $T_x$-전개 (Serre–Tate 전개) 사이의 깔끔한 연결 부재가 주요 장애물로 인용됩니다. Hecke 연산자에 대한 명시적 기술은 존재하지만, Igusa 탑의 서로 다른 점들에서의 Serre–Tate 전개와의 상호작용은 $U_p$와 $U_p^*$ 작용 하의 적분성 분석을 복잡하게 만듭니다.
• 범위: 이론은 일반 (ordinary) 경우로 제한됩니다. 저자들은 완벽한 기하학적 기술 (예: [CHJ17]) 이 Ohta 의 이론을 유한 기울기 가계로 확장했지만, 이러한 구성에 필요한 특정 적분성 조건에 이를 적응시키는 것은 여전히 어렵다고 지적합니다.

5. 의의

본 논문은 방법론적 접근과 Greenberg Selmer 군 연구에 대한 잠재적 응용을 통해 주로 의의를 주장합니다.

• 가중치 2 와의 직접적 비교: 가중치 2 특수화와 직접적인 비교를 피하는 최근의 p-진 L-함수 가계 구성 (예: [JLZ21, LRZ25, Sev25]) 과는 달리, 이 접근법은 원래 Ohta–Hida 철학을 따르며 가중치 2 특수화에 직접적으로 기반을 둡니다.
• Heegner 점과 Selmer 군: 최종적으로 명시된 목표는 허수 이차체 $K$ 위의 Hida 거대 갈루아 표현 $T$에 대한 Greenberg Selmer 군 $\text{Sel}(K, T)$를 연구하는 것입니다. Shimura 곡선 ($D > 1$) 을 이용한 구성은 Shimura 곡선 탑에 부착된 Heegner 점 (또는 Heegner 순환) 의 사용을 가능하게 합니다. 저자들은 $D > 1$일 때 모듈러 곡선 ($D=1$ 경우) 위의 Heegner 점이 $\text{Sel}(K, T)$를 연구하는 데 적합하지 않다고 주장하며, 이러한 특정 산술적 응용을 위해서는 사원수 구성이 필수적이라고 봅니다.
• 보완적 틀: 이 작업은 기존 방법들을 보완하는 것으로 제시되며, 가중치 2 에서 Heegner 점들을 보간하는 직접적인 경로를 제공하여 Castella [Cas13, Cas20] 의 결과에 대한 사원수 유사체를 이끌어낼 수 있습니다.

요약하자면, 본 논문은 Serre–Tate 전개를 통한 Ohta 이론의 일반화로 사원수 일반 가계에 대한 거대 p-진 L-함수를 성공적으로 구성하지만, 사원수 $\Lambda$-적분 형식의 완전한 구조 이론이 여전히 열려 있고 어려운 문제임을 솔직하게 인정합니다.