Orbifold chiral-algebra correspondence for DHR representations

Let $\mathcal A$ be a chiral conformal net with a finite gauge-group action by $\Gamma$, and let $\mathcal A^\Gamma$ denote its fixed-point orbifold net. Consider the irreducible DHR representations of $\mathcal A^\Gamma$ and the irreducible representations of the orbifold chiral algebra with gauge group $\Gamma$. Orbifold chiral-algebra correspondence conjecture. There is a natural one-to-one correspondence between these two sets. This conjecture proposes that the representation theory of the fixed-point conformal net agrees naturally with that of the corresponding orbifold chiral algebra; the supplied text gives no resolution.