Equivariantization

群 \(G\) の 圏への作用があるとき, Grothendieck construction など, 新しい圏を作る方法はいくつかある。

Drinfel\('\)d ら [Dri+10] が導入した構成として equivariantization というものがある。 \(G\) の small category \(C\) への作用 \(\mu :G\to \mathrm {End}(C)\) が与えられたとき, 作用により object が別の object に移るかもしれないが, それらが coherent に同型な場合は同一視してよいので, 1つの object に \(G\) が作用していると思ってもよい。 そのような \(G\)-equivariant object の成す圏が \(G\) の \(C\) への作用の equivariantization \(C^{G}\) である。Drinfel\('\)d らは, \(k\)-module の成す monoidal category が \(C\) に作用するときに \(\category {Rep}(G)\) の \(C^{G}\) への作用を定義し, その作用も込めて equivariantization と呼んでいる。

実は, よく見ると \(G\)-equivariant objectとは, 作用を functor とみなして Grothendieck construction を取ったものから \(G\) への projection \[ \mathrm {Gr}(\mu ) \rarrow {} G \] の section と同等であることが分かる。 よって, equivariantizationとは, Grothendieck construction の seciton の成すcategory のことなのである。Drinfel\('\)d らの論文にはそのようには書かれていないが。

更に, Hesse, Schweigart, Valentino [HSV17] に書かれているように, equivariantization は 群作用の homotopy fixed point とみなしてもよい。これは, Thomason の同一視 \[ B\mathrm {Gr}(\mu ) \cong \hocolim _{G} BC \cong EG\times _{G} BC \] の下で, \(C^{G}\) の object \(\sigma :G\to \mathrm {Gr}(\mu )\) は bundle \[ EG\times _{G}BC \rarrow {} BG \] の section を誘導するが, そのような section の空間は \(\mathrm {Map}_{G}(EG,BC)\), つまり \(G\) の \(BC\) への作用の homotopy fixed point と同一視されるからである。

Abelian category \(\bm {A}\) に群 \(G\) が作用しているときは, derived category にも \(G\) が作用するので, その equivariantization \(D^{b}(\bm {A})^{G}\) と \(\bm {A}\) の equivariantization の derived category \(D^{b}(\bm {A}^{G})\) が, いつ triangulated category として同値になるか, というのは誰でも思いつく問題である。これについては, Chen が [Che15] で考えている。この Chen の論文以前には, この問題については, Polishchuk の [Pol06] の Lemma 1.1 ぐらいしかなかったようである。

拡張としては, Mombelli とNatale [MN17]による bicategory 上の \(2\)-monad に対する equivariantization がある。群の場合は, Hesse, Schweigert, Vaelntino [HSV17] により調べられている。

References

[Che15]

Xiao-Wu Chen. “A note on separable functors and monads with an application to equivariant derived categories”. In: Abh. Math. Semin. Univ. Hambg. 85.1 (2015), pp. 43–52. arXiv: 1403.1332. url: https://doi.org/10.1007/s12188-015-0103-4.

[Dri+10]

Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. “On braided fusion categories. I”. In: Selecta Math. (N.S.) 16.1 (2010), pp. 1–119. arXiv: 0906.0620. url: http://dx.doi.org/10.1007/s00029-010-0017-z.

[HSV17]

Jan Hesse, Christoph Schweigert, and Alessandro Valentino. “Frobenius algebras and homotopy fixed points of group actions on bicategories”. In: Theory Appl. Categ. 32 (2017), Paper No. 18, 652–681. arXiv: 1607.05148.

[MN17]

Martín Mombelli and Sonia Natale. “Module categories over equivariantized tensor categories”. In: Mosc. Math. J. 17.1 (2017), pp. 97–128. arXiv: 1405.7896. url: https://doi.org/10.17323/1609-4514-2017-17-1-97-128.

[Pol06]

A. Polishchuk. “Holomorphic bundles on 2-dimensional noncommutative toric orbifolds”. In: Noncommutative geometry and number theory. Aspects Math., E37. Vieweg, Wiesbaden, 2006, pp. 341–359. arXiv: math/0410283. url: http://dx.doi.org/10.1007/978-3-8348-0352-8_16.