[論文レビュー] COHOMOLOGICAL HASSE PRINCIPLE AND MCKAY PRINCIPLE FOR WEIGHT HOMOLOGY

Moritz Kerz, Shuji Saito|arXiv (Cornell University)|Nov 30, 2011

Algebraic Geometry and Number Theory参考文献 19被引用数 1

ひとこと要約

この論文は、Katoのコhomological Hasseの原理に還元することで、商特異点の重みホモロジーに対するMcKay原理を確立し、商スキームの重みホモロジーをその等長的スキームの重みホモロジーによって記述する。主な結果として、このような解消における特異的除数の配置複体のホモロジーが自明であることが示される。

ABSTRACT

In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of the configuration complex of a resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of the quotient scheme in terms of weight homology of the equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. As a corollary of the McKay principle, we show that the configuration complex of the exceptional divisors of a resolution of a quotient singularity has trivial homology.

研究の動機と目的

• 特異スキームの文脈において、McKay原理を重みホモロジーへと拡張すること。
• 商スキームの重みホモロジーとその等長的解消の重みホモロジーとの関係を特定すること。
• 算術幾何における重みホモロジーとコhomological Hasseの原理との間に幾何的リンクを確立すること。
• 商特異点の解消における特異的除数に関連する配置複体のホモロジー的性質を分析すること。

提案手法

• 幾何的McKay原理を、算術スキームにおけるKatoのコhomological Hasseの原理に還元する。
• 特異点の解消の配置複体を、重みホモロジーを定義する基盤的構造として用いる。
• 等長的技法を適用して、商スキームの重みホモロジーと等長的スキームの重みホモロジーを関連付ける。
• 特異的除数の配置構造の構造を分析するためにホモロジー代数の道具を用いる。
• 既知のコhomological Hasseの原理の結果を活用して、重みホモロジー群の性質を導出する。
• 解消の導来不変量を用いて、特異的除数の配置複体のホモロジーを分析する。

実験結果

リサーチクエスチョン

• RQ1 McKay原理を商特異点の重みホモロジーへ一般化する方法は何か？
• RQ2 商スキームの重みホモロジーとその等長的解消の重みホモロジーとの関係は何か？
• RQ3 Katoのコhomological Hasseの原理は、この文脈における重みホモロジーのホモロジー的構造をどの程度支配するか？
• RQ4 商特異点の解消における特異的除数の配置複体のホモロジー的性質は何か？
• RQ5 特異的除数複体のホモロジーの自明性は、McKay原理とコhomological Hasseの原理から導けるか？

主な発見

• 重みホモロジーに対するMcKay原理が確立され、商スキームの重みホモロジーが対応する等長的スキームの重みホモロジーによって決定されることを示した。
• 商特異点の解消における特異的除数の配置複体のホモロジーが自明である。
• 幾何的McKay原理をKatoのコhomological Hasseの原理に還元することで、重みホモロジーを研究する新しい算術幾何的枠組みが得られた。
• コhomological Hasseの原理を介して、等長的スキームから商スキームへホモロジー的情報を効果的に転送できた。
• 特異的除数複体のホモロジーの自明性は、McKay原理とその背後にあるコhomologicalマシンの直接的帰結である。
• 結果は、特異点の解消、等長的構造、および特異スキームにおけるコhomological不変量との間に深い関係があることを示している。