Triangulated category の stability condition の成す空間

Bridgeland は, string theory における M.R. Douglas の仕事 [Dou02] に inspire されて triangulated category に stability condition という概念を導入 [Bri07] した。Homological mirror symmetry などに関係しているらしい。

解説としては, Bridgeland 自身による ICM 2006 での講演録 [Bri06] や [Bri09a] がある。 最初に読むには後者の方がよいだろう。 §2では, その string theory での起源についても述べてある。Stability condition の文献については, Okada の [Oka06] にかなりのものがまとめられている。 ここ (part 1)ここ (part 2)の blog での解説もみるとよい。

  • triangulated category の stability condition
  • triangulated category \(\bm {T}\) の stability condition の集合 \(\mathrm {Stab}(\bm {T})\) の位相

Triangulated category \(\bm {T}\) に対し, \(\bm {T}\) の stability condition は, \(\Hom (K(\bm {T}),\bbC )\) の元と \(\R \) で添字付けられた \(\bm {T}\) の additive subcategory の族の組で与えられる。 よって自然な射影 \[ Z : \mathrm {Stab}(\bm {T}) \longrightarrow \Hom (K(\bm {T}),\bbC ) \] が得られる。Stability condition の性質として, 次は最も基本的なものである。

  • \(\textrm {Stab}(\bm {T})\) の各連結成分 \(\Sigma \) に対し, \(Z(\Sigma )\) を含む \(\Hom (K(\bm {T}),\bbC )\) のlinear subspace \(V(\Sigma )\) があり \[ Z : \Sigma \longrightarrow V(\Sigma ) \] は, \(V(\Sigma )\) の開集合の上への局所同相写像である。

このことから, \(K(\bm {T})\) が finite rank ならば \(\mathrm {Stab}(\bm {T})\) は複素多様体になることが分かる。当然, どのような \(\bm {T}\) に対しどのような複素多様体が現れるのかは, 興味深い問題である。

Okada は stability condition を持つ (small) triangulated category に対し, その object の集合に自然に位相が定義できることを [Oka] で述べている。

よく研究されているのは, derived category の stability condition の空間である。Macri の [Mac] や Toda の [Tod08; Tod09] など。 どのような場合が分かっているかについては, Bridgeland の [Bri09a] を見るのが良いだろう。

興味深い場合として, \(A_n\) 型の Kleinian singularity の場合がある。Richard Thomas は, [Tho06] で stability condition の空間の適当な連結成分を取ると, 複素平面 \(\bbC \) の互いに異なる点の configuration spaceuniversal covering が現われることを示している。その後, Ishii と Ueda と Uehara は [IUU10] で \(A_n\) 型の場合には, stability condition の空間が連結であり, stability condition の空間自体が configuration space の universal cover になっていることを示している。一般の場合は, Brav と Hugh Thomas が [BT11] で braid群の作用が faithful であることを示している。

\(Z\) は局所同相写像なので, 被覆空間に近い。一般に \(Z\) を適当なところに制限したら被覆空間になるが, 具体的にどこに制限したらよいかは難しい。\(A_n\)型 の Kleinian singularity の場合の他には, Shiina により頂点 2つの quiver の表現の derived category の場合が [Shib] で, 頂点3つの場合が [Shia] で調べられている。

Richard Thomas の結果は, Khovanov と Seidel [KS02] によるその triangulated category の解析に依存するが, Khovanov と Seidel の目的はその圏への braid群の作用, あるいはその圏の autoequivalence の成す群を調べることだった。

より一般の stability condition と autoequivalence の成す群の関係については, Lowrey の [Low12] がある。

一般の Klein型特異点についても, 対応する braid群があることから, 類似の結果が成り立つことが予想される。 Bridgeland の [Bri09b] で調べられている。 それについては, Brav と H. Thomas の [BT11] で証明されたようである。 鍵となるのは, braid群Garside structure のようである。

このような braid群の作用は, spherical object による twist から得られることから, spherical object を持たない triangulated category の場合には, stability condition の空間はもっと単純になることが予想される。 少なくとも基本群は。 実際, Huybrechts と Macri と Stellari が [HMS08] で, spherical object を持たない2次元 Calabi-Yau category の場合に stability condition の空間が連結かつ単連結であることを証明している。

Braid群 と言えば exceptional collection であるが, exceptional collection で生成されている triangulated category の stability condition の空間の研究は, Macri [Mac07] により始められたようである。Dimitrov と Katzarkov の [DK16] では, stability condition \(\sigma \) に対し \(\sigma \)-exceptional collection という概念が導入されているが, その動機も exceptional collection で生成された triangulated category の stability condition を調べることである。

