[논문 리뷰] Families of trianguline representations and finite slope spaces

Eugen Hellmann|arXiv (Cornell University)|2012. 02. 20.

Advanced Algebra and Geometry참고 문헌 11인용 수 11

한 줄 요약

이 논문은 삼각형 $(\varphi,\Gamma)$-모듈의 가중치 가중치를 사용하여 키신의 유한 기울기 공간을 재정의하며, 유니터리 군의 고유다양체를 닫힌 부분공간으로 포함하는 새로운 프레임워크를 수립한다. 초수렴 $p$-진 아미타브 형식에서 유래한 표현이 $p$-국소 갈루아 군으로 제한되었을 때 삼각형임을 증명하고, 2차원의 경우에 이 유한 기울기 공간이 키신의 정의와 일치함을 보인다.

ABSTRACT

We apply the theory of families of (phi,Gamma)-modules to trianguline families as defined by Chenevier. This yields a new definition of Kisin's finite slope subspace as well as higher dimensional analogues. Especially we show that these finite slope spaces contain eigenvarieties for unitary groups as closed subspaces. This implies that the representations arising from overconvergent p-adic automorphic forms on certain unitary groups are trianguline when restricted to the local Galois group.

연구 동기 및 목표

• 삼각형 $(\varphi,\Gamma)$-모듈의 가중치 가중치를 사용하여 키신의 유한 기울기 공간을 재정의함으로써, 새로운 기하학적 및 표현론적 프레임워크를 제공한다.
• 유니터리 군의 고유다양체가 새로운 유한 기울기 공간 구조 내에서 닫힌 부분공간으로 포함됨을 보인다.
• 유니터리 군에서 초수렴 $p$-진 아미타브 형식으로부터 유래한 갈루아 표현이 $p$-국소 갈루아 군으로 제한되었을 때 삼각형임을 확립한다.
• 유한 기울기 공간의 국소 기하학이 벨라이시와 켄비에의 고유다양체에 대한 비임계적으로 조정된 점에서의 추측과 관련됨을 밝힌다.
• 최소 유한 기울기 공간 $X(\bar{\rho},x)$가 [BeCh, 정의 7.6.2]에서 정의된 변형 함수자와 프로-표현됨을 증명함으로써, 전역과 국소 변형 이론을 연결한다.

제안 방법

• 체네비에의 $(\varphi,\Gamma)$-모듈의 가중치 가중치 이론을 사용하여, 정규 매개변수를 가진 삼각형 $\mathcal{G}_p$-표현을 매개변수화하는 새로운 유한 기울기 공간 $\mathcal{S}^{\rm ns}(\bar{\tau})$를 정의한다.
• $(\varphi,\Gamma)$-모듈의 가중치 가중치 내에서 갈루아 표현의 가중치 가중치 구축을 적용하며, 키플레이드와 리우의 작업에 기반한다.
• 유한 기울기 공간 $X(\bar{\tau})$를 $\mathfrak{X}_{\bar{\tau}} \times \mathcal{T}_d^{\rm reg}$ 속에서 $\mathcal{S}^{\rm ns}(\bar{\tau})$의 이미지의 자리즈키 폐쇄로 정의한다. 여기서 $\mathfrak{X}_{\bar{\tau}}$는 보편 변형 환의 일반점이다.
• 유한하고 단사적인 준동형사상 $\pi_{\bar{\tau}}: \mathcal{S}^{\rm ns}(\bar{\tau}) \to \mathfrak{X}_{\bar{\tau}} \times \mathcal{T}_d^{\rm reg}$를 수립하여, 새로운 공간이 변형 이론적 자료를 포괄함을 보인다.
• 국소 공간 $X(\bar{\tau}_p)$로부터의 기저 변경을 통해 전역 버전의 유한 기울기 공간 $X(\bar{\rho})$를 정의하며, 히크 작용과 갈루아 공액을 포함한다.
• 표현이 쌍대성과 이너센스 조건을 만족하는 부분공간으로서 최소 유한 기울기 공간 $X(\bar{\rho},x)$를 $X^\perp(\bar{\rho})$의 닫힌 부분공간으로 정의하며, [BeCh]의 변형 함수자와 일치시킨다.

실험 결과

연구 질문

• RQ1 삼각형 $(\varphi,\Gamma)$-모듈의 가중치 가중치를 통한 새로운 유한 기울기 공간이 2차원의 경우에 키신의 원래 정의와 일치하는가?
• RQ2 유니터리 군의 고유다양체가 이 새로운 유한 기울기 공간 구조 내에서 닫힌 부분공간으로 실현될 수 있는가?
• RQ3 유니터리 군에서 초수렴 $p$-진 아미타브 형식으로부터 유도된 갈루아 표현이 $p$-국소 갈루아 군으로 제한되었을 때 삼각형인가?
• RQ4 최소 유한 기울기 공간 $X(\bar{\rho},x)$가 벨라이시와 켄비에의 추측에 따르면 $\hat{\mathcal{O}}_{X(\bar{\rho},x),x}$에 의한 프로-표현된 변형 공간과 동형인가?
• RQ5 Bloch-Kato 추측이 참이라면, $Y_\pi(\bar{\rho}) \to X(\bar{\rho},z)$가 기약 성분의 포함관계임을 유도할 수 있는가?

주요 결과

• 삼각형 가중치 가중치를 통한 유한 기울기 공간 $X(\bar{\tau})$는 2차원의 경우에 키신의 원래 유한 기울기 공간과 동형이다.
• $\pi_{\bar{\tau}}: \mathcal{S}^{\rm ns}(\bar{\tau}) \to \mathfrak{X}_{\bar{\tau}} \times \mathcal{T}_d^{\rm reg}$의 준동형사상은 유한하고 단사적이지만, 표현과 의사특성수 사이의 차이로 인해 반드시 닫힌 매장이 아니라는 점을 보인다.
• $X(\bar{\tau})$의 연결 성분은 모두 기약적이며, 차원이 $1 + \frac{d(d+1)}{2}$이다. 이는 $\mathrm{GL}_d$의 보렐 부분군의 플라스크 다양체의 차원과 일치한다.
• $\tilde{X}(\bar{\tau})$는 적어도 하나의 크리스탈린 점을 포함하는 성분들로 이루어져 있으며, 벨라이시와 켄비에의 의미에서 $\mathcal{G}_p$-표현의 보편 조정된 가중치 가중치 가족이다.
• 유니터리 군에 대한 고유다양체 $Y_\pi(\bar{\rho})$는 최소 유한 기울기 공간 $X(\bar{\rho},z)$에 닫힌 부분공간으로 포함되며, 포함사상 $Y_\pi(\bar{\rho}) \to X(\bar{\rho},z)$를 통해 인식된다.
• $Y_\pi(\bar{\rho}) \to X(\bar{\rho},z)$가 기약 성분의 포함관계임을 보여주는 추측은, 벨라이시와 켄비에의 비임계적으로 조정된 점에서 고유다양체의 국소 기하학에 대한 추측과 동치이며, Bloch-Kato 추측에 의해 유도된다.