[논문 리뷰] On a certain hypergeometric motive of weight 2 and rank 3

Bartosz Naskręcki|arXiv (Cornell University)|2017. 02. 24.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 7

한 줄 요약

이 논문은 매개변수 α = (1/4, 1/2, 3/4) 및 β = (0, 0, 0)로 정의된 무게 2, 질량 3인 초기하적 모티브를 타원 섬유화를 통해 K3 곡면 Vₜ의 엘라르 코homology의 초월 부분으로 명시적으로 실현한다. 주요 결과는 ℓ-아디크 실현에서 기하학적 프로베니우스의 트레이스가 유한체 위의 초기하적 합 Hₚ(1/4,1/2,3/4;0,0,0|t)와 일치하며, 이 동형사상은 ℚ 위에서 갈루아 구조를 유지하므로 유리수 t에 대해 정확한 L-함수 기술이 가능하다.

ABSTRACT

We study a family of hypergeometric motives $H(α,β|t)$ attached to a pair of tuples $α=(1/4,1/2,3/4)$, $β=(0,0,0)$. To each such motive we can attach a system of $\ell$--adic realisations with the trace of geometric Frobenius given by the evaluation of the finite field analogue of complex hypergeometric function. Geometry of elliptic fibrations makes it possible to to realise the motive $H(α,β|t)$ as a pure Chow motive attached to a suitable K3 surface $V_{t}$.

연구 동기 및 목표

• 대수기하학을 이용하여 특정한 초기하적 모티브(무게 2, 질량 3)의 기하학적 실현을 구축하는 것.
• 갈루아 표현 호환성을 통해 이 모티브의 ℓ-아디크 실현이 초월체 위의 유한체 초기하적 합 Hₚ(α,β|t)와 일치함을 입증하는 것.
• 이 모티브를 세 개의 변수에 대한 삼차방정식으로 정의된 K3 곡면 Vₜ의 두 번째 엘라르 코homology의 직접 합성분으로 묘사하는 것.
• 코homology의 초월 부분이 두 비-CM 타원곡선의 곱으로부터 유도된 갈루아 표현과 동형임을 증명하는 것.
• 기하학적 구성과 L-함수 비교를 통해 초기하적 합 사이의 항등식을 유도하는 것.

제안 방법

• 모티브 H(Φ₂Φ₄, Φ₁³|t)는 아핀 방정식 xyz(1 - (x+y+z)) = 1/(256t)로부터 유도된 K3 곡면 S = Ṽₜ⁻¹의 두 번째 엘라르 코homology의 초월 부분 h²ᵗʳ(S)로 실현된다.
• 변수 치환과 웨이어스트라 모델을 통해 Vₜ에 타원 섬유화를 도입하여, 시오다-인오 구조를 갖는 K3 곡면의 가속도를 얻는다.
• K3 곡면이 두 타원곡선 E₁과 E₂에 관련된 쿠머 곡면의 2차 덮개임을 보이며, 이 곡선들은 ℚ(t) 위에서 정의되고 j-불변량이 t에 따라 달라진다.
• 클리포드 이론과 유도 표현을 사용하여 H²(·, ℚₗ) 위의 갈루아 모듈 구조를 분석하여, 비-CM 곡선의 경우 초월 부분이 ℚₗ[G]-모듈로서 기약임을 보인다.
• 유한체 𝔽_q 위에서 다양체의 점 수 계산을 통해 프로베니우스의 트레이스를 계산하며, 네론-세버르 라티스 분해와 코로나리 6.5를 통해 H_q(α,β|t)와 일치함을 보인다.
• 타원곡선의 j-불변량을 통해 모듈라 매개변수 t를 도입하여 이 가속도가 X₀(2)와 연결되며, 두 등가의 타원곡선으로부터 유도된 다른 K3 곡면으로의 트레이스 공식 일반화 문제를 제기한다.

실험 결과

연구 질문

• RQ1 초기하적 모티브 H(1/4,1/2,3/4;0,0,0|t)는 K3 곡면에 연결된 초월 모티브로 기하학적으로 실현될 수 있는가?
• RQ2 이 모티브의 ℓ-아디크 실현에서 프로베니우스의 트레이스가 초월체 위의 초기하적 합 H_q(α,β|t)와 같은가?
• RQ3 코homology의 초월 부분 위 갈루아 표현은 두 비-CM 타원곡선의 곱으로부터 유도된 표현과 동형인가?
• RQ4 S = √((t−1)/t)를 포함하는 초기하적 합 사이의 항등식은 기하학적 구성과 L-함수 비교를 통해 도출될 수 있는가?
• RQ5 이 구성은 두 등가의 타원곡선으로부터 유도된 다른 K3 곡면으로 일반화될 수 있는가?

주요 결과

• 모티브 H(Φ₂Φ₄, Φ₁³|t)는 방정식 xyz(1 - (x+y+z)) = 1/(256t)로 정의된 K3 곡면 S = Ṽₜ⁻¹의 두 번째 엘라르 코homology의 초월 부분 h²ᵗʳ(S)로 실현된다.
• 이 모티브의 ℓ-아디크 실현에서 소수 p ≠ ℓ에서의 기하학적 프로베니우스의 트레이스는 정리 7.4에 의해 H_p(1/4,1/2,3/4;0,0,0|t)와 일치한다.
• t ∈ ℚ×이면서 관련된 타원곡선 E₁과 E₂가 비-CM일 경우, H²(·, ℚₗ)의 초월 부분은 기약 6차원 표현으로서 G 위의 Ind_N^G W와 동형이며, 여기서 G는 갈루아군이고 W는 3차원 기약 표현이다.
• 이 구성은 모티브와 K3 곡면의 코homology 간 ℓ-아디크 실현 사이의 갈루아-준수 동형사상을 유도하며, L-함수 구조를 유지한다.
• 항등식이 확립된다: q² × H_q(1/6,5/6;1/4,3/4|2(7±9S)²/(5±3S)³)² − q = H_q(1/4,1/2,3/4;0,0,0|1−S²), 양호한 감소 소수 q에 대해 성립한다.
• K3 곡면의 가속도는 매개변수 t = a⁴/(16(a²−4b)b)를 통해 X₀(2)와 연결되며, 이는 두 등가의 타원곡선으로부터 유도된 다른 K3 곡면으로의 일반화 가능성을 시사한다.