Stability condition の空間を (essentially small) triangulated category の category から位相空間の category への functor と考えて調べるのも, 興味深い問題である。Macri らの [MMS09] など。

Dimitrov, Haiden, Katzarkov, Kontsevich [Dim+14] は, triangulated category曲面の幾何学の類似を発見している。そして Thurston による曲面上の力学系の研究の類似を, triangulated category 上で展開しようとしている。 対応は, Woolf の [Woo] にある表が分かり易い。

その類似によると, stability condition の空間は, Teichmüller space に対応する。 その類似から, Teichmüller space の compactification に対応する stability condition の空間の compactification を構成しようという試みも行われている。例えば, [Bol; BDL; KKO; Bro+; BMS] など。

Stability condition の一般化として, Gorodentsev と Kuleshov と Rudakov [GKR; GKR04] の \(t\)-stability や Jørgensen と Paukstzello [JP13] の co-stability condition がある。更に Jørgensen と Paukstzello は, [JP15] でその一般化を考えている。

  • \(t\)-stability
  • co-stability
  • co-slicing

最近では, stable \(\infty \)-category の文脈で考えることもできる。Fiorenza と Loregian と Marchetti の [FLM19] など。

References

[BDL]

Asilata Bapat, Anand Deopurkar, and Anthony M. Licata. A Thurston compactification of the space of stability conditions. arXiv: 2011.07908.

[BMS]

Anna Barbieri, Martin Möller, and Jeonghoon So. A smooth compactification of spaces of stability conditions: the case of the \(A_{n}\)-quiver. arXiv: 2312.02686.

[Bol]

Barbara Bolognese. A local compactification of the Bridgeland stability manifold. arXiv: 2006.04189.

[Bri06]

Tom Bridgeland. “Derived categories of coherent sheaves”. In: International Congress of Mathematicians. Vol. II. Eur. Math. Soc., Zürich, 2006, pp. 563–582. arXiv: math/0602129.

[Bri07]

Tom Bridgeland. “Stability conditions on triangulated categories”. In: Ann. of Math. (2) 166.2 (2007), pp. 317–345. arXiv: math/0212237. url: http://dx.doi.org/10.4007/annals.2007.166.317.

[Bri09a]

Tom Bridgeland. “Spaces of stability conditions”. In: Algebraic geometry—Seattle 2005. Part 1. Vol. 80. Proc. Sympos. Pure Math. Providence, RI: Amer. Math. Soc., 2009, pp. 1–21. arXiv: math/ 0611510.

[Bri09b]

Tom Bridgeland. “Stability conditions and Kleinian singularities”. In: Int. Math. Res. Not. IMRN 21 (2009), pp. 4142–4157. arXiv: math/0508257.

[Bro+]

Nathan Broomhead, David Pauksztello, David Ploog, and Jon Woolf. Partial compactification of stability manifolds by massless semistable objects. arXiv: 2208.03173.

[BT11]

Christopher Brav and Hugh Thomas. “Braid groups and Kleinian singularities”. In: Math. Ann. 351.4 (2011), pp. 1005–1017. arXiv: 0910.2521. url: http://dx.doi.org/10.1007/s00208-010-0627-y.

[Dim+14]

G. Dimitrov, F. Haiden, L. Katzarkov, and M. Kontsevich. “Dynamical systems and categories”. In: The influence of Solomon Lefschetz in geometry and topology. Vol. 621. Contemp. Math. Amer. Math. Soc., Providence, RI, 2014, pp. 133–170. arXiv: 1307. 8418. url: https://doi.org/10.1090/conm/621/12421.

[DK16]

George Dimitrov and Ludmil Katzarkov. “Non-semistable exceptional objects in hereditary categories”. In: Int. Math. Res. Not. IMRN 20 (2016), pp. 6293–6377. arXiv: 1311.7125. url: https://doi.org/10.1093/imrn/rnv336.

[Dou02]

Michael R. Douglas. “Dirichlet branes, homological mirror symmetry, and stability”. In: Proceedings of the International Congress of Mathematicians, Vol. III (Beijing, 2002). Higher Ed. Press, Beijing, 2002, pp. 395–408. arXiv: math/0207021.

[FLM19]

Domenico Fiorenza, Fosco Loregian, and Giovanni Luca Marchetti. “Hearts and towers in stable \(\infty \)-categories”. In: J. Homotopy Relat. Struct. 14.4 (2019), pp. 993–1042. arXiv: 1501 . 04658. url: https://doi.org/10.1007/s40062-019-00237-0.

[GKR]

