Hilbert modular Eisenstein congruences of local origin

이 논문은 **국소 기원 (local origin) 을 갖는 힐베르트 모듈러 아이젠슈타인 합동식 (Hilbert Modular Eisenstein Congruences)**의 존재성과 조건에 대한 연구입니다. 저자 Dan Fretwell 과 Jenny Roberts 는 임의의 totally real field $F$ 위에서, 평행 가중치 (parallel weight) $k \ge 3$인 힐베르트 고유형 (eigenforms) 과 힐베르트 아이젠슈타인 급수 사이의 합동식을 증명하고, 이러한 합동식을 만족하는 새로운 형 (newforms) 이 존재하기 위한 필요충분조건을 제시합니다.

다음은 논문의 상세한 기술적 요약입니다.

---

1. 연구 문제 (Problem)

• 배경: 람누잔 (Ramanujan) 의 $\tau(n) \equiv \sigma_{11}(n) \pmod{691}$과 같은 고전적인 모듈러 형의 합동식은 아이젠슈타인 급수와의 합동성을 통해 설명됩니다. 이러한 합동식의 모듈러스 (modulus) 는 베르누이 수의 분자나 디리클레 $L$-함수의 특수한 값에서 비롯됩니다.
• 확장: 최근 연구들은 합동식의 모듈러스가 국소 오일러 인자 (local Euler factors) 나 일반화된 베르누이 수의 분자에서 비롯되는 "국소 기원 (local origin)" 합동식들을 탐구해 왔습니다.
• 미해결 과제: 이러한 현상은 $GL_2$ (고전적 모듈러 형) 에서는 잘 알려져 있으나, $Res_{F/\mathbb{Q}}(GL_2)$ (힐베르트 모듈러 형) 로 확장될 때는 덜 연구되어 왔습니다. 특히, $k=2$인 경우는 Martin 에 의해 다루어졌으나, $k \ge 3$인 평행 가중치 (parallel weight) 에 대한 힐베르트 모듈러 아이젠슈타인 합동식과 새로운 형 (newforms) 의 존재 조건은 명확히 규명되지 않았습니다.
• 핵심 질문: 임의의 totally real field $F$와 소수 $\mathfrak{p}$에 대해, 레벨 $m\mathfrak{p}$의 힐베르트 고유형이 레벨 $m$의 아이젠슈타인 급수와 합동식을 만족할 때, 그 모듈러스는 무엇이며, 이러한 합동식을 만족하는 **새로운 형 (newform)**은 언제 존재하는가?

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구와 기법을 종합적으로 활용했습니다.

1. 힐베르트 아이젠슈타인 급수의 상수항 공식 유도:

   • 힐베르트 모듈러 다양체의 첨점 (cusps) 구조가 고전적 경우보다 복잡하므로, 모든 첨점에서의 아이젠슈타인 급수의 상수항을 명시적으로 계산해야 합니다.
   • Ozawa 의 공식을 일반화하여, 레벨을 $\mathfrak{p}$만큼 올린 (level raise) 아이젠슈타인 급수 $E^{(\mathfrak{p})}_k(\eta, \psi)$의 상수항 공식을 유도했습니다.
   • 이 과정에서 헤케 $L$-함수 $L(\eta^{-1}\psi, 1-k)$와 오일러 인자가 어떻게 상수항에 나타나는지 정밀하게 분석했습니다.

2. 기하학적 모듈러 형 이론 (Geometric Modular Forms):

   • Katz 와 Andreatta-Goren 의 기하학적 접근법을 사용하여, $l$-모듈러 형 (mod $l$ modular forms) 을 힐베르트 - 블룸엔탈 아벨 스킴 (Hilbert-Blumenthal abelian schemes) 의 맥락에서 정의했습니다.
   • $q$-전개 원리 (q-expansion principle) 를 통해, 아이젠슈타인 급수의 상수항이 $l$에서 0 이 된다면 (즉, 합동식이 성립한다면), 이는 cusp form 으로 간주될 수 있음을 보였습니다.

3. 레벨 올림 (Level Raising) 및 갈루아 표현:

   • Taylor 와 Deligne-Serre 의 레벨 올림 정리를 활용하여, 합동식을 만족하는 cusp form 의 존재를 증명했습니다.
   • Ribet 의 기법을 사용하여, 합동식을 만족하는 고유형에 대응되는 갈루아 표현이 가환적 (reducible) 이며, 그 잔여 표현이 특정 형태 ($\bar{\eta} \oplus \bar{\psi}\chi^{k-1}_l$) 로 분해됨을 보였습니다.
   • 국소 Weil 군에서의 표현을 분석하여, 소수 $\mathfrak{p}$에서의 조건을 도출했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 힐베르트 아이젠슈타인 합동식의 존재성 (Theorem 5.1)

