この記事では, 三角圏の増強などについて書かれている文献をまとめて, 簡単な紹介をする.
「らしい」と書いている箇所は勉強中のことで, introductionなどを見て書いたものである.
三角圏は複体の導来圏の持つ性質を調べるために, GrothendieckとVerdierにより導入された, Abel 圏の持つ写像錐とシフトの性質に注目して公理化された圏である.
一方, 代数的トポロジーの分野で, Puppeが安定ホモトピー圏を調べるために三角圏の公理を考えている.
よって, 三角圏は複体の導来圏や安定ホモトピー圏を例に持つ.
導入理由から分かるように, 三角圏は導来圏を扱う枠組みとして優れているが, いくつか不満が残る定義になっている.
とりあえず, 問題1について考えるために, 三角圏の増強というものを考える.
三角圏の増強は[BK]により考え出された.
これにより, dg圏と三角圏がつながり, dg圏論が盛んになった一因である.
増強により三角圏論と高次圏論が結びつき, 三角圏のレベルでは(自然に)見れなかったことが, 高次のレベルで考えると(自然に)見えることがある. [CS]
(これは増強に限った話ではないが)
現在では, ホモロジカルミラー対称性の
三角圏の定義を見ると, 複体のホモトピー圏の持つ性質をいくつか抜き出したもので, このような圏の一般化になっているものの, これは自然な定義なのか?という疑問を持つ.
しかし, 三角圏は次のような意味で, (個人的には)自然な概念であると思える.
これらを自然な構成や定義であると思うかは人それぞれだと思うが, とりあえず「三角圏はいたるところに現れる」という感じはする.
4.については詳しくないので, とりあえず1.から3.までまとめる.
三角圏に対して, 上記の構成法のもととなるdg圏,
(前三角的)dg圏において, 写像錐をとる操作はfunctorialであるので, そこから得られる三角圏においても, 写像錐をとる操作はfunctorialである.
(Bondal-Kapranovの構成法が
よって, 三角圏が増強を持つとき, 問題1.は肯定的に解決される.
これで問題1.は解決したが, そもそも, 「任意の三角圏は増強を持つのか?」という疑問が生じる.
残念なことに, 答えはNOである.
一方, dg圏のdg脈体や
更に, それぞれが前三角的であるとき, それらの脈体は安定
[Antieau21]に"stable
代数幾何などで出てくる三角圏は大体すべてalgebraicらしいので, 三角圏は増強を持つとしてもいいように思える.
しかし, ホモトピー論で出てくるspectrumの圏はalgebraicでないtopologicalな三角圏なので, dg増強は持たない. (
少なくとも, どのような増強も持たない三角圏は存在する. [MSS07,RB]
[RB]では,
増強を持たない三角圏がどれだけ少ないか分からないが, かなり少ないように思える.
次に, 「三角圏の増強は(適当な同値を除いて)一意か?」という疑問が生じる.
例えば, 2つのdg圏が擬同値であるとき, それぞれから構成される2つの三角圏は三角圏同値か?ということである.
残念なことに, やはり答えはNOである.
三角圏を見たときに増強が一意であるかを知りたいので, 「三角圏がhogeという条件を満たすことと, その三角圏のdg増強は一意である」というような命題が求められている.
(少なくとも十分条件は欲しいと感じる.)
個別の三角圏に対して, 増強が一意であることは分かっている例も多い.
しかし, このような条件を満たす三角圏のクラス, というものはまだ調べられていないと思う. [CS, LO09]
また, 「体上のHom有限の冪等完備かつ直既約の同型類が有限個な三角圏のdg増強は, Morita同値を除いて一意である」ということを, ぐにらちさんから教えてもらいました. [Muro18]
三角圏の
例えば, formalな
本質的には,
Grothendieck Abel圏の導来圏に関してはdg増強の一意性だけでなく,
また, dg増強が一意でなくとも,
[Schwede01, Schwede07]に書いているらしい.
モデル増強が一意性であるとき, 三角圏はrigidであると定義されている.
標数
三角圏の増強が具体的に書けるようなものを挙げていく.
何も書いていないものは, [CS]に挙げられている例である.
dg圏
前三角的dg圏
圏
dg圏
話が脱線するが, dg圏の圏dgCatや
モデル構造をQuillen同値で比較することで, dg圏や
dgCatには2種類のcombinatorialなモデル構造が入る. [Tabuada05]
[Tabuada05]はフランス語でまとまりすぎているので, [Cohn16], [CT09], [Toen07], [Keller06]などを見る方がいいと思う.
まず, Dwyer-Kanモデル構造は次のようである. [Cohn16]
次に, Moritaモデル構造は次のようである. [Cohn16]
更に, dgcatはralcatにおけるファイブレーション圏なので, ファイブラント対象である. [Meier16]
(DKモデル構造においては自明な命題らしい.)
Acatはそもそも完備でないので, モデル構造は入らない.
例えば,
しかし, あるモノイダルモデル圏-enrichedな
話を少し変えて, dg圏や
ホモトピー論はdg圏や
勉強中
更に, 相対圏の圏relcatにモデル構造を入れていろいろ考えることで, 2つの圏は
更に, [Faonte14]とは異なり, Quillen同値でガチャガチャして,
また,
[Faonte14]では, dg圏や
[HA]に書いている.
[Antieau21] B.Antieau, "On the uniqueness of
[Cohn16] L.Cohn, "Differntial graded categories are
[CNS] A.Canonaco, et.al, "Uniqueness of enhancements for derived and geometric categories."
[COS19] A.Canonaco, et.al, "Localization of the category of
[CS] A.Canonaco, P.Stellari, "A tour about existence and uniqueness of DG enhancement and lift."
[Faonte14] G.Faonte, "Simplicial nerve of an
[HA] J.Lurie, "Higher Algebra."
[HTT]J.Lurie, "Higher Topos Theory."
[Mattia16] O.Mattia, "A comparison between pretriangulated
[Pascaleff22] J.Pascaleff, "Remarks on the equivalence between differencial graded categories and A-infinity categories."
[RB] A.Rizzardo, M.Bergh, "A