[논문 리뷰] Local zeta factors and geometries under Spec Z

Yuri I. Manin|arXiv (Cornell University)|2014. 07. 18.

Advanced Mathematical Identities참고 문헌 20인용 수 10

한 줄 요약

이 논문은 헤크 초다형식의 홀수 주기 다항식에 로드리게스-빌레가스 변환을 적용하여 제타 다항식을 구성하며, 이들이 임계선의 중심 축 상에서 비자명한 영점을 가지는 함수방정식을 만족함을 보인다. 또한 헤비로 링의 부분환에 체비셰프 람다-구조를 도입하여 $\mathbb{F}_1$ 상의 실해석기하를 모델링하며, 표준 토릭 구조와 구별되며 제타 함수의 실감마 인자와 기하학적 다리를 놓는다.

ABSTRACT

The first part of this note shows that the odd period polynomial of each Hecke cusp eigenform for full modular group produces via Rodriguez--Villegas transform ([Ro--V]) a polynomial satisfying the functional equation of zeta type and having nontrivial zeros only on the middle line of its critical strip. The second part discusses Chebyshev lambda--structure of the polynomial ring as Borger's descent data to $\bold{F}_1$ and suggests its role in possible relation of $Γ_{\bold{R}}$--factor to "real geometry over $\bold{F}_1$" (cf. also [CoCons2]).

연구 동기 및 목표

• 헤키 쿠스포름과 임계선 중심 축 상에서 영점을 가지는 함수방정식을 만족하는 제타 다항식 간의 연결 고리를 확립하기 위해.
• 헤비로 링 상의 다양한 람다-구조가 $\mathbb{F}_1$ 상의 복소기하와 실기하 기하의 차이를 어떻게 반영할 수 있는지 탐구하기 위해.
• $\mathbb{F}_1$로의 내림림 데이터를 이용해 제타 함수의 실감마 인자를 기하학적으로 해석하기 위해 보르거의 람다-구조 프레임워크를 활용하기 위해.
• $\mathbb{F}_1$ 상의 제타 함수와 무한차원 프로젝티브 공간 간의 유사성을 확장하기 위해 주기 다항식과 제타 유사 다항식을 연결하기 위해.

제안 방법

• 헤키 쿠스포름의 홀수 주기 다항식에 로드리게스-빌레가스 변환을 적용하여, 임계선 중심 축 상에서 영점을 가지는 함수방정식을 만족하는 제타 다항식을 도출한다.
• 특정 생성자 $r = 1 + q + \sum_{n=1}^\infty q^n(1-q)\cdots(1-q^n)$ 를 사용하여 헤비로 링 $\mathcal{H}$ 의 부분환 $\mathcal{H}_0$ 를 정의하며, 이는 $r = q + q^{-1}$ 를 만족한다.
• 체비셰프 다항식 $T_k$ 를 사용하여 $\psi^k(r) = T_k(r)$ 의 작용을 통해 $\mathcal{H}_0$ 에 체비셰프 람다-구조를 도입한다.
• 이 체비셰프 구조가 표준 토릭 람다-구조 $\psi^k(q) = q^k$ 와 다름을 보이며, $\mathcal{H}_0$ 가 $\mathcal{H}$ 보다 엄밀히 작음을 보여, $q \mapsto q^{-1}$ 에 대해 불변이 아님을 시사한다.
• $r = q + q^{-1}$ 가 원분단위에서 실수값을 가짐을 이용하여 $\mathcal{H}_0$ 가 $\mathbb{F}_1$ 상의 실해석기하를 모델링함을 해석하며, 이는 토릭 구조의 복소기하와 대비된다.
• 보르거의 내림림 이론을 활용하여 두 람다-구조를 $\mathbb{F}_1$ 로의 내림림 데이터로 간주함으로써 제타 함수의 복소 및 실아르키메데스 인자 간의 차이를 명확히 한다.

실험 결과

연구 질문

• RQ1 헤키 쿠스포름의 홀수 주기 다항식을 변환하여 임계선 중심 축 상에서 비자명한 영점을 가지는 함수방정식을 만족하는 제타 다항식으로 만들 수 있는가?
• RQ2 헤비로 링 상의 다양한 람다-구조는 제타 함수의 복소 및 실아르키메데스 인자 간의 차이를 어떻게 반영할 수 있는가?
• RQ3 부분환 $\mathcal{H}_0 \subset \mathcal{H}$ 상의 체비셰프 람다-구조의 기하학적 의미는 무엇이며, 토릭 구조와 어떻게 다를까?
• RQ4 헤비로 링과 그 부분환은 원분단위에서 실수값을 가진 함수를 포함함으로써 '$\mathbb{F}_1$ 상의 실기하'를 모델링할 수 있는가?
• RQ5 주기 다항식의 로드리게스-빌레가스 변환은 특성 1에서 멜린 변환과 제타 함수와 어떻게 관련이 있는가?

주요 결과

• 헤키 쿠스포름의 홀수 주기 다항식에 대한 로드리게스-빌레가스 변환은 $s = c/2$ 를 중심으로 대칭되는 함수방정식을 만족하며, 모든 비자명한 영점이 임계선 중심 축 상에 위치하는 제타 다항식을 도출한다.
• 결과로 얻어진 제타 다항식 $H_f$ 는 차수 $e = w - 10$ 을 가지며, 여기서 $w = k - 2$ 는 무게와 관련된 매개변수이며, 그 영점들은 복소평면 상의 단위원 위에 위치한다.
• 생성자 $r = 1 + q + \sum_{n=1}^\infty q^n(1-q)\cdots(1-q^n)$ 를 사용하여 생성된 부분환 $\mathcal{H}_0 \subset \mathcal{H}$ 는 $\psi^k(r) = T_k(r)$ 를 만족하는 체비셰프 람다-구조에 대해 불변이며, 이는 표준 토릭 구조와 다름을 보인다.
• $\mathcal{H}_0$ 는 $q \notin \mathcal{H}_0$ 이므로 $\mathcal{H}$ 보다 엄밀히 작으며, 이는 $\mathcal{H}_0$ 의 원소들이 $\zeta \mapsto \zeta^{-1}$ 에 대해 불변이지만 $q$ 는 그렇지 않기 때문이다.
• 체비셰프 람다-구조는 $r = q + q^{-1}$ 가 원분단위에서 실수값을 가지므로 $\mathbb{F}_1$ 상의 실해석기하를 나타내며, 이는 복소수값을 가진 토릭 구조와 대비된다.
• 이 구성은 보르거의 내림림 이론을 통해 체비셰프 람다-구조를 통해 $\mathbb{F}_1$ 로의 내림림을 통해 제타 함수의 실감마 인자가 유래됨을 기하학적으로 해석함으로써, 복소수의 경우와의 차이를 명확히 한다.