[論文レビュー] Motivic characteristic classes

Shoji Yokura|arXiv (Cornell University)|Dec 25, 2008

Algebraic Geometry and Number Theory参考文献 95被引用数 13

ひとこと要約

この論文は、スティーブン・マクファーソンのチャーン類、ボーム＝フォルトン＝マクファーレンのリーマン・ローチ類、グーリング＝マクファーソンのL類という3つの主要な特異特徴類を統一する枠組みとして、切断関係（分解における加法性）を満たすモチーフ的ホモロジー理論に埋め込むことで、モチーフ的特徴類を導入する。主な貢献は、混合ホッジ理論を介して古典的特徴類を一般化する、代数的多様体のグロテンドイック群からホモロジーへの自然変換を提供し、χy- genus やシグネチャといった不変量のモチーフ的解釈を可能にすることである。

ABSTRACT

Motivic characteristic classes of possibly singular algebraic varieties are homology class versions of motivic characteristics, not classes in the so-called motivic (co)homology. This paper is a survey on them with more emphasis on capturing infinitude finitely and on the motivic nature, in other words, the scissor relation or additivity.

研究の動機と目的

• スティーブン・マクファーソンのチャーン類、ボーム＝フォルトン＝マクファーレンのリーマン・ローチ類、グーリング＝マクファーソンのL類という3つの基本的特徴類を、1つのモチーフ的フレームワークに統合すること。
• モチーフ的特徴類を、モチーフ的コホモロジーに依存しないが、切断関係を満たす代数的多様体のグロテンドイック群に依存するホモロジー類のバージョンとして確立すること。
• 有限集合の数え上げの高次アナログを、混合ホッジ構造を用いて無限大かつ特異な代数的多様体へ拡張すること。
• 導来カテゴリの混合ホッジモジュールを用いて、χy- genus やシグネチャといった不変量のモチーフ的解釈を提供すること。
• ホイットニー分離構造を用いた、構造的数え上げ（stratified counting）の可能性を探ること。これには、可解層のグロテンドイック群と混合ホッジモジュールを用いた不変量の構成が含まれる。

提案手法

• 論文は、切断関係（互いに交わらない直和および閉部分集合における加法性）を用いて、代数的多様体のグロテンドイック群から整数ホモロジーへの自然変換を構成する。
• 混合ホッジ理論と斎藤の混合ホッジモジュール理論を用い、χy- genus やシグネチャといった古典的不変量を精緻化する特徴類を定義する。
• モチーフ的特徴類は、モチーフ的特徴のクラス版として定義され、グロテンドイックがヒルツェブルク＝リーマン＝ローチをグロテンドイック＝リーマン＝ローチに拡張したのと同様の類似性を持つ。
• 構成には、交差ホモロジー・ホッジモジュール不変量のクラス版を定義できる、混合ホッジモジュールの導来カテゴリが用いられる。
• ヴェルディエの自己双対的可解層複体のコボルディズム群を介して、モチーフ的類とシグネチャを関連付ける。
• 固定された分離構造 $X_\bullet$ における混合ホッジモジュールのグロテンドイック群 $K_0(MHM(X_\bullet))$ を用いた、構造的数え上げフレームワークを提案する。これは位相的不変量ではなく、分離構造に依存する。

実験結果

リサーチクエスチョン

• RQ1 1つのモチーフ的特徴類が、チャーン、リーマン・ローチ、L類という3つの主要な特異特徴類を統一できるか？
• RQ2 有限集合の数え上げという古典的概念を、モチーフ的アプローチで無限大かつ特異な代数的多様体へどのように拡張できるか？
• RQ3 混合ホッジ理論は、古典的コホモロジー的不変量を超えて、特異多様体の特徴類を定義する際に果たす役割は何か？
• RQ4 ホイットニー分離構造を尊重する意味のある「構造的数え上げ」不変量が存在するか？
• RQ5 モチーフ的特徴類は、混合ホッジモジュールの導来カテゴリを通じて、χy- genus やシグネチャとどのように関係するか？

主な発見

• モチーフ的特徴類は、代数的多様体のグロテンドイック群からホモロジーへの自然変換として、スティーブン・マクファーソンのチャーン類、ボーム＝フォルトン＝マクファーレンのリーマン・ローチ類、グーリング＝マクファーソンのL類を統合する枠組みを提供する。
• この構成は切断関係を満たしており、多様体 $X$ が $X = X_1 \cup X_2$ と分解され、$X_1 \cap X_2$ が閉じている場合、$c_{mot}(X) = c_{mot}(X_1) + c_{mot}(X_2) - c_{mot}(X_1 \cap X_2)$ を満たす。
• モチーフ的類は、混合ホッジモジュールの導来カテゴリを用いて定義され、交差ホモロジーのホッジ構造を通じて、χy- genus やシグネチャといった不変量との整合性を保証する。
• χy- genus のクラス版は、交差ホモロジー層上の混合ホッジモジュール構造から生じ、χy- genus とその交差ホモロジー版との差が特異性を測る。
• 論文は、モチーフ的特徴類がボーム＝フォルトン＝マクファーレンのリーマン・ローチ類の変形であることを示しており、グロテンドイックがヒルツェブルク＝リーマン＝ローチを拡張したのと同様の類似性を持つ。
• 分離構造に依存し、位相的不変量ではないが、特異空間のための洗練された不変量である $K_0(MHM(X_\bullet))$ を用いた、可能性のある「構造的数え上げ」不変量が提案されている。