[논문 리뷰] $p$-adic Beilinson conjecture for ordinary Hecke motives associated to imaginary quadratic fields

Kenichi Bannai, Guido Kings|arXiv (Cornell University)|2010. 06. 15.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $p$-진 베일린스킨 추측을 임의의 헤크 모티브에 대해 증명한다. 이는 복소 곱법을 갖는 타원곡선의 고르스엔카라크터 $\psi$에 대해, $\psi^a$가 $p \geq 5$ 이고 일반적일 때, $p$-진 아이zer스타인 급수와 측도를 이용하여 비임계점에서 $p$-진 $L$-함수의 보간 성질을 확립함으로써 이루어진다. 주요 결과는 $p \geq 5$ 이고 일반적일 때, $\psi^a$에 대해 추측을 확인하며, $p$-진 $L$-값이 $\Gamma$-인자와 복소 주기와 정확한 공식을 통해 레지우어와 연결됨을 보여준다.

ABSTRACT

The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$.

연구 동기 및 목표

• 임의의 허수 제곱근을 갖는 정수환의 클래스 수가 1인 헤크 모티브에 대해 $p$-진 베일린스킨 추측을 증명하기.
• 복소 곱법을 갖는 타원곡선의 고르스엔카라크터 $\psi$에 대해, $\psi^a$의 비임계점에서 $p$-진 $L$-함수의 보간 성질을 확립하기.
• 모듈러 곡선의 기하학적 성질과 프로베니우스 연산자 간의 호환성에 기반하여, $\mathbb{Z}_p^\times$ 위에 정의된 $p$-진 측도(또는 가측도)를 구성하여 $\psi^a$의 임계값을 보간하기.
• 모든 조건이 만족할 때, $p \geq 5$ 이고 일반적이며 $K$에서 분해되지 않은 경우, $p$-진 $L$-값이 레지우어와 복소 주기 사이의 추측 공식을 확인하기.

제안 방법

• 저자들은 모듈러 형식 이론과 갈루아 작용을 통해, $\mathbb{Z}_p^\times \times \mathbb{Z}_p^\times$ 위에 정의된 측도 $\mu_{\varphi_a}$를 $p$-진 아이저스타인 급수를 이용해 구성한다.
• 모듈러 곡선의 기하학적 성질과 프로베니우스 연산자 간의 호환성에 기반하여, $p$-진 $L$-함수는 적분 $L_p(\psi^a \otimes \chi_{\text{cyc}}^n) = \int_{\mathbb{Z}_p^\times} w^n \mu^a(w)$ 로 정의되며, 이는 비임계점에서 $L(\psi^a, n)$ 값을 보간한다.
• 프로베니우스 작용의 기하학적 성질과 $p$-진 아이저스타인 급수의 조합을 통해 $p$-진 주기 $\Omega_p(n)$을 계산하고, 이를 레지우어와 연결한다.
• 프로베니우스 연산자와 모듈러 곡선의 기하학적 성질 간의 호환성은 $p$-진 $L$-함수의 정확한 보간을 보장한다.
• 증명은 $p$-진 레지우어 사상이 단사임을 전제로 하며, $\mathbb{R}$ 위에서 베일린스킨 레지우어 사상이 알려진 것으로 surjective임을 이용한다.

실험 결과

연구 질문

• RQ1 모듈러 곡선의 기하학적 성질과 프로베니우스 작용의 호환성에 기반하여, $p$-진 아이저스타인 급수를 통해 구성된 $p$-진 $L$-함수는 $\psi^a$의 임계값을 비임계점에서 보간하는가?
• RQ2 임의의 허수 제곱근을 갖는 정수환의 클래스 수가 1인 헤크 모티브에 대해 $p$-진 베일린스킨 추측을 검증할 수 있는가?
• RQ3 $p$-진 $L$-함수는 복소 주기 $\Omega_\infty(n)$과 $p$-진 레지우어 사이에 어떻게 관련되어 있는가?
• RQ4 $\Gamma$-인자, 복소 주기, $p$-진 측도를 포함한 정확한 공식으로 $p$-진 $L$-값을 어떻게 기술할 수 있는가?
• RQ5 모듈러 곡선의 기하학적 성질과 프로베니우스 작용의 호환성에 기반하여, $\mathfrak{f}_a = (1)$일 경우 $p$-진 측도의 보간 성질은 어떻게 영향을 받는가?

주요 결과

• $p \geq 5$ 이고 일반적이며 $K$에서 분해되지 않은 경우, $p$-진 레지우어 사상이 단사임을 전제로 하여, $\psi^a$에 대해 $p$-진 베일린스킨 추측이 증명된다.
• $p$-진 $L$-함수 $L_p(\psi^a \otimes \chi_{\text{cyc}}^n)$ 는 적분 $\int_{\mathbb{Z}_p^\times} w^n \mu^a(w)$ 로 주어지며, 이때 $\mu^a$ 는 $p$-진 아이저스타인 급수로부터 구성된 가측도이다.
• 모든 정수 $n > a$ 에 대해 다음 공식이 성립한다: \\ \frac{L_p(\psi^a \otimes \chi_{\text{cyc}}^n)}{\Omega_p(n)} = \left(1 - \frac{\psi(\mathfrak{p})^a}{p^n}\right)\left(1 - \frac{\overline{\psi}(\mathfrak{p}^*)^a}{p^{a+1-n}}\right)\frac{\Gamma(n)L(\psi^a, n)}{\Omega_\infty(n)}.
• $\mathfrak{f}_a \neq (1)$ 이면 측도 $\mu^a$ 는 진정한 $p$-진 측도이며, $\mathfrak{f}_a = (1)$ 이면 발산 인자를 상쇄하기 위해 $\mu^a_N$ 으로 정규화가 필요하다.
• $p$-진 주기 $\Omega_p(n)$ 은 $\frac{(-1)^{a-n+1}}{\Gamma(n)} \Omega^a_\mathfrak{p} E_{n,a-n,\varphi_a}(E,\omega,\nu)$ 로 계산되며, 이는 $p$-진 주기와 복소 주기 사이의 연결 고리를 제공한다.
• $\widetilde{\mu}_{\varphi_a}$ 의 보간 성질은 카츠와 야거가 구성한 이변수 $p$-진 $L$-함수와 일치하며, 기존의 구성과의 일致성을 확인한다.