Bicategory

Bicategory とは, (strict) \(2\)-category の定義の条件を少し弱めたものである。そのために weak \(2\)-category と呼ばれることもある。

Lack と Paoli の [LP08] によると, bicategory についての基本的な文献は, Bénabou の [Bén67], Kelly と Street の [KS74], そして Street の [Str80] である。 もっと新しいものとしては, Leinster の [Lei] がある。 最近のものでは, Johnson と Yau の [JY21] もある。

Lack と Paoli は, その論文で bicategory の \(2\)-nerve を導入している。 他にも, small bicategory に対して nerve や分類空間をとる方法は色々考えらえている。

このように bicategory の nerve の構成に様々なものがある理由の一つは, bicategory の間の “functor” に様々なものがあるからである。

Bicategory も \(2\)-category と同様様々な場面で見かけるようになった。例えば, Landsman の [Lan01]を見るとよい。 以下のような例が詳しく説明してある:

  • object が ring, \(1\)-morphism が bimodule, \(2\)-morphism が bimodule の準同形, composition が tensor product, unit が canonical bimodule
  • object が \(C^*\)-algebra, \(1\)-morphism が Hilbert \(C^*\)-bimodule, \(2\)-morphism が \(C^*\)-bimodule の準同形, composition が Rieffel の tensor product, unit が canonical Hilbert bimodule
  • object が von Neumann algebra, \(1\)-morphism が correspondence, composition が Connes の tensor product, unit が standard form ([Bro03])
  • object が Lie groupoid, \(1\)-morphism が regular bibundle, composition が Hilsum-Skandalis の tensor product, unit が canonical bibundle
  • object が symplectic groupoid, \(1\)-morphism が regular symplectic bibundle, composition が Hilsum-Skandalis-Xu の tensor product, unit が canonical symplectic bibundle
  • object が integrable Poisson manifold, \(1\)-morphism が regular symplectic bimodule, composition が Xu の tensor product, unitが\(s\)-connected \(s\)-simply connected symplectic groupoid

他にも次のような例がある:

  • ある可換環 \(R\) の上の algebra \(A\) と coalgebra \(C\) を \(R\) 上 tensor する順序を入れ替える写像を objectとする bicategory [Ško]
  • Müger は [Müg03] で von Neumann algebra の factor から得られるいくつかの bicategory について考えている。
  • Soergel bimodule のある種の quotient を考えるときには, bicategory の表現が必要になる。([Mac+21])

これらの例から, bicategory は, 森田同値の概念と関係が深いことが分かる。

双対的に, coalgebra と bicomodule でも bicategory ができる。

もちろんこのような, “bimodule 的なもの”を \(1\)-morphism とするもの以外にも, small category と functor と natural transformation の成す \(2\)-category のように, \(1\)-morphism が本当に “object の間の morphism” であるものもある。

結合法則が strict に成り立つものは, Bartels, Douglas, Henriques の [BDH18] では, dicategory と呼ばれている。

  • dicategory

高次の圏論の発展により, bicategory に higher invertible morphism を追加した \((\infty ,2)\)-category を考えることもできるようになった。例えば, Haugseng [Hau17] は, algebra と bimodule と bimodule homomorphism の bicategory を \((\infty ,2)\)-category に拡張している。

Bicategory は, 「圏の圏」のようなものなので, 圏論の概念の類似が bicategory の object や morphism に対して定義できる。例えば, adjunction など。

  • bicategory の morphism に対する adjunction

Bicategory での adjunction に関係がある概念として mate というものがある。 Balmer と Dell’Ambrogio の Mackey \(2\)-functor の定義 [BD20] の中で使われている。Johnson と Yau の本 [JY21] の §6.1 に書かれている。

  • mate

もちろん, monad や comonad などの概念も一般化できる。 Small category の成す bicategory の場合が通常の monad や comonad になる。 Street は [Str72]でこのことをまとめ, bicategory \(\bm {C}\) の monad の成す bicategory \(\category {Mnd}(\bm {C})\) を構成している。 それは, 更に Lack と の共著 [LS02] で, より大きな bicategory \(\category {EM}(\bm {C})\) に拡張された。

  • 一般の bicategory での monad や comonad

