[논문 리뷰] Sequential periods of the crystalline Frobenius

Julian Rosen|arXiv (Cornell University)|2018. 05. 04.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 3

한 줄 요약

이 논문은 모든 소수에 걸쳐 인덱싱된 p진 주기—순차적 주기—를 도입하여 de Rham 코hom로지 위에서의 결정적 프로베니우스 작용을 새롭게 연구하는 프레임워크를 제시한다. 이는 그로텐디크 주기 추측의 모티브적 동반자 형태를 제안하며, 순차적 주기 사상의 단사성은 특정 코호몰로지 클래스의 대수성과 연결되며, 유한 다중 리만 제타 함수값과 소수 모듈로에서의 베르누이 수 간의 관계와도 연관된다.

ABSTRACT

There is a notion of $p$-adic period coming from the crystalline Frobenius automorphism of the de Rham cohomology of an algebraic variety. In this paper, we consider sequences of $p$-adic periods, one for each prime. We study the sequences using motivic periods, and we formulate an analogue of the Grothendieck period conjecture.

연구 동기 및 목표

• de Rham 코호몰로지 위에서 결정적 프로베니우스 작용으로부터 유도되는 순차적 p진 주기의 모티브 이론을 개발하는 것.
• 순차적 주기의 맥락에서 그로텐디크 주기 추측의 추측적 동반자 형태를 제안하는 것.
• 이 추측과 알려진 산술 현상(예: 베르누이 수의 합동관계 및 유한 다중 제타 함수값 간의 관계) 간의 연결 고리를 설정하는 것.
• 이 추측이 모티브 주기의 구조와 주기의 완비화된 링 위에서의 갈루아 작용에 미치는 영향을 탐색하는 것.

제안 방법

• 모든 큰 소수에 걸쳐 p진 주기를 매개변수화하기 위해 $\mathcal{R} = \prod_p \mathbb{Q}_p / \bigoplus_p \mathbb{Q}_p$ 를 구성한다.
• 각 소수에서의 결정적 프로베니우스를 코어하는 $\mathcal{R}$-선형 자기동형사상으로서 순차적 프로베니우스 사상 $F_{\mathcal{R},X}$ 를 정의한다.
• 모티브적 de Rham 주기를 그들의 $\mathcal{R}$-값 실현으로 보내는 순차적 주기 사상 $\mathrm{per}_{\mathcal{R}}: \mathcal{P}^{\mathfrak{dr}} \to \mathcal{R}$ 를 도입한다.
• 두 개의 추측을 제안한다: 추측 1 ($\mathrm{per}_{\mathcal{R}}$ 의 단사성)과 추측 2 (헤지 필터링 수준에 맞는 필터링 임베딩 성질).
• 이 추측들을 혼합 타탄 모티브의 범주인 $\mathcal{MT}(\mathbb{Z})$ 와 $\mathcal{MT}(\mathbb{Q})$ 에 적용하여, 이들 간에 유한 다중 제타 함수값과 베르누이 수 간의 관계를 설정한다.
• 자로사의 공식과 야스다의 결과를 사용하여 $\mathrm{per}_{\mathcal{R}}$ 를 MHS 대수와 연결하고, 유한 MZV가 $\zeta^{\mathfrak{m}}(2)$ 모듈로에서 모티브적 대칭화된 MZV와 동일한 관계를 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 순차적 주기들이 $\mathcal{R}$-값 사상에 의해 어떻게 동일한가?
• RQ2 어떤 순차적 주기가 모든 충분히 큰 $p$ 에 대해 $p^n$ 으로 나누어떨어지는가? 이는 어떤 모티브적 구조를 반영하는가?
• RQ3 유한 다중 제타 함수값은 어떤 관계를 만족하며, $\zeta^{\mathfrak{m}}(2)$ 모듈로에서 모티브 주기와 어떻게 관련되는가?
• RQ4 순차적 주기 사상의 단사성은 코호몰로지 클래스의 대수성과 어떻게 관련되는가?
• RQ5 만약 $\mathcal{MT}(\mathbb{Z})$ 에 대해 추측 2 가 참이라면, MHS 대수 위에서 갈루아 작용을 어떻게 묘사할 수 있는가?

주요 결과

• 추측 1은 표준적인 대수적 사이클에 대한 추측을 가정할 때, $F_{p,X}(\alpha) = p^n \beta$ 가 유한 개의 소수를 제외한 모든 $p$ 에 대해 성립하면 $\alpha$ 는 대수적임을 암시한다.
• 추측 1은 정의 3.1의 공리들을 만족하는 모든 탄카니안 모티브 범주의 경우 오구 실현이 완전 충실한 임베딩임을 암시한다.
• 추측 2가 $\mathcal{MT}(\mathbb{Q})$ 에 대해 성립하면, 유한 다중 제타 함수값은 그 모티브적 대응체가 만족하는 모든 관계를 $\zeta^{\mathfrak{m}}(2)$ 모듈로에서 만족함을 의미한다.
• 유한 MZV가 정확히 $\zeta^{\mathfrak{m}}(2)$ 모듈로에서 모티브적 대칭화된 MZV와 동일한 관계를 만족함은 $\mathcal{MT}(\mathbb{Z})$ 에 대해 추측 2 가 성립할 때에만 성립하며, 깊은 동치관계를 확립한다.
• $\mathcal{MT}(\mathbb{Z})$ 의 $\widehat{\mathcal{R}}$-값 주기의 링은 MHS 대수이며, 이는 $b_n \to \infty$ 를 만족하는 $\sum_n a_n \mathbf{p}^{b_n} H_{\mathbf{p}-1}(\underline{\mathbf{s}}_n)$ 의 형태의 급수로 정의된다. 이 링은 추측 2 가 성립할 경우 $\widehat{\mathcal{P}}^{\mathfrak{dr}}$ 로 올라간다.
• 큰 $p$ 에 대해 $a_p \equiv b_p \mod p^n$ 인지 여부 또는 추측 2 가 무수히 많은 예외를 암시하는지 판단하기 위한 알고리즘(구현 포함)이 제공된다.