[논문 리뷰] P-adic heights and p-adic Hodge theory

Denis Benois|arXiv (Cornell University)|2014. 12. 23.

Advanced Algebra and Geometry참고 문헌 7인용 수 5

한 줄 요약

이 논문은 $(\varphi,\Gamma)$-모듈과 세르머 복합체를 사용하여 애질로이드 대수 위의 $p$-진 표현에 대해 $p$-진 높이 쌍대성을 구축한다. 이는 보편 노름과 잠재적으로 단순화된 표현에 대한 네토바르의 $p$-진 높이 쌍대성과 관련되며, 주요 기여는 적절한 조건 하에서 새로운 쌍대성이 네토바르의 것과 일치함을 보여주는 비교 정리이다. 이는 비아르키메데스 현지 체로 이론을 확장한다.

ABSTRACT

Using the theory of $(ϕ,Γ)$-modules and the formalism of Selmer complexes we construct the p-adic height for p-adic representations with coefficients in an affinoid algebra over $Q_p$.

연구 동기 및 목표

• 이론적 공학을 사용하여 $\mathbf{Q}_p$ 위의 애질로이드 대수를 계수로 가지는 $p$-진 표현으로 $p$-진 높이 쌍대성을 일반화하는 것.
• 아이와사와 이론과 $(\varphi,\Gamma)$-모듈의 맥락에서 보편 노름과 연결된 구축된 쌍대성과의 관계를 규명하는 것.
• 잠재적으로 단순화된 표현에 대한 네토바르의 고전적 구성과 새로운 $p$-진 높이 쌍대성의 비교.
• 보크슈타인 사상과 도파일 코호몰로지에서의 코호몰로지 클래스의 쌍대곱을 통해 유도 범주에서의 비교 동형사를 수립하는 것.
• 분할 부분모듈과 필터링을 사용하여 확장된 세르머 군과 아이와사와 코호몰로지로 $p$-진 높이 이론을 확장하는 것.

제안 방법

• 애질로이드 대수 위의 $(\varphi,\Gamma)$-모듈을 통해 정의된 국소 조건에 관련된 세르머 복합체의 체계를 사용한다.
• 유도 범주에서의 코호몰로지 쌍대곱과 보크슈타인 사상 $\beta_{T,M}$의 조합을 통해 $p$-진 높이 쌍대성을 구성한다.
• $(\varphi,\Gamma)$-모듈 이론을 적용하여 코호몰로지 군을 아이와사와 코호몰로지와 연결하고 세르머 군을 확장한다.
• 국소 확장 분석과 보편 노름과의 비교를 위해 분할 부분모듈과 관련 필터링을 도입한다.
• 보크슈타인 사상과 전치 동형사를 사용하여 코호몰로지 클래스를 연결하고 쌍대곱을 통해 쌍대성을 구성한다.
• 아이와사와 코호몰로지 복합체 $H^1_{\mathrm{Iw}}(\mathbf{D})$ 와 사영 $\mathrm{pr}_{\mathbf{D},y}$ 를 사용하여 전역 및 국소 클래스를 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathbf{Q}_p$ 위의 애질로이드 대수를 계수로 가지는 $p$-진 표현으로 $p$-진 높이 쌍대성을 일반화할 수 있는가?
• RQ2 새로운 $p$-진 높이 쌍대성과 아이와사와 이론의 보편 노름 구성 간의 관계는 무엇인가?
• RQ3 새로운 쌍대성은 잠재적으로 단순화된 표현에 대한 네토바르의 $p$-진 높이 쌍대성과 어떻게 비교되는가?
• RQ4 분할 부분모듈과 필터링을 사용하여 확장된 세르머 군으로 쌍대성을 확장할 수 있는가?
• RQ5 $(\varphi,\Gamma)$-모듈과 보크슈타인 사상은 이러한 쌍대성의 구성과 비교에 어떤 역할을 하는가?

주요 결과

• 구축된 $p$-진 높이 쌍대성 $h^{\mathrm{sel}}_{V,D}$ 는 네토바르의 쌍대성과 보정 항 $\left<\rho_{\mathbf{D},f}([x_{p}^{+}]), \rho_{\mathbf{D}^\perp,f}([y_{p}^{+}])\right>_{\mathbf{D},f}$ 를 포함해 일치한다.
• 쌍대성 $h^{\mathrm{sel}}_{V,D}$ 는 $h^{\mathrm{norm}}_{V,D}$ 와 같으며, 클래스 $[x_{p}^{+}]$ 가 사상 $\rho_{\mathbf{D},f}$ 에서의 이미지로부터 기인하는 보정 항이 존재한다.
• 구성은 아이와사와 코호몰로지 복합체와 호환되며, 클래스 $[x_{p,y}^{\mathrm{Iw}}]$ 는 $a^{\mathrm{Iw}}$ 와 $b^{\mathrm{Iw}}$ 와의 필요한 사영 및 호환 조건을 만족한다.
• $\mathrm{pr}_{\mathbf{D},y}$ 에서 클래스 $[x_{p,y}^{\mathrm{Iw}}]$ 의 이미지는 $s_{y,p}(a) + b$ 에 속하며, 여기서 $b \in \ker(\ell_{\mathbf{Q}_p})$ 이다.
• $\mathrm{inv}_p(g_{p,y}(\widehat{b}_p) \cup f_p^\perp(\widehat{y}) + g_p(b_p) \cup \mu_p)$ 는 $\ell_{\mathbf{Q}_p}(u_p) - \ell_{\mathbf{Q}_p}(t_p \cup g_p(y_p^+))$ 와 같으며, 이는 쌍대성 공식과 일치한다.
• 최종 비교 정리에 따라 $h^{\mathrm{sel}}_{V,D}([x_f],[y_f]) = h^{\mathrm{norm}}_{V,D}([x],[y]) + \left<\rho_{\mathbf{D},f}([x_{p}^{+}]), \rho_{\mathbf{D}^\perp,f}([y_{p}^{+}])\right>_{\mathbf{D},f}$ 를 확인한다.