[論文レビュー] Characteristic cycle and the Euler number of a constructible sheaf on a surface

Takeshi Saito|arXiv (Cornell University)|Feb 23, 2014

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

ひとこと要約

本稿では、ラドン変換と分岐論を用いて、滑らかな曲面上の可解的層の特徴的サイクルをコタングェントバンドル内で定義し、その0節との交差数がオイラー数に等しく、特異的特徴的点における近傍サイクルの全次元を計算するファイブレーション節との交差数が与えられることを証明する。この構成は射影埋め込みの選択に依存せず、所定の条件下では既存の定義と一致する。

ABSTRACT

We define the characteristic cycle of a constructible sheaf on a smooth surface in the cotangent bundle. We prove that the intersection number with the 0-section equals the Euler number and that the total dimension of vanishing cycles at an isolated characteristic point is also computed as an intersection number.

研究の動機と目的

• コタングェントバンドル内の滑らかな曲面上の可解的層の特徴的サイクルを定義し、既存の構成を一般化すること。
• 特徴的サイクルと0節との交差数が、層のオイラー数に等しいことを確立すること。
• 曲線へのファイブレーションによって定義される節との交差数が、孤立した特徴的点における近傍サイクルの全次元を計算すること。
• 変形と安定性の議論を用いて、特徴的サイクルが射影埋め込みの選択に依存しないことを証明すること。
• 両方の定義が有効な場合に、新しい定義と[24]における定義が等価であることを示すこと。

提案手法

• 特徴的サイクルを定義する中心的道具としてラドン変換を用い、[24]の分岐論に依拠する。
• [9]および[8]のインスピレーションを受ける変形議論を適用し、射影埋め込みへの依存性の不在を示す。
• エリクのヘンゼルの補題の一般化を用いて、ファイブレーションの小さな変形における近傍サイクルの安定性を証明する。
• グロテンディーク＝オッグ＝シャファレヴィッチの公式を2回適用し、オイラー特性と交差数を関連付ける。
• デリーニュとロモン[19]の近傍サイクルの次元公式を用いて、サイクルの交差と局所不変量を結びつける。
• 有限被覆を用いて、1つの成分を除き分岐を自明化し、数値的にゼロに等しい差が自明であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな曲面上の可解的層の特徴的サイクルは、射影埋め込みに依存しない内因的定義が可能か？
• RQ2 特徴的サイクルと0節との交差数は、層のオイラー数に等しいか？
• RQ3 曲線上の非消える微分形式によって定義される節との交差数は、孤立した特徴的点における近傍サイクルの全次元に等しいか？
• RQ4 新しい特徴的サイクル定義は[24]の定義とどのように関係するか？
• RQ5 非フェロセ分岐のような制限的仮定を課さずに、ラドン変換と分岐論を用いて特徴的サイクルを計算可能か？

主な発見

• ラドン変換と分岐論を用いて定義された特徴的サイクルは、射影埋め込みの選択に依存しない。
• 特徴的サイクルと0節との交差数は、層のオイラー数に等しく、定理3.18で証明されている。
• 曲線へのファイブレーションによって定義される節との交差数は、孤立した特徴的点における近傍サイクルの全次元を計算し、定理3.16で示されている。
• 両方の定義が有効な場合、本稿で定義された特徴的サイクルは[24, 定義3.5]と一致する。これは命題3.19で確立されている。
• 2つの特徴的サイクル定義の差は、数値的にゼロに等しい除数で制御され、有限被覆を用いてそれがゼロであることが示された。
• この手法により、ファイブレーションの小さな変形における近傍サイクルの安定性が証明され、エリクの定理と近傍サイクルの次元公式に依拠している。