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 [HSV] に書かれているように, 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 が [Che] で考えている。この Chen の論文以前には, この問題については, Polishchuk の [Pol06] の Lemma 1.1 ぐらいしかなかったようである。

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

References

[Che]

Xiao-Wu Chen. A note on separable functors and monads. arXiv: 1403.1332.

[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.

[HSV]

Jan Hesse, Christoph Schweigert, and Alessandro Valentino. Frobenius algebras and homotopy fixed points of group actions on bicategories. arXiv: 1607.05148.

[MN]

Martín Mombelli and Sonia Natale. Module categories over equivariantized tensor categories. arXiv: 1405.7896.

[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.