[논문 리뷰] Non-semi-stable loci in Hecke stacks and Fargues' conjecture

Ildar Gaisin, Naoki Imai|arXiv (Cornell University)|2016. 08. 26.

Advanced Algebra and Geometry참고 문헌 18인용 수 6

한 줄 요약

이 논문은 히지-뉴턴 분해 가능 조건 하에서 비기본 라포포르트–지엔 공간의 코homology에 대한 하리스–비만 추측을 증명하며, 비준비극성 Hecke 스택과 관련된 일반화된 다이아몬드의 컴팩트 지지 코homology가 기본 케이스의 파라보릭 유도로 나타남을 보인다. 그 결과로, 흐름이 있는 파르그스의 추측에서 커퍼시드 랑글랜드 매개변수에 대해 Hecke 고유층 성질이 성립함을 보이며, 이는 비준비극성 영역에서 코homology가 0이 됨을 의미한다.

ABSTRACT

We show the Harris--Viehmann conjecture under some Hodge--Newton reducibility condition for a generalization of the diamond of a non-basic Rapoport--Zink space at infinite level, which appears as a cover of the non-semi-stable locus in the Hecke stack. We show also that the cohomology of the non-semi-stable locus with coefficient coming from a cuspidal Langlands parameter vanishes. As an application, we show the Hecke eigensheaf property in Fargues' conjecture for cuspidal Langlands parameters in the GL(2)-case.

연구 동기 및 목표

• Hodge–Newton 분해 가능 조건 하에서 비기본 라포포르트–지엔 공간의 코homology에 대한 하리스–비만 추측을 증명한다.
• 비준비극성 Hecke 스택의 비준비극성 영역에서의 컴팩트 지지 코homology가 쿠스피드 랑글랜드 매개변수에 의해 외적화될 때 0이 됨을 보인다.
• 파르그스의 추측에서 $\mathrm{GL}_2$-경우의 쿠스피드 랑글랜드 매개변수에 대해 Hecke 고유층 성질을 확립한다.
• Hodge–Newton 분해 가능 조건 하에서 하리스–비만 추측을 외적화 및 파라보릭 유도 설정으로 일반화한다.

제안 방법

• 비준비극성 Hecke 스택 $\operatorname{Hecke}_{[b],[b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}]}^{\leq\mu}$ 의 비준비극성 영역을 덮는 일반화된 다이아몬드 $\mathcal{M}_{b,b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 를 구성한다.
• [$b$] 가 $B(L^b)$ 에서 기본 원소로 올라가는 $L^b \subset G$ 를 포함하는 리 군 $L^b$ 를 정의하고, 적절한 리 군 $L \supset L^b$ 에서의 파라보릭 유도를 고려한다.
• 삼중 $([b],[b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}],\mu)$ 에 대해 외적화된 Hodge–Newton 분해 가능 조건을 사용하여 $\mathcal{M}_{b,b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 의 코homology 를 기본 케이스 $\mathcal{M}_{b_0,b_0^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 의 코homology 와 연결한다.
• 기하학적 사타케 대응을 적용하여 $\operatorname{IC}_\mu'$ 을 Hecke 스택 위의 층으로 실현하고, Hecke 대응을 통해 고유층 성질을 정의한다.
• 다이아몬드에서 준비극성 영역의 분해를 사용하여, Hecke 대응 작용 하에서 비준비극성 부분의 코homology 가 0이 됨을 보인다.
• $\mathscr{F}_\varphi$ 가 준비극성 영역에 지지되어 있고, 기저 변경을 적용하여 고유층 조건을 준비극성 영역으로 축소한다.

실험 결과

연구 질문

• RQ1 Hecke 스택의 비준비극성 영역에서의 코homology 는 쿠스피드 랑글랜드 매개변수에 의해 외적화될 때 0이 되는가?
• RQ2 Hodge–Newton 분해 가능 조건 하에서 비기본 라포포르트–지엔 공간에 대한 하리스–비만 추측은 외적화 및 파라보릭 유도 설정으로 일반화될 수 있는가?
• RQ3 파르그스의 추측에서 $\mathrm{GL}_2$-경우의 쿠스피드 랑글랜드 매개변수에 대해 Hecke 고유층 성질이 성립하는가?
• RQ4 $\overleftarrow{h}^*\mathscr{F}_\varphi \otimes \operatorname{IC}_\mu'$ 의 Hecke 푸시포워드의 지지는 준비극성 영역에 포함되는가?
• RQ5 $\mathcal{M}_{b,b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 의 코homology 는 기본 케이스 $\mathcal{M}_{b_0,b_0^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 와 어떻게 관련이 있는가?

주요 결과

• $\mathcal{M}_{b,b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 의 컴팩트 지지 코homology 는 차수 이동과 외적화를 제외한, $\mathcal{M}_{b_0,b_0^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 의 코homology 의 파라보릭 유도와 동형이다.
• Hodge–Newton 분해 가능 조건 하에서 $\mathcal{M}_{b,b^{ aisebox{.2ex}{\scalebox{.95}{$\prime$}}}}^{\mu}$ 의 코homology 는 비준비극성 영역에 제한되었을 때 0이 된다.
• $\overrightarrow{h}_\natural(\overleftarrow{h}^*\mathscr{F}_\varphi \otimes \operatorname{IC}_\mu')$ 의 지지는 준비극성 영역 $\operatorname{Bun}_{G,\overline{\mathbb{F}}_q}^{\mathrm{ss}} \times \operatorname{Div}_X^1$ 에 포함되어 있으며, 핵심 소멸 조건을 증명한다.
• 쿠스피드 랑글랜드 매개변수에 대해 파르그스의 추측에서 Hecke 고유층 성질이 성립하며, 고유층 조건이 준비극성 영역으로 축소됨을 보인다.
• $\mathcal{T}_{b,\mathbb{C}_p^\flat}^{\leq\mu,\mathrm{ss}} = \coprod_{N \in 2\mathbb{Z}} \mathcal{T}_{b,b_1^N,\mathbb{C}_p^\flat}^{\leq\mu}$ 의 분해를 통해 코homology 가 짝수 정수에 대한 직합으로 분석 가능하며, 이로 인해 소멸이 발생한다.
• 결과적으로 비준비극성 부분의 코homology 가 고유층 조건에 기여하지 않음을 보여, $\mathrm{GL}_2$-경우에서 Hecke 고유층 성질이 확인된다.