Kang, Kashiwara, Tsuchioka [KKT16] は, functor \(\Pi :C\to C\) と natural isomorphism \(\xi : \Pi ^{2}\rarrow {\cong } 1_{C}\) で \(\xi \circ \Pi =\Pi \circ \xi \)
をみたすもの持つ category のことを supercategory と呼んでいる。
Comes と Kujawa [BCK19] のように, \(\Z /2\Z \)-graded vector space の圏で enrich されている圏を
supercategory と呼ぶ人もいるので注意する必要がある。 また Comes と Kujawa のものは, Kang, Kashiwara,
Oh の [KKO14] では \(1\)-supercategory と呼ばれている。
Kang らと同じものは, Benini, Schenkel, Woike の [BSW19] では involutive category
と呼ばれている。彼等は, Beggs と Majid の [BM09], Egger の [Egg11], Jacobs の [Jac12] を参照している。
Beggs と Majid は, involutive な monoidal category を考えていて, そのようなものを bar category
と呼んでいる。
Involutive category という名前での解説としては, Donald Yau の [Yau20] がある。
名前に混乱があるので, Brundan と Ellis の [BE17] の Introduction の最後に表がある。そこでは, Kang
らの意味の supercategory は \(\Pi \)-category と呼ばれているが, あまり良い名前とは思えない。 Involution に \(\Pi \)
以外の記号を使うこともあるからである。 Involutive category という名前が一番誤解がなくて良いと思う。
Kang らの目的は quiver Hecke algebra あるいは Khovanov-Lauda-Rouquier algebra の
super version である quiver Hecke superalgebra を導入し, その 表現の category を調べることであった。
Kang, Kashiwara, Oh [KKO13] は, quiver Hecke superalgebra により quantum
Kac-Moody algebra の supercategorification を考えている。
一方, Beggs と Majid は, \(C^{*}\)-algebra のような involution を持つ object を定義することを考えている。
Monoid object を定義するために monoidal category が必要なように, involution を持つ object
を定義するためには involutive category あるいは supercategory が必要というわけである。
このように, ある構造を定義するために, その構造の category 版を持つ category が必要になることを micorocosm
principle という。 Nikolić と Street [NS24] によると, この言葉は Baez と Dolan による。彼等の論文 [DS97]
の100ページの脚注が参照されている。
Supercategory の高次化としては, Brundan と Ellis [BE17] の monoidal supercategory や
\(2\)-supercategory がある。
- monoidal supercategory
- \(2\)-supercategory
References
-
[BCK19]
-
Jonathan Brundan, Jonathan Comes, and Jonathan Robert Kujawa.
“A basis theorem for the degenerate affine oriented Brauer-Clifford
supercategory”.
In: Canad. J. Math. 71.5 (2019), pp. 1061–1101. arXiv: 1706.09999.
url: https://doi.org/10.4153/cjm-2018-030-8.
-
[BE17]
-
Jonathan Brundan
and Alexander P. Ellis. “Monoidal supercategories”. In: Comm.
Math. Phys. 351.3 (2017), pp. 1045–1089. arXiv: 1603.05928. url:
https://doi.org/10.1007/s00220-017-2850-9.
-
[BM09]
-
E. J. Beggs and S. Majid. “Bar categories and star operations”.
In: Algebr. Represent. Theory 12.2-5 (2009), pp. 103–152. arXiv:
math/0701008. url:
https://doi.org/10.1007/s10468-009-9141-x.
-
[BSW19]
-
Marco Benini, Alexander Schenkel, and Lukas Woike. “Involutive
categories, colored \(*\)-operads and quantum field theory”. In: Theory
Appl. Categ. 34 (2019), Paper No. 2, 13–57. arXiv: 1802.09555.
-
[DS97]
-
Brian Day and Ross Street. “Monoidal bicategories and Hopf
algebroids”. In: Adv. Math. 129.1 (1997), pp. 99–157. url:
http://dx.doi.org/10.1006/aima.1997.1649.
-
[Egg11]
-
J. M. Egger. “On involutive monoidal categories”. In: Theory Appl.
Categ. 25 (2011), No. 14, 368–393.
-
[Jac12]
-
Bart Jacobs.
“Involutive categories and monoids, with a GNS-correspondence”.
In: Found. Phys. 42.7 (2012), pp. 874–895. arXiv: 1003.4552. url:
https://doi.org/10.1007/s10701-011-9595-7.
-
[KKO13]
-
Seok-Jin Kang, Masaki Kashiwara, and
Se-jin Oh. “Supercategorification of quantum Kac-Moody algebras”.
In: Adv. Math. 242 (2013), pp. 116–162. arXiv: 1206.5933. url:
https://doi.org/10.1016/j.aim.2013.04.008.
-
[KKO14]
-
Seok-Jin Kang, Masaki Kashiwara, and
Se-jin Oh. “Supercategorification of quantum Kac-Moody algebras
II”. In: Adv. Math. 265 (2014), pp. 169–240. arXiv: 1303.1916. url:
https://doi.org/10.1016/j.aim.2014.07.036.
-
[KKT16]
-
Seok-Jin Kang, Masaki
Kashiwara, and Shunsuke Tsuchioka. “Quiver Hecke superalgebras”.
In: J. Reine Angew. Math. 711 (2016), pp. 1–54. arXiv: 1107.1039.
url: https://doi.org/10.1515/crelle-2013-0089.
-
[NS24]
-
Branko Nikolić and Ross Street. “Monoidal centres
and groupoid-graded categories”. In: Theory Appl. Categ. 40 (2024),
Paper No. 1, 3–31. arXiv: 2010.10656.
-
[Yau20]
-
Donald Yau. Involutive category theory. Vol. 2279. Lecture Notes
in Mathematics. Springer, Cham, [2020] ©2020, pp. xii+243. isbn:
978-3-030-61203-0; 978-3-030-61202-3. url:
https://doi.org/10.1007/978-3-030-61203-0.
|