[論文レビュー] On Tate conjecture for the special fibers of some unitary Shimura varieties

David Helm, Yichao Tian+1 more|arXiv (Cornell University)|Oct 9, 2014

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

ひとこと要約

本稿では、一般性の条件下で、$p$ を法とするユニタリシャイマーヴァの特異ファイバーにおける中間次元のテート類が、その超特異局の既約成分によって生成されることを確立する。ラポルト＝ジンク均質化に依存しない、シャイマーヴァ間の対応に基づく新規なアプローチを用いて、著者たちはこれらの成分がすべての一般テートサイクルを張ることを証明し、ユニタリシャイマーヴァにおける特別サイクルとノイザー層への一般化された予想を支持する。

ABSTRACT

Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) imes U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) imes U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.

研究の動機と目的

• 有限体上のユニタリシャイマーヴァの特異ファイバーにおけるテート類の構造を調査すること。
• 超特異局がテートサイクルを生成する幾何学的・算術的役割を理解すること。
• 特別サイクル、ノイザー層分類、およびユニタリシャイマーヴァにおけるテート予想を結びつける一般予想を提示し、その証拠を提供すること。
• ラポルト＝ジンク均質化に依存しない、シャイマーヴァ間の対応に基づく新しい手法を開発すること。
• 適切な条件下で、基本局の既約成分がすべての一般中間次元テート類を生成することを確立すること。

提案手法

• 著者たちは、ヘルムが導入し、田と肖が拡張した、異なる符号のユニタリシャイマーヴァ間の対応に基づく手法を用いる。
• 超特異局 $\mathrm{Sh}_{1,n-1}^{\mathrm{ss}}$ の幾何を、デリーニュ＝ルスティグ多様体の和集合として分析し、次元 $n-1$ の等距離的構造を示す。
• 主な技術的道具は、$\mathrm{Sh}_{1,n-1}$ 上の超特異サイクルの交差数および交差行列の研究であり、$q$-二項係数を含む組合せ論的公式を用いて計算される。
• $\ell$-進コホモロジー上のヘッケ作用を用いて一般テート類を特定し、それらを基本局に台を持つ代数的サイクルと関連付ける。
• 証明は、基本対称多項式と $q$-整数を含む行列 $M_n(q)$ の行列式公式に依存しており、行演算と行列分解を用いて結果的行列式に等しいことを示す。
• 著者たちは、$p$-可除群の変形理論とディエュドネモジュール技法を用いて、$p$ における特異ファイバーの局所構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリシャイマーヴァを $p$ を法として見たとき、その特異ファイバーの中間次元テート類は、超特異局の既約成分によってすべて生成されるか？
• RQ2 このようなシャイマーヴァにおけるテート予想は、基本局に台を持つ幾何的サイクルによって検証可能か？
• RQ3 ノイザー層分類とユニタリシャイマーヴァのコホモロジーにおけるサイクル類の関係は何か？
• RQ4 ヘッケ作用素は特異ファイバーのコホモロジーにどのように作用するか？ そして、テート類の構造について何を明らかにするか？
• RQ5 ユニタリシャイマーヴァにおいて、基本局がすべての一般テート類に寄与する一般的原理は存在するか？

主な発見

• 自動表現の一般性の条件下で、$\mathrm{Sh}_{1,n-1}$ の中間次元テート類は、その超特異局の既約成分によって生成される。
• 超特異局 $\mathrm{Sh}_{1,n-1}^{\mathrm{ss}}$ は次元 $n-1$ の等次元的で、その成分はデリーニュ＝ルスティグ多様体に同型である。
• $\mathrm{Sh}_{1,n-1}$ 上の超特異サイクルの交差行列は明示的に計算され、その行列式が $\alpha_1 \cdots \alpha_n \prod_{i \neq j} \left(q\alpha_i - \frac{1}{q}\alpha_j\right)$ に等しいことが示され、深い代数的構造が確認される。
• 著者たちは、基本対称多項式と $q$-整数を含む行列 $M_n(q)$ の行列式公式を証明し、交差数の計算に不可欠な役割を果たす。
• ラポルト＝ジンク空間の使用を避け、代わりにシャイマーヴァ間のグローバルな対応を用いることで、テート予想への新しい道筋を提供する。
• 結果は、一般予想を支持する：$\mathbb{F}_{p^2}$ 上のユニタリシャイマーヴァにおいて、基本局の既約成分はすべての一般テート類を生成する。