## Galois theory for braided tensor categories and the modular closure (2000)

Venue: | Adv. Math |

Citations: | 29 - 6 self |

### BibTeX

@ARTICLE{Müger00galoistheory,

author = {Michael Müger},

title = {Galois theory for braided tensor categories and the modular closure},

journal = {Adv. Math},

year = {2000},

pages = {151--201}

}

### OpenURL

### Abstract

Given a braided tensor ∗-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C ⋊ S. This construction yields a tensor ∗-category with conjugates and an irreducible unit. (A ∗-category is a category enriched over VectC with positive ∗-operation.) A Galois correspondence is established between intermediate categories sitting between C and C ⋊S and closed subgroups of the Galois group Gal(C⋊S/C) = AutC(C⋊S) of C, the latter being isomorphic to the compact group associated to S by the duality theorem of Doplicher and Roberts. Denoting by D ⊂ C the full subcategory of degenerate objects, i.e. objects which have trivial monodromy with all objects of C, the braiding of C extends to a braiding of C⋊S iff S ⊂ D. Under this condition C⋊S has no non-trivial degenerate objects iff S = D. If the original category C is rational (i.e. has only finitely many isomorphism classes of irreducible objects) then the same holds for the new one. The category C ≡ C ⋊ D is called the modular closure of C since in the rational case it is modular, i.e. gives rise to a unitary representation of the modular group SL(2, Z). (In passing we prove that every braided tensor ∗-category with conjugates automatically is a ribbon category, i.e. has a twist.) If all simple objects of S have dimension one the structure of the category C ⋊ S can be clarified quite explicitly in terms of group cohomology. 1