[논문 리뷰] From étale $P_{+}$-representations to $G$-equivariant sheaves on $G/P$

Peter Schneider, Marie‐France Vignéras외 1명|arXiv (Cornell University)|2012. 06. 06.

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

한 줄 요약

이 논문은 $G(\mathbb{Q}_p)$-등변 $o$-모듈의 층을 $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 위에, 유한 생성된 모듈에 대해 Fontaine 링에 부여된 $T_+$의 반선형 에탈 작용을 갖는 모듈에 대응시키는 함자적 구성법을 수립한다. 주요 기여는 Colmez의 $\varphi$-모듈 대응을 고계수 재수성 군으로 일반화한 것으로, 이러한 층이 존재하는 것은 $G$의 랭크가 1일 때에만 가능하다는 특성화를 포함한다.

ABSTRACT

Let $K/\mathbb Q_{p}$ be a finite extension with ring of integers $o$, let $G$ be a connected reductive split $\mathbb Q_{p}$-group of Borel subgroup $P=TN$ and let $α$ be a simple root of $T$ in $N$. We associate to a finitely generated module $D$ over the Fontaine ring over $o $ endowed with a semilinear étale action of the monoid $T_{+} $ (acting on the Fontaine ring via $α$), a $G(\mathbb Q_{p})$-equivariant sheaf of $o$-modules on the compact space $G(\mathbb Q_{p})/P(\mathbb Q_{p})$. Our construction generalizes the representation $D\boxtimes \mathbb P^{1} $ of $ GL(2,\mathbb Q_{p})$ associated by Colmez to a $(φ,Γ)$-module $D$ endowed with a character of $\mathbb Q_{p}^{*}$.

연구 동기 및 목표

• Colmez의 $(\varphi,\Gamma)$-모듈과 $GL(2,\mathbb{Q}_p)$-표현 간의 대응을 고계수 재수성 $\mathbb{Q}_p$-군으로 확장한다.
• Fontaine 링 모듈 위에 $P_+$-표현이 에탈일 때, $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 위에 $G(\mathbb{Q}_p)$-등변 층을 구성한다.
• 그러한 층이 존재하는 조건을 특성화하여, $\mathrm{rk}(G) = 1$일 때에만 존재함을 보인다.
• 재수성 군 작용의 맥락에서 미세국소화된 링과 기저 변경 함자를 사용하여 $(\varphi,\Gamma)$-모듈 이론을 일반화한다.

제안 방법

• 고정된 단순 루트 $\alpha$를 통해 $T_+$가 Fontaine 링 $\mathcal{O}_{\mathcal{E}}$ 위에 작용하여, Fontaine 링 모듈 위에 반선형 에탈 작용을 유도한다.
• 잔여 사상 $\operatorname{Res}: C_c^\infty(N, o) \to \operatorname{End}_A(M^P)$를 통해 $N_0$ 위에 $P$-등변 층을 정의하고, 이를 $G/P$ 위의 $G$-등변 층으로 올린다.
• $(s,\operatorname{res},\mathfrak{C})$-적분과 곱의 공식을 사용하여 유도된 모듈 $M^P$ 위의 자기형사상 $\mathcal{H}_g$를 정의하고, 군 작용과의 호환성을 확보한다.
• 미세국소화된 링 $\Lambda_{\ell}(N_0)$을 도입하고, 기저 변경 함자를 통해 에탈 모듈과 층 사이의 카테고리 동치를 수립한다.
• 단사성의 증명은 $n_\gamma - 1$이 $\Lambda_{\ell_\alpha}(N_0)$의 최대 이상수에 속하므로, 특정 원소들이 무한히 나누어떨어지며 따라서 0이 되어야 한다는 점에 기반한다.
• 최종 특성화는 웨일 군 작용의 구조와 $\mathrm{rk}(G) > 1$일 때 $G$-등변 층이 존재하지 않음을 모순과 나누어짐의 논증을 통해 증명한다.

실험 결과

연구 질문

• RQ1 Fontaine 링 모듈 위에 에탈인 $P_+$-표현이 $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 위의 $G(\mathbb{Q}_p)$-등변 층으로 올라갈 수 있는 조건은 무엇인가?
• RQ2 이 구성은 Colmez의 $(\varphi,\Gamma)$-모듈과 $GL(2,\mathbb{Q}_p)$-표현 간의 대응을 고계수 군으로 어떻게 일반화하는가?
• RQ3 모노이드 $T_+$와 그가 Fontaine 링 위에 작용하는 방식이 층의 구조를 정의하는 데 어떤 역할을 하는가?
• RQ4 그러한 $G$-등변 층이 언제 존재하며, 군의 랭크는 어떤 제약을 가하는가?
• RQ5 자기형사상 $\mathcal{H}_g$와 곱의 공식은 군 작용과 층 공리와의 호환성을 어떻게 확보하는가?

주요 결과

• 논문은 Fontaine 링 위의 유한 생성 모듈 $D$와 그 위에 반선형 에탈 $T_+$-작용이 주어진 경우, $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 위에 $G(\mathbb{Q}_p)$-등변 $o$-모듈의 층을 구성한다.
• 이 구성은 $GL(2,\mathbb{Q}_p)$에 대한 Colmez의 $D \boxtimes \mathbb{P}^1$ 대응을 임의의 분해 가능한 재수성 $\mathbb{Q}_p$-군으로 일반화한다.
• 이러한 $G$-등변 층이 $G/P$ 위에 존재하는 것은 $\mathrm{rk}(G) = 1$일 때에만 가능하며, $\mathrm{rk}(G) > 1$일 땐 존재하지 않음이 증명된다.
• 증명의 핵심 단계는 모듈 내 특정 원소들이 $n_\gamma - 1$에 의해 무한히 나누어지며, 이는 $\Lambda_{\ell_\alpha}(N_0)$의 최대 이상수에 속하므로 반드시 0이 되어야 한다는 점을 보이는 것이다.
• 이 층 구성은 $N_0$의 작용과 호환되며, 자기형사상 $\mathcal{H}_g$는 곱의 공식을 만족하여 $G$-등변성을 보장한다.
• 기저 변경과 연속성 함자를 사용하여 미세국소화된 링 위에서 에탈 $A[P_+]$-모듈과 $G$-등변 층 사이의 카테고리 동치가 수립된다.