[논문 리뷰] F-isocrystal and syntomic regulators via hypergeometric functions

Masanori Asakura, Kazuaki Miyatani|arXiv (Cornell University)|2017. 11. 24.

Nonlinear Waves and Solitons참고 문헌 8인용 수 4

한 줄 요약

이 논문은 윌트 링 $W(\overline{\mathbb{F}}_p)$ 위에서 정의된 일군의 초함수적 피브레이션에 대해, 초함수적 함수와 $F$-이스코일레스트를 이용하여 $p$-진 서토믹 리지우럴의 명시적 $p$-진 기술을 제공한다. 핵심 결과는 서토믹 리지우럴을 일반화된 초함수적 함수 ${}_2F_1$ 로 표현함으로써, $p$-진 리지우럴과 드 라무 코homology 위에서의 프로베누스 작용을 통해 콜먼 적분과 연결한다.

ABSTRACT

We give an explicit description of a syntomic regulator of a certain class of fibrations which we call hypergeometric fibrations. The description involves hypergeometric functions.

연구 동기 및 목표

• 비엘린스킨의 $p$-진 리지우럴 결과를 바티/아르키메데스 설정에서 서토믹 코homology 를 이용한 $p$-진 설정으로 확장하기 위해.
• 초함수적 피브레이션에서 $K_2$-클래스에 대한 서토믹 리지우럴 $\mathrm{reg}_{\mathrm{syn}}(\xi)$ 의 명시적 기술을 제공하기 위해.
• 서토믹 리지우럴과 초함수적 함수 ${}_2F_1$ 사이의 연결 고리를 $F$-이스코일레스트 이론과 프로베누스 작용을 통해 수립하기 위해.
• 초수렴 함수와 프로베누스 행렬을 이용하여 곡선 위의 $K_2$-기호에 대한 콜먼 적분 공식의 $p$-진 유사체를 유도하기 위해.

제안 방법

• 피브레이션 $f: X \to \mathbb{P}^1 \setminus \{0,1,\infty\}$ 위의 $K_2$-기호 $\xi$ 에서 필터링된 $F$-이스코일레스트의 확장을 구성하여, 서토믹 리지우럴을 확장 자료로 표현하기 위해.
• $H^1_{\mathrm{dR}}(X_\alpha/K)$ 위에서 프로베누스 작용의 전체 행렬(비대각항 포함)을 계산하여 리지우럴을 위한 미분방정식 유도하기 위해.
• 프로베누스와 접속의 가환성을 이용하여, $p$-번째 프로베누스 $\phi$ 와 코homology 위에서의 작용을 통해 리지우럴을 지배하는 연립방정식 유도하기 위해.
• 열린 섬유 $f^{-1}(0)$ 에서 리지우럴을 계산하여 상수항을 결정하기 위해, 이는 $p$-진 이중로그 함수 $\ln^{(p)}_2(z)$ 를 포함한다.
• 초수렴 함수 $\varepsilon_i^{(n)}(\lambda)$ 를 이용하여 리지우럴을 표현하고, 행렬 $A^{\sigma^{-k}}$ 를 포함하는 재귀적 $p$-진 급수를 통해 $s_{i,\alpha}^{(n)}$ 를 구하기 위해.
• $p$-진 리지우럴 $r_p$ 를 통한 콜먼 적분과의 연결을 수립하여, $r_p\{h_1,h_2\}(\omega_n) = \pm(\alpha - \alpha^2)^{-1} s_{2,\alpha}^{(n)}$ 를 보여주기 위해.

실험 결과

연구 질문

• RQ1 초함수적 피브레이션에서 $K_2$-기호의 서토믹 리지우럴은 어떻게 $p$-진 코homology 에서 명시적으로 기술할 수 있는가?
• RQ2 초함수적 함수 ${}_2F_1$ 는 이러한 피브레이션에 대한 $p$-진 서토믹 리지우럴을 매개화하는 데 어떤 역할을 하는가?
• RQ3 드 라무 코homology 위에서의 프로베누스 작용은 $F$-이스코일레스트 확장에 의해 리지우럴 자료를 어떻게 캡처하는가?
• RQ4 콜먼 적분은 $p$-진 리지우럴을 통해 $K_2$-기호에 대해 초함수적 함수로 표현될 수 있는가?
• RQ5 초수렴 함수와 프로베누스 전환에 대해 리지우럴 성분 $s_{i,\alpha}^{(n)}$ 의 정확한 $p$-진 급수 표현은 무엇인가?

주요 결과

• 서토믹 리지우럴 $\mathrm{reg}_{\mathrm{syn}}\{h_1,h_2\}|_{\lambda=\alpha}$ 는 정리 5.5 에서 행렬 $F_{ij}(\lambda)$ 를 통해 초함수적 함수 ${}_2F_1$ 로 명시적으로 표현된다.
• 성분 $s_{i,\alpha}^{(n)}$ 는 재귀적 $p$-진 급수를 만족한다: $p^{-1}\begin{pmatrix}s_1^{(n)}\\ s_2^{(n)}\end{pmatrix} = -\sum_{k=1}^\infty p^{k-1} A^{\sigma^{-1}} \cdots A^{\sigma^{-k}} \mathbf{e}^{\sigma^{-k}}$, 여기서 $A$ 는 $F_{ij}(\lambda)$ 로 구성된 행렬이다.
• $p$-진 리지우럴 $r_p\{h_1,h_2\}(\omega_n)$ 는 $\pm(\alpha - \alpha^2)^{-1} s_{2,\alpha}^{(n)}$ 와 같으며, 이는 리지우럴을 $\log(h_2)\omega_n$ 의 콜먼 적분과 연결한다.
• 드 라무 코homology $H^1_{\mathrm{dR}}(X_\alpha/K)$ 위에서의 프로베누스 행렬 $\phi$ 는 명시적으로 계산되었고, 리지우럴을 지배하는 미분방정식 유도에 사용되었다.
• 리지우럴의 상수항은 열린 섬유 $f^{-1}(0)$ 에서 기인하는 $p$-진 이중로그 함수 $\ln^{(p)}_2(z)$ 를 통해 결정되었다.
• 함수 $s_{i}^{(n)}(\lambda)$ 는 초수렴적이며 $\mathbb{Q}_p\{\lambda, (1-\lambda)^{-1}\}^\dagger$ 에 속하며, $[K:\mathbb{Q}_p]$ 의 차수에 따라 달라진다.