[論文レビュー] Cohomology ring of crepant resolutions of orbifolds

Yongbin Ruan|ArXiv.org|Aug 29, 2001

Algebraic Geometry and Number Theory参考文献 24被引用数 30

ひとこと要約

この論文は、特異点が軽微な解消のためのコhomological minimal model 猜測（CMMC）を提示し、超ケーラー多様体に限らない一般の軽微な解消に、コhomological hyperkähler 解消予想を一般化する。軽微な解消のコhomology 環が、元の軌道多様体の軌道コhomology 環に同型であることを示し、量子コhomology と符号修正された軌道積を用いて明示的な検証がなされた。主な結果として、K-同値のもとでの環同型が確認され、代数幾何学および超弦理論における長年の問題が解決された。

ABSTRACT

Motivated by physics, we propose two conjectures regarding the cohomology ring of the crepant resolutions of orbifolds and cohomological invariants of K-equivalent manifolds.

研究の動機と目的

• 超ケーラー多様体に限らない一般の軽微な解消へ、コhomological hyperkähler 解消予想（CHRC）を拡張すること。
• K-同値な軌道多様体が、軽微な解消のもとで同型なコhomology 環を持つかどうかを調査すること。
• 有理数体上での軌道多様体コhomology とヒルベルトスキームコhomology の不一致を、符号修正を導入することで解消すること。
• 代数幾何学における量子コhomology、軌道コhomology、および軽微な解消を結ぶ一般枠組みを確立すること。

提案手法

• 軽微な解消のコhomology 環が元の軌道多様体の軌道コhomology 環に同型であると主張するコhomological minimal model 猜測（CMMC）を提唱する。
• 有理数体上でのヒルベルトスキームコhomology との整合性を保つために、ε(h₁,h₂) = ½(ι(h₁) + ι(h₂) − ι(h₁h₂)) で定義される符号修正された軌道カップ積を用いる。
• 特にフロップやムカイ変換のケースで CMMC を検証するために、量子コhomology の技術、特に量子補正積 α ∪_π β を応用する。
• 複素数体上では α → (−1)^{ι(g)/2}α の同型が成り立つことから、符号修正は不要であることを示す。
• 軌道コhomology 上のペアリングを分析し、不定型の状況でも正定値性を回復するために、ヘルミート内積 <<α,β>> = <α, I*(β)> を導入する。
• Li-Ruan の定理（q → 1/q における量子コhomology 同型）を用いて3次元の場合に CMMC を検証し、4次元ではムカイ変換と自明な量子補正を用いて検証した。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein 軌道多様体の軽微な解消のコhomology 環は、その軌道コhomology 環に同型か？
• RQ2 軌道カップ積における符号修正が、有理数体上での軌道コhomology とヒルベルトスキームコhomology の同型に与える影響は何か？
• RQ3 コhomological hyperkähler 解消予想は、非超ケーラー的軽微な解消へ一般化可能か？
• RQ4 K-同値な軌道多様体は、軽微な解消のもとで同型なコhomology 環を持つか？
• RQ5 量子コhomology 構造は、軽微な解消と軌道多様体の間の環同型を検証する上でどのような役割を果たすか？

主な発見

• Li-Ruan の量子コhomology 同型（q → 1/q）を用いて、3次元フロップのケースで CMMC が検証された。
• 4次元のムカイ変換では、量子補正が自明であり、K-同値な空間のコhomology 環が同型であることが示され、CMMC を支持する。
• 符号修正 ε(h₁,h₂) = ½(ι(h₁) + ι(h₂) − ι(h₁h₂)) により、有理数体上での軌道コhomology とヒルベルトスキームコhomology の整合性が保証されたが、複素数体上では不要である。
• 複素数体上では、符号修正された軌道コhomology は α → (−1)^{ι(g)/2}α により元のコhomology と同型であることが示され、符号修正が有理数体上の便宜的特徴であることが明らかになった。
• H²_orb(C²/Γ, C) 上のペアリングは不定型であるが、ヘルミート内積 <<α,β>> = <α, I*(β)> を導入することで正定値性が回復され、重要な矛盾が解消された。
• Lehn-Sorger や Fantechi-Göttsche、Uribe の研究を用いて、K3^{[n]} および (T⁴)^{[n]} において CHRC が正当化された。超ケーラーの場合に予想が妥当であることが検証された。