[논문 리뷰] Classicality of overconvergent Hilbert eigenforms: Case of quadratic residue degree

Yichao Tian|arXiv (Cornell University)|2011. 04. 23.

Algebraic and Geometric Analysis참고 문헌 20인용 수 10

한 줄 요약

이 논문은 실수 이차체 $F$ 에서 $p$ 가 비분해일 때, 과수렴하는 힐베르트 특성형식의 고전성(classicality)을 확립한다. 이는 소 기울기(slope)가 작은 이러한 형식이 고전적 모듈라 형식임을 증명한다. 버즈드-카사에이의 해석적 연장 방법과 $p$-나누어지지 않는 군 설정에서의 표준 부분군을 활용하여, 저자들은 콜먼의 고전성 기준을 이차 잔여도 경우의 힐베르트 모듈라 설정으로 확장한다.

ABSTRACT

Let $F$ be a quadratic real field, $p$ be a rational prime inert in $F$. In this paper, we prove that an overconvergent $p$-adic Hilbert eigenform for $F$ of small slope is actually a classical Hilbert modular form.

연구 동기 및 목표

• 실수 이차체에서 $p$ 가 비분해일 경우, $p$-진 모듈라 형식에 대한 콜먼의 고전성 정리(고전성 정리)를 힐베르트 모듈라 설정으로 일반화한다.
• 소 기울기를 가진 과수렴하는 힐베르트 특성형식이 고전적임을 입증하여, 이차 잔여도 경우의 고전성 기준을 확장한다.
• 완전히 분해된 $p$-진 구조가 존재하지 않는 상황에서 버즈드와 카사에이의 해석적 연장 방법을 힐베르트 모듈라 설정으로 적응한다.
• $p$-진 체 위의 실수 곱셈을 가진 $p$-나누어지지 않는 군의 표준 부분군을 구성하고 활용하여 $U_p$-연산자와 과수렴하는 형식을 정의한다.
• $U_p$-특성형식이 소 기울기를 가질 경우 전체 힐베르트 모듈라 다양체 위에 전역 섹션으로 연장됨을 증명하여, 강한 GAGA 원리에 의해 고전성임을 이끌어낸다.

제안 방법

• 과수렴하는 형식을 함수방정식 $f = \frac{1}{a_p}U_p(f)$ 를 통해 연장함으로써, 버즈드-카사에이의 해석적 연장 전략을 힐베르트 모듈라 다양체로 확장한다.
• 카츠와 루빈이 개발한 $p$-진 체 위의 실수 곱셈을 가진 $p$-나누어지지 않는 군의 표준 부분군 이론을 활용하여 $U_p$-연산자를 정의한다.
• 엄격한 이웃 영역 내에서 강한 해석적 힐베르트 모듈라 다양체의 보통 지역에서 선다발 $\underline{\omega}^{\vec{k}}$ 의 섹션으로서 과수렴하는 힐베르트 모듈라 형식을 구성한다.
• 해스 인variant(즉, $E_{p-1}$ 의 올림)이 $p$ 모듈로에서 0이 아닌 값을 가지는 점들의 집합으로 보통 지역을 정의하여 타원 곡선의 경우를 일반화한다.
• 강한 GAGA 원리를 적용하여, 전체 강한 해석적 모듈라 다양체 위에서 해석적으로 연장된 섹션이 고전적 대수적 모듈라 형식에 대응함을 유도한다.
• 실수 곱셈을 가진 $p$-나누어지지 않는 군의 구조와 그 필터링을 활용하여 $U_p$-특성형식의 행동을 제어하고 연장 과정의 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 기저 체에서 $p$ 가 비분해일 경우, 콜먼의 $p$-진 모듈라 형식에 대한 고전성 기준을 힐베르트 모듈라 형식으로 확장할 수 있는가?
• RQ2 이차 잔여도 경우에서 소 기울기를 가진 과수렴하는 힐베르트 특성형식은 반드시 고전적 힐베르트 모듈라 형식에서 유래하는가?
• RQ3 버즈드와 카사에이의 해석적 연장 방법을 실수 곱셈과 비분해 $p$ 를 가진 힐베르트 모듈라 다양체에 적응할 수 있는가?
• RQ4 실수 곱셈을 가진 $p$-나누어지지 않는 군의 표준 부분군은 $U_p$-연산자와 과수렴하는 형식의 연장에 어떻게 기여하는가?
• RQ5 보통 지역과 그 여집합은 과수렴하는 형식이 고전적 형식으로 연장되는 과정에서 어떤 역할을 하는가?

주요 결과

• 실수 이차체 $F$ 에 대해 $p$ 가 $F$ 에서 비분해이고, 소 기울기가 작은 과수렴하는 힐베르트 특성형식은 $v_p(a_p) < k_1 + k_2 - 2$ 를 만족할 경우 고전적이다.
• 해석적 연장 과정은 과수렴하는 형식을 보통 지역과 초순수 지역을 포함한 전체 강한 해석적 힐베르트 모듈라 다양체로 연장한다.
• 이 연장은 $p$-진 해석적 구조를 활용하여 함수방정식 $f = \frac{1}{a_p}U_p(f)$ 를 반복적으로 적용함으로써 달성된다.
• 결과적으로 얻어진 연장된 섹션은 $\underline{\omega}^{\vec{k}}$ 의 전역 해석적 섹션이며, 강한 GAGA 원리에 의해 고전적 힐베르트 모듈라 형식으로 내림린다.
• 실수 곱셈을 가진 $p$-나누어지지 않는 군의 표준 부분군 이론은 $U_p$-연산자의 정의와 연장 과정의 수렴성 보장에 필수적이다.
• 이 방법은 타원 곡선의 경우를 이차 잔여도 경우의 힐베르트 모듈라 설정으로 일반화하여, $p$ 가 비분해일 경우 문헌에서 빈번히 생략된 격차를 메운다.