[논문 리뷰] Coefficient systems and supersingular representations of $GL_2(F)$

Vytautas Paškūnas|ArXiv.org|2004. 03. 15.

Advanced Algebra and Geometry참고 문헌 9인용 수 35

한 줄 요약

이 논문은 브라하트-티스 트리 위의 계수 체계와 호모로지를 이용하여, $ \mathrm{GL}_2(F) $의 $ \overline{\mathbf{F}}_p $ 위에서 $ q(q-1)/2 $개의 쌍별로 비동형이며, 기약적이고, 초특이적이고, 적절한 표현을 구성한다. 이 표현들은 $ \varpi_F $-행동이 자명하고 중심 특성이 있다. $ F = \mathbf{Q}_p $일 때, 이 구성은 모든 그러한 초특이적 표현들을 비틀림을 제외하고 모두 포함하며, $ p $에 대한 랭랜즈 유형 대응을 지지한다.

ABSTRACT

Let $F$ be a non-Archimedean local field with the residual characteristic $p$. We construct a "good" number of smooth irreducible $\bar{\mathbf{F}}_p$-representations of $GL_2(F)$, which are supersingular in the sense of Barthel and Livné. If $F=\mathbf{Q}_p$ then results of Breuil imply that our construction gives all the supersingular representations up to the twist by an unramified quasi-character. We conjecture this is true for arbitrary $F$.

연구 동기 및 목표

• 비아르키메데스 현지 체 $ F $의 잔여 특성수 $ p $를 가진 $ \mathrm{GL}_2(F) $에 대한 $ \overline{\mathbf{F}}_p $ 위에서 새로운 기약 초특이적 매끄러운 표현의 가닥을 구성하는 것.
• 브루아의 $ \mathbf{Q}_p $에 대한 초특이적 표현 분류를 일반적인 $ F $로 확장하고, $ p $에 대한 랭랜즈 유형 대응을 추측하는 것.
• 브라하트-티스 트리 위의 $ G $-등변 계수 체계와 그 호모로지의 기하적 구성 방법을 통해 이러한 표현을 수립하는 것.
• 구성된 표현의 $ I_1 $-불변량이 초특이적 $ \mathcal{H} $-모듈을 복구함으로써 표현 이론과 헤이크 대수 사이의 연결 고리를 확립하는 것.

제안 방법

• 브라하트-티스 트리 $ X $의 $ \mathrm{PGL}_2(F) $에 대해 $ \gamma = \{ \chi, \chi^s \} $로 인덱싱된 $ G $-등변 계수 체계 $ \mathcal{V}_\gamma $와 $ \mathcal{I}_\gamma $를 구성하며, 여기서 $ \chi $는 $ F^\times $의 $ \overline{\mathbf{F}}_p^\times $-특성이며 $ \chi^s \neq \chi $이다.
• 0차 호모로지 함자 $ H_0(X, -) $를 사용하여 이러한 계수 체계에서 매끄러운 $ G $-표현을 생성한다.
• $ \Gamma = \mathrm{GL}_2(\mathbf{F}_q) $에 대한 $ \mathcal{H}_{\Gamma} $-모듈의 단사 포함을 정의하고, 이를 $ X $ 위의 $ G $-등변 다이어그램으로 올리며, $ G $-행동과의 호환성을 확보한다.
• 계수 체계 사이의 사상 $ \mathcal{V}_\gamma \to \mathcal{I}_\gamma $를 구성하고, 이로 인해 호모로지에 사상이 유도되며, 그 이미지 $ \pi_\gamma = \mathrm{Im}(H_0(X,\mathcal{V}_\gamma) \to H_0(X,\mathcal{I}_\gamma)) $는 기약적이고 초특이적임을 보인다.
• $ H_0(X,\mathcal{V}_\gamma) $ 위에서의 작용 분석을 통해 $ \pi \_\gamma $가 적절하고 중심 특성이 있으며, $ \varpi_F $가 자명하게 작용함을 보인다.
• 비동형인 $ \mathcal{H} $-모듈이 비동형인 $ \pi_\gamma $를 유도하고, $ F = \mathbf{Q}_p $일 때 구성이 비틀림을 제외한 모든 초특이적 표현을 복구함을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 $ F $에 대해, $ \overline{\mathbf{F}}_p $ 위에서 $ \mathrm{GL}_2(F) $의 $ q(q-1)/2 $개의 쌍별로 비동형인 기약 초특이적 적절한 표현을 구성할 수 있는가? 이 표현들은 $ \varpi_F $-행동이 자명하고 중심 특성이 있다.
• RQ2 이 구성은 비틀림을 제외한 모든 초특이적 표현을 포함하는가? 특히 $ F = \mathbf{Q}_p $일 때 그렇다면?
• RQ3 브라하트-티스 트리 위의 계수 체계와 그 호모로지가 $ I_1 $-불변량과 헤이크 대수 $ \mathcal{H} $와 어떻게 관련이 있는가?
• RQ4 초특이적 $ \mathcal{H} $-모듈은 $ X $ 위의 $ G $-등변 다이어그램을 통해 기하학적으로 실현될 수 있는가? 이는 기약적 $ G $-표현을 이끌어내는가?
• RQ5 $ \pi_\gamma^{I_1} $의 $ \mathcal{H} $-모듈의 구조가 초특이적 모듈로 식별될 수 있는가? 이를 통해 표현이 초특이적임을 보장할 수 있는가?

주요 결과

• $ \overline{\mathbf{F}}_p $ 위에서 $ \mathrm{GL}_2(F) $의 최소한 $ q(q-1)/2 $개의 쌍별로 비동형이며, 기약적이고, 초특이적이고, 적절한 표현이 구성되며, 각 표현은 $ \varpi_F $-행동이 자명하고 중심 특성이 있다.
• $ F = \mathbf{Q}_p $일 때, 구성된 표현 $ \pi_\gamma $는 보조 선택에 의존하지 않으며, 비틀림을 제외한 모든 초특이적 표현을 포함한다.
• $ \pi_\gamma $는 호모로지 사상 $ H_0(X,\mathcal{V}_\gamma) \to H_0(X,\mathcal{I}_\gamma) $의 이미지로서 유도되며, 적절하고 기약적이며 초특이적이다.
• $ I_1 $-불변량 $ \pi_\gamma^{I_1} $는 초특이적 $ \mathcal{H} $-모듈을 포함하며, $ \pi_\gamma $의 초특이성 확인에 기여한다.
• $ F = \mathbf{Q}_p $일 때, 이러한 표현의 동형류 수는 브루아의 분류와 일치하며, 이는 이 경우 구성이 완전하다는 것을 의미한다.
• $ \pi_\gamma $와 $ \pi_{\gamma'} $가 $ \pi_{\gamma'} \otimes (\mu_\lambda \circ \det) $와 동형이 되는 것은 $ \gamma = \gamma' $이고 $ \lambda $가 부호를 제외하고 유일할 때에만 가능하므로, 분류의 유일성이 입증된다.