[論文レビュー] Modifications et cycles évanescents sur une base de dimension supérieure à un

Fabrice Orgogozo|ArXiv.org|Jul 22, 2005

Algebraic Geometry and Number Theory参考文献 14被引用数 6

ひとこと要約

この論文は、Deligneの予想のエタールコhomオロジー的類似を確立する。具体的には、近傍サイクルが任意の基底変更と可換になるような基底の修正が存在することを示す。デ・ジョンの安定化変更定理と、導来カテゴリにおける近傍サイクルファンクターの性質を用いて、適切な基底の修正の後、近傍サイクル複体が基底変更と可換になることを証明する。これはハーバーの結果を一般化し、高次元の基底へ理論を拡張する。

ABSTRACT

For a given morphism of schemes f:X->S, a sheaf F on X, a geometric point x on X, and s=f(x), the morphism f\_x : X(x) -> S(s) between the strict henselizations doesn't necessarily behave (with respect to F) like a proper morphism. However, we know it is so (assuming constructibility of F etc.) if S is the spectrum of a dvr (P. Deligne, SGA 4 1/2, [Th. finitude]). In this article, we prove it becomes so after an appropriate modification of the base S. The main ingredient is a theorem by A.J. de Jong on plurinodal fibrations. An application of this formalism to Lefschetz pencils is given.

研究の動機と目的

• 有限表現のスキームの準同型に対して、近傍サイクルが基底変更と可換になるような基底の修正が存在することを示す、デリーニの予想のエタールコホモロジー的類似を確立すること。
• 次元 ≥1 の任意の整関数的で滑らかでないスキームに一般化して、ハーバーの近傍サイクルに関するバリエーション環上の結果を拡張すること。
• 有限表現の準同型の近傍サイクル複体が任意の基底変更と可換になるような基底スキームの修正が存在することを確立すること。
• 基底の修正後の準同型のコホモロジー的特徴づけを提供し、それらがコホモロジー的性質において固有準同型と同様に振る舞うことを示すこと。
• ガブラーのアイデアを用いて、特異点が孤立している場合の正標数におけるレフシェッツパルスの共役性結果を、より直感的で新しい証明法で与えること。

提案手法

• 基底 $S$ 上の $\Lambda$-層の導来カテゴリにおける近傍サイクルファンクター $\Psi_f$ を用いる。ここで $\Lambda = \mathbb{Z}/n\mathbb{Z}$ であり、$n$ は $S$ 上で可逆である。
• デ・ジョンの変更定理を適用して、誘導される準同型 $f_{S'}: X' \to S'$ が望ましいコホモロジー的性質を満たすような、固有かつ全射な基底の修正 $S' \to S$ を構成する。
• 普遍的有効降下位相を用いて、修正後の基底変更における近傍サイクルの局所的可換性を確立する。
• 導来カテゴリの枠組みから得られる重要な技術的入力として、近傍サイクル複体が高次のコホモロジーをもたないという事実に依拠する。
• トポス $X \times_S^\leftarrow S$ が、$t$ が $f(x)$ の特殊化であるようなペア $(x, t)$ の分類トポスとしての構造を持つことを利用して、$\Psi_f$ のファイバーをミルナー・ファイバーとして解釈する。
• ガブラーのアイデアを応用して、特異点が孤立している場合の近傍サイクルの共役性を、位相的で直感的な証明法で与える。この証明は標数2でも有効である。

実験結果

リサーチクエスチョン

• RQ1 有限表現のスキームの準同型に対して、基底の修正の後、近傍サイクルファンクターが任意の基底変更と可換になるか。
• RQ2 次元 ≥1 の高次元基底上での近傍サイクル複体は、1次元基底の場合と同様にコホモロジー的有限性および基底変更の性質を満たすか。
• RQ3 高次元において、非可換性を排除する修正が存在するというデリーニの「吹き抜きなし」定理のコホモロジー的類似が存在するか。
• RQ4 正標数において、近傍サイクルの技法を用いて、レフシェッツパルスにおける近傍サイクルの共役性を代数的に証明できるか。
• RQ5 近傍サイクルの修正後、 perverse シェーブーおよび双対性理論は、高次元基底の設定へどの程度まで拡張可能か。

主な発見

• 任意の有限表現の準同型 $f: X \to S$ に対して、$S$ が整関数的で、$\mathcal{F} \in D_c^b(X, \mathbb{Z}/n\mathbb{Z})$ であるとき、近傍サイクル複体 $\Psi_f(\mathcal{F})$ は十分に高い次数ではコホモロジーを持たない。
• 基底の修正 $S' \to S$ が存在し、その結果として得られる近傍サイクル複体 $\Psi_{f_{S'}}(\mathcal{F}_{S'})$ はすべての基底変更 $T \to S'$ と可換である。すなわち、基底変更の準同型が同型である。
• 基底変更の可換性は、修正後は局所的に普遍的有効降下位相で成り立つが、修正の前は一般には成り立たない。
• この結果は、ハーバーのバリエーション環上の近傍サイクルに関する定理を、次元 ≥1 の任意の整関数的スキームへ一般化する。
• 特異点が孤立している場合、ガブラーのアイデアを用いて、レフシェッツパルスにおける近傍サイクルの共役性の新しい証明が与えられる。この証明は標数2でも有効である。
• 修正の構成により、誘導される準同型 $f_{S'}$ は、事前に固有でないとしても、コホモロジー的性質において固有準同型と同様に振る舞うことが保証される。