[논문 리뷰] Logarithmic Riemann-Hilbert correspondences for rigid varieties

Hansheng Diao, Kai‐Wen Lan외 2명|arXiv (Cornell University)|2018. 03. 15.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 p진 국소체 위의 매끄러운 리지드 다양체에 대해 p진 Riemann-Hilbert 대응을 구축한다. de Rham p진 에테ール 국소계수에서 필터링된 대수적 벡터(bundle)에 이차형 연결을 갖춘 텐서 함수를 정의하며, 이는 Griffiths 전이성질을 만족한다. 주요 기여는 잔여 고유값으로 특징지어지는 로그극성의 극을 가진 콪팩티피케이션으로의 연결의 정규 확장이며, 시무라 다양체에서 고전적 Riemann-Hilbert 대응과의 호환성도 보인다.

ABSTRACT

On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic étale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a $p$-adic analogue of Deligne's classical Riemann--Hilbert correspondence. A crucial step is to construct canonical extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary, in a precise sense characterized by the eigenvalues of residues; hence the title of the paper. As an application, we show that this $p$-adic Riemann--Hilbert functor is compatible with the classical one over all Shimura varieties, for local systems attached to representations of the associated reductive algebraic groups.

연구 동기 및 목표

• p진 국소체 위의 매끄러운 대수적 다양체에 대해 델리뉴의 고전적 Riemann-Hilbert 대응의 p진 유사체를 수립하기 위해.
• de Rham p진 에테ール 국소계수에서 필터링된 대수적 벡터(bundle)에 이차형 연결을 갖춘 텐서 함수를 구성하기 위해.
• 이 함수가 시무라 다양체에서 고전적 Riemann-Hilbert 대응과 갈로아-등변 비교 등식을 통해 호환됨을 증명하기 위해.
• 잔여 고유값으로 특징지어지는 로그극성의 극을 가진 콩팩티피케이션으로의 연결의 정규 확장 이론을 개발하기 위해.
• 폰타인의 주기 링 $B_{\text{dR}}$ 를 통한 p진 에테ール 코homology와 대수적 de Rham 코homology를 비교하는 프레임워크를 제공하기 위해.

제안 방법

• de Rham p진 에테ール 국소계수에서 필터링된 대수적 벡터(bundle)에 이차형 연결을 갖춘 텐서 함수 $D_{\text{dR}}^\text{alg}$ 를 구성하기 위해.
• 특히 $\mathcal{O}\mathbb{B}_{\text{dR},\log}$ 를 포함한 로그 아딕 공간과 주기 층을 사용하여 p진 설정에서 de Rham 조건을 정의하기 위해.
• 잔여 고유값이 확장을 유일하게 결정하는, 로그극성의 극을 가진 콩팩티피케이션으로의 연결의 정규 확장을 확립하기 위해.
• 코homology 군의 역극한을 다루기 위해 분해완비화(formalism of decompletion)를 적용하고, 주기 링의 $\Gamma$-작용을 통해 코hom로지컬 호환성을 증명하기 위해.
• 대상 범주를 정의하고 필터링과의 호환성을 보장하기 위해, '$B_{\text{dR}}$에 대해 상대적인' 필터링된 로그 연결 이론을 활용하기 위해.
• 갈로아 모듈로서의 비교 등식 $H^i_{\text{ét}}(X_{\overline{k}},\mathbb{L})\otimes_{\mathbb{Q}_p} B_{\text{dR}} \cong H^i_{\text{dR}}(X,D_{\text{dR}}^{\text{alg}}(\mathbb{L}))\otimes_k B_{\text{dR}}$ 가 필터링과 호환되며 갈로아 작용을 갖는다는 것을 증명하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 p진 필드 위의 다양체에 대해 델리뉴의 고전적 Riemann-Hilbert 대응을 일반화한 p진 Riemann-Hilbert 대응을 구성할 수 있는가?
• RQ2 p진 설정에서 de Rham p진 국소계수를 매핑할 적절한 필터링된 연결의 범주란 무엇인가?
• RQ3 어떻게 연결을 로그극성의 극을 가진 콩팩티피케이션으로 정규적으로 확장할 수 있으며, 잔여 고유값은 이 확장에서 어떤 역할을 하는가?
• RQ4 제안된 p진 Riemann-Hilbert 함수는 시무라 다양체에서 고전적 대응과 호환되는가?
• RQ5 B_{\text{dR}} 를 통해 에테ール 코homology와 de Rham 코homology 사이에 갈로아-등변 비교 등식을 확립할 수 있는가?

주요 결과

• 논문은 de Rham p진 에테ール 국소계수에서 필터링된 대수적 벡터(bundle)에 이차형 연결을 갖춘 텐서 함수 $D_{\text{dR}}^{\text{alg}}$ 를 구성한다.
• 이 함수는 $B_{\text{dR}}$ 를 포함한 갈로아-등변 비교 등식을 통해 시무라 다양체에서 고전적 Riemann-Hilbert 대응과 호환됨을 보인다.
• $D_{\text{dR}}^{\text{alg}}$ 의 이미지에 속하는 연결은 잔여 행렬의 고유값으로 유일하게 결정되는 로그극성의 극을 가진 콩팩티피케이션으로 정규 확장 가능하다.
• 비교 등식 $H^i_{\text{ét}}(X_{\overline{k}},\mathbb{L})\otimes_{\mathbb{Q}_p} B_{\text{dR}} \cong H^i_{\text{dR}}(X,D_{\text{dR}}^{\text{alg}}(\mathbb{L}))\otimes_k B_{\text{dR}}$ 는 정규 필터링과 갈로아 작용 모두와 호환됨을 보였다.
• 분해완비화의 형식은 $(\{\mathbb{B}_{r,m}\}_{m\geq 1},\widehat{\mathbb{B}}_{r,\infty},\Gamma)$ 가 분해완비화 체계임을 증명하고, $\widehat{\mathbb{B}}_{r,\infty}$ 위의 유한 프로젝티브 모듈에 대해 좋은 모델의 존재를 보장한다.
• 메서드는 $\xi$ 의 영항성과 함께 재귀적 추론을 통한 코호몰로지의 코체인을 올리며, 노름의 경계는 $|\varpi|^{-1}$ 과 코호몰로지 차수에 따라 정해진다.