Bogomolov property for modular Galois representations with nontrivial nebentypus

논문 제목: 비자명한 네벤테푸스 (nontrivial nebentypus) 를 가진 모듈러 갈루아 표현에 대한 보고모로프 성질 (Bogomolov Property)
저자: 피에트로 피라스 (Pietro Piras)

이 논문은 수론과 산술 기하학의 교차점에 있는 주제로, 모듈러 형식 (modular forms) 에서 유도된 갈루아 표현에 의해 '잘라낸' (cut out) 체 (field) 가 **보고모로프 성질 (Property (B))**을 만족하는지 여부를 연구합니다. 특히, 이전 연구들이 주로 다루었던 자명한 네벤테푸스 (trivial nebentypus) 의 경우를 넘어, **비자명한 네벤테푸스 (nontrivial nebentypus)**를 가진 정규화된 고유 형식 (normalized eigenform) 에 대해 이 성질이 성립함을 증명하는 것을 목표로 합니다.

1. 연구 배경 및 문제 제기

• 보고모로프 성질 (Property (B)): 유리수 $\mathbb{Q}$의 부분 집합 $A$가 보고모로프 성질을 가진다는 것은, $A$의 영이 아닌 원소 중 단위근 (roots of unity) 이 아닌 모든 원소 $\alpha$에 대해, 로그 웨일 높이 (logarithmic Weil height) $h(\alpha)$가 0 이 아닌 양의 상수 $C$보다 크다는 것을 의미합니다 ($h(\alpha) > C$). 즉, 체 내에서 높이가 매우 작은 원소들이 단위근을 제외하고는 존재하지 않음을 뜻합니다.
• 선행 연구:
  • Habegger [Hab13] 은 타원곡선 $E$의 모든 꼬임 점 (torsion points) 의 좌표로 생성된 체 $\mathbb{Q}(E_{\text{tors}})$가 Property (B) 를 만족함을 증명했습니다.
  • Amoroso와 Terracini [AT25] 는 이를 일반화하여, 자명한 네벤테푸스를 가진 모듈러 형식 $f \in S_k(\Gamma_0(N))$에 대응되는 아델릭 갈루아 표현 $\hat{\rho}_f$가 정의하는 체가 Property (B) 를 가진다는 것을 증명했습니다.
• 본 논문의 문제: 모듈러 형식 $f$가 **비자명한 네벤테푸스 (nebentypus character $\chi \neq 1$)**를 가질 때, [AT25] 의 결과가 여전히 성립하는가?
  • 난제: 네벤테푸스가 자명하지 않으면, 형식 $f$에 **내부 꼬임 (inner twists)**이 존재할 수 있어 표현의 상 (image) 이 복잡해지고, [AT25] 의 증명 기법을 직접 적용하기 어렵습니다.

2. 주요 방법론 및 접근 방식

저자는 [AT25] 의 결과를 비자명한 네벤테푸스 경우로 확장하기 위해 다음과 같은 방법론을 사용합니다.

1. 내부 꼬임 (Inner Twists) 의 처리:

   • $f$의 계수 체 $E$의 자기동형사상 $\gamma$에 대해 $f^\gamma = f \otimes \chi_\gamma$를 만족하는 디리클레 문자 $\chi_\gamma$가 존재하는지 분석합니다.
   • 이러한 꼬임 문자들을 모두 포함하는 유한 갈루아 확대 $K$를 정의하고, $K$ 위에서 네벤테푸스가 자명해지도록 하여 표현의 상을 제어합니다.
   • 이를 통해 표현의 상이 특정 군 구조를 가짐을 보이며, [AT25] 의 가정을 수정하여 적용합니다.

2. ADZ 체 (ADZ Field) 의 도입:

   • [ADZ14] 의 아이디어를 차용하여, 갈루아 군의 중심 (center) 에 의해 고정된 체가 국소 차수 (local degree) 를 균일하게 유계 (bounded) 로 가질 때 이를 ADZ 체라고 정의합니다.
   • 핵심 발견: ADZ 성질은 체의 합성 (compositum) 에 대해 닫혀 있습니다. 즉, 두 ADZ 체의 합성도 ADZ 체이며, 따라서 Property (B) 를 가집니다. 이는 일반적인 Property (B) 가 합성에 대해 잘 보존되지 않는다는 점과 대조적입니다.
   • 이 성질을 이용해 $p$가 아닌 소수에서의 표현 ($\rho_f^{(p)}$) 이 ADZ 성질을 만족함을 보임으로써 Property (B) 를 유도합니다.

3. 크리스탈린 표현 (Crystalline Representation) 분석:

   • $p$에서의 표현 ($\rho_{f,p}$) 은 Breuil 의 분류에 따라 크리스탈린 표현 $V_{k,0,\omega}$로 기술됩니다.
   • $a_p(f)=0$인 조건 (초특이 소수 조건) 하에서, 이 표현의 구조를 명확히 하고, 갈루아 군의 람미케이션 (ramification) 군 구조를 분석합니다.

