[論文レビュー] Cohomology of large semiprojective hyperkaehler varieties

Tamás Hausel, Fernando Rodríguez Villegas|arXiv (Cornell University)|Sep 19, 2013

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

ひとこと要約

本稿では、半代数的ハイパーカähler多様体—例えば中島クオーバ多様体、トーリックハイパーカähler多様体、ヒッグス束モジュライ空間—のコホモロジーを計算するための幾何学的および算術的技法を開発する。これらの多様体のベッチ数が組み合わせ論的かつ純粋的であることを示し、次第に次元が大きくなるにつれて、正規分布、ガブリエル分布、またはエアリー分布のような連続的極限に収束する分布をとることを明らかにする。

ABSTRACT

In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkaehler manifolds including toric hyperkaehler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulting formulae for their Poincare polynomials are combinatorial and representation theoretical in nature. In particular we will look at their Betti numbers and will establish some results and expectations on their asymptotic shape.

研究の動機と目的

• 半代数的ハイパーカähler多様体（クオーバ多様体やヒッグス束モジュライ空間を含む）のコホモロジー構造を理解すること。
• このような多様体のコホモロジーが、C*-作用による固定点集合と同型であり、コホモロジー的シフトを除いて純粋的であることの確立。
• これらの多様体の高次元族におけるベッチ数の漸近的挙動の分析。
• 有限体上の算術的調和解析を用いて、ベッチ数を組み合わせ的に計算すること。
• ベッチ数の極限分布—正規分布、ガブリエル分布、またはエアリー分布—が高次元極限で出現するかどうかの調査。

提案手法

• ビアリンキ＝ビルールの細分と完全なモース細分を用いて、半代数的多様体のコホモロジーとその固定点集合のコホモロジーを関連付ける。
• 逆方向のビアリンキ＝ビルール細分を用いてコア（deformation retract である）を特定し、コホモロジー的純粋性を証明する。
• 多様体に除法を加えることで、オーロイド型コンパクト化を構成し、重要なコホモロジー的性質を保存する。
• 半代数的多様体における弱い形のハード・レフシェッツ定理を適用し、コホモロジー構造を制約する。
• 有限体上の算術的調和解析を用いて有理点の数を数え、ゼータ関数を介してベッチ数の計算を可能にする。
• 鞍点法と漸近的解析を用いて、ベッチ数列の極限的形状を研究し、既知の連続的分布と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 半代数的ハイパーカähler多様体のベッチ数は、次元が大きくなるにつれてどのように漸近的に振る舞うか？
• RQ2 C*-作用構造と固定点集合を用いて、これらの多様体のコホモロジーを完全に特定できるか？
• RQ3 高次元極限において、これらの多様体の正規化されたベッチ数列が、どのような連続的極限分布（もし存在するならば）に収束するか？
• RQ4 有限体上の算術的調和解析が、クオーバ多様体やヒッグス束モジュライ空間のベッチ数に対して、正確な式または予想的な式をどれほど得られるか？
• RQ5 多くの例で観察されるベッチ数列の単峰的かつ対称的なパターンは、ハード・レフシェッツや純粋性といったより深い幾何学的・算術的原理の結果であると見なせるか？

主な発見

• 半代数的ハイパーカähler多様体のコホモロジーは、C*-作用による固定点集合のコホモロジーと同型であり、コホモロジー的シフトを除いて一致する。
• 多様体のコア（deformation retract である）は滑らかな射影的部分多様体であり、これによりコホモロジーが純粋的であることが示される。
• トーリックハイパーカähler多様体および中島クオーバ多様体のベッチ数は、有限体上の算術的調和解析を用いて正確に計算可能である。
• 高次元極限において、特定の族（例えば、C²上の点のヒルベルトスキーム、完全グラフ上のクオーバ多様体）の正規化されたベッチ数列は、正規分布、ガブリエル分布、またはエアリー分布のような連続的分布に収束する。
• 多くの例で観察される偶数ベッチ数の単峰的挙動は、ハード・レフシェッツ定理と整合的であるが、本稿では、これが現在の証明をはるかに超えて一般に成り立つ可能性があると指摘している。
• 鞍点法によるヒューリスティック的および漸近的解析により、ヒッグス束のモジュライ空間のベッチ数も、ランクが増加するに従い、極限的に連続的分布（おそらく正規分布またはエアリー分布）に収束する可能性があると示唆されている。