Is there a subfactor construction involving 2-groups? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T07:16:58Z http://mathoverflow.net/feeds/question/5790 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/5790/is-there-a-subfactor-construction-involving-2-groups Is there a subfactor construction involving 2-groups? S. Carnahan 2009-11-17T06:58:04Z 2009-11-18T16:24:21Z <p>I seem to recall that there is a straightforward subfactor construction that yields fusion categories given by G-graded vector spaces and representations of G, for finite groups G. Is there an analogous construction for 2-groups?</p> <p>Some background: A 2-group is a monoidal groupoid, for which the isomorphism classes of objects form a group. Sinh showed that up to monoidal equivalence, these are classified by a group G (isom. classes of objects), a G-module H (automorphisms of identity), and an element of H<sup>3</sup>(G,H). In the context of this discussion, we can limit our attention to G finite, H=C<sup>x</sup>. One notable feature is that when the action of G on H is trivial, the three-cocycle twists the associator in the G-graded vector space category.</p> <p>I'm mostly curious about how to tell when two elements of H<sup>3</sup>(G,H) yield Morita-equivalent fusion categories, and am wondering if subfactors or planar algebras make it easy to detect this.</p> http://mathoverflow.net/questions/5790/is-there-a-subfactor-construction-involving-2-groups/5912#5912 Answer by Greg Kuperberg for Is there a subfactor construction involving 2-groups? Greg Kuperberg 2009-11-18T03:35:49Z 2009-11-18T03:35:49Z <p>Any spherical fusion category leads to a 3-manifold invariant by the Turaev-Viro construction &mdash; this was explained in an old arXiv paper by Barrett and Westbury <a href="http://arxiv.org/abs/hep-th/9311155" rel="nofollow">arXiv:hep-th/9311155</a>. The invariant is the same as the Reshetikhin-Turaev invariant of the doubled category, so if two of these categories are Morita equivalent, they yield the same 3-manifold invariant. If the category is made from your finite group $G$ together with your cohomology class in $H^3(G,\mathbb{C}^*)$, then the corresponding invariant was defined by Dijkgraaf and Witten; they interpreted it as Chern-Simons field theory with gauge group a finite group. If $\omega$ is the cohomology class, then the invariant is the sum over all homotopy classes of maps $f:M \to B_G$ of $\langle f^*(\omega),[M]\rangle$. Here $B_G$ is the classifying space of $G$ and $[M]$ is the fundamental class of $M$. If you find a 3-manifold to distinguish two of these 2-groups, then they are not Morita equivalent.</p> <p>For example, let $G = C_3$ and let $\omega \in H^3(G,\mathbb{C}^*)$ be non-trivial. If you let $M$ be the lens space $L(3,1)$, then actually $B_G$ is an infinite-dimensional lens space that contains $M$. If $f$ is the inclusion map, then $f^*(\omega)$ cannot be trivial in this case. The Dijkgraaf-Witten invariant of $M$ is the sum of the three roots of unity, which vanishes. On the other hand, if $\omega$ is trivial, then the Dijkgraaf-Witten invariant is 3. So, no Morita equivalence for these two choices of $\omega$.</p> <p>Despite the homotopy-theoretic language, these computations are generally tractable when $G$ is not too complicated.</p> <p><hr /></p> <p>Also, I don't know a lot about the subfactor end of this, but I would suppose that $(G,\omega)$ does give you a subfactor. I'm not sure how much that by itself says about Morita equivalence though.</p> http://mathoverflow.net/questions/5790/is-there-a-subfactor-construction-involving-2-groups/5984#5984 Answer by Noah Snyder for Is there a subfactor construction involving 2-groups? Noah Snyder 2009-11-18T16:09:08Z 2009-11-18T16:24:21Z <p>This is a standard construction in Subfactor theory see the intro of <a href="http://arxiv.org/abs/0811.1084v2" rel="nofollow">http://arxiv.org/abs/0811.1084v2</a> for details. The construction goes back a long long way (if I remember correctly both Vaughan Jones and Adrian Ocneanu's theses were related to this question, but I could be wrong there).</p> <p>From a category theory perspective recall that a subfactor (N &lt; M) is a unitary tensor category C (the N-N bimodules) together with a Frobenius algebra object A in C (M as an N-N bimodule with conditional expectation as trace). In this case the tensor category C is the twisted category of G-graded vector spaces (where you use the 3-cocycle to change the associator), and the algebra object is a twisted version of the group algebra (or maybe just the group algebra? I'm getting confused, shouldn't group algebras be twisted by 2-cocycles?).</p>