[論文レビュー] Vertex algebras and the Landau-Ginzburg/Calabi-Yau correspondence

Vassily Gorbounov, Fyodor Malikov|ArXiv.org|Aug 12, 2003

Algebraic structures and combinatorial models参考文献 16被引用数 7

ひとこと要約

本稿は、$\mathbb{Z}_N$-不変部分代数とオルビフォールド化された格子 $\Lambda_{\text{orb}}$ を通じて構成された、$bc$-$\beta\gamma$ システムとランダウ・ジンブルグ模型からなる双微分頂点代数を用いて、カルラビ＝ヤウ超曲面上のチャーラル・デ・ラーム複体のコホモロジーへ収束するスペクトル系列を構成する。主な結果は、この頂点代数のコホモロジーを用いて、カルラビ＝ヤウ超曲面の楕円的生成関数に対する明示的なオルビフォールド公式を確立することであり、ランダウ・ジンブルグ模型とカルラビ＝ヤウ幾何学の間の明確な関係を頂点代数の文脈で確立する。

ABSTRACT

We construct a spectral sequence that converges to the cohomology of the chiral de Rham complex over a Calabi-Yau hypersurface and whose first term is a vertex algebra closely related to the Landau-Ginburg orbifold. As an application, we prove an explicit orbifold formula for the elliptic genus of Calabi-Yau hypersurfaces.

研究の動機と目的

• カルラビ＝ヤウ超曲面上のチャーラル・デ・ラーム複体のコホモロジーと、ランダウ・ジンブルグ模型から導かれる頂点代数構造との関係を確立すること。
• 特にトーリック多様体の場合にあたって、カルラビ＝ヤウ超曲面に対するコホモロジー頂点代数 $H^*(\mathfrak{F}, \Omega^{ch}_{\mathfrak{F}})$ の計算という長年の問題を解決すること。
• 頂点代数コホモロジーとランダウ・ジンブルグ模型の技法を用いて、カルラビ＝ヤウ超曲面の楕円的生成関数に対する明示的なオルビフォールド公式を証明すること。
• 修正されたコンformal重み付きの定義を通じて、チャーラル・デ・ラーム複体とカルラビ＝ヤウ超曲面上の多ベクトル場代数との関係を明確にすること。

提案手法

• $\mathbb{C}^N$ 上の $bc$-$\beta\gamma$ システムの $\mathbb{Z}_N$-不変部分代数を用いて、双微分頂点代数 $ (\widetilde{\text{LG}}; D_{\text{orb}}, d_{\text{LG}}) $ を構成し、これをオルビフォールド化された格子 $ \Lambda_{\text{orb}} $ を通じて拡張する。
• 二つの可換で平方がゼロである微分作用素 $ D_{\text{orb}} $（オルビフォールド化された $ \beta\gamma $-システムに由来）と $ d_{\text{LG}} = df(z)_{(0)} $（カルラビ＝ヤウ超曲面を定義する多項式から導かれる）を定義する。
• 次数で頂点代数 $ \widetilde{\text{LG}} $ をフィルトレートし、商 $ \widetilde{\text{LG}}^{<n} $ を形成することで、双微分頂点代数の射影的系列を構成する。
• このフィルトレート構造を用いて、スペクトル系列 $ (E^{*,*}_*, d_*) \Rightarrow H^*(\mathfrak{F}, \Omega^{ch}_{\mathfrak{F}}) $ を定義し、第一页が $ \widetilde{\text{LG}}^{<N} $ の $ D_{\text{orb}} $-コホモロジーに同型であることを示す。
• コンフォーマル重みゼロにおいて、スペクトル系列が第二ページで退化し、$ H^*(\mathfrak{F}, \Lambda^*\mathcal{T}_{\mathfrak{F}}) \cong (E^{*,*}_2)_0 \cong H_{d_{\text{LG}}}(\widetilde{\text{LG}}^{<N})_0 $ なる自然同型が得られることを証明する。
• $ H_{d_{\text{LG}}}(\text{LG}_{f,\text{orb}}) $ のチャーラル環構造が、$ \mathfrak{F} $ 上の多ベクトル場のコホモロジーと一致することを検証し、楕円的生成関数のオルビフォールド公式を確認する。

実験結果

リサーチクエスチョン

• RQ1 カルラビ＝ヤウ超曲面上のチャーラル・デ・ラーム複体のコホモロジーは、どのように頂点代数の技法を用いて計算できるか？
• RQ2 頂点代数の文脈において、ランダウ・ジンブルグ模型とカルラビ＝ヤウ幾何学の間の明確な関係は何か？
• RQ3 頂点代数コホモロジーを用いて、カルラビ＝ヤウ超曲面の楕円的生成関数に対する明示的なオルビフォールド公式を導くことは可能か？
• RQ4 修正されたコンフォーマル重み付きの定義は、チャーラル・デ・ラームコホモロジーと多ベクトル場コホモロジーの同型にどのように影響するか？
• RQ5 $\mathbb{Z}_N$-不変部分代数とオルビフォールド化された格子は、スペクトル系列の構成において果たす役割は何か？

主な発見

• スペクトル系列 $ (E^{*,*}_*, d_*) $ は $ H^*(\mathfrak{F}, \Omega^{ch}_{\mathfrak{F}}) $ へ収束し、第一页は $ \widetilde{\text{LG}}^{<N} $ の $ D_{\text{orb}} $-コホモロジーに同型である。
• コンフォーマル重みゼロにおいて、スペクトル系列は第二ページで退化し、自然同型 $ H^*(\mathfrak{F}, \Lambda^*\mathcal{T}_{\mathfrak{F}}) \cong H_{d_{\text{LG}}}(\widetilde{\text{LG}}^{<N})_0 $ が得られる。
• $ H_{d_{\text{LG}}}(\widetilde{\text{LG}}^{(i)})_0 $ は $ 1 \leq i \leq N-1 $ に対して $ \mathbb{C} $ であり、$ i = 0 $ の場合にはミルナー環 $ M_f^{\mathbb{Z}_N} $ の $ \mathbb{Z}_N $-不変部分である。
• $ H_{d_{\text{LG}}}(\text{LG}_{f,\text{orb}}) $ のチャーラル環は $ H^*(\mathfrak{F}, \Lambda^*\mathcal{T}_{\mathfrak{F}}) $ に同型であり、楕円的生成関数のオルビフォールド公式が確認される。
• 証明は、$ H_{d_{\text{LG}}}^{(N)} $ 内の $ e^{(N-2)\sum X_j} $ の類がユニタリ $ N=2 $ モジュール $ U_{N-2,N} $ を生成することを示し、$ N $ 重テンソル積がチャーラル環における必要な関係を回復することに依拠している。
• $ G_{(2)} $-消滅と、$ G_{(k)} $-作用素がねじれ最高重みベクトルに作用する際の構造が、チャーラル環の正しい構造をもたらし、オルビフォールド公式の妥当性が裏付けられる。