[論文レビュー] Characteristic class and the epsilon factor of an étale sheaf

Naoya Umezaki, Enlin Yang+1 more|arXiv (Cornell University)|Jan 11, 2017

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

この論文は、有限体上の射影的で滑らかな多様体上のエタール層のε因子とその特徴類の間のグローバルなねじれ公式を証明し、KatoとSaitoの予想を解決する。主な結果は、層に表現をテンソル積するときのε因子の比が、その表現の行列式が特徴類に作用するものに一致することを示しており、特徴類の固有写像に関する整合性および、曲面上の二種類のスワン類の同値性への応用を含む。

ABSTRACT

We prove a twist formula for the epsilon factor of a constructible sheaf on a projective smooth variety over a finite field in terms of characteristic class of the sheaf. This formula is a modified version of the formula conjectured by Kato and Saito in [Ann. Math., 168 (2008):33-96, Conjecture 4.3.11]. We give two applications of the twist formula. Firstly, we prove that the characteristic classes of constructible étale sheaves on projective smooth varieties over a finite field are compatible with proper push-forward. Secondly, we show that the two Swan classes in the literature are the same on proper smooth surfaces over a finite field.

研究の動機と目的

• 有限体上の射影的で滑らかな多様体上のエタール層のε因子に関するグローバルなねじれ公式を証明すること。
• KatoとSaitoが提起した、層のε因子と特徴類の関係に関する予想を解決すること。
• 射影的で滑らかな多様体上の構成可能層に対して、特徴類が固有写像と整合することを確立すること。
• 有限体上の固有で滑らかな曲面上の二種類のスワン類の定義（$\mathrm{Sw}^{ks}$ と $\mathrm{Sw}^{cc}$）が同値であることを示すこと。

提案手法

• T. Saitoによって開発された、層 $\mathcal{F}$ の特徴的サイクルを用いた特徴類 $cc_X\mathcal{F} \in CH_0(X)$ を用いる。
• Euler標数と特徴類を結ぶインデックス公式 $\chi(X_{\bar{k}}, \mathcal{F}) = \deg(cc_X\mathcal{F})$ を適用する。
• BeilinsonおよびT. Saitoによる最近の分岐論の進展を用いて、制限のない野生的分岐および任意の分岐を扱う。
• 双対性とトレース公式を用いて、$\Lambda^\times$ 内でねじれ公式 $\det\rho(-cc_X\mathcal{F}) = \varepsilon(X, \mathcal{F} \otimes \rho) / \varepsilon(X, \mathcal{F})^{\dim \rho}$ を導出する。
• この公式を用いて、特徴類の固有写像に関する整合性を証明する：$f_*(cc_X\mathcal{F}) = cc_Y Rf_*\mathcal{F}$ in $CH_0(Y)$。
• アーベル被覆の状況に還元し、ねじれ公式を用いることで、固有で滑らかな曲面上での二種類のスワン類（$\mathrm{Sw}^{ks}$ と $\mathrm{Sw}^{cc}$）の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限体上のグローバルL関数の文脈において、エタール層のε因子はその特徴類とどのように関係しているか？
• RQ2 Kato-Saitoの予想が、分岐の制限なしに成り立つかどうか？
• RQ3 射影的で滑らかな多様体上の構成可能層の特徴類は、固有写像に関して整合的か？
• RQ4 有限体上の固有で滑らかな曲面上で、二種類のスワン類の定義（$\mathrm{Sw}^{ks}$ と $\mathrm{Sw}^{cc}$）は同値か？

主な発見

• 任意の有限体上の射影的で滑らかな多様体上の構成可能層 $\mathcal{F}$ に対して、$\Lambda^\times$ 内でねじれ公式 $\det\rho(-cc_X\mathcal{F}) = \varepsilon(X, \mathcal{F} \otimes \rho) / \varepsilon(X, \mathcal{F})^{\dim \rho}$ が成立する。
• 特徴類 $cc_X\mathcal{F}$ は固有写像と整合する：$f: X \to Y$ を固有写像とするとき、$CH_0(Y)$ 内で $f_*(cc_X\mathcal{F}) = cc_Y Rf_*\mathcal{F}$ が成り立つ。
• この公式は、$Y = \mathrm{Spec}(k)$ の場合にグローテンディーク＝オグ＝シャファレヴィチの公式が特殊ケースとして回復される。
• 有限体上の固有で滑らかな曲面上では、二種類のスワン類 $\mathrm{Sw}^{ks}$ と $\mathrm{Sw}^{cc}$ が一致する：$CH_0(X)$ 内で $\mathrm{Sw}_X^{ks}(\mathcal{F}) = -\mathrm{Sw}_X^{cc}(\mathcal{F})$ が成り立つ。
• 証明により、野生的分岐不変量が一様でないキャラクターによるテンソル積を介して保存され、位数 $p$ の表現の状況に還元可能であることが示された。
• この結果により、特徴類の写像に関する予想の整合性が裏付けられ、曲面の場合におけるスワン類の定義の同値性が解決された。