[論文レビュー] Non-semi-stable loci in Hecke stacks and Fargues' conjecture

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

Advanced Algebra and Geometry参考文献 18被引用数 6

ひとこと要約

本稿は、ホッジ＝ニュートン還元性条件の下で、非基本的ラポルト＝ジンクス空間のコホモロジーに関するハリス–ヴィエルマン予想を確立する。具体的には、非半安定的ヘッケスタックに関連する一般化されたダイアモンドのコンパクト台付きコホモロジーが、基本的ケースのパラボリック誘導であることを証明する。その結果、ファルガスの予想におけるヘッケ固有層性が、$
\mathrm{GL}_2$
-ケースにおけるカスプ的ラングランズパラメータに対して成立することが示され、半安定的領域の外ではコホモロジーが消えることを示す。

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.

研究の動機と目的

• ホッジ＝ニュートン還元性条件の下で、非基本的ラポルト＝ジンクス空間のコホモロジーに関するハリス–ヴィエルマン予想を証明すること。
• ヘッケスタックにおける非半安定的領域のコンパクト台付きコホモロジーが、カスプ的ラングランズパラメータでねじれたとき、非半安定的領域に制限して消えることを示すこと。
• カスプ的ラングランズパラメータに対するファルガスの予想におけるヘッケ固有層性を、$
  \mathrm{GL}_2$
  -ケースで確立すること。
• ホッジ＝ニュートン還元性条件の下で、ねじれたパラボリック誘導設定へのハリス–ヴィエルマン予想の一般化を達成すること。

提案手法

• ヘッケスタック $
  \operatorname{Hecke}_{[b],[b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}]}}^{\leq\mu}$
  内の非半安定的領域を被覆する一般化されたダイアモンド $
  \mathcal{M}_{b,b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  を構成すること。
• $[b]$ が $B(L^b)$ 内の基本的要素から引き上げられるようなレヴィ部分群 $L^b \subset G$ を定義し、$L^b$ を含む適切なレヴィ部分群 $L \supset L^b$ からのパラボリック誘導を考察すること。
• 三つ組 $([b],[b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}],\mu)$ に対するねじれたホッジ＝ニュートン還元性条件を用いて、$
  \mathcal{M}_{b,b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコホモロジーと基本的ケース $
  \mathcal{M}_{b_0,b_0^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコホモロジーを関連付けること。
• 幾何的サタケ対応を用いて $
  \operatorname{IC}_\mu'$
  をヘッケスタック上の層として実現し、ヘッケ対応を用いて固有層性を定義すること。
• ダイアモンド内の半安定的領域の分解を用いて、ヘッケ対応の作用の下で、非半安定的部分のコホモロジーが消えることを示すこと。
• $\mathscr{F}_\varphi$ が半安定的領域に台を持つことと、基本変換を適用することで、固有層条件を半安定的領域に還元すること。

実験結果

リサーチクエスチョン

• RQ1 ヘッケスタックにおける非半安定的領域のコホモロジーは、カスプ的ラングランズパラメータでねじったとき消えるか？
• RQ2 ホッジ＝ニュートン還元性条件の下で、非基本的ラポルト＝ジンクス空間のハリス–ヴィエルマン予想は、ねじれたパラボリック誘導設定へと一般化可能か？
• RQ3 ファルガスの予想におけるヘッケ固有層性は、$
  \mathrm{GL}_2$
  -ケースにおけるカスプ的ラングランズパラメータに対して成立するか？
• RQ4 $\overrightarrow{h}_\natural(\overleftarrow{h}^*\mathscr{F}_\varphi \otimes \operatorname{IC}_\mu')$ の台は半安定的領域に含まれるか？
• RQ5 $\mathcal{M}_{b,b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコホモロジーは、基本的ケース $
  \mathcal{M}_{b_0,b_0^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコホモロジーとどのように関係するか？

主な発見

• $\mathcal{M}_{b,b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコンパクト台付きコホモロジーは、次数シフトとねじれを除き、$\mathcal{M}_{b_0,b_0^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコホモロジーのパラボリック誘導に同型である。
• $\mathcal{M}_{b,b^{
  \raisebox{.2ex}{\scalebox{.95}{$
  \prime$
  }}}}^{\mu}$
  のコホモロジーは、ホッジ＝ニュートン還元性条件の下で、非半安定的領域に制限して消える。
• $\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$ に含まれる。これは、主要な消滅条件を証明する。
• カスプ的ラングランズパラメータに対するファルガスの予想におけるヘッケ固有層性は、固有層条件が半安定的領域に還元されることから、$
  \mathrm{GL}_2$
  -ケースで成立する。
• $\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}$
  の分解により、コホモロジーが偶数整数の直和として解析可能となり、消滅が導かれる。
• 非半安定的部分のコホモロジーが固有層条件に寄与しないことを示すことにより、$
  \mathrm{GL}_2$
  -ケースにおけるヘッケ固有層性が確認される。