[論文レビュー] The realization of Verdier quotients as triangulated subfactors

Zhiwei Li|arXiv (Cornell University)|Dec 26, 2016

Algebraic structures and combinatorial models参考文献 8被引用数 5

ひとこと要約

本稿は、$Ν$-局所化三つ組とバーディエ条件の概念を用いて、三角関手圏のバーディエ商を三角関手部分因子圏として実現する一般的基準を確立する。適切な条件下で、伊山・吉野の三角関手部分因子圏がバーディエ商と同値であることを証明し、バーディエツァイプの同値性を一般化するとともに、伊山・楊および Wei の結果を統一する。

ABSTRACT

We give a method to realize Verdier quotients as triangulated subfactors of an arbitrary triangulated category. We show that Iyama-Yoshino triangulated subfactors are Verdier quotients under suitable conditions.

研究の動機と目的

• 三角関手圏のバーディエ商を三角関手部分因子圏として実現する一般的手法を提供すること。
• 伊山・吉野の三角関手部分因子圏がバーディエ商として生じる条件を確立すること。
• 三角関手圏におけるバーディエツァイプ同値性に関する既存の結果を統一・一般化すること。
• 可加圏に自己同型を備えたホモトピー理論の枠組みを拡張し、三角関手部分因子を構成すること。

提案手法

• 三角関手圏 $\mathcal{T}$ 内の $Ν$-局所化三つ組 $(\mathcal{U}, \mathcal{X}, \mathcal{V})$ の概念を導入する。ここで $\mathcal{N}$ は三角関手部分圏である。
• 三つ組にバーディエ条件を課し、商の三角関手構造と整合性を持つように保証する。
• 文献[10]の前部分三角関手圏枠組みを用いて、部分因子 $(\mathcal{U} \cap \mathcal{V}) / [\mathcal{X}]$ に三角関手構造を定義する。
• 与えられた条件下で、部分因子 $(\mathcal{U} \cap \mathcal{V}) / [\mathcal{X}]$ とバーディエ商 $\mathcal{T}/\mathcal{N}$ の間で三角同値が構成される。
• 既知の事例にこの枠組みを適用し、伊山・楊および Wei の結果が特殊ケースとして得られることを示す。
• 変異対および特別な $\mathcal{X}$-単調閉部分圏の理論を活用して、具体的な状況での条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、三角関手圏 $\mathcal{T}$ のバーディエ商 $\mathcal{T}/\mathcal{N}$ が $\mathcal{T}$ の三角関手部分因子圏として実現可能となるか？
• RQ2 $\mathcal{N}$-局所化三つ組の概念が、このような実現の構成をどのように支援するか？
• RQ3 適切な仮定のもとで、伊山・吉野の三角関手部分因子圏がどのようにバーディエ商と一致するのか、その意味は何か？
• RQ4 伊山・楊のグローバーイン・プロジェクト型モジュールおよび Wei の $\omega$-グローバーイン対象に関する結果は、共通の枠組みから導けるか？
• RQ5 バーディエ条件は、三角関手構造と因子圏の整合性を保証するために果たす役割は何か？

主な発見

• 本稿は、$(\mathcal{U}, \mathcal{X}, \mathcal{V})$ がバーディエ条件を満たす $\mathcal{N}$-局所化三つ組であれば、$(\mathcal{U} \cap \mathcal{V}) / [\mathcal{X}]$ が $\mathcal{T}$ から三角関手構造を誘導することを証明している。
• 三角同値 $ (\mathcal{U} \cap \mathcal{V}) / [\mathcal{X}] \xrightarrow{\sim} \mathcal{T}/\mathcal{N} $ が存在し、バーディエ商が三角関手部分因子として実現されることを確立している。
• この構成は、特異圏とグローバーイン・プロジェクト型モジュールの安定圏の間のバーディエの同値性を一般化している。
• Presilting 部分圏 $\mathcal{P}$ が (P1) および (P2) を満たすとき、伊山・楊のスリミング還元の結果が特殊ケースとして回復される。
• Wei の $\omega$-グローバーイン対象への一般化も、主定理から導かれる。$\mathcal{G}_{\omega}/[\operatorname{add}\omega] \cong \mathcal{T}/\langle\operatorname{add}\omega\rangle$ が成り立つ。
• この枠組みにより、$\mathcal{C}$ が $\mathcal{X}$-変異対であり、三つ組が必要な条件を満たすとき、$\mathcal{C}/[\mathcal{X}] \cong \mathcal{T}/\langle\mathcal{X}\rangle$ が成り立つことが示され、これまでの結果が統一・拡張されている。