[論文レビュー] Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara

Yakov Varshavsky|ArXiv.org|May 26, 2005

Advanced Algebra and Geometry参考文献 5被引用数 4

ひとこと要約

本稿は、有限体上の非固有スキームに、Fujiwaraの定理を一般化し、対応が開部分集合上で固有であり、補集合が局所的不変である場合に、Lefschetz-Verdierのトレース公式を適用する。変形による正規被包への帰着とトレース写像の加法性に基づく、初等的で幾何的なアプローチにより、局所的項が層の茎への誘導された自己準同型のトレースに等しいことを証明し、剛体幾何学に依存せずにDeligneの予想を拡張する。

ABSTRACT

The goal of this paper is to generalize a theorem of Fujiwara (formerly Deligne's conjecture) to the situation appearing in a joint work [KV] with David Kazhdan on the global Langlands correspondence over function fields. Moreover, our proof is more elementary than the original one and stays in the realm of ordinary algebraic geometry, that is, does not use rigid geometry. We also include proof of the Lefschetz-Verdier trace formula and of the additivity of filtered trace maps, thus making the paper essentially self-contained.

研究の動機と目的

• 対応が開部分集合上で固有であり、補集合が局所的不変であるという条件下で、FujiwaraのLefschetz-Verdierトレース公式の定理を、必ずしも固有でないスキームへ拡張すること。
• 剛体幾何学を避け、通常の代数幾何学にとどどまることを目的とした、より初等的な証明を提供すること。
• コンパクトな台を持つ構造的層の導来カテゴリにおけるフィルター付きトレース写像の加法性を確立し、自己完備的にLefschetz-Verdierトレース公式を証明すること。
• 関数体上のグローバルLanglands対応の文脈において、局所的項が茎へのトレースに等しいというDeligneの予想を一般化すること。
• 正規被包への特化を用いて、幾何的に直感的な方法で局所的項を定義・計算すること。

提案手法

• 変形による正規被包を用いて、『無限小的に収縮する』対応の概念を導入し、幾何的構成を単純化する。
• トレース写像とその固有プッシュフォワードとの整合性を用いて、トレース公式を局所的項の消失に帰着する。
• 正規被包への特化がゼロ切断への制限と可換である Verdier の定理を適用する。
• 固定点の近傍で対応を収縮させるために、幾何的フロベニウスの高次の冪を用いてねじれを導入する。
• コンパクトな台を持つ構造的層の導来カテゴリにおいて、フィルター付きトレース写像の加法性を確立する。
• トレース写像の統合による局所的項の定義を行い、PinkおよびFujiwaraの定義と一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 対応が開部分集合U上で固有であり、X∖Uが局所的c不変であるとき、Lefschetz-Verdierトレース公式を非固有スキームへ拡張することは可能か？
• RQ2 この一般化された設定において、トレース公式の局所的項は、層の茎への誘導された自己準同型のトレースとして明示的に特定可能か？
• RQ3 剛体幾何学を用いずに、古典的代数幾何学的手法に依存するだけで、一般化されたトレース公式を証明することは可能か？
• RQ4 正規被包への変形構成は、固定点および局所的項の解析をどのように支援するか？
• RQ5 対応を収縮させるために必要なフロベニウスの正確なべきは何か？また、これにより、以前の研究の境界をどのように改善できるか？

主な発見

• 対応が開部分集合U上で固有であり、X∖Uが局所的c不変であるような場合に、一般化されたLefschetz-Verdierトレース公式が成立する。
• 固定点における局所的項は、層の茎への誘導された自己準同型のトレースに等しくなる。これは、Fujiwaraの結果を非固有設定へ拡張したものである。
• 証明は自己完備的であり、剛体幾何学を一切用いず、標準的な代数幾何学とトレース写像の形式的体系に依存している。
• 収縮性を達成するために必要なフロベニウスのべきは明示的に評価されており、以前の手法よりも鋭い。
• コンパクトな台を持つ構造的層の導来カテゴリにおいて、フィルター付きトレース写像の加法性が確立された。
• 本稿で定義された局所的項は、PinkおよびFujiwaraの定義と一致することが示され、先行研究と整合的であることが保証された。