A. Gorodentscev, S. Kuleshov, and A. Rudakov. Stability data and t-structures on a triangulated category. arXiv: math/0312442.

[GKR04]

A. L. Gorodentsev, S. A. Kuleshov, and A. N. Rudakov. “\(t\)-stabilities and \(t\)-structures on triangulated categories”. In: Izv. Ross. Akad. Nauk Ser. Mat. 68.4 (2004), pp. 117–150. url: https://doi.org/10.1070/IM2004v068n04ABEH000497.

[HMS08]

Daniel Huybrechts, Emanuele Macrı̀, and Paolo Stellari. “Stability conditions for generic \(K3\) categories”. In: Compos. Math. 144.1 (2008), pp. 134–162. arXiv: math / 0608430. url: http://dx.doi.org/10.1112/S0010437X07003065.

[IUU10]

Akira Ishii, Kazushi Ueda, and Hokuto Uehara. “Stability conditions on \(A_{n}\)-singularities”. In: J. Differential Geom. 84.1 (2010), pp. 87–126. arXiv: math/0609551. url: http://projecteuclid.org/euclid.jdg/1271271794.

[JP13]

Peter Jørgensen and David Pauksztello. “The co-stability manifold of a triangulated category”. In: Glasg. Math. J. 55.1 (2013), pp. 161–175. arXiv: 1109.4006. url: https://doi.org/10.1017/S0017089512000420.

[JP15]

Peter Jørgensen and David Pauksztello. “Classification of co-slicings and co-t-structures for the Kronecker algebra”. In: J. Pure Appl. Algebra 219.3 (2015), pp. 569–590. arXiv: 1212 . 2883. url: https://doi.org/10.1016/j.jpaa.2014.05.015.

[KKO]

Kohei Kikuta, Naoki Koseki, and Genki Ouchi. Thurston compactifications of spaces of stability conditions on curves. arXiv: 2211.08001.

[KS02]

Mikhail Khovanov and Paul Seidel. “Quivers, Floer cohomology, and braid group actions”. In: J. Amer. Math. Soc. 15.1 (2002), 203–271 (electronic). arXiv: math / 0006056. url: http://dx.doi.org/10.1090/S0894-0347-01-00374-5.

[Low12]

Parker E. Lowrey. “Interactions between autoequivalences, stability conditions, and moduli problems”. In: Adv. Math. 231.1 (2012), pp. 43–73. arXiv: 0905.1731. url: https://doi.org/10.1016/j.aim.2012.04.026.

[Mac]

Emanuele Macrı̀. Some examples of spaces of stability conditions on derived categories. arXiv: math/0411613.

[Mac07]

Emanuele Macrı̀. “Stability conditions on curves”. In: Math. Res. Lett. 14.4 (2007), pp. 657–672. arXiv: 0705.3794.

[MMS09]

Emanuele Macrı̀, Sukhendu Mehrotra, and Paolo Stellari. “Inducing stability conditions”. In: J. Algebraic Geom. 18.4 (2009), pp. 605–649. arXiv: 0705.3752. url: http://dx.doi.org/10.1090/S1056-3911-09-00524-4.

[Oka]

So Okada. Topologies on a triangulated category. arXiv: math/ 0701507.

[Oka06]

So Okada. “On stability manifolds of Calabi-Yau surfaces”. In: Int. Math. Res. Not. (2006), Art. ID 58743, 16. arXiv: math/0608361. url: https://doi.org/10.1155/IMRN/2006/58743.

[Shia]

Takahisa Shiina. The space of stability conditions for \(A_3\)-quiver. arXiv: 1309.0922.

[Shib]

Takahisa Shiina. The space of stability conditions for quivers with two vertices. arXiv: 1108.2099.

[Tho06]

R. P. Thomas. “Stability conditions and the braid group”. In: Comm. Anal. Geom. 14.1 (2006), pp. 135–161. arXiv: math/0212214. url: http://projecteuclid.org/euclid.cag/1154442132.

[Tod08]

Yukinobu Toda. “Stability conditions and crepant small resolutions”. In: Trans. Amer. Math. Soc. 360.11 (2008), pp. 6149–6178. arXiv: math/0512648. url: https://doi.org/10.1090/S0002-9947-08-04509-1.

[Tod09]

Yukinobu Toda. “Stability conditions and Calabi-Yau fibrations”. In: J. Algebraic Geom. 18.1 (2009), pp. 101–133. arXiv: math/0608495. url: https://doi.org/10.1090/S1056-3911-08-00511-0.

[Woo]

Jon Woolf. Mass-growth of triangulated auto-equivalences. arXiv: 2109.13163.