通常の category に対して成り立つ事実の bicategory に対する拡張もいろいろあるが, おそらく最も基本的なのは, bicategory に対 する Yoneda Lemma だろう。 Street の [Str74] にある。

  • bicategory に対する Yoneda Lemma

これは, bicategory が strict な \(2\)-category と bicategory として同値になるという coherence theorem の証明にも使える。

  • bicategory の coherence theorem

通常の category に関する概念の拡張としては, 次のようなものが考えられている。

Niles Johnson は, [Joh] で, この bicategory の Yoneda Lemma は, Morita 同値を考える際にも有用であることを指摘している。 また, 2つの object の間の 1-morphism の成す圏が triangulated categorymodel category の構造を持つ場合を考えている。 Descotte と Dubuc と Szyld [DDS22] は, model bicategory の概念を導入している。

  • triangulated bicategory
  • model bicategory

Johnson は, [Joh14] で bicategory での Azumaya object を考えているが, そこでは symmetric monoidal category の many-objectification である symmetric bicategory という概念が使われている。

  • symmetric bicategory

Monoidal structure を持つ bicategory, つまり monoidal bicategory やその symmetric version, symmetric monoidal bicategory というものもよく使われるからややこしい。

元々 fixed point theory, そして trace のために考えられた bicategory に関する概念として shadow というものがある。Ponto の [Pon10] で導入された。

  • shadow on bicategory

最近では, topological Hochschild homology との関係も発見されている。Campbell と Ponto の [CP19] や Hess と Rasekh の [HR] など。

ある category の span から作られる bicategory も bimodule のなす bicategory の一種である。Lack, Walters, Wood [LWW10] はそのような bicategory で, もとの category が finite limit を持つようなものを特徴づけている。 そこで用いられているのは, Cartesian bicategory という構造である。

  • cartesian bicategory

Carboni と Walters [CW87] により ordered bicategory に対し定義されたが, その後 Carboni, Kelly, Walters, Wood の [Car+07] で, 一般の bicategory に定義が拡張されている。

Bicategory の作用を考えている人 [Baka] もいる。Bicategory の図式に対する Grothendieck construction (homotopy colimit) を考えている人 [CCG11] もいる。

Douglas と Henriques [DH]は, category の成す 2-category の中の bicategory object を internal bicategory と呼んで調べている。

Supercategory の bicategory版として superbicategory という構造も考えられる。Murfet の [Mur18] に登場する。

  • superbicategory

もっとも, Murfet の [Mur18] での主題は, cut system という bicategory と類似の構造である。

  • cut system

Matrix factorization などに使えるようである。

References

[Baka]

Igor Bakovic. The simplicial interpretation of bigroupoid 2-torsors. arXiv: 0902.3436.

[Bakb]

Igor Baković. Fibrations of bicategories. url: https://www2.irb.hr/korisnici/ibakovic/groth2fib.pdf.

[Bakc]

Igor Baković. Grothendieck construction for bicategories. url: https://www2.irb.hr/korisnici/ibakovic/sgc.pdf.

[BD20]

Paul Balmer and Ivo Dell’Ambrogio. Mackey 2-functors and Mackey 2-motives. EMS Monographs in Mathematics. European Mathematical Society (EMS), Zürich, [2020] ©2020, pp. viii+227. isbn: 978-3-03719-209-2. arXiv: 1808.04902. url: https://doi.org/10.4171/209.

[BDH18]

Arthur Bartels, Christopher L. Douglas, and André Henriques. “Conformal nets IV: The 3-category”. In: Algebr. Geom. Topol. 18.2 (2018), pp. 897–956. arXiv: 1605 . 00662. url: https://doi.org/10.2140/agt.2018.18.897.

[Bén67]

