[論文レビュー] Triangulated categories of singularities and D-branes in Landau-Ginzburg models

Dmitri Olegovich Orlov|arXiv (Cornell University)|Feb 25, 2003

Nonlinear Waves and Solitons参考文献 15被引用数 413

ひとこと要約

この論文は、Landau-GinzburgモデルにおけるD-braneを研究するための数学的枠組みとして、特異点の三角的圏を導入し、そのモデルにおけるB-braneの圏が、超電位のファイバーの特異点の三角的圏に同値であることを確立している。主な貢献は、行列因子化とKnörrer周期性を介して、代数的特異点と物理的D-brane圏の間の導来同値性を確立することにある。

ABSTRACT

In spite of physics terms in the title, this paper is purely mathematical. Its purpose is to introduce triangulated categories related to singularities of algebraic varieties and establish a connection of these categories with D-branes in Landau-Ginzburg models.

研究の動機と目的

• 代数的多様体、特にLandau-Ginzburg超電位から生じる特異点の文脈において、特異点の三角的圏を定義し、研究すること。
• Landau-GinzburgモデルにおけるB-braneと、完全複体をmoduloした一様な束の導来圏との間の数学的対応を確立すること。
• Calabi-Yau多様体を超えた設定において、特異点とD-brane圏を結びつけることで、ホモロジカルミラー対称性予想を拡張すること。
• 代数的幾何学とホモロジカル代数を用いて、Landau-Ginzburgモデルにおける物理的B-braneの概念を導来圏的枠組みで理解するための枠組みを提供すること。

提案手法

• 有界な一様な束の導来圏 $\mathbf{D}^b(\operatorname{coh}(X))$ から完全複体の全三角的部分圏 $\mathfrak{P}\mathfrak{e}\mathfrak{r}\mathfrak{f}(X)$ を除いた商として、特異点の三角的圏 $\mathbf{D}_{\text{Sg}}(X)$ を定義する。
• 超電位 $W$ の行列因子化を用いて、Landau-GinzburgモデルにおけるB-braneの対象を構成し、Eisenbudの最大コhen＝マカウルイ・モジュールへの一般化を行う。
• Knörrer周期性を主要な道具として用いて、Landau-GinzburgモデルにおけるB-braneの圏と、ファイバー $W^{-1}(0)$ の特異点の三角的圏との同値性を確立する。
• 写像 $\alpha_{\lambda}^{\nu}$ の合成を通じて、対象 $V_\mu$ 間の写像を定義し、圏の代数的構造を記述する関係を満たす。
• 翻訳関手 $[1]$ を用いて正確な三角形を構成し、$V_\mu$ を $V_{n-\mu}$ に写す。すべての正確な三角形が特定の写像の合成から生じることを検証する。
• $\dim\operatorname{Hom}(V_\mu, V_\nu) = \min(\operatorname{depth}V_\mu, \operatorname{depth}V_\nu)$ を証明し、ここで $\operatorname{depth}V_\mu = \min(\mu, n-\mu)$ であり、$\operatorname{End}(V_\mu) \cong \mathbb{C}[x]/x^d$ で $d = \operatorname{depth}V_\mu$ である。

実験結果

リサーチクエスチョン

• RQ1 Landau-GinzburgモデルにおけるB-braneの圏を、純粋に代数的かつホモロジカルな用語でどのように記述できるか？
• RQ2 特異ファイバー $W^{-1}(0)$ の特異点の三角的圏と、完全複体をmoduloした一様な束の導来圏との間の関係は何か？
• RQ3 Knörrer周期性は、導来圏と行列因子化の枠組み内で実現され、一般化可能か？
• RQ4 単純な超電位を持つLandau-GinzburgモデルにおけるB-brane圏の写像空間の構造は何か？
• RQ5 正確な三角形と翻訳関手 $[1]$ は、このようなモデルにおけるB-brane圏にどのように作用するか？

主な発見

• 特異点の三角的圏 $\mathbf{D}_{\text{Sg}}(X)$ は、ザリスキ位相における局所化に関して不変である。これは命題 1.14 で示された。
• X がGorenstein的であり、特異点集合が完全な場合、$\mathbf{D}_{\text{Sg}}(X)$ 内のすべての $\operatorname{Hom}$-空間は有限次元である。これは補題 1.24 で述べられている。
• 超電位 $W = x_1 + \cdots + x_n + \frac{1}{x_1 \cdots x_n}$ を持つLandau-Ginzburgモデルにおいて、B-braneの圏は、ファイバー $W^{-1}(0)$ の特異点の三角的圏に同値である。
• 写像空間 $\operatorname{Hom}(V_\mu, V_\nu)$ の次元は、$\min(\operatorname{depth}V_\mu, \operatorname{depth}V_\nu)$ に等しく、ここで $\operatorname{depth}V_\mu = \min(\mu, n - \mu)$ である。
• 自己準同型環 $\operatorname{End}(V_\mu)$ は $\mathbb{C}[x]/x^d$ に同型であり、$d = \operatorname{depth}V_\mu$ である。これにより、各対象に対して有限次元構造が示された。
• 圏内のすべての正確な三角形は、写像 $\alpha_{\lambda}^{\nu}$ の合成から構成されたものと同型であり、三角形 (10) は任意の写像に対して基本三角形 (9) を一般化する。