[論文レビュー] An update on semisimple quantum cohomology and F-manifolds

Claus Hertling, Yu. I. Manin+1 more|ArXiv.org|Mar 19, 2008

Advanced Combinatorial Mathematics参考文献 10被引用数 4

ひとこと要約

本稿は、射影多様体の偶数量子コホモロジーが一般に半単純であるならば、その多様体は奇数コホモロジーをもたず、ホッジ＝テイト型であることを示すことで、半単純量子コホモロジーに関する結果を強化する。さらに、接層に超可換乗法が定義された解析的スーパemanifoldがF多様体であるための必要十分条件として、余接 bundle 内のそのスペクトル被覆が最大次元のコイソトロピックであることを特定し、ジンツブルグの未解決問題を解決するとともに、ミラー対称性およびランダウ＝ジンツブルグ模型と関連付ける。

ABSTRACT

In the first section of this note we show that the Theorem 1.8.1 of Bayer--Manin ([BaMa]) can be strengthened in the following way: {\it if the even quantum cohomology of a projective algebraic manifold $V$ is generically semi--simple, then $V$ has no odd cohomology and is of Hodge--Tate type.} In particular, this addressess a question in [Ci]. In the second section, we prove that {\it an analytic (or formal) supermanifold $M$ with a given supercommutative associative $\Cal{O}_M$--bilinear multiplication on its tangent sheaf $\Cal{T}_M$ is an $F$--manifold in the sense of [HeMa], iff its spectral cover as an analytic subspace of the cotangent bundle $T^*_M$ is coisotropic of maximal dimension.} This answers a question of V. Ginzburg. Finally, we discuss these results in the context of mirror symmetry and Landau--Ginzburg models for Fano varieties.

研究の動機と目的

• 射影多様体の偶数量子コホモロジーが一般に半単純である場合、奇数コホモロジーが消えることおよびホッジ＝テイト型をとることを示すことで、ベイヤー＝マニンの定理を強化すること。
• V. ジンツブルグが提起した、F多様体の余接 bundle 内のスペクトル被覆による特徴付けに関する未解決問題を解決すること。
• これらの結果をファノ多様体のミラー対称性およびランダウ＝ジンツブルグ模型と結びつけること。
• F多様体のスペクトル被覆がコイソトロピックであるための幾何学的および代数的条件を明確にすること。

提案手法

• 奇数コホモロジー類が存在する場合、偶数量子コホモロジールリングに冪零元が含まれることを示し、これは一般の半単純性と矛盾する。
• 量子相関関数の超可換性とポincare双対性を用いて、非自明な奇数クラスが冪零元を生じることを示した。
• 偶数量子コホモロジーの一般半単純性が、p+q が奇数であるすべての h^{p,q} を 0 に強制することを確立した。
• Eulerベクトル場に Lie 代数の技法を適用し、重み 1 の非比例する可換ベクトル場が存在するのは、p+q が偶数で p≠q である h^{p,q} ≠ 0 が存在する場合に限ることを示した。
• 部分多様体上のイデアル的条件を用いて、F多様体のスペクトル被覆のコイソトロピック性を特徴づけた。
• スペクトル被覆のラジカルがラグランジュでない F多様体の具体例を提示し、コイソトロピック性がラグランジュ還元を意味しないことを示した。

実験結果

リサーチクエスチョン

• RQ1 射影多様体 V の偶数量子コホモロジーが一般に半単純であるならば、H^{odd}(V) = 0 かつ V がホッジ＝テイト型であることを示せるか？
• RQ2 接層に超可換乗法が定義された解析的スーパemanifold が F多様体であるための条件は何か？
• RQ3 F多様体のスペクトル被覆は余接 bundle 内で必ずコイソトロピックであるか？また、コイソトロピック性は F 構造を意味するか？
• RQ4 半単純量子コホモロジーフロベニウス多様体のスペクトル被覆が滑らかになり得るか？その場合、ミラー対称性にどのような意味があるか？
• RQ5 F多様体の文脈において、スペクトル被覆イデアルのラジカルの幾何的意味は何か？

主な発見

• 射影多様体 V の偶数量子コホモロジーが一般に半単純であるならば、H^{odd}(V) = 0 であり、V はホッジ＝テイト型である。
• H^{ev}_{quant}(V) が一般に半単純であるという仮定の下で、すべての p+q ≡ 1 mod 2 に対してホッジ数 h^{p,q}(V) は消える。
• H^{*}_{quant}(V) に重み 1 の非比例する可換 Euler ベクトル場が存在するならば、p+q ≡ 0 mod 2 かつ p≠q である h^{p,q}(V) ≠ 0 が存在するが、これは一般半単純性と矛盾する。
• T_M 上に O_M-双線形な超可換結合的乗法が定義された解析的スーパemanifold M は、その余接 bundle 内のスペクトル被覆が最大次元のコイソトロピックであるときかつそのときに限り F多様体である。
• スペクトル被覆のラジカルがラグランジュでない F多様体が存在し、コイソトロピック性がラグランジュ還元を意味しないことを示した。
• 半単純量子コホモロジーフロベニウス多様体のスペクトル被覆は、滑らかであるための必要十分条件が、孤立特異点の展開空間から生じることである。