1: \begin{abstract}

2: Let $\mathcal{B}$ be a conformal net. 

3: %

4: We give the notion of a proper action of a finite hypergroup acting by vacuum

5: preserving unital completely positive (so-called stochastic) maps, which

6: generalizes the proper actions of finite groups.  Taking fixed points under

7: such an action gives a finite index subnet $\mathcal{B}^K$ of $\mathcal{B}$,

8: which generalizes the $G$-orbifold.  Conversely, we show that if

9: $\mathcal{A}\subset \mathcal{B}$ is a finite inclusion of conformal nets, then

10: $\mathcal{A}$ is a generalized orbifold $\mathcal{A}=\mathcal{B}^K$ of the

11: conformal net $\mathcal{B}$ by a unique finite hypergroup $K$.  There is a

12: Galois correspondence between intermediate nets $\mathcal{B}^K\subset

13: \mathcal{A} \subset \mathcal{B}$ and subhypergroups $L\subset K$ given by

14: $\mathcal{A}=\mathcal{B}^L$. In this case, the fixed point of

15: $\mathcal{B}^K\subset \mathcal{A}$ is the generalized orbifold by the

16: hypergroup of double cosets $L\backslash K/ L$.

17: 

18: If $\mathcal{A}\subset \mathcal{B}$ is an finite index inclusion of completely

19: rational nets, we show that the inclusion $\mathcal{A}(I)\subset

20: \mathcal{B}(I)$ is conjugate to a Longo--Rehren inclusion. This implies that if

21: $\mathcal{B}$ is a holomorphic net, and $K$ acts properly on $\mathcal{B}$,

22: then there is a unitary fusion category $\mathcal{F}$ which is a

23: categorification of $K$ and $\mathrm{Rep}(\mathcal{B}^K)$ is braided equivalent

24: to the Drinfel'd center $Z(\mathcal{F})$.  More generally, if $\mathcal{B}$ is

25: completely rational conformal net and $K$ acts properly on $\mathcal{B}$, then

26: there is a unitary fusion category $\mathcal{F}$ extending

27: $\mathrm{Rep}(\mathcal{B})$, such that $K$ is given by the double cosets of the

28: fusion ring of $\mathcal{F}$ by the Verlinde fusion ring of $\mathcal{B}$ and

29: $\mathrm{Rep}(\mathcal{B}^K)$ is braided equivalent to the Müger centralizer of

30: $\mathrm{Rep}(\mathcal{B})$ in the Drinfel'd center $Z(\mathcal{F})$.

31: %

32: \end{abstract}

33: