[論文レビュー] Deformations of chiral algebras and quantum cohomology of toric varieties

Fyodor Malikov, Vadim Schechtman|ArXiv.org|Jan 28, 2000

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

ひとこと要約

本稿は、$ q ∈ H^2(X) $ によってパラメータ化される1パラメータ族の微分を備えた頂点超代数を構成し、その変形された代数の微分に関するコホモロジーが、滑らかで完全なトーリック多様体 $ X $ の量子コホモロジー代数に一致することを示す。この構成は、トーリック完全交差に対するボリソフの頂点代数を一般化し、フェルミオンと区分的線形関数を用いた格子頂点代数の変形を通じて、量子コホモロジーを変形されたチャイナル代数のコホモロジーとして実現し、量子コホモロジーの頂点代数的枠組みを提供する。

ABSTRACT

We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the chiral de Rham complex over the projective space.

研究の動機と目的

• トーリック完全交差のボリソフの頂点超代数構成を、$ q \in H^2(X) $ によってパラメータ化される1パラメータ族の変形された頂点超代数へと拡張すること。
• この変形族の、導来微分に関するコホモロジーが、滑らかで完全なトーリック多様体の量子コホモロジー代数に一致することを示すこと。
• 凸な区分的線形関数を用いたチャイナルホッジコホモロジー代数の変形を通じて、量子コホモロジーの頂点代数的実現を提供すること。
• 厳密に凸な区分的線形関数の錐上でのボリソフの代数 $ V^\Sigma_L $ の変形を確立し、それが量子コホモロジーと結びつくようにすること。

提案手法

• 自由アーベル群 $ L $ とその上の双線形形式から格子頂点代数 $ V_L $ を構成し、フェルミオン生成子 $ \Psi^i, \Phi^i $ を追加してクラッカー代数を形成する。
• 実数値関数 $ \phi $ に基づく線形自己同型 $ t_\phi $ を用いて、頂点代数族 $ V_{L,\phi} $ を構成し、$ n $-乗積構造を変形する。
• 関数 $ \phi $ に凸性条件を課すことで、$ \phi \to \infty $ の極限として $ V_{L,\infty\phi} $ が well-defined になり、これは厳密に凸な $ \phi $ に対してボリソフの代数 $ V_L^\Sigma $ に同型である。
• 微分 $ D = \int \sum_i \Psi^i(z) \left( \sum_j (B^i, \xi_j) e^{\xi_j}(z) \right) dz $ を定義し、零次元微分 $ Q_0 $ と可換であり、合計微分 $ Q_0 + D $ を形成する。
• スペクトル系列の議論を用いて、$ H_{Q_0 + D}(V_{L,\phi}) \cong H_D(H_{Q_0}(V_{L,\phi})) $ を示し、計算をコーゾルコホモロジーに還元する。
• $ H_{Q_0}(V_{L,\phi}) $ が $ \mathbb{R}[L_A] \otimes \Lambda(\Phi^i_0) $ に同型であり、$ D $ の作用が、序列 $ \sum_j (B^i, \xi_j) e^{\xi_j} $ に関連するコーゾル微分に一致することを示し、バチレフの量子コホモロジー関係と一致する。

実験結果

リサーチクエスチョン

• RQ1 ボリソフのトーリック完全交差のための頂点超代数を、$ q \in H^2(X) $ によってパラメータ化される連続的な頂点代数族へと拡張可能か？ その変形された代数のコホモロジーが量子コホモロジーを実現するか？
• RQ2 区分的線形関数 $ \phi $ による頂点代数構造の変形は、特にケーラー錐に関して、トーリック多様体 $ X_\Sigma $ の幾何にどのように関係するか？
• RQ3 変形された頂点代数 $ (V_{L,\phi}, d_q) $ のコホモロジーと量子コホモロジー代数 $ QH^*(X_\Sigma, \mathbb{R}) $ の正確な関係は何か？ これはスペクトル系列とコーゾル複体を通じてどのように実現されるか？
• RQ4 $ \phi $ がどのような条件下で極限 $ V_{L,\infty\phi} $ がボリソフの代数 $ V_L^\Sigma $ を回復するか？ これは厳密に凸関数の錐とどのように関係するか？
• RQ5 フェルミオン場とケーラー類を用いて定義される微分 $ D $ は、バチレフの量子コホモロジー構成における量子関係をどのように再現するか？

主な発見

• 微分 $ Q_0 + D $ に関する変形された頂点代数 $ (V_{L,\phi}, d_q) $ のコホモロジーは、量子コホモロジー代数 $ QH^*_{\phi}(X_\Sigma, \mathbb{R}) $ に同型であり、量子コホモロジーの直接的な頂点代数的実現を確立する。
• $ Q_0 $-次数によるフィルトレーションに関連するスペクトル系列は収束し、$ H_{Q_0 + D}(V_{L,\phi}) \cong H_D(H_{Q_0}(V_{L,\phi})) $ を得る。これは序列 $ \sum_j (B^i, \xi_j) e^{\xi_j} $ のコーゾルコホモロジーである。
• $ Q_0 $-コホモロジー $ H_{Q_0}(V_{L,\phi}) $ は $ \mathbb{R}[L_A] \otimes \Lambda(\Phi^i_0) $ に同型であり、$ L_A $ の群代数とグラスマン変数によって生成される、次数付き超可換代数である。
• $ D $ が $ H_{Q_0}(V_{L,\phi}) $ 上に作用するとき、それは $ \phi $ が厳密に凸である場合、バチレフの量子コホモロジーイデアル $ P(\Sigma) $ を定義する関係に関連するコーゾル微分に正確に一致する。
• 変形 $ V_{L,\phi} $ は厳密に凸な区分的線形関数の錐 $ K^0(\Sigma) $ 上の族を形成し、$ V_{L,\infty\phi} \cong V_L^\Sigma $ である。これは、構成がボリソフの代数の変形であることを示している。
• この構成により、導来構造を備えた頂点代数のコホモロジーとして量子コホモロジーが実現され、チャイナル代数と変形理論を通じて、量子コホモロジーの新しい代数的枠組みが提供される。