[論文レビュー] Homological Mirror Symmetry and Simple Elliptic Singularities

Kazushi Ueda|ArXiv.org|Apr 17, 2006

Algebraic structures and combinatorial models参考文献 25被引用数 21

ひとこと要約

本稿では、フェルマー型超曲面特異点の特異点の三角圏において、完全な例外的集合を構成し、ホモロジカルミラー対称性と単純な楕円特異点との間の関係を確立する。導来圏としての有向フカヤカテゴリの導来圏が、種数1の重み付き射影直線上の両立層の導来圏と同値であることを示し、ミルナー格子を楕円ルート系を用いてカテゴリフィケーション化する。

ABSTRACT

We give a full exceptional collection in the triangulated category of singularities in the sense of Orlov for a hypersurface singularity of Fermat type, and discuss its relation with homological mirror symmetry for simple elliptic hypersurface singularities.

研究の動機と目的

• フェルマー型超曲面特異点の特異点の三角圏に完全な例外的集合を構成すること。
• ホモロジカルミラー対称性と単純な楕円特異点との関係を調査すること。
• 単純な楕円特異点の有向フカヤカテゴリと、種数1の重み付き射影直線上の両立層の導来圏との導来同値性を確立すること。
• ミルナー格子を楕円ルート系と導来圏を用いてカテゴリフィケーション化すること。
• 単純特異点から単純な楕円特異点への特異点とリー代数の関係を、楕円リー代数とリンゲル＝ホール代数を介して一般化すること。

提案手法

• 1変数の多項式 $W_p$（次数 $p$）に対して、射が次数0および1に集中する有向フカヤカテゴリ $\mathfrak{Fuk}^{\rightarrow}W_p$ を構成する。
• 多変数多項式 $W_{p_0,\dots,p_n} = \sum W_{p_i}(X_i)$ を定義し、これは正確なレフシェツファイブレーションを導出し、有向フカヤカテゴリ $\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n}$ を生成する。
• 有界導来圏 $D^b(\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n})$ が、$\mathfrak{Fuk}^{\rightarrow}W_{p_i}$ の導来圏のテンソル積と同値であるという予想を提示する。
• $L$-重み付き $A$-加群と $G$-可換構造を用いて、$A = k[x,y,z]/(x^{p_0}+y^{p_1}+z^{p_2})$ における特異点の圏 $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$ を分析する。
• $G_0 = (\mathbb{Z}/p_0\mathbb{Z}) \times (\mathbb{Z}/p_1\mathbb{Z}) \times (\mathbb{Z}/p_2\mathbb{Z})$ の下での局所化と不変量を用いて、$D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$ の任意の対象が $k(\vec{m})$（$\vec{m} \in L$）によって生成されることを示す。
• すべての $k(\vec{m})$ が、この集合からコーンとシフトを用いて得られることを示し、$\{k(\vec{n})\}_{\vec{n} \in I}$ が完全な例外的集合をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 フェルマー型超曲面特異点の特異点の三角圏に完全な例外的集合を構成できるか？
• RQ2 単純な楕円特異点の有向フカヤカテゴリと、種数1の重み付き射影直線上の両立層の導来圏との間に導来同値性が存在するか？
• RQ3 単純な楕円特異点のミルナー格子は、どのようにして楕円ルート系と導来圏を用いてカテゴリフィケーション化されるか？
• RQ4 種数1の重み付き射影直線上の両立層のリンゲル＝ホール代数は、どの程度楕円リー代数の正部分を実現するか？
• RQ5 ミルナー格子のカテゴリフィケーションは、有向フカヤカテゴリの導来圏を通じて達成可能か？

主な発見

• フェルマー型超曲面特異点 $x^{p_0} + y^{p_1} + z^{p_2} = 0$ の特異点の三角圏に完全な例外的集合が構成された。
• 導来圏 $D^b(\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n})$ は、$\mathfrak{Fuk}^{\rightarrow}W_{p_i}$ の導来圏のテンソル積と同値であると予想され、$n=1$ の場合にその同値性が既知である。
• $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$ は、$L$-重み付きモジュール（原点に台を持つ）によって生成され、特に $k(\vec{m})$（$\vec{m} \in L$）によって、完全複体を除いて生成される。
• $L$-重み付き単純モジュール $k(\vec{n})$ 全体が、有限集合 $\{k(\vec{n})\}_{\vec{n} \in I}$ からコーンとシフトを用いて得られることを示し、例外的集合の完全性を証明した。
• この構成により、単純な楕円特異点のミルナー格子と、種数1の重み付き射影直線上の両立層の導来圏のグロテンディーク群との間の関係が確立された。
• 結果として、ミルナー格子に関連する楕円ルート系のカテゴリフィケーションが、$\mathfrak{g}[s,s^{-1},t,t^{-1}]$ の普遍中心拡大の構造と整合する。