[논문 리뷰] On the regulator of Fermat motives and generalized hypergeometric functions

Noriyuki Otsubo|ArXiv.org|2009. 09. 16.

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

한 줄 요약

이 논문은 일반화된 하이퍼기하급수 함수를 사용하여 페르마 곡선 모티브의 베일린스킨 정규화를 계산하고, 그들이 0이 아님을 증명하며, 특정 경우에 대해 정규화 사상의 상사성(_surjectivity_)을 확립한다. 또한 정규화 이미지를 애플의 $ F_3 $ 및 바네스의 $_3F_2 $ 하이퍼기하급수의 특수값으로 표현하여, $ L $-함수의 특수값에 대한 베일린스킨 추측에 강력한 증거를 제공한다.

ABSTRACT

We calculate the Beilinson regulators of motives associated to Fermat curves and express them by special values of generalized hypergeometric functions. As a result, we obtain surjectivity results of the regulator, which support the Beilinson conjecture on special values of L-functions.

연구 동기 및 목표

• 페르마 곡선과 관련된 모티브에 대한 베일린스킨 정규화를 일반화된 하이퍼기하급수 함수의 특수값을 사용하여 계산한다.
• 정규화 사상의 상사성을 검증하여 $ L $-함수의 특수값에 대한 베일린스킨 추측에 대한 증거를 제공한다.
• 모티브 코hom로지 클래스의 정규화 이미지를 $ (1,1) $에서 $ F_3 $ 및 $_3F_2 $ 하이퍼기하급수 함수로 표현한다.
• 모티브 코호모로지의 구조를 $ \text{Gal}(k/\nolinebreak\mathbb{Q}) $-작용과 등장성 성분으로 분해함으로써 분석한다.
• 특정 $ K_2 $-기호들에 대한 정규화 이미지의 0이 아님과 일차 독립성을 확립한다.

제안 방법

• 페르마 곡선 $ X_N $ 가 $ \mu_N \times \mu_N $-작용에 따라 등장성 성분으로 분해됨에 따라 정규화 사상 $ r_{\text{D}}: H^2_{\text{M}}(X_N, \mathbb{Q}(2))_{\mathbb{Z}} \to H^2_{\text{D}}(X_{N,\mathbb{R}}, \mathbb{R}(2)) $ 를 분석한다.
• 모티브 클래스 $ e_N = \{1-x,1-y\} \in K_2 $-군은 성분 $ e_N^{a,b} $ 로 사영되며, 이들의 정규화는 애플의 $ F_3 $ 함수의 적분 표현을 통해 계산된다.
• 특수값 $ \widetilde{F}(\alpha,\beta) = \frac{\varGamma(\alpha)\varGamma(\beta)}{\varGamma(\alpha+\beta+1)} F(\alpha,\beta;1,1) $ 을 사용하여 $ (x,y)=(1,1) $ 에서 정규화 이미지를 표현한다.
• $ N=5 $ 에서는 $ F_5^{a,b,c} $ 항들의 $ \mathbb{Q} $-선형 조합을 사용하여 정규화가 0이 아님을 보인다. 계수는 원분단위근과 원분다항식을 포함한다.
• $ N=7 $ 에서는 $ F_7^{a,b,c} $ 와 원분가우스 합으로부터 정규화 행렬 $ B^{a,b,c} $ 를 구성한다. $ a,b,c $ 가 서로 다를 때 그 행렬식이 0이 아님을 보인다.
• 대칭성, 부호 분석, 하이퍼기하급수 항들 간의 부등식을 이용하여 행렬식의 0이 아님과 정규화 이미지의 일차 독립성을 확립한다.

실험 결과

연구 질문

• RQ1 페르마 곡선 모티브 $ X_N^{a,b} $ 의 베일린스킨 정규화 사상은 0이 아닐까? 그리고 그 이미지는 하이퍼기하급수로 표현될 수 있을까?
• RQ2 $ a,b,c $ 가 서로 다를 때 $ X_7^{a,b} $ 에서 정규화 사상의 상사성이 확립될 수 있을까?
• RQ3 일반화된 하이퍼기하급수 함수의 특수값은 베일린스킨 추측에서 예측한 $ L $-값과 어떻게 관련될까?
• RQ4 갈루아 대칭성과 $ \mu_N \times \mu_N $-작용은 모티브 코호모로지의 분해와 $ K_2 $-기호의 정규화에 어떤 역할을 할까?
• RQ5 $ X_N $ 상에서 여러 개의 $ K_2 $-기호에 대해 정규화 이미지의 일차 독립성을 증명할 수 있을까?

주요 결과

• $ N=5 $ 에서 $ K_2 $-기호 $ e_{(1)}^{1,1} $ 의 정규화는 0이 아니며, 계수에 $ \sin(2\pi/5) $ 와 $ \sin(4\pi/5) $ 가 포함된 $ F_5^{a,b,c} $ 항들의 $ \mathbb{Q} $-선형 조합으로 표현된다.
• $ N=7 $ 에서 정규화 행렬 $ B^{1,2,4} $ 의 행렬식은 0이 아니며, 이는 $ a,b,c $ 가 서로 다를 때 정규화 사상의 상사성을 증명한다.
• $ X_7^{1,2,4} $ 의 정규화 행렬의 행렬식은 $ s^3 + t^3 + u^3 - 3stu $ 와 비례하며, 항 $ s,t,u $ 의 부호와 크기 분석에 의해 0이 아님을 보인다.
• $ a=b $ 일 때, $ e_{(1)}^{a,b} $ 와 $ e_{(13)}^{a,b} $ 의 정규화는 동일하지만, 소수 행렬식은 0이 아니므로 이미지 차원은 최소 2 이상임을 암시한다.
• $(1,1)$ 에서 특수값 $ \widetilde{F}(\alpha,\beta) $ 는 바네스의 $_3F_2$ 함수로 표현 가능하며, 모티브의 주기와 연결된다.
• 결과는 베일린스킨 추측을 지지한다: $ L^*(j_7^{a,b},0) \equiv \pi^3 \cdot (s^3 + t^3 + u^3 - 3stu) \mod \mathbb{Q}^* $, 여기서 $ s,t,u $ 는 하이퍼기하급수 값과 원분단위근을 포함한 명시적 표현이다.