[論文レビュー] The modular curve as the space of stability conditions of a CY3 algebra

Tom Sutherland|arXiv (Cornell University)|Nov 17, 2011

Advanced Algebra and Geometry参考文献 6被引用数 19

ひとこと要約

本稿は、3次元カルラ・ヤウ（Calabi–Yau）三角分解カテゴリの、$A_2$-集合から生成される3-球的対象の空間の幾何的実現を確立する。楕円曲線上の有理型微分形式の周期を用いて、楕円曲線のモジュライ空間上の非零正則微分形式の $
\mathbb{C}^*$-バンドルの普遍被覆と、安定性条件の連結成分 $
\mathrm{Stab}^0(\mathcal{D})$ 間に、双正則同型が構成される。ブレッド群 $
\mathrm{Br}_3$ は、その被覆のデック変換として作用する。

ABSTRACT

We prove that a connected component of the space of stability conditions of a CY3 triangulated category generated by an A_2 collection of 3-spherical objects is isomorphic to the universal cover of the C^*-bundle of non-zero holomorphic differentials on the moduli space of elliptic curves.

研究の動機と目的

• 3次元カルラ・ヤウ（$
  \mathrm{CY}_3$）三角分解カテゴリ $
  \mathcal{D}$ の、$A_2$ ヒューブに付随する安定性条件の連結成分 $
  \mathrm{Stab}^0(\mathcal{D})$ の構造を特定すること。
• この成分を保存する自己同型群 $
  \mathrm{Aut}^0(\mathcal{D})$ を特定し、ブレッド群 $
  \mathrm{Br}_3$ と関係づけること。
• 楕円曲線上の有理型微分形式の周期を用いて、$
  \mathrm{Stab}^0(\mathcal{D})$ の幾何的モデルを構成すること。
• 非零正則微分形式の $
  \mathbb{C}^*$-バンドル $L^*$ の上にある $
  \widetilde{L^*}$ と $
  \mathrm{Stab}^0(\mathcal{D})$ 間に、$
  \mathrm{Br}_3$-不変な双正則同型を確立すること。ここで $L^*$ は $
  \mathcal{M}_{1,1}$ 上の非零正則微分形式のバンドルである。

提案手法

• 著者らは、$A_2$ ヒューブのジンツブルク dg 代数を用いて、3次元カルラ・ヤウ三角分解カテゴリ $
  \mathcal{D}_{fd}(GA_2)$ を定義し、2つの3-球的対象 $S$ と $T$ によって生成される。
• 球的ねじれ $\Phi_S$ と $\Phi_T$ のカテゴリ上の作用を分析し、それらがブレッド関係を満たし、$
  \mathrm{Br}_3$ に同型な部分群を生成することを示す。
• 安定性条件の中心的重み $Z$ は、楕円曲線の普遍被覆のフレーム付き楕円曲線族上で、6階の極と半周期での二重零点を持つ有理型微分形式 $\lambda$ の周期によって定義される。
• 周期写像 $[\int_\alpha \lambda : \int_\beta \lambda]$ を $\mathrm{Br}_3$-不変な双正則同型に上昇させることで、写像 $f: \widetilde{\mathcal{M}_{1,1}} \to \mathrm{Stab}^0(\mathcal{D})/\mathbb{C}$ を構成する。
• $
  \mathcal{M}_{1,1}$ 上の $
  \mathbb{C}^*$-バンドル $L^*$ の普遍被覆 $
  \widetilde{L^*}$ は、周期写像の上昇写像 $F$ を用いて $
  \mathrm{Stab}^0(\mathcal{D})$ と同定され、両側の $
  \mathrm{Br}_3$-作用と整合する。
• ホモロジーと $K$-理論上のモノドロミー作用を一致させることで同型性を検証する。両者とも行列 $\begin{pmatrix}0&-1\\1&0\end{pmatrix}$ および $\begin{pmatrix}0&1\\-1&1\end{pmatrix}$ で表され、$
  \mathrm{Br}_3$-不変性が確認される。

実験結果

リサーチクエスチョン

• RQ1 3次元カルラ・ヤウ（$
  \mathrm{CY}_3$）代数の導来カテゴリに付随する $A_2$ ヒューブに関連する安定性条件の連結成分 $
  \mathrm{Stab}^0(\mathcal{D})$ の幾何的構造は何か？
• RQ2 $\mathrm{Br}_3$ はこの安定性条件の空間にどのように作用するか？
• RQ3 $\mathrm{Stab}^0(\mathcal{D})$ は、楕円曲線のモジュライ空間上の $
  \mathbb{C}^*$-バンドルの普遍被覆として実現可能か？
• RQ4 楕円曲線上の有理型微分形式の周期と、$
  \mathrm{Stab}^0(\mathcal{D})$ 内の安定性条件の中心的重みとの間に、自然な同一視が存在するか？
• RQ5 周期写像のモノドロミーと、自己同値群 $
  \mathrm{Aut}^0(\mathcal{D})$ の間の関係は何か？

主な発見

• 連結成分 $
  \mathrm{Stab}^0(\mathcal{D})$ は、楕円曲線のモジュライ空間 $
  \mathcal{M}_{1,1}$ 上の非零正則微分形式の $
  \mathbb{C}^*$-バンドル $L^*$ の普遍被覆と双正則同型である。
• $\mathrm{Aut}^0(\mathcal{D})$ は、3本のストランドを持つブレッド群 $
  \mathrm{Br}_3$ に同型である。
• 写像 $f: \widetilde{\mathcal{M}_{1,1}} \to \mathrm{Stab}^0(\mathcal{D})/\mathbb{C}$ は、6階の極と半周期での二重零点を持つ有理型微分形式 $\lambda$ の周期写像を上昇させた、$
  \mathrm{Br}_3$-不変な双正則同型である。
• 安定性条件の中心的重み $Z$ は、$Z(S) = \int_\alpha \lambda$, $Z(T) = \int_\beta \lambda$ で与えられ、ここで $\{\alpha, \beta\}$ は楕円曲線のホモロジーのフレームである。
• $\mathrm{Br}_3$ の $\widetilde{L^*}$ 上のデック変換による作用は、$\mathrm{Stab}^0(\mathcal{D})$ 上の自己同値による作用と一致する。両者とも、$K(\mathcal{D}) \cong \mathbb{Z}^2$ 上の同一の作用によって誘導される。
• $L^*$ の基本群は $
  \mathrm{Br}_3$ に同型であり、3次多項式 $z^3 + az + b$ の判別式の特異点集合が、基本群が $
  \mathrm{Br}_3$ である三葉結び目であるためである。