[論文レビュー] The cohomological crepant resolution conjecture for P(1,3,4,4)

Samuel Boissière, Étienne Mann+1 more|ArXiv.org|Dec 19, 2007

Algebraic Geometry and Number Theory参考文献 8被引用数 6

ひとこと要約

この論文は、量子補正されたコhomology環の明示的計算と Chen-Ruan cohomology 環との同型写像の確立により、重み付き射影空間 ℙ(1,3,4,4) におけるコhomological crepant resolution 猜想を証明する。前人研究における ℙ(1,1,1,3) の結果から得られる、横断的 A₃ 奇性および孤立的 1/3(1,1,1) 奇性からの量子補正を用いて、量子パラメータ (c₁,c₂,c₃,c₄) = (i,i,i,1) または (−i,−i,−i,1) の場合に、両環は同型かつ等長であることを示す。Poincaré 対合に関しては、同型が保たれることを確認した。

ABSTRACT

We prove the cohomological crepant resolution conjecture of Ruan for the weighted projective space P(1,3,4,4). To compute the quantum corrected cohomology ring we combine the results of Coates-Corti-Iritani-Tseng on P(1,1,1,3) and our previous results.

研究の動機と目的

• 量子パラメータ (i,i,i,0) では同型が得られるが、c₄=0 が予想の非ゼロ c₄ という期待と矛盾する、先行研究における不一致を解消すること。
• ℙ(1,3,4,4) の量子補正 cohomology と Chen-Ruan cohomology が同型となるような量子パラメータ c₁,…,c₄ の正しい値を特定すること。
• 量子補正 cohomology 環と Chen-Ruan cohomology 環の間の環同型を、Poincaré 対合と整合する形で確立すること。
• ℙ(1,1,1,3) の crepant resolution の既知の結果を用いて、q=1 における量子級数の解析接続を計算すること。

提案手法

• Coates-Corti-Iritani-Tseng の ℙ(1,1,1,3) に関する結果を組み合わせ、q=1 における量子級数の解析接続を決定する。
• 孤立的奇性成分の量子級数 (2.3) が解析接続可能であり、ℙ(1,1,1,3) の小量子 cohomology の定数構造に等しいことを利用する。
• [CCIT] に提示された写像 Θ(0) を用いて、f(1) = (2πβ₁)/(9β₂²) = (2π)⁶/(27Γ(1/3)⁹) の値を計算し、量子パラメータの決定に不可欠な役割を果たす。
• パラメータ α と β を用いた行列表現を用いて、量子補正 cohomology 環と Chen-Ruan cohomology 環の間の明示的線形写像 Ξ を構成する。
• α³ = 27f(1) および αβ = 27 の方程式系を解き、Ξ が量子 cup 積と Chen-Ruan cup 積を保存するように α と β を決定する。
• 結果 [BMPa] と導出されたパラメータ値を用いて、同型が Poincaré 対合と整合することを検証する。

実験結果

リサーチクエスチョン

• RQ1 量子パラメータ (c₁,c₂,c₃,c₄) のどの値が、ℙ(1,3,4,4) の crepant resolution の量子補正 cohomology と Chen-Ruan cohomology の間の同型をもたらすか？
• RQ2 なぜ過去の研究ではパラメータ (i,i,i,0) で同型が得られたが、cohomological crepant resolution 猜想の非ゼロ c₄ という期待と矛盾したのか？
• RQ3 孤立的 1/3(1,1,1) 奇性に付随する例外的除集合の量子級数は q=1 に解析接続可能か？その値は何か？
• RQ4 正しいパラメータ値に対して、量子補正 cohomology と Chen-Ruan cohomology の間の明示的環同型は存在するか？
• RQ5 同型は Poincaré 対合を保存するか？これにより完全な cohomological 同値性が保証されるか？

主な発見

• 量子補正 cohomology 環が、量子パラメータ (c₁,c₂,c₃,c₄) = (i,i,i,1) または (−i,−i,−i,1) のとき、ℙ(1,3,4,4) の Chen-Ruan cohomology 環と同型である。
• q=1 における量子級数 f(1) の値は、明示的に f(1) = (2π)⁶ / (27Γ(1/3)⁹) と計算され、ℙ(1,1,1,3) の小量子 cohomology の構造から導出された。
• 同型写像におけるパラメータ α と β は、α³ = 27f(1) および αβ = 27 を解くことにより決定され、写像が環構造を保存することを保証する。
• 同型は、Poincaré 対合に関して等長であることが確認され、先行研究の結果とパラメータ制約を組み合わせて検証された。
• 量子級数 (2.3) の q=1 への解析接続は、ℙ(1,1,1,3) の小量子 cohomology の定数と同定することにより確立された。
• 本結果により、ℙ(1,3,4,4) における cohomological crepant resolution 猜想が確認され、c₄=0 であった過去の不整合は、c₄=1 が同型性に不可欠であることを示すことによって解消された。