[논문 리뷰] CM periods, CM regulators and hypergeometric functions, I

Masanori Asakura, Noriyuki Otsubo|arXiv (Cornell University)|2015. 03. 27.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 9

한 줄 요약

이 논문은 복소수 곱셈(CM) 주기와 관련된 그로스–델리ญ 추측을 복소수 평면 위의 표면의 특정 피브레이션에서 유래한 모티브에 대해 증명하며, $K_1$-레귤러라이제이션을 초함수 ${}_3F_2$로 표현하는 레귤러라이제이션 공식을 수립한다. 이는 이러한 모티브의 주기와 레귤러라이제이션을 초함수의 특수값을 통해 명시적으로 계산할 수 있음을 보여주며, 온건한 조건 하에서 레귤러라이제이션의 영이 아님을 확인한다.

ABSTRACT

We study the $H^2$ of certain surfaces with complex multiplication by a cyclotomic field. The periods are written in terms of values of the gamma function and the conjecture of Gross-Deligne is verified. The regulators of certain $K_1$-elements are written in terms of values of hypergeometric functions ${}_3F_2$, and we prove their non-vanishing.

연구 동기 및 목표

• 특정 단형과 CM 구조를 지닌 $\mathbb{P}^1$ 위의 표면 피브레이션과 관련된 $H^2$의 모티브에 대해 복소수 곱셈(CM) 주기의 그로스–델리ญ 추측을 증명하는 것.
• 이러한 모티브의 $K_1$-레귤러라이제이션을 $\frac{1}{N}\mathbb{Z}$ 내의 매개변수를 가진 초함수 ${}_3F_2$로 표현하는 것.
• 약간의 가정 하에 레귤러라이제이션의 비자명성을 확보하여 그 산술적 의미를 확인하는 것.
• 가장자리 확장과 정수 표현을 이용해 주기와 레귤러라이제이션을 명시적으로 계산하는 것.
• 모티브의 레귤러라이제이션이 무게에 따라 달라지는 ${}_{k+1}F_k$-값으로 표현될 수 있다는 보다 넓은 추측의 기초를 다지는 것.

제안 방법

• 표면의 상대적 첫 번째 드 라함 코homology 위의 가우스–만긴 접속의 표준 확장을 명시적으로 계산한다.
• 오일러 형식의 적분 표현을 사용하여 표면의 2주기 값을 ${}_3F_2$-값으로 표현하고, 이들이 ${}_2F_1$-값으로 감소함을 보인다.
• 체 $K = \mathbb{Q}(\mu_{pl})$ 작용 하에서의 고유성분 $H^\chi$ 를 분석하여 모티브 $H = (H_{\mathrm{dR}}, H_B)$ 의 호지 구조를 규명하며, $\dim_K H_B = 1$ 을 증명한다.
• 비엘린스킨 레귤러라이제이션 $r_\mathscr{D}: H^3_\mathscr{M}(X,\mathbb{Q}(2)) \to H^3_\mathscr{D}(X_\mathbb{C}, \mathbb{Q}(2))$ 를 적용하고, $F^1 H_{\mathrm{dR}}^2$ 로 제한하여 레귤러라이제이션과 초함수를 연결한다.
• 제1저자의 이전 연구에서 사용된 기법을 활용하여 체치 유형 복합체를 통해 레귤러라이제이션을 계산하고, $\mu_l$ 위의 섬유에 지지된 델리뉴 코hom로지 클래스를 다루며 호지 필터링과의 호환성을 확보한다.
• 초함수 항등식을 통한 주기 및 레귤러라이제이션 계산 비교를 통해 추측된 공식을 검증한다.

실험 결과

연구 질문

• RQ1 복소수 곱셈(CM)을 지닌 $\mathbb{Q}(\mu_{pl})$ 에 대해 $\mathbb{P}^1$ 위의 표면 피브레이션에서 유래한 모티브에 대해 그로스–델리ญ 추측의 CM 주기를 검증할 수 있는가?
• RQ2 이러한 모티브의 $K_1$-레귤러라이제이션은 $\frac{1}{N}\mathbb{Z}$ 내의 매개변수를 가진 초함수 ${}_3F_2$ 로 표현될 수 있는가?
• RQ3 약간의 조건 하에서 이러한 모티브에 대해 레귤러라이제이션 사상이 영이 아님을 보장할 수 있는가? 이는 산술적 관련성을 뒷받침한다.
• RQ4 이러한 모티브의 호지 구조와 주기 적분은 특수값을 가진 초함수와 어떻게 관련이 있는가?
• RQ5 가우스–만긴 접속과 그 표준 확장의 구조를 이용하여 주기와 레귤러라이제이션을 명시적으로 계산할 수 있는가?

주요 결과

• 각 고유성분 $H^\chi$ 의 주기는 $B(\beta,\mu) B(1-\beta, \beta - \alpha + \mu)$ 의 곱에 비례하며, 여기서 $\alpha = \{\frac{na}{p}\}$, $\beta = \{\frac{nb}{p}\}$, $\mu = \{\frac{m}{l}\}$ 이고, 비례 상수는 $K'^\times$ 에 속하며 $K' = \mathbb{Q}(\mu_{2lp})$ 를 만족한다. 이는 그로스–델리ญ 추측을 증명한다.
• 모티브 코hom로지 클래스 $z \in H^3_{\mathscr{M},Z_1}(X,\mathbb{Q}(2))$ 가 드 라함 코hom로지 클래스 $\omega \in H_{\mathrm{dR}}^{\chi}$ 에서 평가될 때, 레귤러라이제이션은 $B(1-\alpha,\beta) \cdot {}_3F_2\left({1-\alpha,\beta,\beta-\alpha+\mu \atop 1-\alpha+\beta,\beta-\alpha+\mu+1};1\right)$ 에 비례하며, 비례 상수는 $K^\times$ 에 속한다.
• 체 $K$ 위에서의 베티 코hom로지 $H_B$ 의 차원이 1임을 증명하여 고유성분 $H^\chi$ 의 일차원성을 확인한다.
• 온건한 가정 하에서 레귤러라이제이션이 영이 아님을 보여주며, 레귤러라이제이션 사상의 비자명성을 확인하고 $L$-함수 추측에서의 역할을 뒷받침한다.
• 표면의 2주기는 적분 표현을 통해 먼저 ${}_3F_2$-값으로 표현되고, 이들이 ${}_2F_1$-값으로 동일시됨을 보여주며, 결과를 고전적 초함수 이론과 연결한다.
• 표준 확장과 체치 해상법을 통해 델리뉴 코호몰로지 클래스와 그 호지 필터링을 명시적으로 계산할 수 있으며, 이는 레귤러라이제이션 공식의 검증을 가능하게 한다.