1: \begin{abstract}

2: After a brief review of recent rigorous results concerning the representation theory of

3: rational chiral conformal field theories (RCQFTs) we focus on pairs $(\2A, \2F)$ of 

4: conformal field theories, where $\2F$ has a finite group $G$ of global symmetries and

5: $\2A$ is the fixpoint theory. The comparison of the representation categories of $\2A$ and

6: $\2F$ is strongly intertwined with various issues related to braided tensor categories. We

7: explain that, given the representation category of $\2A$, the representation category of

8: $\2F$ can be computed (up to equivalence) by a purely categorical construction. The latter

9: is of considerable independent interest since it amounts to a Galois theory for braided

10: tensor categories. We emphasize the characterization of modular categories as braided

11: tensor categories with trivial center and we state a double commutant theorem for

12: subcategories of modular categories. The latter implies that a modular category $\2M$

13: which has a replete full modular subcategory $\2M_1$ factorizes as

14: $\2M\simeq\2M_1\otimes_\7C\2M_2$ where $\2M_2=\2M\cap\2M_1'$ is another modular

15: subcategory. On the other hand, the representation category of $\2A$ is not determined

16: completely by that of $\2F$ and we identify the needed additional data in terms of soliton

17: representations. We comment on `holomorphic orbi\-fold' theories, i.e.\ the case where $\2F$

18: has trivial representation theory, and close with some open problems.

19: 

20: We point out that our approach permits the proof of many conjectures and heuristic results

21: on `simple current extensions' and `holomorphic orbi\-fold models' in the physics literature

22: on conformal field theory.

23: \end{abstract}

24: