[논문 리뷰] Slopes of eigencurves over boundary disks

Daqing Wan, Liang Xiao외 1명|arXiv (Cornell University)|2014. 07. 01.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 8

한 줄 요약

이 논문은 $p$에 의해 매우 높이 나누어지는 고리형 특성을 가진 오버컨버젠틱 모듈라 형식에서 $U_p$-고유값의 기울기에 대한 뉴턴 다각형의 날카운 하한을 설정한다. 자코벳–랑즈 대응을 통해 정의된 양자수 대수로 전이함으로써 이를 달성한다. 기울기가 무게가 증가함에 따라 산술급수로 증가함을 증명하며, 이는 임의의 $p$와 일반적인 수준에 대해 브자드–킬포드의 추측에 대한 첫 번째 일반적 증거를 제공한다. 또한 기울기 수열의 일부에 대한 정확한 공식을 유도한다.

ABSTRACT

Let $p$ be a prime number. We study the slopes of $U_p$-eigenvalues on the subspace of modular forms that can be transferred to a definite quaternion algebra. We give a sharp lower bound of the corresponding Newton polygon. The computation happens over a definite quaternion algebra by Jacquet-Langlands correspondence; it generalizes a prior work of Daniel Jacobs who treated the case of $p=3$ with a particular level. In case when the modular forms have a finite character of conductor highly divisible by $p$, we improve the lower bound to show that the slopes of $U_p$-eigenvalues grow roughly like arithmetic progressions as the weight $k$ increases. This is the first very positive evidence for Buzzard-Kilford's conjecture on the behavior of the eigencurve near the boundary of the weight space, that is proved for arbitrary $p$ and general level. We give the exact formula of a fraction of the slope sequence.

연구 동기 및 목표

• 무게 공간 경계 근처에서 에이젠커브의 거동에 대한 이론적 증거를 제공함으로써 브자드–킬포드의 추측에 이르기 위한 목표.
• 오버컨버젠틱 모듈라 형식의 맥락에서 $U_p$-고유값 기울기의 뉴턴 다각형에 대한 날카운 하한을 설정함.
• 기존의 $p=3$에 대한 잭브스의 작업을 임의의 $p$와 일반적인 수준으로 일반화함. 특히 $m \geq 2$일 때 $p^m$의 고리형 특성을 가진 특성에 대해.
• 무게가 증가함에 따라 기울기가 산술급수로 증가함을 보임. 이는 고리형 특성이 $p$의 고차수로 나누어지는 경우에 해당.
• 자코벳–랑즈 대응과 $p$-진 표현 이론을 이용하여 기울기 수열의 일부에 대한 정확한 공식을 도출함.

제안 방법

• 자코벳–랑즈 대응을 활용하여 모듈라 형식에서의 $U_p$-고유값 연구를 정의된 양자수 대수에서의 자동형 형식으로 전이함.
• $p$-진 표현 이론과 가짜표현을 통한 큼직한 $U_p$-연산자 계산을 통해 큼직한 형식에서의 $U_p$-연산자 계산을 명시적으로 적용함.
• 잔여 가짜표현을 사용하여 고유값 기울기를 분리하고, 뉴턴 다각형 근사에서 오차 항을 제어함.
• $P_{\bar{\rho}}^{p^n}$의 극한을 사용하여 기약 성분으로 투영하고 각 블록에서의 $U_p$-행동을 분석함.
• 모듈로 $p^2$에서 잘라낸 $U_p$-행렬의 행렬식의 $p$-진 값의 추정을 통해 뉴턴 다각형 하한을 도출함.
• 호지 다각형 비교와 오차 항 분석을 적용하여 $U_p$-행동가 블록 대각형 형태에 가까워지며, 제어 가능한 $p$-진 값이 있음을 보임.

실험 결과

연구 질문

• RQ1 무게가 증가함에 따라 고리형 특성이 $p^m$인 오버컨버젠틱 모듈라 형식에서의 $U_p$-고유값 기울기는 산술급수로 증가하는가?
• RQ2 무게 공간의 경계 영역에서 $U_p$-고유값 기울기의 뉴턴 다각형에 대해 날카운 하한을 설정할 수 있는가?
• RQ3 브자드–킬포드의 예측에 따르면, 경계 근처의 에이젠커브는 유한한 수의 산술급수 유사 가닥으로 분해되는가?
• RQ4 자코벳–랑즈 대응은 비고전적 설정에서 $p$-진 기울기를 효과적으로 계산하는 데 사용될 수 있는가?
• RQ5 고리형 특성이 매우 $p$의 고차수로 나누어지는 경우, $U_p$-고유값의 기울기 수열의 정확한 구조는 무엇인가?

주요 결과

• 고리형 특성이 $p^m$인 오버컨버젠틱 모듈라 형식의 공간에서 $U_p$-고유값 기울기의 뉴턴 다각형에 대해 날카운 하한이 설정됨. 이때 $m \geq 2$.
• 고리형 특성이 $p$의 고차수로 나누어지는 경우, 기울기는 무게가 증가함에 따라 산술급수로 증가함.
• 이 논문은 임의의 $p$와 일반적인 수준에 대해 브자드–킬포드의 추측의 첫 번째 일반 사례를 증명함. 이는 $p=2$나 작은 수준에 국한되지 않음.
• 기울기 수열의 일부에 대한 정확한 공식이 도출되었으며, 이는 유리수 단위의 산술급수로 구성되어 있음을 보여줌.
• $정의된 양자수 대수의 코homology에서의 $U_p$-행동이 제어 가능한 $p$-진 값이 있는 블록 대각형 행렬에 의해 근사됨을 보임.
• 잔여 가짜표현과 극한 투영을 통해 뉴턴 다각형 근사의 오차 항이 제어되어 하한의 타당성이 보장됨.