[논문 리뷰] Triangulation of refined families

Ruochuan Liu|arXiv (Cornell University)|2012. 02. 10.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 14

한 줄 요약

이 논문은 약간의 조건 하에 정밀화된 p진 표현의 가닥에 대해 전역 삼각화 추측을 증명한다. 이는 기본 공간의 조르기 열린 밀도 부분공간에서, 모든 정규 비임계 점을 포함하는 관련 $(\varphi,\Gamma)$-모듈이 전역 삼각화를 갖는다는 것을 보여준다. 핵심 결과는 정밀화된 가닥의 특수화가 항상 삼각화된다는 것을 증명하며, 콜레먼-마자르 고유곡선의 올림성에 응용된다.

ABSTRACT

We prove the global triangulation conjecture for families of refined p-adic representations under a mild condition. That is, for a refined family, the associated family of (phi, Gamma)-modules admits a global triangulation on a Zariski open and dense subspace of the base that contains all regular non-critical points. We also determine a large class of points which belongs to the locus of global triangulation. Furthermore, we prove that all the specializations of a refined family are trianguline. In the case of the Coleman-Mazur eigencurve, our results provide the key ingredient for showing its properness in a subsequent work.

연구 동기 및 목표

• 약간의 조건 하에 정밀화된 p진 표현의 가닥에 대해 전역 삼각화 추측을 해결한다.
• 이러한 가닥의 삼각화 영역에 속하는 넓은 범위의 점들을 규명한다.
• 정밀화된 가닥의 모든 특수화가 삼각화된다는 것을 확립한다.
• 결과를 콜레먼-마자르 고유곡선에 적용하여, 그 올림성에 핵심적인 요소를 제공한다.

제안 방법

• 유한 확장 $\mathbb{Q}_p$ 위의 갈루아 표현으로 정밀화된 가닥을 일반화하며, 산술 가닥을 가정한다.
• 키신의 유한 기울기 부분공간의 구성 방식을 개선하여 'Y-작음' 조건을 제거함으로써, 모든 아핀이드 부분공간으로의 보간 가능성을 허용한다.
• 약한 정밀화된 가닥에 대해, 프로베니우스가 주어진 고유값에 따라 작용하는 곳에서, de Rham 주기와 크리스탈린 주기가 일치함을 증명한다.
• 일관된 다중선형층 이론을 사용하여, 외적의 거듭제곱의 크리스탈린 주기가 전역 삼각화를 유도함을 보인다.
• 벨라이크-셰비에의 내림내림 이론 결과와, 벨로빈과 케들라-포르타르스트-시아오의 최근 일관된 다중선형층 이론 결과를 적용한다.
• 고유곡선의 경우, 약한 정밀화된 표현의 가닥을 구성하고, 다중선형층 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$을 연구한다.

실험 결과

연구 질문

• RQ1 정밀화된 p진 표현의 가닥은 기본 공간의 조르기 열린 밀도 부분공간에서 전역 삼각화를 갖는가? 이 부분공간은 모든 정규 비임계 점을 포함하는가?
• RQ2 정밀화된 가닥의 전역 삼각화 영역에 속하는 점들은 어떤가?
• RQ3 정밀화된 가닥의 모든 특수화는 삼각화된가?
• RQ4 콜레먼-마자르 고유곡선에서 다중선형층 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$는 어떻게 행동하는가?
• RQ5 언제 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$이 고유곡선에서 랭크 1의 국소 자유 다중선형층이 아니게 되는가?

주요 결과

• 정밀화된 가닥에 대해 전역 삼각화 추측이 성립한다: 관련 $(\varphi,\Gamma)$-모듈은 기본 공간의 조르기 열린 밀도 부분공간에서 전역 삼각화를 갖는다. 이 부분공간은 모든 정규 비임계 점을 포함한다.
• 콜레먼-마자르 고유곡선의 경우, 다중선형층 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$은 점 $x$를 중심으로 국소 자유 랭크 1이지만, $\kappa(x) = 0$ 이고 $\dim D_{\mathrm{crys}}(V^\mathrm{ss}_x)^{\varphi=F(x)} = 2$인 경우를 제외하면 성립하지 않는다.
• 다중선형층 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$이 국소 자유가 아니면, 점 $x$는 순수한 경우이며 $v_p(F(x)) = 0$ 이고, 무게 특성은 Hodge-Tate 무게 0에서 비분비적이다.
• 만약 $\kappa(x)$가 양의 정수이고 $v_p(F(x)) > \kappa(x)$ 이면, $V_x$는 기약이며 Hodge-Tate이며 de Rham이 아니며, $t^{-\kappa(x)}\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$는 랭크 1의 포화된 $(\varphi,\Gamma)$-부분모듈을 생성한다.
• 만약 $\kappa(x)$가 양의 정수이고 $v_p(F(x)) = \kappa(x)$ 이면, $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$의 이미지는 $\mathrm{D}_{\mathrm{rig}}^{\dagger}(V_x)$ 안에서 $k(x) \cdot t^{\kappa(x)}e'$ 로 주어지며, 여기서 $e'$는 Hodge-Tate 무게 $-\kappa(x)$인 크리스탈린 부분표현 $V_x'$의 표준 기저이다.
• 논문은 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$이 고유곡선 전역에서 국소 자유 랭크 1이라는 추측을 제기하며, $p \geq 5$, $N=1$ 인 경우 마자르-윌스의 고전적 결과를 통해 이를 뒷받침하는 증거를 제공한다.