Jean Bénabou. “Introduction to bicategories”. In: Reports of the Midwest Category Seminar. Berlin: Springer, 1967, pp. 1–77.

[Bro03]

R. M. Brouwer. “A bicategorical approach to Morita equivalence for von Neumann algebras”. In: J. Math. Phys. 44.5 (2003), pp. 2206–2214. arXiv: math/0301353. url: https://doi.org/10.1063/1.1563733.

[Buc14]

Mitchell Buckley. “Fibred 2-categories and bicategories”. In: J. Pure Appl. Algebra 218.6 (2014), pp. 1034–1074. arXiv: 1212.6283. url: https://doi.org/10.1016/j.jpaa.2013.11.002.

[Car+07]

A. Carboni, G. M. Kelly, R. F. C. Walters, and R. J. Wood. “Cartesian bicategories II”. In: Theory Appl. Categ. 19 (2007), pp. 93–124. arXiv: 0708.1921.

[CCG11]

P. Carrasco, A. M. Cegarra, and A. R. Garzón. “Classifying spaces for braided monoidal categories and lax diagrams of bicategories”. In: Adv. Math. 226.1 (2011), pp. 419–483. arXiv: 0907.0930. url: http://dx.doi.org/10.1016/j.aim.2010.06.027.

[CP19]

Jonathan A. Campbell and Kate Ponto. “Topological Hochschild homology and higher characteristics”. In: Algebr. Geom. Topol. 19.2 (2019), pp. 965–1017. arXiv: 1803.01284. url: https://doi.org/10.2140/agt.2019.19.965.

[CW87]

A. Carboni and R. F. C. Walters. “Cartesian bicategories. I”. In: J. Pure Appl. Algebra 49.1-2 (1987), pp. 11–32. url: http://dx.doi.org/10.1016/0022-4049(87)90121-6.

[DDS22]

M. E. Descotte, E. J. Dubuc, and M. Szyld. “Model bicategories and their homotopy bicategories”. In: Adv. Math. 404 (2022), Paper No. 108455, 56. arXiv: 1805.07749. url: https://doi.org/10.1016/j.aim.2022.108455.

[DH]

Christopher L. Douglas and André G. Henriques. Internal bicategories. arXiv: 1206.4284.

[Hau17]

Rune Haugseng. “The higher Morita category of \(\mathbb {E}_n\)-algebras”. In: Geom. Topol. 21.3 (2017), pp. 1631–1730. arXiv: 1412.8459. url: https://doi.org/10.2140/gt.2017.21.1631.

[HR]

Kathryn Hess and Nima Rasekh. Shadows are Bicategorical Traces. arXiv: 2109.02144.

[Joh]

Niles Johnson. Morita Theory For Derived Categories: A Bicategorical Perspective. arXiv: 0805.3673.

[Joh14]

Niles Johnson. “Azumaya objects in triangulated bicategories”. In: J. Homotopy Relat. Struct. 9.2 (2014), pp. 465–493. arXiv: 1005. 4878. url: http://dx.doi.org/10.1007/s40062-013-0035-6.

[JY21]

Niles Johnson and Donald Yau. 2-dimensional categories. Oxford University Press, Oxford, 2021, pp. xix+615. isbn: 978-0-19-887138-5; 978-0-19-887137-8. arXiv: 2002.06055. url: https://doi.org/10.1093/oso/9780198871378.001.0001.

[Ken92]

John F. Kennison. “The fundamental localic groupoid of a topos”. In: J. Pure Appl. Algebra 77.1 (1992), pp. 67–86. url: https://doi.org/10.1016/0022-4049(92)90031-A.

[KS74]

G. M. Kelly and Ross Street. “Review of the elements of \(2\)-categories”. In: Category Seminar (Proc. Sem., Sydney, 1972/1973). Berlin: Springer, 1974, 75–103. Lecture Notes in Math., Vol. 420.

[Lan01]