임의의 totally real field $F$와 소수 $\mathfrak{p}$, 레벨 $m$에 대해, 다음과 같은 조건 하에 합동식이 존재함을 증명했습니다.

• 조건: $l > k+1$인 유리수 소수 $l$이 $N(m\mathfrak{p})$를 나누지 않고, $l$이 $F$에서 분지하지 않으며,
  $$\text{ord}_{\Lambda'} \left( L(\eta^{-1}\psi, 1-k) \cdot (\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^k) \right) > 0$$
  를 만족하는 소수 $\Lambda'$가 존재할 때.
• 결과: 평행 가중치 $k$와 레벨 $m\mathfrak{p}$를 갖는 정규화된 힐베르트 고유형 $f$와 힐베르트 아이젠슈타인 급수 $E_k(\eta, \psi)$ 사이에 다음 합동식이 성립합니다.
  $$c(\mathfrak{q}, f) \equiv c(\mathfrak{q}, E_k(\eta, \psi)) \pmod{\Lambda}$$
  (모든 $\mathfrak{q} \nmid m\mathfrak{p}$에 대해).
• 의의: 합동식의 모듈러스가 헤케 $L$-함수의 특수값과 오일러 인자 (국소 기원) 의 곱에서 비롯됨을 보였습니다.

B. 새로운 형 (Newform) 의 존재에 대한 필요충분조건 (Theorem 5.2)

위와 같은 합동식을 만족하는 **새로운 형 (newform)**이 존재하기 위한 조건을 정립했습니다.

• 필요 조건:
  1. $L(\eta^{-1}\psi, 1-k)$와 $(\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^k)$의 곱이 $l$로 나누어짐.
  2. $l$이 $(\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^k)(\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^{k-2})$를 나누는 것.
• 충분 조건:
  • 위의 필요 조건이 성립하고, 추가적으로 $l$이 특정 정수 $E$와 $N(\mathfrak{p})+1$을 나누지 않는다면, 합동식을 만족하는 새로운 형이 존재합니다.
  • 여기서 $E$는 레벨 $m$의 oldforms 에 관련된 갈루아 표현의 불변량과 관련이 있습니다.

C. 특수한 경우 (Theorem 1.1 & 1.2)

좁은 클래스 번호 (narrow class number) 가 1 이고 레벨이 소수 $\pi$인 경우, 위 일반 정리를 다음과 같이 단순화하여 제시했습니다:

• $l > k+1$, $l \nmid N(\pi)$, $l$이 분지하지 않을 때,
  $$\text{ord}_l(\zeta_F(1-k)(1-N(\pi)^k)) > 0$$
  이면 합동식이 존재합니다.
• 새로운 형의 존재를 위해서는 $l \mid (1-N(\pi)^k)(1-N(\pi)^{k-2})$ 등 추가 조건이 필요합니다.

4. 의의 및 중요성 (Significance)

1. 블로흐 - 카토 추측 (Bloch-Kato Conjecture) 에의 기여:
   • 이 연구는 특정 motivic $L$-함수의 $p$-divisibility 와 갈루아 모듈 구조 사이의 연결을 보여주는 블로흐 - 카토 추측의 구체적인 사례를 제공합니다. 특히, 힐베르트 모듈러 형의 맥락에서 국소 기원 합동식을 통해 $L$-함수의 특수값과 Selmer 군의 구조를 연결합니다.
2. 고차원 자동형 표현 (Automorphic Representations) 의 확장:
   • $GL_2$에 대한 고전적 결과를 totally real field 위의 $Res_{F/\mathbb{Q}}(GL_2)$로 성공적으로 확장했습니다. 이는 $GSp_4$ 등 더 높은 랭크의 군으로의 일반화 연구에 중요한 발판이 됩니다.
3. 기술적 난제 해결:
   • 힐베르트 모듈러 다양체의 복잡한 첨점 구조와 상수항 계산을 해결하기 위해 Ozawa 의 공식을 일반화하고, 이를 $L$-함수와 오일러 인자와 직접적으로 연결하는 명시적 공식을 제시했습니다.
4. 새로운 형의 존재성 증명:
   • 단순히 합동식의 존재뿐만 아니라, 그 합동식을 만족하는 '새로운 형'이 언제 존재하는지에 대한 명확한 기준을 제시함으로써, 모듈러 형의 공간 구조에 대한 이해를 심화시켰습니다.

결론

이 논문은 힐베르트 모듈러 형 이론에서 국소 기원 합동식의 존재를 증명하고, 이를 만족하는 새로운 형의 존재 조건을 체계적으로 규명했습니다. 헤케 $L$-함수의 특수값, 오일러 인자, 갈루아 표현, 그리고 기하학적 모듈러 형 이론을 결합한 이 연구는 대수적 수론과 자동형 표현 이론 간의 깊은 연관성을 보여주며, 향후 더 높은 랭크의 군이나 더 일반적인 레벨 구조에 대한 연구의 기초를 제공합니다.