[論文レビュー] Topologies on a triangulated category

So Okada|ArXiv.org|Jan 18, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 3

ひとこと要約

本稿では、安定性条件を備えた三角圏の対象に、中心的電荷を用いて位相構造を定義する位相を導入する。忠実または数値的に忠実な安定性条件の下で、この位相がグローテンディーク群または数値的グローテンディーク群と整合することを示し、この位相の下で対象の空間が連結であることを証明する。

ABSTRACT

On objects of a triangulated category with a stability condition, we construct a topology.

研究の動機と目的

• 三角圏の対象に、安定性条件の中心的電荷を用いて位相を定義すること。
• 忠実または数値的に忠実な安定性条件の下で、この位相がグローテンディーク群または数値的グローテンディーク群と整合することを確立すること。
• 安定性条件を備えた三角圏における対象の空間が、誘導位相の下で連結であることの証明。
• 特に半安定対象およびそのS同値類の前像の構造の分析。

提案手法

• 中心的電荷写像を用いて、三角圏の対象の集合に位相を定義し、位相的座標として位相を扱う。
• ハーディング＝ナラシンハン分解とジョルダン＝ホルダー分解を用いて、半安定対象およびそのサイクルの構造を分析する。
• 線形独立な対象が $K({\rm T})_{{\bf Q}}$ や $N({\rm T})_{{\bf Q}}$ 内で異なる位相を持つように保証するため、忠実および数値的に忠実な安定性条件の概念を導入する。
• 対象 $E$ に対する前像 $\tilde{Z}^{-1}(\tilde{Z}(E))$ を分析し、忠実性の下で、このような前像が $\mathbb{P}^1$ 内の点対象の直和に同型であることを示す。
• 自己同値関手やねじれ関手（例：$T_{{\mathcal{O}}_{{\mathbb{P}}^{1}}(w-1)}$）を用いて、異なる位相間の対象を関連させ、位相的構造を保存する。
• オイラー対相および負および高次の次数でのホモロジー空間の消失を用いて、可能な拡張を制約し、特定のモルフィズム空間の自明性を証明する。

実験結果

リサーチクエスチョン

• RQ1 安定性条件を備えた三角圏の対象に、自然に位相を定義する方法は何か？
• RQ2 この位相がグローテンディーク群または数値的グローテンディーク群と整合するのはどのような条件下か？
• RQ3 安定性条件を備えた三角圏における対象の空間は、誘導位相の下で連結か？
• RQ4 半安定対象の中心的電荷写像の前像の構造は何か？
• RQ5 自己同値関手およびねじれ関手は、対象の位相的構造にどのように影響を与えるか？

主な発見

• 中心的電荷を介した誘導位相により、三角圏の対象の空間は連結である。
• 忠実な安定性条件の下で、前像 $\tilde{Z}^{-1}(\tilde{Z}(E))$ は、S同値および自己同値関手を除いて、$\mathbb{P}^1$ 内の点対象の直和に同型である。
• $\sigma$ が数値的に忠実なとき、この位相は数値的グローテンディーク群 $N({\mathcal{T}})$ と整合する。
• 安定対象 $E$ と同一の位相を持つ $\mathcal{O}_x$ に対して、オイラー対相 $\chi(E, E)$ は消えるため、$\dim\operatorname{Hom}^1(E, \mathcal{O}_x) = 0$ が成り立つ。
• ハーディング＝ナラシンハン分解により、$[E_x] = [{\mathcal{O}}_{{\mathbb{P}}^{1}}(w-1)[1]] + [{\mathcal{O}}_{{\mathbb{P}}^{1}}(w)]$ を満たす任意の対象 $E_x$ は、因子間の非自明なモルフィズムが存在しないため、半安定である。
• $|n| > 1$ のとき、$K({\mathcal{T}})$ 内で $[E] = n[\mathcal{O}_x]$ を満たす半安定対象 $E$ は、ジョルダン＝ホルダー分解により、$\mathcal{O}_x$ に同型な組成因子を持つため、$E$ は $n$ 重の点対象の直和とS同値である。