N. P. Landsman. “Bicategories of operator algebras and Poisson manifolds”. In: Mathematical physics in mathematics and physics (Siena, 2000). Vol. 30. Fields Inst. Commun. Providence, RI: Amer. Math. Soc., 2001, pp. 271–286. arXiv: math-ph/0008003.

[Lei]

Tom Leinster. Basic Bicategories. arXiv: math/9810017.

[LP08]

Stephen Lack and Simona Paoli. “2-nerves for bicategories”. In: \(K\)-Theory 38.2 (2008), pp. 153–175. arXiv: math/0607271. url: http://dx.doi.org/10.1007/s10977-007-9013-2.

[LS02]

Stephen Lack and Ross Street. “The formal theory of monads. II”. In: J. Pure Appl. Algebra 175.1-3 (2002). Special volume celebrating the 70th birthday of Professor Max Kelly, pp. 243–265. url: http://dx.doi.org/10.1016/S0022-4049(02)00137-8.

[LWW10]

Stephen Lack, R. F. C. Walters, and R. J. Wood. “Bicategories of spans as Cartesian bicategories”. In: Theory Appl. Categ. 24 (2010), No. 1, 1–24. arXiv: 0910.2996.

[Mac+21]

Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer, and Xiaoting Zhang. “Finitary birepresentations of finitary bicategories”. In: Forum Math. 33.5 (2021), pp. 1261–1320. arXiv: 2008 . 01658. url: https://doi.org/10.1515/forum-2021-0021.

[Müg03]

Michael Müger. “From subfactors to categories and topology. I. Frobenius algebras in and Morita equivalence of tensor categories”. In: J. Pure Appl. Algebra 180.1-2 (2003), pp. 81–157. arXiv: math/0111204. url: http://dx.doi.org/10.1016/S0022-4049(02)00247-5.

[Mur18]

Daniel Murfet. “The cut operation on matrix factorisations”. In: J. Pure Appl. Algebra 222.7 (2018), pp. 1911–1955. arXiv: 1402.4541. url: https://doi.org/10.1016/j.jpaa.2017.08.014.

[Pon10]

Kate Ponto. “Fixed point theory and trace for bicategories”. In: Astérisque 333 (2010), pp. xii+102. arXiv: 0807.1471.

[Pro96]

Dorette A. Pronk. “Etendues and stacks as bicategories of fractions”. In: Compositio Math. 102.3 (1996), pp. 243–303. url: http://www.numdam.org/item?id=CM_1996__102_3_243_0.

[PW14]

Dorette A. Pronk and Michael A. Warren. “Bicategorical fibration structures and stacks”. In: Theory Appl. Categ. 29 (2014), pp. 836–873. arXiv: 1303.0340.

[Ško]

Zoran Škoda. Bicategory of entwinings. arXiv: 0805.4611.

[Str72]

Ross Street. “The formal theory of monads”. In: J. Pure Appl. Algebra 2.2 (1972), pp. 149–168. url: http://dx.doi.org/10.1016/0022-4049(72)90019-9.

[Str74]

Ross Street. “Fibrations and Yoneda’s lemma in a \(2\)-category”. In: Category Seminar (Proc. Sem., Sydney, 1972/1973). Berlin: Springer, 1974, 104–133. Lecture Notes in Math., Vol. 420.

[Str80]

Ross Street. “Fibrations in bicategories”. In: Cahiers Topologie Géom. Différentielle 21.2 (1980), pp. 111–160.

[Toma]

Matteo Tommasini. Some insights on bicategories of fractions - II. arXiv: 1410.5075.

[Tomb]

Matteo Tommasini. Some insights on bicategories of fractions - III. arXiv: 1410.6395.

[Tomc]

Matteo Tommasini. Weak fiber products in a bicategory of fractions. arXiv: 1412.3295.

[Tom16]

Matteo Tommasini. “Some insights on bicategories of fractions: representations and compositions of 2-morphisms”. In: Theory Appl. Categ. 31 (2016), Paper No. 10, 257–329. arXiv: 1410.3990.