4. 병합 정리 (Merging Theorem) 적용:

   • $p$가 아닌 부분과 $p$ 부분의 표현이 각각 Property (B) 를 만족하거나 적절한 조건을 만족할 때, 이들의 합성체가 Property (B) 를 가진다는 [AT25] 의 "병합 정리"를 일반화하여 적용합니다.
   • 이를 위해 **정규 폐포 보조정리 (Normal Closure Lemma)**를 증명하여, 갈루아 군의 람미케이션 구조가 요구되는 조건을 충족함을 보입니다.

3. 주요 가정 (Assumption 1)

주요 정리를 증명하기 위해 모듈러 형식 $f$와 소수 $p$에 대해 다음 조건들이 필요합니다:

• (P0) $p \nmid N$ (레벨과 소수 $p$가 서로소).
• (P1) $a_p(f) = 0$ (초특이 조건). 이는 $p$에서의 표현이 특정 크리스탈린 형태가 되도록 보장합니다.
• (P2) $p \ge 5$이고, $p+1$이 $k-1$을 나누지 않으며, $(p+1)/2$도 $k-1$을 나누지 않습니다.
• (P3) 표현의 상이 $\text{SL}_2(\mathcal{O}_f/p\mathcal{O}_f)$를 포함할 정도로 충분히 큽니다.

4. 주요 결과 (Main Theorem)

정리 4.3: 위 조건 (Assumption 1) 을 만족하는 정규화된 고유 형식 $f \in S_k(\Gamma_0(N), \chi)$ ($k \ge 2$) 에 대해, 이에 대응되는 아델릭 갈루아 표현 $\hat{\rho}_f$가 정의하는 체는 **보고모로프 성질 (Property (B))**을 가진다.

• 이 결과는 [AT25] 의 결과를 비자명한 네벤테푸스 경우로 일반화한 것입니다.
• 또한, $k=1$인 경우 표현의 상이 유한하므로 Property (B) 가 자명하게 성립함을 언급합니다.

5. 기술적 기여 및 증명 구조

1. ADZ 체의 성질 증명:

   • 갈루아 군의 중심에 대한 성질을 이용해, ADZ 체들의 합성이 다시 ADZ 체임을 증명했습니다 (Lemma 5.6, 5.7, Theorem 5.8).
   • 이는 Property (B) 를 가진 체들의 새로운 클래스를 제시하며, 합성 연산 하에서 안정적임을 보여줍니다.

2. 표현의 분해 및 분석:

   • $p$가 아닌 부분: $a_p(f)=0$ 조건을 이용해 Frobenius 원소의 제곱이 중심에 있음을 보였고, 이를 통해 표현이 ADZ 성질을 만족함을 증명했습니다 (Proposition 5.9).
   • $p$ 부분: Breuil 의 분류를 통해 표현이 $V_{k,0,\omega}$ 형태임을 확인하고, 람미케이션 군의 구조를 정밀하게 분석했습니다 (Proposition 5.17).

3. 정규 폐포 보조정리 (Normal Closure Lemma, Proposition 5.19):

   • 갈루아 군의 람미케이션 군이 전체 군의 정규 폐포를 생성함을 증명했습니다. 이는 [AT25] 의 증명을 비자명한 네벤테푸스 경우에 맞게 수정하고 확장한 것으로, 행렬 대수 (matrix algebra) 와 표현론적 기법을 사용하여 증명했습니다 (Section 6).

6. 의의 및 결론

• 이론적 확장: 모듈러 형식에서 유도된 갈루아 표현에 대한 Property (B) 연구에서, 네벤테푸스의 유무에 따른 제약을 제거하고 보다 일반적인 경우를 다루는 중요한 진전을 이루었습니다.
• 새로운 도구: ADZ 체 개념을 도입하고 그 성질을 규명함으로써, Property (B) 를 가진 체들의 합성에 대한 새로운 통찰을 제공했습니다. 이는 향후 다른 갈루아 표현이나 산술 기하학적 구조에 대한 연구에도 유용한 도구가 될 것입니다.
• 구체적 예시: Section 7 에서 Mascot 의 미공개 결과와 Diamond 의 정리를 활용하여, 실제 조건을 만족하는 모듈러 형식들의 구체적인 예시 (예: 레벨 30, 21 등) 를 제시하여 이론의 실현 가능성을 입증했습니다.

결론적으로, 이 논문은 모듈러 형식의 갈루아 표현과 높이 이론 (height theory) 의 연결 고리를 강화하며, 비자명한 네벤테푸스 하에서도 높은 산술적 성질 (Property (B)) 이 유지됨을 보임으로써 수론 연구에 중요한 기여를 했습니다.