text:
# Contents

## 1 Introduction

In the last few years there has been a quiet revolution in the local theory of current-algebraic orbifolds. Building on the discovery of orbifold affine algebra  in the cyclic permutation orbifolds, Refs.  gave the twisted currents and stress tensor in each sector of any current-algebraic orbifold $`A(H)/H`$ – where $`A(H)`$ is any current-algebraic conformal field theory \[5–9\] with a finite symmetry group $`H`$. The construction treats all current-algebraic orbifolds at the same time, using the method of eigenfields and the principle of local isomorphisms to map OPEs in the symmetric theory to OPEs in the orbifold. The orbifold results are expressed in terms of a set of duality transformations, which are discrete Fourier transforms constructed from the eigendata of the $`H`$-eigenvalue problem.

More recently, the special case of the WZW orbifolds

$$\frac{A_g(H)}{H},H\mathrm{Aut}(g)$$
(1.1)
was worked out in further detail , introducing the linkage relation and the extended $`H`$-eigenvalue problem in order to include the operator algebra and the twisted vertex operator equations of the twisted affine primary fields of the WZW orbifolds. The twisted vertex operator equations set the stage for finding the twisted KZ equations of the WZW orbifolds, and twisted KZ equations for the WZW permutation orbifolds and the inner-automorphic WZW orbifolds were worked out as large examples in Ref. .

In this companion paper, we apply the twisted vertex operator equations of Ref.  to work out the details of two other large examples. In the first example (see Sec. 2) we solve the twisted vertex operator equations in an abelian limit to obtain the twisted vertex operators and correlators of a large class of abelian orbifolds

$$\frac{A_{\mathrm{Cartan}g}(H)}{H},H\mathrm{Aut}(\mathrm{Cartan}g),\mathrm{Cartan}gg$$
(1.2)
where the ambient algebra $`g`$ supplies the representation space for the twisted sectors of each orbifold. In the second example (see Sec. 3), we apply the twisted vertex operator equations to obtain a set of twisted KZ equations for the (outer-automorphic) charge conjugation orbifold on $`𝔰𝔲(n)`$

$$\frac{A_{𝔰𝔲(n)}(_2)}{_2},n3$$
(1.3)
and some simple solutions of these equations are also discussed.

Subsec. 3.4 also notes a more general twisted KZ system for the correlators in the “scalar” twist-field states of any WZW orbifold. This result includes as special cases the known twisted KZ system for the WZW permutation orbifolds, our twisted KZ system for the charge conjugation orbifold on $`𝔰𝔲(n)`$, and a generalization to every outer-automorphic WZW orbifold.

## 2 The Abelian Orbifolds $`A_{\mathrm{Cartan}g}(H)/H`$

### 2.1 An Abelian limit of the WZW orbifolds

As our first large example, we consider the class of abelian orbifolds

$$\frac{A_{\mathrm{Cartan}g}(H)}{H},H\mathrm{Aut}(\mathrm{Cartan}g)$$
(2.1)
where $`H`$ is any finite group and $`A_{\mathrm{Cartan}g}(H)`$ is any $`H`$-symmetric conformal field theory constructed from the Cartan subalgebra of a compact semisimple Lie algebra $`g`$

$$\mathrm{Cartan}gg,g=_I𝔤^I,\mathrm{Cartan}g=_I\mathrm{Cartan}𝔤^I.$$
(2.2)
In the composite notation of Refs. , the left-mover sector of the $`H`$-symmetric CFT is described by the stress tensor and abelian current algebra

$$T(z)=\frac{1}{2}G^{ab}:J_a(z)J_b(z):,c=\mathrm{dim}(\mathrm{Cartan}g)$$
(2.3a)
$$J_a(z)=\underset{m}{}J_a(m)z^{m1},[J_a(m),J_b(n)]=mG_{ab}\delta _{m+n,0},a,b=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}g)$$
(2.3b)
where $`::`$ is operator product normal ordering and $`G_{ab}`$ is the induced metric on $`\mathrm{Cartan}g`$. The ambient algebra $`g`$ provides the induced metric and the representation theory of the symmetric CFT, but is otherwise inactive. The $`H`$-symmetry of the system is specified as

$$J_a(z)^{}=\omega (h_\sigma )_a{}_{}{}^{b}J_{b}^{}(z),\omega (h_\sigma )_a{}_{}{}^{c}\omega (h_\sigma )_b{}_{}{}^{d}G_{cd}^{}=G_{ab},\omega (h_\sigma )H,\sigma =0,\mathrm{},N_c1$$
(2.4a)
$$T(z)^{}=\frac{1}{2}G^{ab}:J_a(z)^{}J_b(z)^{}:=T(z)$$
(2.4b)
where $`\omega (h_\sigma )`$ is the action of $`h_\sigma H`$ and $`N_c`$ is the number of conjugacy classes of $`H`$.

When needed, the composite notation can be replaced by the explicit notation

$$aa(I),J_aJ_{a(I)},G_{ab}G_{a(I),b(J)}=_Ik_I\eta _{a(I)b(I)}^I,$$
(2.5a)
$$a(I),b(I)=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤^I)$$
(2.5b)
where $`\eta _{a(I)b(I)}^I`$ is the induced Killing metric of $`\mathrm{Cartan}𝔤^I`$ and $`x_I=2k_I/\psi _I^2`$ is the invariant level of affine $`𝔤^I`$. As an example (see also Subsec. 2.6) permutation-invariant systems satisfy

$$𝔤^I𝔤,\mathrm{Cartan}𝔤^I\mathrm{Cartan}𝔤$$
(2.6a)
$$J_{a(I)}=J_{aI},k_I=k,x_I=x,\eta _{a(I)b(I)}^I=\eta _{ab},a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤)$$
(2.6b)
where $`\eta _{ab}`$ is the induced Killing metric of $`\mathrm{Cartan}𝔤`$ and $`H`$(permutation) acts among the copies $`\mathrm{Cartan}𝔤^I`$ of $`\mathrm{Cartan}𝔤`$.

The twisted current-algebraic description of $`A_{\mathrm{Cartan}g}(H)/H`$ can be easily read as the abelian limit $`g\mathrm{Cartan}g`$ of the general WZW orbifold in Refs.  or . One finds the stress tensor and twisted current algebra of sector $`\sigma `$

$$\widehat{T}_\sigma (z)=_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(r),\nu }(\sigma ):\widehat{J}_{n(r)\mu }(z,\sigma )\widehat{J}_{n(r),\nu }(z,\sigma ):,\widehat{c}(\sigma )=c,\sigma =0,\mathrm{},N_c1$$
(2.7a)
$$\widehat{J}_{n(r)\mu }(ze^{2\pi i},\sigma )=e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}\widehat{J}_{n(r)\mu }(z,\sigma ),\widehat{J}_{n(r)\pm \rho (\sigma ),\mu }(z,\sigma )=\widehat{J}_{n(r)\mu }(z,\sigma )$$
(2.7b)
$$\widehat{J}_{n(r)\mu }(z,\sigma )=\underset{m}{}\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})z^{(m+{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}})1}$$
(2.7c)
$$[\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{J}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\delta _{m+n+\frac{n(r)+n(s)}{\rho (\sigma )},0}𝒢_{n(r)\mu ;n(r),\nu }(\sigma )$$
(2.7d)
$$\widehat{J}_{n(r)\pm \rho (\sigma ),\mu }(m+\frac{n\left(r\right)\pm \rho \left(\sigma \right)}{\rho \left(\sigma \right)})=\widehat{J}_{n(r)\mu }(m\pm 1+\frac{n\left(r\right)}{\rho \left(\sigma \right)})$$
(2.7e)
where $`::`$ is operator product normal ordering  and the duality transformations

$$_{n(r)\mu ;n(s)\nu }{}_{}{}^{n(t)\delta }(\sigma )=0,_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(s)\nu }(\sigma )=\frac{1}{2}𝒢^{n(r)\mu ;n(s)\nu }(\sigma )$$
(2.8a)
$`𝒢_{n(r)\mu ;n(s)\nu }(\sigma )`$ $`=`$ $`\chi \left(\sigma \right)_{n(r)\mu }\chi \left(\sigma \right)_{n(s)\nu }U(\sigma )_{n(r)\mu }{}_{}{}^{a}U(\sigma )_{n(s)\nu }{}_{}{}^{b}G_{ab}^{}`$ (2.8b)
$`=`$ $`\delta _{n(r)+n(s),0\text{mod}\rho (\sigma )}𝒢_{n(r)\mu ;n(r),\nu }(\sigma )=𝒢_{n(r)\pm \rho (\sigma ),\mu ;n(s)\nu }(\sigma )`$ (2.8c)
$`𝒢^{n(r)\mu ;n(s)\nu }(\sigma )`$ $`=`$ $`\chi \left(\sigma \right)_{n(r)\mu }^1\chi \left(\sigma \right)_{n(s)\nu }^1G^{ab}U^{}(\sigma )_a{}_{}{}^{n(r)\mu }U_{}^{}(\sigma )_b^{n(s)\nu }`$ (2.8d)
$`=`$ $`\delta _{n(r)+n(s),0\text{mod}\rho (\sigma )}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )=𝒢^{n(r)\pm \rho (\sigma ),\mu ;n(s)\nu }(\sigma )`$ (2.8e)
are called respectively the twisted structure constants, the twisted inverse inertia tensor, the twisted metric and the twisted inverse metric of sector $`\sigma `$. The Kronecker forms in (2.8c) and (2.8e) are the solutions of the selection rules  of the twisted tensors. In further detail, the integer $`\rho (\sigma )`$ is the order of $`h_\sigma H`$ while the unitary matrices $`U(\sigma )`$, the spectral integers $`n(r)n(r,\sigma )`$ and the degeneracy indices $`\mu \mu (r,\sigma )`$ are determined by solving the $`H`$-eigenvalue problem

$$\omega (h_\sigma )U^{}(\sigma )=U^{}(\sigma )E(\sigma ),E(\sigma )=e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}},\sigma =0,\mathrm{},N_c1.$$
(2.9)
The quantities $`\chi (\sigma )`$ with $`\chi (0)=1`$ are normalization constants. As seen in Eqs. (2.7-9), all quantities are periodic $`n(r)n(r)\pm \rho (\sigma )`$ in the spectral integers.

We note in particular that the zero modes $`\{\widehat{J}_{0\mu }(0)\}`$ of the twisted current algebra (2.7d) commute with themselves and indeed with all the twisted modes

$$[\widehat{J}_{0\mu }(0),\widehat{J}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=0,\mu ,\nu ,n(s).$$
(2.10)
As in the case of the WZW orbifolds  the zero modes of the twisted current algebra will contribute to the residual symmetry (global Ward identities) of each orbifold sector $`\sigma `$ (see Subsecs. 2.5 and 2.6).

The ground state (twist-field state) of sector $`\sigma `$ satisfies

$$\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}0)|0_\sigma =_\sigma 0|\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}0)=0,\sigma =0,\mathrm{},N_c1$$
(2.11)
and so the $`M`$ or mode-ordered forms of Refs.  or  are immediately useful. For example the Virasoro generators in sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$

$`L_\sigma (m)={\displaystyle \frac{1}{2}}{\displaystyle \underset{r,\mu ,\nu }{}}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )`$ $`\{{\displaystyle \underset{p}{}}:\widehat{J}_{n(r)\mu }(p+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\widehat{J}_{n(r),\nu }(mp\frac{n\left(r\right)}{\rho \left(\sigma \right)}):_M`$ (2.12a)
$`+\delta _{m,0}{\displaystyle \frac{\overline{n}(r)}{2\rho (\sigma )}}(1{\displaystyle \frac{\overline{n}(r)}{\rho (\sigma )}})𝒢_{n(r)\mu ;n(r),\nu }(\sigma )\}`$
$$\overline{n(r)}\overline{n}(r)n(r)\rho (\sigma )\frac{n\left(r\right)}{\rho \left(\sigma \right)},\overline{n}(r)\{0,\mathrm{},\rho (\sigma )1\}$$
(2.12b)
are easily obtained as the abelian limit of the form given for all WZW orbifolds in these references. Here $`\overline{n}(r)`$ is the pullback of the spectral integer $`n(r)`$ into the fundamental range $`0\overline{n}\rho (\sigma )1`$. Then the ground state conformal weight of sector $`\sigma `$

$$\left(L_\sigma (m0)\delta _{m,0}\widehat{\mathrm{\Delta }}_0(\sigma )\right)|0_\sigma =0$$
(2.13a)
$`\widehat{\mathrm{\Delta }}_0(\sigma )`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle \underset{r,s,\mu ,\nu }{}}𝒢^{n(r)\mu ;n(s)\nu }(\sigma )𝒢_{n(r)\mu ;n(s)\nu }(\sigma ){\displaystyle \frac{\overline{n}(r)}{2\rho (\sigma )}}\left(1{\displaystyle \frac{\overline{n}(r)}{\rho (\sigma )}}\right)`$ (2.13b)
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle \underset{r,\mu (r)}{}}{\displaystyle \frac{\overline{n}(r)}{2\rho (\sigma )}}\left(1{\displaystyle \frac{\overline{n}(r)}{\rho (\sigma )}}\right),\sigma =0,\mathrm{},N_c1`$ (2.13c)
is easily computed from (2.12) and the duality transformations in (2.8).

Going beyond the general stress tensors of Ref. , Ref.  also discusses the full chiral algebra of all WZW orbifolds, including the twisted left-mover affine primary fields $`\widehat{g}_+(𝒯,z,\sigma )`$ of sector $`\sigma `$. For our class of abelian orbifolds the abelian limit $`\widehat{g}_+(𝒯,z,\sigma )`$ is more properly called a twisted left-mover vertex operator. In particular, we read from Ref.  that the twisted left-mover vertex operators satisfy

$$\widehat{J}_{n(r)\mu }(z,\sigma )\widehat{g}_+(𝒯,w,\sigma )=\frac{\widehat{g}_+(𝒯,w,\sigma )}{zw}𝒯_{n(r)\mu }(T,\sigma )+𝒪(zw)^0$$
(2.14a)
$$[\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{g}_+(𝒯,z,\sigma )]=\widehat{g}_+(𝒯,z,\sigma )𝒯_{n(r)\mu }(T,\sigma )z^{m+{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}$$
(2.14b)
$$[L_\sigma (m),\widehat{g}_+(𝒯,z,\sigma )]=z^m\left(z_z+𝒟(𝒯,\sigma )(m+1)\right)\widehat{g}_+(𝒯,z,\sigma )$$
(2.14c)
$$𝒟(𝒯,\sigma )=\frac{1}{2}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r)\mu }(T,\sigma )𝒯_{n(r),\nu }(T,\sigma )$$
(2.14d)
$$𝒯_{n(r)\mu }(T,\sigma )_{N(r)\mu }{}_{}{}^{N(s)\nu }=\chi \left(\sigma \right)_{n(r)\mu }U(\sigma )_{n(r)\mu }{}_{}{}^{a}\left(U(T,\sigma )T_aU^{}(T,\sigma )\right){}_{N(r)\mu }{}^{}^{N(s)\nu }$$
(2.14e)
$$=\delta _{\frac{n(r)}{\rho (\sigma )}+{\scriptscriptstyle \frac{N\left(r\right)N\left(s\right)}{R\left(\sigma \right)}},\mathrm{\hspace{0.17em}0}\text{mod}1}𝒯_{n(r)\mu }(T,\sigma )_{N(r)\mu }^{N(r)+\frac{R(\sigma )}{\rho (\sigma )}n(r),\nu }$$
(2.14f)
$$[T_a,T_b]=0,a,b=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}g)$$
(2.14g)
$$[𝒯_{n(r)\mu }(T,\sigma ),𝒯_{n(s)\nu }(T,\sigma )]=0,𝒯_{n(r)\pm \rho (\sigma ),\mu }(T,\sigma )=𝒯_{n(r)\mu }(T,\sigma )$$
(2.14h)
where $`\{T_a\}`$ are the commuting Cartan matrices of the irreps111Although it is not mentioned explicitly below, one should choose only those irreps of $`g`$ consistent with the affine cutoff $`TT_x`$ at invariant level $`x=\{x_I\}`$ of affine $`g`$. of the ambient Lie algebra $`g\mathrm{Cartan}g`$ and $`\{𝒯_{n(r)\mu }(T,\sigma )\}`$ is another set of duality transformations called the twisted representation matrices of sector $`\sigma `$. Here $`R(\sigma )R(T,\sigma )`$ is the order of the action $`W(h_\sigma ;T)`$ of $`h_\sigma H`$ in representation $`T`$ of $`g`$, while the unitary matrices $`U(T,\sigma )`$, the spectral integers $`N(r)N(r,T,\sigma )`$ and the degeneracy indices $`\mu \mu (r,T,\sigma )`$ are obtained as the eigendata of the extended $`H`$-eigenvalue problem

$$W(h_\sigma ;T)U^{}(T,\sigma )=U^{}(T,\sigma )E(T,\sigma ),E(T,\sigma )=e^{2\pi i{\scriptscriptstyle \frac{N\left(r\right)}{R\left(\sigma \right)}}}.$$
(2.15)
Again all quantities are periodic $`N(r)N(r)\pm R(\sigma )`$ in the spectral integers. These results are essentially unchanged from Ref. , except that in our case the twisted representation matrices commute because the $`T_a`$’s commute. In what follows we generally abbreviate $`\widehat{J}(z)\widehat{J}(z,\sigma )`$ and $`𝒯𝒯(T,\sigma )`$.

### 2.2 Solution of the twisted left-mover vertex operator equation

Ref.  also gives the operator equations of motion, called the twisted vertex operator equations, for the twisted affine-primary fields in each sector of all WZW orbifolds. In particular, the abelian limit of the twisted left-mover vertex operator equation

$$\widehat{g}_+(𝒯,z,\sigma )=𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(:\widehat{J}_{n(r)\mu }(z)\widehat{g}_+(𝒯,z,\sigma ):_M\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}\frac{1}{z}\widehat{g}_+(𝒯,z,\sigma )𝒯_{n(r)\mu })𝒯_{n(r),\nu }$$
(2.16a)
$$:\widehat{J}_{n(r)\mu }(z)\widehat{g}_+(𝒯,z,\sigma ):_M=\widehat{J}_{n(r)\mu }^{}(z)\widehat{g}_+(𝒯,z,\sigma )+\widehat{g}_+(𝒯,z,\sigma )\widehat{J}_{n(r)\mu }^+(z)$$
(2.16b)
$$\widehat{J}_{n(r)\mu }^{}(z)\underset{m1}{}\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})z^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})1},\widehat{J}_{n(r)\mu }^+(z)\underset{m0}{}\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})z^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})1}$$
(2.16c)
$$[\widehat{J}_{n(r)\mu }^+(z),\widehat{J}_{n(s)\nu }^+(w)]=[\widehat{J}_{n(r)\mu }^{}(z),\widehat{J}_{n(s)\nu }^{}(w)]=0$$
(2.16d)
is also easily read from Ref. . Here the form is unchanged from Ref.  except for the vanishing commutators (2.16d) of the partial currents $`\widehat{J}^\pm `$, which reflect the abelian character of the present case.

The central task of this section is to solve the twisted vertex operator equation (2.16a), following the general strategy given for the untwisted WZW vertex operator equation and an abelian limit of this equation in Ref. . In what follows, we will assume that the twisted vertex operator $`\widehat{g}_+`$ is a square matrix and that the twisted representation matrices $`𝒯`$ commute with everything, including the solution:

$$\widehat{g}_+(𝒯,z,\sigma )_{N(r)\mu }{}_{}{}^{N(s)\nu },[𝒯_{n(r)\mu },\widehat{g}_+(𝒯,z,\sigma )]=0.$$
(2.17)
This assumption will be justified a posteriori by our solution below.

The first step in the solution is the direct integration

$`\widehat{g}_+(𝒯,z,\sigma )`$ $`=`$ $`\left({\displaystyle \frac{z}{z_0}}\right)^{𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }𝒯_{n(r),\nu }}`$ (2.18)
$`\times \mathrm{exp}\left({\displaystyle _{z_0}^z}𝑑z^{}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\widehat{J}_{n(r)\mu }^{}(z^{})𝒯_{n(r),\nu }\right)`$
$`\times \widehat{g}_+(𝒯,z_0,\sigma )\mathrm{exp}\left({\displaystyle _{z_0}^z}𝑑z^{}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\widehat{J}_{n(r)\mu }^+(z^{})𝒯_{n(r),\nu }\right)`$
which follows using (2.16d) and (2.17). The reference point $`z_0`$ in (2.18) is arbitrary.

The integrals in (2.18) are easily performed and the results rearranged in the form

$`\widehat{g}_+(𝒯,z,\sigma )`$ $`=`$ $`z^{𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }𝒯_{n(r),\nu }}\widehat{V}_{}(𝒯,z,\sigma )\widehat{G}_+(𝒯,z_0,\sigma )`$ (2.19a)
$`\times z^{\widehat{J}_{0\mu }(0)𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }}\widehat{V}_+^{(0)}(𝒯,z,\sigma )\widehat{V}_+(𝒯,z,\sigma )`$
$$\widehat{V}_{}(𝒯,z,\sigma )\mathrm{exp}\left\{𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\underset{m1}{}\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\frac{z^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r),\nu }\right\}$$
(2.19b)
$$\widehat{V}_+(𝒯,z,\sigma )\mathrm{exp}\left\{𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})\underset{m0}{}\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\frac{z^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r),\nu }\right\}$$
(2.19c)
$$\widehat{V}_+^{(0)}(𝒯,z,\sigma )\mathrm{exp}\left\{𝒢^{0\mu ;0\nu }(\sigma )\underset{m1}{}\widehat{J}_{0\mu }(m)\frac{z^m}{m}𝒯_{0\nu }\right\},[\widehat{V}_+^{(0)}(𝒯,z,\sigma ),\widehat{V}_+(𝒯,z,\sigma )]=0$$
(2.19d)
where we have collected all $`z_0`$ dependence in the quantity $`\widehat{G}_+(𝒯,z_0,\sigma )`$

$$\widehat{G}_+(𝒯,z_0,\sigma )\widehat{V}_{}(𝒯,z_0,\sigma )^1\widehat{g}_+(𝒯,z_0,\sigma )z_0^{\widehat{F}(𝒯,\sigma )}\widehat{V}_+^{(0)}(𝒯,z_0,\sigma )^1\widehat{V}_+(𝒯,z_0,\sigma )^1$$
(2.20a)
$$\widehat{F}(𝒯,\sigma )𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}𝒯_{n(r)\mu }𝒯_{n(r),\nu }+𝒢^{0\mu ;0\nu }(\sigma )\widehat{J}_{0\mu }(0)𝒯_{0\nu }$$
(2.20b)
$$[\widehat{F}(𝒯,\sigma ),\widehat{V}_{}(𝒯,z,\sigma )]=[\widehat{F}(𝒯,\sigma ),\widehat{V}_+^{(0)}(𝒯,z,\sigma )]=[\widehat{F}(𝒯,\sigma ),\widehat{V}_+(𝒯,z,\sigma )]=0.$$
(2.20c)
Following Ref. , we observe that $`\widehat{G}_+(𝒯,z_0,\sigma )`$ is in fact independent of the reference point

$$_{z_0}\widehat{G}_+(𝒯,z_0,\sigma )=0\widehat{G}_+(𝒯,z_0,\sigma )=\widehat{G}_+(𝒯,\sigma ).$$
(2.21)
To verify this one uses (2.20), the explicit forms of $`\widehat{V}_\pm ,\widehat{V}_+^{(0)}`$ and the equation

$`_{z_0}\widehat{g}_+(𝒯,z_0,\sigma )`$ $`=`$ $`𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(:\widehat{J}_{n(r)\mu }(z_0)\widehat{g}_+(𝒯,z_0,\sigma ):_M`$ (2.22)
$`\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}{\displaystyle \frac{1}{z_0}}\widehat{g}_+(𝒯,z_0,\sigma )𝒯_{n(r)\mu })𝒯_{n(r),\nu }`$
which is the twisted vertex operator equation (2.16a) evaluated at the reference point.

The next step is to invert Eq. (2.19a), which allows us to express the quantity $`\widehat{G}_+(𝒯,\sigma )`$ in terms of the twisted vertex operator $`\widehat{g}_+(𝒯,z,\sigma )`$

$$\widehat{G}_+(𝒯,\sigma )\widehat{V}_{}(𝒯,z,\sigma )^1\widehat{g}_+(𝒯,z,\sigma )\widehat{V}_+^{(0)}(𝒯,z,\sigma )^1\widehat{V}_+(𝒯,z,\sigma )^1z^{\widehat{F}(𝒯,\sigma )}.$$
(2.23)
Using the twisted vertex operator equation (2.16a), it can be checked that the right side of (2.23) is independent of $`z`$ as it should be.

Continuing to follow the strategy of Ref. , we note that the relation (2.23) allows us to compute the commutator of the twisted current modes with the quantity $`\widehat{G}_+(𝒯,\sigma )`$. In particular, the twisted current algebra (2.7d) as well as the relations

$$[\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}),\widehat{g}_+(𝒯,z,\sigma )]=\widehat{g}_+(𝒯,z,\sigma )𝒯_{\overline{n}(r)\mu }z^{m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}$$
(2.24a)
$$\underset{\delta }{}𝒢_{n(r)\mu ;n(r),\delta }𝒢^{n(r),\delta ;n(r)\nu }=\underset{s,\delta }{}𝒢_{n(r)\mu ;n(s)\delta }𝒢^{n(s)\delta ;n(r)\nu }=\delta _\mu {}_{}{}^{\nu },n(r),\mu $$
(2.24b)
are needed for this computation, and the result

$$[\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}),\widehat{G}_+(𝒯,\sigma )]=\widehat{G}_+(𝒯,\sigma )\delta _{m,0}\delta _{\overline{n}(r),0}𝒯_{0\mu }$$
(2.25)
is obtained after some algebra.

The algebra (2.25) can in fact be solved to obtain the explicit form of the quantity $`\widehat{G}_+(𝒯,\sigma )`$

$$\widehat{G}_+(𝒯,\sigma )=\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )e^{i\widehat{q}^\mu (\sigma )𝒯_{0\mu }}$$
(2.26a)
$$[\widehat{q}^\mu (\sigma ),\widehat{J}_{\overline{n}(s)\nu }(n+\frac{\overline{n}\left(s\right)}{\rho \left(\sigma \right)})]=i\delta _\nu ^\mu \delta _{n,0}\delta _{\overline{n}(s),0},[\widehat{q}^\mu (\sigma ),\widehat{q}^\nu (\sigma )]=0$$
(2.26b)
$$[\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma ),𝒯_{n(r)\mu }]=[\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma ),\widehat{J}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=0$$
(2.26c)
where $`\widehat{q}^\mu (\sigma )`$ is a “coordinate” conjugate to the “momentum” $`\widehat{J}_{0\mu }(0)`$, and $`\widehat{\mathrm{\Gamma }}`$ is a sector-dependent Klein transformation (cocycle) which is a so-far undetermined function of $`𝒯_{n(r)\mu }`$ and $`\widehat{J}_{0\mu }(0)`$.

The periodic forms of Eqs. (2.26b) and (2.25) are

$$[\widehat{q}^\mu (\sigma ),\widehat{J}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=i\delta _\nu ^\mu \delta _{n+{\scriptscriptstyle \frac{n\left(s\right)}{\rho \left(\sigma \right)}},0}$$
(2.27a)
$$[\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{G}_+(𝒯,\sigma )]=\widehat{G}_+(𝒯,\sigma )\delta _{m+{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}},0}𝒯_{n(r)\mu }$$
(2.27b)
where (2.27b) follows from (2.27a), (2.26a) and the periodicity (2.14h) of the twisted representation matrices. The relations (2.27a) and (2.27b) are consistent with the periodicity (2.7e) of the twisted current modes, and reduce to (2.26b) and (2.25) in the fundamental range $`n\overline{n}`$.

### 2.3 Summary of the twisted left-mover vertex operators

Assembling our results above, we summarize our solution for the twisted vertex operators $`\{\widehat{g}_+(𝒯(T,\sigma ),z,\sigma ),T)\}`$ in sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$

$`\widehat{g}_+(𝒯,z,\sigma )`$ $`=`$ $`z^{𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }𝒯_{n(r),\nu }}\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )e^{i\widehat{q}^\mu (\sigma )𝒯_{0\mu }}`$ (2.28a)
$`\times z^{\widehat{J}_{0\mu }(0)𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }}\widehat{V}_{}(𝒯,z,\sigma )\widehat{V}_+^{(0)}(𝒯,z,\sigma )\widehat{V}_+(𝒯,z,\sigma )`$
$$\widehat{V}_{}(𝒯,z,\sigma )\mathrm{exp}\left\{𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\underset{m1}{}\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\frac{z^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r),\nu }\right\}$$
(2.28b)
$$\widehat{V}_+^{(0)}(𝒯,z,\sigma )\mathrm{exp}\left\{𝒢^{0\mu ;0\nu }(\sigma )\underset{m1}{}\widehat{J}_{0\mu }(m)\frac{z^m}{m}𝒯_{0\nu }\right\}$$
(2.28c)
$$\widehat{V}_+(𝒯,z,\sigma )\mathrm{exp}\left\{𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})\underset{m0}{}\widehat{J}_{\overline{n}(r)\mu }(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\frac{z^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r),\nu }\right\}$$
(2.28d)
$$[\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{J}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\delta _{m+n+\frac{n(r)+n(s)}{\rho (\sigma )},0}𝒢_{n(r)\mu ;n(r),\nu }(\sigma )$$
(2.28e)
$$[\widehat{q}^\mu (\sigma ),\widehat{J}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=i\delta _\nu ^\mu \delta _{n+{\scriptscriptstyle \frac{n\left(s\right)}{\rho \left(\sigma \right)}},0},[\widehat{q}^\mu (\sigma ),\widehat{q}^\nu (\sigma )]=0$$
(2.28f)
$$\sigma =0,\mathrm{},N_c1$$
(2.28g)
where $`𝒢_{}(\sigma )`$, $`𝒢^{}(\sigma )`$ and the twisted representation matrices $`𝒯=𝒯(T,\sigma )`$ are given respectively in (2.8b), (2.8d) and (2.14). The commutators of the twisted current modes and the Virasoro operators with the twisted vertex operators are found in Eq. (2.14). Using this solution, our assumption (2.17) is easily verified.

Another form of the prefactor in (2.28a) is obtained with the relation

$$𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}𝒯_{n(r)\mu }𝒯_{n(r),\nu }=\frac{1}{2}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r)\mu }𝒯_{n(r),\nu }(1\delta _{\overline{n}(r),0})$$
(2.29)
which is the abelian limit of the consistency relation (6.20a) in Ref. .

Twisted vertex operators are very old  and twisted vertex operators related to ours have been studied in mathematics (see e.g. Ref. ) and physics (see e.g. Ref. ). We emphasize however that our solution (2.28) tells us exactly which twisted vertex operators $`\{\widehat{g}_+(𝒯(T,\sigma ),z,\sigma ),T\}`$ appear in each sector $`\sigma `$ of all the abelian orbifolds in our class.

### 2.4 Properties of the twisted vertex operators

The twisted vertex operators (2.28) of $`A_{\mathrm{Cartan}g}(H)/H`$ satisfy the following properties.

$``$ Untwisted vertex operators
In the untwisted sector $`\sigma =0`$ of each orbifold we know that

$$U(0)=U(T,0)=1,\overline{n}=0,\chi (0)=1$$
(2.30a)
$$\widehat{J}=J,𝒢=G,𝒯=T,\widehat{\mathrm{\Gamma }}=\mathrm{\Gamma },\widehat{q}=q,\widehat{g}_+=g_+$$
(2.30b)
and so the twisted result (2.28) reduces to the Fubini-Veneziano vertex operator

$`g_+(T,z,0)`$ $`=`$ $`\mathrm{\Gamma }(T,J(0))e^{iq^a(0)T_a}z^{J_a(0)G^{ab}J_b(0)}`$ (2.31a)
$`\times \mathrm{exp}\left(G^{ab}{\displaystyle \underset{m1}{}}J_a(m){\displaystyle \frac{z^m}{m}}T_b\right)\mathrm{exp}\left(G^{ab}{\displaystyle \underset{m1}{}}J_a(m){\displaystyle \frac{z^m}{m}}T_b\right)`$
$$[J_a(m),J_b(n)]=mG_{ab}\delta _{m+n,0},[q^a,J_b(n)]=i\delta _a^b\delta _{n,0},[q^a,q^b]=0$$
(2.31b)
$$[T_a,T_b]=0,a,b=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}g)$$
(2.31c)
where the representations $`\{T_a\}`$ are the Cartan matrices of the ambient Lie algebra $`g`$.

$``$ Alternate form
Returning to (2.28), the alternate form of the twisted vertex operators

$$\widehat{g}_+(𝒯,z,\sigma )=z^{𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }𝒯_{n(r),\nu }}\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma ):e^{i\widehat{\beta }^{n(r)\mu }(z,\sigma )𝒯_{n(r)\mu }}:_M$$
(2.32a)
$`\widehat{\beta }^{n(r)\mu }(z,\sigma )`$ $`=`$ $`\left\{\widehat{q}^\mu (\sigma )+𝒢^{0\mu ;0\nu }(\sigma )\left(\widehat{J}_{0\nu }(0)\mathrm{ln}z+i{\displaystyle \underset{m0}{}}\widehat{J}_{0\nu }(m){\displaystyle \frac{z^m}{m}}\right)\right\}\delta _{\overline{n}(r),0}`$ (2.32b)
$`+`$ $`\left\{i𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\displaystyle \underset{m}{}}\widehat{J}_{n(r),\nu }(m+\frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)}}}\right\}(1\delta _{\overline{n}(r),0})`$
$$\overline{n(r)}=\overline{\overline{n}(r)}=\{\begin{array}{cc}\rho (\sigma )\overline{n}(r)\text{ when }\overline{n}(r)0& \\ 0\text{ when }\overline{n}(r)=0& \end{array}$$
(2.32c)
defines a twisted Fubini-Veneziano field $`\widehat{\beta }`$ for each sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$. The mode ordering $`M`$ defined here in (2.32a) is the left to right ordering $`\{\widehat{q},\widehat{J}(0),,+\}`$ given explicitly in (2.28a).

$``$ Intrinsic monodromy
For general WZW models  and WZW orbifolds  the intrinsic monodromy of the twisted affine primary fields is quite complicated, but this property is easily computable in our abelian limit. From Eqs. (2.28) or (2.32) we find the intrinsic monodromy of the twisted vertex operators

$`\widehat{g}_+(𝒯,ze^{2\pi i},\sigma )`$ $`=`$ $`E(T,\sigma )\widehat{g}_+(𝒯,z,\sigma )E(T,\sigma )^{}`$ (2.33a)
$`\times e^{2\pi i(𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }𝒯_{n(r),\nu }+\widehat{J}_{0\mu }(0)𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu })}`$
$$E(T,\sigma )_{N(r)\mu }{}_{}{}^{N(s)\nu }=\delta _{N(r)\mu }{}_{}{}^{N(s)\nu }E_{N(r)}^{}(T,\sigma ),E_{N(r)}(T,\sigma )=e^{2\pi i{\scriptscriptstyle \frac{N\left(r\right)}{R\left(\sigma \right)}}}.$$
(2.33b)
To obtain this result, we used the solution (2.14f) of the $`𝒯`$-selection rule in the form

$$e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}𝒯_{n(r),\nu }(T,\sigma )=E(T,\sigma )𝒯_{n(r),\nu }(T,\sigma )E(T,\sigma )^{}$$
(2.34a)
$$𝒯_{0\mu }(T,\sigma )=E(T,\sigma )𝒯_{0\mu }(T,\sigma )E(T,\sigma )^{}$$
(2.34b)
$$\widehat{V}_\pm (𝒯,ze^{2\pi i},\sigma )=E(T,\sigma )\widehat{V}_\pm (𝒯,z,\sigma )E(T,\sigma )^{}$$
(2.34c)
$$\widehat{V}_+^{(0)}(𝒯,ze^{2\pi i},\sigma )=E(T,\sigma )\widehat{V}_+^{(0)}(𝒯,z,\sigma )E(T,\sigma )^{}$$
(2.34d)
$$[E(T,\sigma ),\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )]=[E(T,\sigma ),\widehat{G}_+(𝒯,\sigma )]=0$$
(2.34e)
where the relations (2.34d),(2.34e) follow from the special case of the $`𝒯`$-selection rule in (2.34b). Similarly we find the intrinsic monodromy

$$\widehat{\beta }^{n(r)\mu }(ze^{2\pi i},\sigma )=\widehat{\beta }^{n(r)\mu }(z,\sigma )e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}+\delta _{\overline{n}(r),0}2\pi i𝒢^{0\mu ;0\nu }(\sigma )\widehat{J}_{0\nu }(0)$$
(2.35)
of the twisted Fubini-Veneziano field $`\widehat{\beta }`$ in (2.32), and the $`𝒯`$-selection rule (2.34a) guarantees the consistency of this monodromy with that given in (2.33) for the twisted vertex operators themselves.

$``$ Braid relations
The following exchange operations

$$z^{\widehat{J}_{0\mu }(0)𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(1)}}e^{i\widehat{q}^\mu (\sigma )𝒯_{0\mu }^{(2)}}=e^{i\widehat{q}^\mu (\sigma )𝒯_{0\mu }^{(2)}}z^{\widehat{J}_{0\mu }(0)𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(1)}}z^{𝒯_{0\mu }^{(2)}𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(1)}}$$
(2.36a)
$$\widehat{V}_+^{(0)}(𝒯^{(1)},z_1,\sigma )\widehat{V}_{}(𝒯^{(2)},z_2,\sigma )=\widehat{V}_{}(𝒯^{(2)},z_2,\sigma )\widehat{V}_+^{(0)}(𝒯^{(1)},z_1,\sigma )\left(1\frac{z_2}{z_1}\right)^{𝒯_{0\mu }^{(2)}𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(1)}}$$
(2.36b)
$`\widehat{V}_+(𝒯^{(1)},z_1,\sigma )\widehat{V}_{}(𝒯^{(2)},z_2,\sigma )`$ $`=\widehat{V}_{}(𝒯^{(2)},z_2,\sigma )\widehat{V}_+(𝒯^{(1)},z_1,\sigma )`$ (2.36c)
$`\times `$ $`\mathrm{exp}\left\{𝒯_{n(r)\mu }^{(2)}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r),\nu }^{(1)}(1\delta _{\overline{n}(r),0})I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_1}{z_2},\mathrm{})\right\}`$
$$I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(y,\mathrm{})_{\mathrm{}}^y\frac{dx}{x1}x^{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}=\underset{n=0}{\overset{\mathrm{}}{}}\frac{y^{(n+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{n+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}},|y|>1$$
(2.36d)
hold for $`|z_1|>|z_2|`$ and $`\sigma =0,\mathrm{},N_c1`$. The integrals $`I_{\overline{n}(r)/\rho (\sigma )}`$ were encountered in Ref.  and evaluated as indefinite integrals in the last appendix of that reference.

$``$ Operator products
Using (2.36) we find that the exact operator products of the twisted vertex operators for $`\widehat{\mathrm{\Gamma }}=1`$

$$\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\widehat{g}_+(𝒯^{(2)},z_2,\sigma )=:\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\widehat{g}_+(𝒯^{(2)},z_2,\sigma ):_MB(𝒯^{(1)},𝒯^{(2)};z_1,z_2)$$
(2.37a)
$`B(𝒯^{(1)},𝒯^{(2)};z_1,z_2)`$
$`z_{12}^{𝒯_{0\mu }^{(2)}𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(1)}}\mathrm{exp}\left\{𝒯_{n(r)\mu }^{(2)}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r),\nu }^{(1)}(1\delta _{\overline{n}(r),0})I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_1}{z_2},\mathrm{})\right\}`$ (2.37b)
$`:\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\widehat{g}_+(𝒯^{(2)},z_2,\sigma ):_M`$
$`e^{i\widehat{q}^\mu (\sigma )(𝒯_{0\mu }^{(1)}+𝒯_{0\mu }^{(2)})}z_1^{\widehat{F}(𝒯^{(1)},\sigma )}z_2^{\widehat{F}(𝒯^{(2)},\sigma )}\widehat{V}_{}(𝒯^{(1)},z_1,\sigma )\widehat{V}_{}(𝒯^{(2)},z_2,\sigma )`$
$`\times \widehat{V}_+^{(0)}(𝒯^{(1)},z_1,\sigma )\widehat{V}_+^{(0)}(𝒯^{(2)},z_2,\sigma )\widehat{V}_+(𝒯^{(1)},z_1,\sigma )\widehat{V}_+(𝒯^{(2)},z_2,\sigma )`$ (2.37c)
also hold for $`|z_1|>|z_2|`$, $`\sigma =0,\mathrm{}N_c1`$. The quantity $`\widehat{F}(𝒯,\sigma )`$ is defined in (2.20b).

### 2.5 Correlators of the twisted vertex operators

The ground state conditions in Eq. (2.11) imply the further conditions on the partial currents and the components of the twisted vertex operators

$$\widehat{J}_{n(r)\mu }^+(z)|0_\sigma =_\sigma 0|\widehat{J}_{n(r)\mu }^{}(z)=0$$
(2.38a)
$$\widehat{V}_+^{(0)}(𝒯,z,\sigma )|0_\sigma =\widehat{V}_+(𝒯,z,\sigma )|0_\sigma =|0_\sigma ,_\sigma 0|\widehat{V}_{}(𝒯,z,\sigma )={}_{\sigma }{}^{}0|$$
(2.38b)
and these conditions allow us to evaluate the correlators in sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$:

$`\widehat{A}_+(𝒯,z,\sigma )`$ $``$ $`\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N,\sigma )_\sigma ,\sigma =0,\mathrm{},N_c1`$ (2.39b)
$`=`$ $`C_+(𝒯,\sigma )\left({\displaystyle \underset{\rho }{}}z_\rho ^{𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\rho )}}\right)\left({\displaystyle \underset{\rho <\kappa }{}}z_{\rho \kappa }^{𝒯_{0\mu }^{(\kappa )}𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(\rho )}}\right)`$
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left\{𝒯_{n(r)\mu }^{(\kappa )}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r),\nu }^{(\rho )}(1\delta _{\overline{n}(r),0})I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },\mathrm{})\right\}`$
$$C_+(𝒯,\sigma )\widehat{G}_+(𝒯^{(1)},\sigma )\mathrm{}\widehat{G}_+(𝒯^{(N)},\sigma )_\sigma $$
(2.39c)
$$[\widehat{J}_{0\mu }(0),\widehat{G}_+(𝒯^{(1)},\sigma )\mathrm{}\widehat{G}_+(𝒯^{(N)},\sigma )]_\sigma =0C_+(𝒯,\sigma )\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)=0,\mu .$$
(2.39d)
Here we have used the residual symmetry generators $`\widehat{J}_{0\mu }(0)`$ to include the global Ward identities in (2.39d). Note that the global Ward identities can also be written as

$$\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)C_+(𝒯,\sigma )=0,\mu $$
(2.40)
because the twisted representation matrices commute with $`\widehat{g}_+`$. Similarly, the constant factor $`C_+(𝒯,\sigma )`$ can be moved to the right in (2.39b).

Another relation on the constant factor $`C_+(𝒯,\sigma )`$ follows from (2.34e)

$$[E(\{T\},\sigma ),\widehat{G}_+(𝒯^{(1)},\sigma )\mathrm{}\widehat{G}_+(𝒯^{(N)},\sigma )]=0[E(\{T\},\sigma ),C_+(𝒯,\sigma )]=0$$
(2.41a)
$$E(\{T\},\sigma )_{\rho =1}^NE(T^{(\rho )},\sigma )$$
(2.41b)
where the eigenvalue matrix $`E(T,\sigma )`$ is given in (2.33b).

We finally note that the orbifold correlators (2.39) satisfy the twisted KZ -like equations

$$_\kappa \widehat{A}_+(𝒯,z,\sigma )=\widehat{A}_+(𝒯,z,\sigma )\widehat{W}_\kappa (𝒯,z,\sigma ),\sigma =0,\mathrm{},N_c1$$
(2.42a)
$$\widehat{W}_\kappa (𝒯,z,\sigma )=𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\left[\underset{\rho \kappa }{}\left(\frac{z_\rho }{z_\kappa }\right)^{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}\frac{1}{z_{\kappa \rho }}𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}\frac{1}{z_\kappa }𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\kappa )}\right]$$
(2.42b)
$$𝒯^{(\rho )}𝒯^{(\kappa )}𝒯^{(\rho )}𝒯^{(\kappa )},z_{\kappa \rho }z_\kappa z_\rho ,\underset{\rho \kappa }{}\underset{\genfrac{}{}{0pt}{}{\rho =1}{\rho \kappa }}{\overset{N}{}}$$
(2.42c)
as they must because these equations follow directly from the twisted vertex operator equation (2.16a) and the ground state condition (2.11).

This completes our general discussion of the left-mover sectors of the abelian orbifolds $`A_{\mathrm{Cartan}g}(H)/H`$, and we turn in the following sections to specific examples in $`A_{\mathrm{Cartan}g}(H)/H`$. The right-mover sectors of $`A_{\mathrm{Cartan}g}(H)/H`$ are considered in Subsecs. 2.9 and 2.10.

### 2.6 Example: Abelian permutation orbifolds

In this subsection we study the abelian permutation orbifolds

$$\frac{A_{\mathrm{Cartan}g}(H)}{H},H(\text{permutation})\mathrm{Aut}(\mathrm{Cartan}g)$$
(2.43)
as a special case of our large example $`A_{\mathrm{Cartan}g}(H)/H`$. In the permutation-symmetric theory $`A_{\mathrm{Cartan}g}(H)`$, the permutations act among the copies $`\mathrm{Cartan}𝔤^I`$ of $`\mathrm{Cartan}𝔤`$

$$\mathrm{Cartan}g=_{I=0}^{K1}\mathrm{Cartan}𝔤^I,\mathrm{Cartan}𝔤^I\mathrm{Cartan}𝔤,KN$$
(2.44a)
$$H(\text{permutation})S_N,k_I=k,x_I=x,\eta _{a(I)b(I)}^I=\eta _{ab},T^IT$$
(2.44b)
$$[T_a,T_b]=0,a,b=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤)$$
(2.44c)
where $`T_a`$ are the Cartan matrices of $`\mathrm{Cartan}𝔤𝔤`$.

For the WZW permutation orbifolds it is conventional  to use the notation $`\mu =aj`$, $`a=1\mathrm{}\mathrm{dim}𝔤`$ for the degeneracy indices of the $`H`$-eigenvalue problem, and it is known  for the extended $`H`$-eigenvalue problem (2.15) that $`R(\sigma )=\rho (\sigma )`$ and $`N(r)=n(r)`$. For the abelian permutation orbifolds we know that $`𝔤\mathrm{Cartan}𝔤`$ so the corresponding relabelling for the abelian permutation orbifolds is

$$n(r)\mu n(r)aj,N(r)\mu n(r)\alpha j,a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),\alpha =1\mathrm{}\mathrm{dim}T$$
(2.45)
and then the explicit form of all the required duality transformations can be read off as the abelian limit of those given for the WZW permutation orbifolds in Ref. . It will be helpful here to introduce the further spectral index relabelling $`n(r)\widehat{j}`$

$$n(r)aj\widehat{j}aj,N(r)aj\widehat{j}\alpha j$$
(2.46a)
$$\frac{N(r)}{R(\sigma )}=\frac{n(r)}{\rho (\sigma )}=\frac{\widehat{j}}{f_j(\sigma )},\overline{\widehat{j}}=0,1,\mathrm{},f_j(\sigma )1,\underset{j}{}f_j(\sigma )=KN$$
(2.46b)
$$\sigma =0,\mathrm{},N_c1$$
(2.46c)
where the correspondence (2.46b), (2.46c) was also given in Ref. . In this notation, each element $`h_\sigma H(\text{permutation})`$ is expressed in terms of disjoint cycles $`j`$ of size and order $`f_j(\sigma )`$, and the hatted index $`\widehat{j}`$ runs inside the disjoint cycle $`j`$. The disjoint cycles are labelled periodically $`\widehat{j}\widehat{j}\pm f_j(\sigma )`$ so that $`\overline{\widehat{j}}`$ in (2.46b) is the pullback of $`\widehat{j}`$ to the fundamental range. As an example we recall  the data for $`H(\text{permutation})=S_N`$

$$K=N,f_j(\sigma )=\sigma _j,\sigma _{j+1}\sigma _j,j=0,\mathrm{},n(\stackrel{}{\sigma })1,\underset{j=0}{\overset{n(\stackrel{}{\sigma })1}{}}\sigma _j=N$$
(2.47)
and the data for $`H(\text{permutation})=_\lambda `$ is included in Subsec. 2.7.

Then we may read the following results directly from Ref. :

$$\widehat{J}_{n(r)aj}(z)\widehat{J}_{\widehat{j}aj}(z),\widehat{J}_{\widehat{j}aj}(ze^{2\pi i})=e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}\widehat{J}_{\widehat{j}aj}(z),\widehat{J}_{\widehat{j}\pm f_j(\sigma ),aj}(z)=\widehat{J}_{\widehat{j}aj}(z)$$
(2.48a)
$$\widehat{J}_{\widehat{j}aj}(z)=\underset{m}{}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)})z^{(m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}})1},\widehat{J}_{\widehat{j}\pm f_j(\sigma ),aj}(m+\frac{\widehat{j}\pm f_j\left(\sigma \right)}{f_j\left(\sigma \right)})=\widehat{J}_{\widehat{j}aj}(m\pm 1+\frac{\widehat{j}}{f_j\left(\sigma \right)})$$
(2.48b)
$$𝒢_{n(r)\mu ;n(s)\nu }(\sigma )𝒢_{\widehat{j}aj;\widehat{l}bl}=\widehat{k}_j(\sigma )\eta _{ab}\delta _{jl}\delta _{\widehat{j}+\widehat{l},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )},\widehat{k}_j(\sigma )=kf_j(\sigma )$$
(2.48c)
$$𝒢^{n(r)\mu ;n(s)\nu }(\sigma )𝒢^{\widehat{j}aj;\widehat{l}bl}(\sigma )=\frac{\eta ^{ab}}{\widehat{k}_j(\sigma )}\delta ^{jl}\delta _{\widehat{j}+\widehat{l},0\text{mod}f_j(\sigma )}$$
(2.48d)
$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}),\widehat{J}_{\widehat{l}bl}(n+\frac{\widehat{l}}{f_j\left(\sigma \right)})]=\delta _{jl}\widehat{k}_j(\sigma )\eta _{ab}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)})\delta _{m+n+{\scriptscriptstyle \frac{\widehat{j}+\widehat{l}}{f_j\left(\sigma \right)}},0}$$
(2.48e)
$$𝒯_{n(r)\mu }=T_at_{n(r)\mu }(\sigma )𝒯_{\widehat{j}aj}=T_at_{\widehat{j}j}(\sigma ),[𝒯_{\widehat{j}aj}(T,\sigma ),𝒯_{\widehat{l}bl}(T,\sigma )]=0$$
(2.48f)
$$[T_a,T_b]=0,t_{\widehat{j}j}(\sigma )t_{\widehat{l}l}(\sigma )=\delta _{jl}t_{\widehat{j}+\widehat{l},j}(\sigma ),t_{\widehat{j}\pm f_j(\sigma ),j}(\sigma )=t_{\widehat{j}j}(\sigma )$$
(2.48g)
$$t_{\widehat{j}j}(\sigma )_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=\delta _{jl}\delta _l^m\delta _{\widehat{j}+\widehat{l}\widehat{m},0\text{mod}f_j(\sigma )}$$
(2.48h)
$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}),\widehat{g}_+(𝒯,z,\sigma )]=\widehat{g}_+(𝒯,z,\sigma )T_at_{\widehat{j}j}(\sigma )z^{m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}$$
(2.48i)
$$[L_\sigma (m),\widehat{g}_+(𝒯,z,\sigma )]=z^m\left(z_z+\mathrm{\Delta }(𝒯)(m+1)\right)\widehat{g}_+(𝒯,z,\sigma ),\frac{(\eta ^{ab}T_aT_b)_\alpha ^\beta }{2k}=\mathrm{\Delta }(T)\delta _\alpha ^\beta $$
(2.48j)
$$a=1\mathrm{}\text{dim }(\mathrm{Cartan}𝔤),\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\overline{\widehat{l}}=0,\mathrm{},f_l(\sigma )1.$$
(2.48k)
Relative to Ref.  the only differences here are the abelian form of the twisted current algebra (2.48e) and the fact that the Cartan matrices $`T_a`$ of $`𝔤`$ commute. The quantity $`\mathrm{\Delta }(T)`$ in (2.48j) is the conformal weight of untwisted representation $`T`$ under untwisted $`\mathrm{Cartan}𝔤`$. Note that, as in the nonabelian case, $`j`$ and $`l`$ are semisimplicity indices for the twisted current algebra. See also App. A, which solves the $`H`$-eigenvalue problem for all permutation groups in this notation.

The spectral index relabelling helps to simplify many of the sums encountered in our general discussion above. For example, we obtain for the Virasoro operator and ground state conformal weight $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ of sector $`\sigma `$

$$^{n(r)aj;n(s),bl}(\sigma )^{\widehat{j}aj,\widehat{l}bl}(\sigma )=\frac{\eta ^{ab}\delta ^{jl}}{2\widehat{k}_j(\sigma )}\delta _{\widehat{j}+\widehat{l},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )}$$
(2.49a)
$$L_\sigma (m)=\frac{1}{2k}\underset{j}{}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\frac{1}{f_j(\sigma )}\underset{p}{}\eta ^{ab}:\widehat{J}_{\widehat{j}aj}(p+\frac{\widehat{j}}{f_j\left(\sigma \right)})\widehat{J}_{\widehat{j},bj}(mp\frac{\widehat{j}}{f_j\left(\sigma \right)}):_M+\delta _{m,0}\widehat{\mathrm{\Delta }}_0(\sigma )$$
(2.49b)
$$\widehat{c}(\sigma )=c=K\mathrm{dim}(\mathrm{Cartan}𝔤),\widehat{\mathrm{\Delta }}_0(\sigma )=\frac{\mathrm{dim}(\mathrm{Cartan}𝔤)}{24}\underset{j}{}\left(f_j(\sigma )\frac{1}{f_j(\sigma )}\right)$$
(2.49c)
where $`::_M`$ is mode normal ordering . Here we used $`\mu (r)=\mu =aj`$ and the identity

$$\underset{r,\mu (r)}{}\frac{\overline{n}(r)}{2\rho (\sigma )}\left(1\frac{\overline{n}(r)}{\rho (\sigma )}\right)=\mathrm{dim}(\mathrm{Cartan}𝔤)\underset{j}{}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\frac{\widehat{j}}{2f_j(\sigma )}\left(1\frac{\widehat{j}}{f_j(\sigma )}\right)$$
(2.50)
to obtain (2.49c) from (2.13c). The result (2.49c) is the abelian limit of the formula given for each sector of all WZW permutation orbifolds in Refs.  and .

Similarly, we find that the following identities

$$\underset{j}{}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\frac{1}{f_j(\sigma )}t_{0j}(\sigma )=\underset{j}{}t_{0j}(\sigma )=1\mathrm{l},(1\mathrm{l})_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\delta _j^l\delta _{\widehat{j}\widehat{l},0\text{mod}f_j(\sigma )}$$
(2.51a)
$$𝒢^{n(r)aj;n(r)bl}(\sigma )𝒯_{n(r)aj}𝒯_{n(r),bl}=2\mathrm{\Delta }(T)1\mathrm{l},𝒢^{0aj;0bl}(\sigma )𝒯_{0aj}𝒯_{0bl}=2\mathrm{\Delta }(T)\underset{j}{}\frac{1}{f_j(\sigma )}t_{0j}(\sigma )$$
(2.51b)
$$\underset{j}{}\frac{1}{f_j(\sigma )}t_{0j}(\sigma )_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=\frac{1}{f_l(\sigma )}(1\mathrm{l})_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=(1\mathrm{l})_{\widehat{l}l}{}_{}{}^{\widehat{m}m}\frac{1}{f_m(\sigma )}$$
(2.51c)
$`𝒢^{n(r)aj;n(r)bl}(\sigma )\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}𝒯_{n(r)aj}𝒯_{n(r),bl}`$ $`=`$ $`{\displaystyle \frac{1}{2}}𝒢^{n(r)aj;n(r)bl}(\sigma )𝒯_{n(r)aj}𝒯_{n(r),bl}(1\delta _{\overline{n}(r),0})`$ (2.51d)
$`=\mathrm{\Delta }(T)\left(1\mathrm{l}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}t_{0j}(\sigma )\right)`$
are useful in simplifying the general twisted vertex operators and correlators above. Closely related identities and simplifications are given for the nonabelian case in App. B. There we also include the spectral integer relabelling $`n(r)\widehat{j}`$ of the twisted KZ equations given in Ref.  for the WZW permutation orbifolds.

Then we obtain from Eq. (2.28) the explicit form of the twisted vertex operators in each sector $`\sigma `$ of the abelian permutation orbifolds

$`\widehat{g}_+(𝒯,z,\sigma )`$ $`=`$ $`z^{\mathrm{\Delta }(T)(1\mathrm{l}_j{\scriptscriptstyle \frac{t_{0j}\left(\sigma \right)}{f_j\left(\sigma \right)}})}\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )e^{iT_a_j\widehat{q}^{aj}(\sigma )t_{0j}(\sigma )}z^{{\scriptscriptstyle \frac{\eta ^{ab}T_b}{k}}_j\widehat{J}_{0aj}(0)t_{0j}(\sigma )/f_j(\sigma )}`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{k}}{\displaystyle \underset{j}{}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{m1}{}}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}})}}{m+\frac{\widehat{j}}{f_j\left(\sigma \right)}}}t_{\widehat{j},j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{k}}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{m1}{}}\widehat{J}_{0aj}(m){\displaystyle \frac{z^m}{m}}t_{0j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{k}}{\displaystyle \underset{j}{}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{m0}{}}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}})}}{m+\frac{\widehat{j}}{f_j\left(\sigma \right)}}}t_{\widehat{j},j}(\sigma )\right)`$
$$[\widehat{q}^{aj}(\sigma ),\widehat{J}_{\widehat{l}bl}(m+\frac{\widehat{l}}{f_l\left(\sigma \right)})]=i\delta _l^j\delta _b^a\delta _{m+{\scriptscriptstyle \frac{\widehat{l}}{f_l\left(\sigma \right)}},0},[\widehat{q}^{aj}(\sigma ),\widehat{q}^{bl}(\sigma )]=0$$
(2.52b)
$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}),\widehat{J}_{\widehat{l}bl}(n+\frac{\widehat{l}}{f_j\left(\sigma \right)})]=\delta _{jl}kf_j(\sigma )\eta _{ab}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)})\delta _{m+n+{\scriptscriptstyle \frac{\widehat{j}+\widehat{l}}{f_j\left(\sigma \right)}},0}$$
(2.52c)
$$a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),\overline{\widehat{j}}=0,\mathrm{}f_j(\sigma )1,\underset{j}{}f_j(\sigma )=KN$$
(2.52d)
$$\sigma =0,\mathrm{},N_c1.$$
(2.52e)
The commutator of the twisted current modes with the twisted vertex operators is given in Eq. (2.48e). The twisted vertex operators (2.52) can be written in a $`j`$-factorized form

$$\widehat{g}_+(𝒯,z,\sigma )=\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )\underset{j}{}\widehat{V}_j(𝒯,z,\sigma )$$
(2.53a)
$`\widehat{V}_j(𝒯,z,\sigma )`$ $``$ $`z^{\mathrm{\Delta }(T)(1{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}})t_{0j}(\sigma )}e^{iT_a\widehat{q}^{aj}(\sigma )t_{0j}(\sigma )}z^{{\scriptscriptstyle \frac{\eta ^{ab}T_b}{kf_j\left(\sigma \right)}}\widehat{J}_{0aj}(0)t_{0j}(\sigma )}`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{kf_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{m1}{}}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}})}}{m+\frac{\widehat{j}}{f_j\left(\sigma \right)}}}t_{\widehat{j},j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{kf_j(\sigma )}}{\displaystyle \underset{m1}{}}\widehat{J}_{0aj}(m){\displaystyle \frac{z^m}{m}}t_{0j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{kf_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{m0}{}}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}})}}{m+\frac{\widehat{j}}{f_j\left(\sigma \right)}}}t_{\widehat{j},j}(\sigma )\right)`$
$$[\widehat{V}_j(𝒯,z,\sigma ),\widehat{V}_l(𝒯,z,\sigma )]=0\mathrm{when}jl$$
(2.53c)
which reflects the semisimplicity of the abelian orbifold affine algebra (2.52c).

Using (2.37) and (2.51), we also give the explicit form of the operator product of these twisted vertex operators at $`\widehat{\mathrm{\Gamma }}=1`$

$`\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\widehat{g}_+(𝒯^{(2)},z_2,\sigma )`$ $`=`$ $`:\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\widehat{g}_+(𝒯^{(2)},z_2,\sigma ):_M`$
$`\times `$ $`z_{12}^{{\scriptscriptstyle \frac{T_a^{\left(2\right)}\eta _{ab}T_b^{\left(1\right)}}{k}}_j{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}}t_{0j}^{(2)}(\sigma )t_{0j}^{(1)}(\sigma )}`$
$`\times `$ $`\mathrm{exp}\left\{{\displaystyle \frac{T_a^{(2)}\eta _{ab}T_b^{(1)}}{k}}{\displaystyle \underset{j}{}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}{\displaystyle \frac{t_{\widehat{j}j}^{(2)}(\sigma )t_{\widehat{j},j}^{(1)}(\sigma )}{f_j(\sigma )}}I_{{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}(\frac{z_1}{z_2},\mathrm{})\right\}`$
where the integrals $`I_{\overline{n}(r)/\rho (\sigma )}`$ are defined in Eq. (2.36d). Similarly, we obtain the explicit form of the twisted left-mover correlators

$`\widehat{A}_+(𝒯,z,\sigma )`$ $`\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N,\sigma )_\sigma `$ (2.55b)
$`=C_+(𝒯,\sigma )\left({\displaystyle \underset{\rho }{}}z_\rho ^{\mathrm{\Delta }(T^{(\rho )})(1\mathrm{l}_j{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}}t_{0j}^{(\rho )}(\sigma ))}\right)\left({\displaystyle \underset{\rho <\kappa }{}}z_{\rho \kappa }^{{\scriptscriptstyle \frac{T_a^{\left(\kappa \right)}\eta ^{ab}T_b^{\left(\rho \right)}}{k}}_j{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}}t_{0j}^{(\kappa )}(\sigma )t_{0j}^{(\rho )}(\sigma )}\right)`$
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left\{{\displaystyle \frac{T_a^{(\kappa )}\eta ^{ab}T_b^{(\rho )}}{k}}{\displaystyle \underset{j}{}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}{\displaystyle \frac{1}{f_j(\sigma )}}t_{\widehat{j}j}^{(\kappa )}(\sigma )t_{\widehat{j},j}^{(\rho )}(\sigma )I_{{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },\mathrm{})\right\}`$
$`=`$ $`C_+(𝒯,\sigma ){\displaystyle \underset{j}{}}\{\left({\displaystyle \underset{\rho }{}}z_\rho ^{\mathrm{\Delta }(T^{(\rho )})(1{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}})t_{0j}^{(\rho )}(\sigma )}\right)\left({\displaystyle \underset{\rho <\kappa }{}}z_{\rho \kappa }^{{\scriptscriptstyle \frac{T_a^{\left(\kappa \right)}\eta ^{ab}T_b^{\left(\rho \right)}}{kf_j\left(\sigma \right)}}t_{0j}^{(\kappa )}(\sigma )t_{0j}^{(\rho )}(\sigma )}\right)`$
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left({\displaystyle \frac{T_a^{(\kappa )}\eta ^{ab}T_b^{(\rho )}}{kf_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}t_{\widehat{j}j}^{(\kappa )}(\sigma )t_{\widehat{j},j}^{(\rho )}(\sigma )I_{{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },\mathrm{})\right)\}`$
$$C_+(𝒯,\sigma )\left(\underset{\rho =1}{\overset{N}{}}T_a^{(\rho )}t_{0j}^{(\rho )}(\sigma )\right)=0,a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),j,\sigma =0,\mathrm{},N_c1$$
(2.55c)
as a special case of (2.39). The $`j`$-factorized form (2.55b) of the correlators again reflects the semisimplicity of the abelian orbifold affine algebra (2.52c).

### 2.7 Subexample: Abelian cyclic permutation orbifolds

We may be more explicit for the case $`H(\text{permutation})=_\lambda `$ by substitution of the data

$$K=\lambda ,f_j(\sigma )=\rho (\sigma ),\widehat{j}=\overline{r}=0,\mathrm{},\rho (\sigma )1,j=0,\mathrm{},\frac{\lambda }{\rho \left(\sigma \right)}1$$
(2.56a)
$$a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),\sigma =0,\mathrm{},\lambda 1$$
(2.56b)
into the more general results above. Here $`\rho (\sigma )`$ is the order of $`h_\sigma _\lambda `$, and we have also changed $`\widehat{j}r`$ in accord with the prior convention  for cyclic orbifolds. This gives the results for each sector $`\sigma `$ of the abelian cyclic permutation orbifolds $`A_{\mathrm{Cartan}g}(_\lambda )/_\lambda `$:

$$\widehat{J}_{raj}(ze^{2\pi i})=e^{2\pi i{\scriptscriptstyle \frac{r}{\rho \left(\sigma \right)}}}\widehat{J}_{raj}(z),\widehat{J}_{r\pm \rho (\sigma ),aj}(z)=\widehat{J}_{raj}(z)$$
(2.57a)
$$L_\sigma (m)=\frac{1}{2k\rho (\sigma )}\underset{j=0}{\overset{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}{}}\underset{r=0}{\overset{\rho (\sigma )1}{}}\underset{p}{}\eta ^{ab}:\widehat{J}_{raj}(p+\frac{r}{\rho \left(\sigma \right)})\widehat{J}_{r,bj}(mp\frac{r}{\rho \left(\sigma \right)}):_M+\delta _{m,0}\widehat{\mathrm{\Delta }}_0(\sigma )$$
(2.57b)
$$\widehat{c}(\sigma )=c=\lambda \mathrm{dim}(\mathrm{Cartan}𝔤),\widehat{\mathrm{\Delta }}_0(\sigma )=\frac{\lambda }{24}\mathrm{dim}(\mathrm{Cartan}𝔤)\left(1\frac{1}{\rho ^2(\sigma )}\right)$$
(2.57c)
$$𝒯_{raj}(T,\sigma )=T_at_{rj}(\sigma ),[𝒯_{raj}(T,\sigma ),𝒯_{sbl}(T,\sigma )]=0$$
(2.58a)
$$[T_a,T_b]=0,t_{r\pm \rho (\sigma ),j}(\sigma )=t_{rj}(\sigma ),t_{rj}(\sigma )_{sl}{}_{}{}^{tm}=\delta _{jl}\delta _l^m\delta _{r+st,0\text{mod}\rho (\sigma )}$$
(2.58b)
$`\widehat{g}_+(𝒯,z,\sigma )`$ $`=`$ $`z^{\mathrm{\Delta }(T){\scriptscriptstyle \frac{\rho \left(\sigma \right)1}{\rho \left(\sigma \right)}}}\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )e^{iT_a_{j=0}^{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}\widehat{q}^{aj}(\sigma )t_{0j}(\sigma )}z^{{\scriptscriptstyle \frac{\eta ^{ab}T_b}{\rho \left(\sigma \right)k}}_{j=0}^{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}\widehat{J}_{0aj}(0)t_{0j}(\sigma )}`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{\rho (\sigma )k}}{\displaystyle \underset{r=0}{\overset{\rho (\sigma )1}{}}}{\displaystyle \underset{j=0}{\overset{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}{}}}{\displaystyle \underset{m1}{}}\widehat{J}_{raj}(m+\frac{r}{\rho \left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{r}{\rho \left(\sigma \right)}})}}{m+\frac{r}{\rho \left(\sigma \right)}}}t_{r,j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{\rho (\sigma )k}}{\displaystyle \underset{j=0}{\overset{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}{}}}{\displaystyle \underset{m1}{}}\widehat{J}_{0aj}(m){\displaystyle \frac{z^m}{m}}t_{0j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{\rho (\sigma )k}}{\displaystyle \underset{r=1}{\overset{\rho (\sigma )1}{}}}{\displaystyle \underset{j=0}{\overset{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}{}}}{\displaystyle \underset{m0}{}}\widehat{J}_{raj}(m+\frac{r}{\rho \left(\sigma \right)}){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{r}{\rho \left(\sigma \right)}})}}{m+\frac{r}{\rho \left(\sigma \right)}}}t_{r,j}(\sigma )\right)`$
$$[\widehat{q}^{aj}(\sigma ),\widehat{J}_{rbl}(m+\frac{r}{\rho \left(\sigma \right)})]=i\delta _l^j\delta _b^a\delta _{m+{\scriptscriptstyle \frac{r}{\rho \left(\sigma \right)}},0},[\widehat{q}^{aj}(\sigma ),\widehat{q}^{bl}(\sigma )]=0$$
(2.58d)
$$[\widehat{J}_{raj}(m+\frac{r}{\rho \left(\sigma \right)}),\widehat{J}_{sbl}(n+\frac{s}{\rho \left(\sigma \right)})]=\delta _{jl}k\rho (\sigma )\eta _{ab}(m+\frac{r}{\rho \left(\sigma \right)})\delta _{m+n+{\scriptscriptstyle \frac{r+s}{\rho \left(\sigma \right)}},0}$$
(2.58e)
$$\widehat{J}_{r\pm \rho (\sigma ),aj}(m+\frac{r\pm \rho \left(\sigma \right)}{\rho \left(\sigma \right)})=\widehat{J}_{raj}(m\pm 1+\frac{r}{\rho \left(\sigma \right)})$$
(2.58f)
$`\widehat{g}_+(𝒯^{(1)},z_1,\sigma )`$ $`\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N,\sigma )_\sigma `$ (2.59a)
$`=C_+(𝒯,\sigma )\left({\displaystyle \underset{\rho }{}}z_\rho ^{{\scriptscriptstyle \frac{\rho \left(\sigma \right)1}{\rho \left(\sigma \right)}}\mathrm{\Delta }(T^{(\rho )})}\right)\left({\displaystyle \underset{\rho <\kappa }{}}z_{\rho \kappa }^{{\scriptscriptstyle \frac{T_a^{\left(\kappa \right)}\eta ^{ab}T_b^{\left(\rho \right)}}{\rho \left(\sigma \right)k}}_{j=0}^{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}t_{0j}^{(\kappa )}(\sigma )t_{0j}^{(\rho )}(\sigma )}\right)`$
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left\{{\displaystyle \frac{T_a^{(\kappa )}\eta ^{ab}T_b^{(\rho )}}{\rho (\sigma )k}}{\displaystyle \underset{r=1}{\overset{\rho (\sigma )1}{}}}{\displaystyle \underset{j=0}{\overset{{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}1}{}}}t_{rj}^{(\kappa )}(\sigma )t_{r,j}^{(\rho )}(\sigma )I_{{\scriptscriptstyle \frac{r}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },\mathrm{})\right\}`$
$$C_+(𝒯,\sigma )\left(\underset{\rho =1}{\overset{N}{}}T_a^{(\rho )}t_{0j}^{(\rho )}(\sigma )\right)=0,a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),j=0,\mathrm{}\frac{\lambda }{\rho (\sigma )}1.$$
(2.59b)
The $`j`$-factorized forms (see Eqs. (2.53) and (2.55b)) of these twisted vertex operators and correlators are also easily obtained.

When $`\lambda `$=prime, these results simplify in the twisted sectors because

$$\rho (\sigma )=\lambda =\text{prime},\overline{r},\overline{s}=0,\mathrm{},\lambda 1,j,l=0,\sigma =1,\mathrm{},\lambda 1.$$
(2.60)
In this case it is conventional to suppress the degeneracy indices $`j,l=0`$, and we obtain:

$$\widehat{J}_{ra}\widehat{J}_{ra0},𝒯_{ra0}𝒯_{ra}=T_at_r,t_rt_r(\sigma )$$
(2.61a)
$$\widehat{J}_{ra}(ze^{2\pi i})=e^{2\pi i{\scriptscriptstyle \frac{r}{\lambda }}}\widehat{J}_{ra}(z),\widehat{J}_{r\pm \lambda ,a}(z)=\widehat{J}_{ra}(z)$$
(2.61b)
$$[\widehat{J}_{ra}(m+\frac{r}{\lambda }),\widehat{J}_{sb}(n+\frac{s}{\lambda })]=k\lambda \eta _{ab}(m+\frac{r}{\lambda })\delta _{m+n+{\scriptscriptstyle \frac{r+s}{\lambda }},0},\widehat{J}_{r\pm \lambda ,a}(m+\frac{r\pm \lambda }{\lambda })=\widehat{J}_{ra}(m\pm 1+\frac{r}{\lambda })$$
(2.61c)
$$L_\sigma (m)=\frac{1}{2k\lambda }\underset{r=0}{\overset{\lambda 1}{}}\underset{p}{}\eta ^{ab}:\widehat{J}_{ra}(p+\frac{r}{\lambda })\widehat{J}_{r,b}(mp\frac{r}{\lambda }):_M+\delta _{m,0}\widehat{\mathrm{\Delta }}_0(\sigma )$$
(2.61d)
$$\widehat{\mathrm{\Delta }}_0(\sigma )=\frac{1}{24}\mathrm{dim}(\mathrm{Cartan}𝔤)\left(\lambda \frac{1}{\lambda }\right)$$
(2.61e)
$$[\widehat{J}_{ra}(m+\frac{r}{\lambda }),\widehat{g}_+(𝒯,z,\sigma )]=\widehat{g}_+(𝒯,z,\sigma )T_at_rz^{m+{\scriptscriptstyle \frac{r}{\lambda }}}$$
(2.61f)
$$t_rt_s=t_{r+s},t_{r\pm \lambda }=t_r,(t_r)_s{}_{}{}^{t}=\delta _{r+st,\mathrm{\hspace{0.17em}0}\text{mod}\lambda },t_0=1\mathrm{l}.$$
(2.61g)
$$a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),\overline{r},\overline{s}=0,\mathrm{},\lambda 1,\sigma =1,\mathrm{},\lambda 1.$$
(2.61h)
Note that these relations are independent of $`\sigma `$. This extends a well-known fact  about $`\lambda `$=prime cyclic permutation orbifolds - abelian or nonabelian - that their twisted current-algebraic formulation is independent of $`\sigma `$ in the twisted sectors.

Indeed, defining $`\widehat{q}\widehat{q}(\sigma )`$ and taking a $`\sigma `$-independent Klein transformation $`\widehat{\mathrm{\Gamma }}`$ we find the $`\sigma `$-independent twisted vertex operators and correlators

$`\widehat{g}_+(𝒯,z,\sigma )`$ $`=`$ $`z^{\mathrm{\Delta }(T){\scriptscriptstyle \frac{\lambda 1}{\lambda }}}\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0))e^{i\widehat{q}^aT_a}z^{{\scriptscriptstyle \frac{\eta ^{ab}T_b}{\lambda k}}\widehat{J}_{0a}(0)}`$ (2.62a)
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{\lambda k}}{\displaystyle \underset{r=0}{\overset{\lambda 1}{}}}{\displaystyle \underset{m1}{}}\widehat{J}_{ra}(m+\frac{r}{\lambda }){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{r}{\lambda }})}}{m+\frac{r}{\lambda }}}t_r\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{\lambda k}}{\displaystyle \underset{m1}{}}\widehat{J}_{0a}(m){\displaystyle \frac{z^m}{m}}\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{\lambda k}}{\displaystyle \underset{r=1}{\overset{\lambda 1}{}}}{\displaystyle \underset{m0}{}}\widehat{J}_{ra}(m+\frac{r}{\lambda }){\displaystyle \frac{z^{(m+{\scriptscriptstyle \frac{r}{\lambda }})}}{m+\frac{r}{\lambda }}}t_r\right)`$
$$[\widehat{q}^a,\widehat{J}_{rb}(m+\frac{r}{\lambda })]=i\delta _b^a\delta _{m+{\scriptscriptstyle \frac{r}{\lambda }},0},[\widehat{q}^a,\widehat{q}^b]=0,,\sigma =1,\mathrm{},\lambda 1$$
(2.62b)
$`\widehat{g}_+(𝒯^{(1)},z_1,\sigma )`$ $`\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N,\sigma )_\sigma `$ (2.63a)
$`=C_+(𝒯)\left({\displaystyle \underset{\rho }{}}z_\rho ^{{\scriptscriptstyle \frac{\lambda 1}{\lambda }}\mathrm{\Delta }(T^{(\rho )})}\right)\left({\displaystyle \underset{\rho <\kappa }{}}z_{\rho \kappa }^{{\scriptscriptstyle \frac{T_a^{\left(\kappa \right)}\eta ^{ab}T_b^{\left(\rho \right)}}{\lambda k}}}\right)`$
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left\{{\displaystyle \frac{T_a^{(\kappa )}\eta ^{ab}T_b^{(\rho )}}{\lambda k}}{\displaystyle \underset{r=1}{\overset{\lambda 1}{}}}t_r^{(\kappa )}t_r^{(\rho )}I_{{\scriptscriptstyle \frac{r}{\lambda }}}(\frac{z_\rho }{z_\kappa },\mathrm{})\right\}`$
$$C_+(𝒯)\left(\underset{\rho =1}{\overset{N}{}}T_a^{(\rho )}\right)=0,a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),\sigma =1,\mathrm{},\lambda 1$$
(2.63b)
in each twisted sector of these orbifolds.

Finally for the special case $`H(\text{permutation})=_2`$ we find for the single twisted sector $`\sigma =1`$

$$\widehat{J}_{0a}(ze^{2\pi i})=\widehat{J}_{0a}(z),\widehat{J}_{1a}(ze^{2\pi i})=\widehat{J}_{1a}(z),\widehat{\mathrm{\Delta }}_0=\frac{1}{16}\mathrm{dim}(\mathrm{Cartan}𝔤)$$
(2.64a)
$`\widehat{g}_+(𝒯^{(1)},z_1)\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N)`$ $`=`$ $`C_+(𝒯)\left({\displaystyle \underset{\rho }{}}z_\rho ^{{\scriptscriptstyle \frac{1}{2}}\mathrm{\Delta }(T^{(\rho )})}\right)\left({\displaystyle \underset{\rho <\kappa }{}}z_{\rho \kappa }^{\frac{1}{2k}T_a^{(\kappa )}\eta ^{ab}T_b^{(\rho )}}\right)`$ (2.64b)
$`\times {\displaystyle \underset{\rho <\kappa }{}}\left({\displaystyle \frac{\sqrt{z_\rho }\sqrt{z_\kappa }}{\sqrt{z_\rho }+\sqrt{z_\kappa }}}\right)^{{\scriptscriptstyle \frac{T_a^{\left(\kappa \right)}\eta ^{ab}T_b^{\left(\rho \right)}}{2k}}t_1^{(\kappa )}t_1^{(\rho )}}`$
$$C_+(𝒯)\left(\underset{\rho =1}{\overset{N}{}}T_a^{(\rho )}\right)=0,a=1\mathrm{}\mathrm{dim}(\mathrm{Cartan}𝔤),t_1^{(\kappa )}=t_1^{(\kappa )}=\tau _1^{(\kappa )}$$
(2.64c)
where $`\tau _1`$ is the first Pauli matrix. Here we used the identities

$$I_{{\scriptscriptstyle \frac{1}{2}}}(y,\mathrm{})=_{\mathrm{}}^y\frac{dx}{x1}x^{{\scriptscriptstyle \frac{1}{2}}}=\underset{n=0}{\overset{\mathrm{}}{}}\frac{1}{n+\frac{1}{2}}y^{(n+{\scriptscriptstyle \frac{1}{2}})},e^{I_{{\scriptscriptstyle \frac{1}{2}}}(y,\mathrm{})}=\frac{\sqrt{y}1}{\sqrt{y}+1}$$
(2.65)
given in Ref. .

### 2.8 Example: The inversion orbifold $`A_{\mathrm{Cartan}𝔰𝔲(2)}(_2)/_2`$

The orbifold we consider here is a version of the outer-automorphic inversion orbifold

$$\frac{𝔲(1)}{_2}:J(z)^{}=J(z),\sigma =1.$$
(2.66)
In particular, we study the realization of this orbifold obtained by embedding the $`𝔲(1)`$ in an ambient $`𝔰𝔲(2)`$

$$\frac{A_{\mathrm{Cartan}𝔰𝔲(2)}(_2)}{_2}:J_3(z)^{}=J_3(z),\sigma =1$$
(2.67)
which is a simple example in our class of abelian orbifolds. Note in particular that this embedding promotes the outer automorphism $`J(z)^{}=J(z)`$ of the abelian current algebra into an inner automorphism of the ambient $`𝔰𝔲(2)`$ current algebra.

In this case the $`c=1`$ stress tensor and untwisted currents of the symmetric CFT are

$$T(z)=\frac{1}{2k}:J_3(z)J_3(z):,J_3(z)J_3(w)=\frac{k}{(zw)^2}+𝒪(zw)^0$$
(2.68)
where $`k`$ is the level of the ambient affine $`𝔰𝔲(2)`$. The solution to the $`H`$-eigenvalue problem in the twisted sector is very simple

$$\omega U^{}=U^{}E:E=\omega =1,\rho =2,\overline{n}(r)=\overline{n(r)}=1,U^{}=1$$
(2.69)
and, choosing the normalization $`\chi =1`$, we obtain the simple duality transformations

$$𝒢_{1,1}=k,𝒢^{1,1}=\frac{1}{k},_{1,1}=\frac{1}{2k}.$$
(2.70)
Then the twisted sector of the orbifold is described by the $`\widehat{c}=1`$ stress tensor and twisted currents

$$\widehat{T}(z)=\frac{1}{2k}:\widehat{J}_1(z)\widehat{J}_1(z):,\widehat{J}_1(ze^{2\pi i})=\widehat{J}_1(z),\widehat{J}_{1\pm 2}(z)=\widehat{J}_1(z)$$
(2.71a)
$$\widehat{J}_1(z)=\underset{m}{}\widehat{J}_1(m+\frac{1}{2})z^{(m+\frac{1}{2})1},\widehat{J}_{1\pm 2}(m+\frac{1\pm 2}{2})=\widehat{J}_1(m\pm 1+\frac{1}{2})$$
(2.71b)
$$L(m)=\frac{1}{2k}\underset{p}{}:\widehat{J}_1(p+\frac{1}{2})\widehat{J}_1(mp\frac{1}{2}):_M+\delta _{m,0}\frac{1}{16}$$
(2.71c)
$$[\widehat{J}_1(m+\frac{1}{2}),\widehat{J}_1(n+\frac{1}{2})]=k(m+\frac{1}{2})\delta _{m+n+1,0},\widehat{J}_1(m+\frac{1}{2})^{}=\widehat{J}_1(m\frac{1}{2})=\widehat{J}_1(m1+\frac{1}{2})$$
(2.71d)
$$\widehat{J}_1((m+\frac{1}{2})0)|0=0|\widehat{J}_1((m+\frac{1}{2})0)=0,(L(m0)\delta _{m,0}\frac{1}{16})|0=0.$$
(2.71e)
as a special case of (2.12). This much is standard  for any version of the inversion orbifold $`𝔲(1)/_2`$.

In current-algebraic orbifold theory, the representation theory of the orbifold begins by finding the action $`W(h_\sigma ;T)`$ of $`h_\sigma H`$ in representation $`T`$, which solves the linkage relation

$$W^{}(h_\sigma ;T)T_aW(h_\sigma ;T)=w(h_\sigma )_a{}_{}{}^{b}T_{b}^{},\omega (h_\sigma ),W(h_\sigma ;T)H$$
(2.72)
given the action $`\omega (h_\sigma )`$ of $`h_\sigma H`$ in the adjoint (see Eq. (2.4)). For our realization $`A_{\mathrm{Cartan}𝔰𝔲(2)}(_2)/_2`$ of the inversion orbifold, we introduce the weight basis of the ambient $`𝔰𝔲(2)`$

$$[T_A,T_B]=iϵ_{ABC}T_C,,A=1,2,3,ϵ_{123}=1$$
(2.73a)
$$(T_A)_m^{}{}_{}{}^{m}=jm^{}|J_A(0)|jm,(T_3)_m^{}{}_{}{}^{m}=m\delta _m^{}^m,|m^{}|,|m|j,j=0,\frac{1}{2},1,\mathrm{}$$
(2.73b)
where we have chosen root length $`\alpha ^2=1`$. Then the linkage relation and its solution for any spin $`j`$ are

$$W^{}(T)T_3W(T)=T_3,W^{}(T)W(T)=1\mathrm{l}$$
(2.74a)
$$W(T)=e^{i\pi T_2},R(T)=R(j)=\{\begin{array}{cc}2\hfill & \text{for integer}j\hfill \\ 4\hfill & \text{for half integer}j\hfill \end{array}$$
(2.74b)
where $`R(T)`$ is the order of $`W(T)`$. Note that $`W(T)SU(2)`$, which reflects our promotion of the outer automorphism (2.66) to an inner automorphism of the ambient $`𝔰𝔲(2)`$. The affine cutoff is $`jx/2`$, $`x=2k`$ in this case.

The next step is to solve the extended $`H`$-eigenvalue problem (2.15) for representation $`T`$. In this case, the extended $`H`$-eigenvalue problem and its solution are

$$\underset{n^{}=j}{\overset{j}{}}W(T)_n{}_{}{}^{n^{}}U_{}^{}(T)_n^{}{}_{}{}^{m}=U^{}(T)_n{}_{}{}^{m}E_{m}^{}(T),|n|,|m|j$$
(2.75a)
$$U^{}(T)=e^{i{\scriptscriptstyle \frac{\pi }{2}}T_1},E_m(T)=e^{i\pi m}=e^{2\pi i{\scriptscriptstyle \frac{N\left(r\right)}{R\left(T\right)}}},N(r)=2mR(T)$$
(2.75b)
where $`U^{}(T)`$ is again in $`SU(2)`$. Then we may use (2.14e) to obtain the twisted representation matrices $`𝒯`$ in the twisted sector

$$\widehat{J}_1(z)\widehat{g}_+(𝒯,w)=\frac{\widehat{g}_+(𝒯,w)}{zw}𝒯(T)+𝒪(zw)^0$$
(2.76a)
$$𝒯(T)𝒯_{\pm 1}(T)=U(T)T_3U^{}(T)=T_2,E(T)_m^{}{}_{}{}^{m}=\delta _m^{}^me^{i\pi m}$$
(2.76b)
$$𝒯(T)=E(T)𝒯(T)E^{}(T)(T_2)_m^{}{}_{}{}^{m}(1+e^{i\pi (m^{}m)})=0$$
(2.76c)
where the $`𝒯`$-selection rule in (2.76c) is self-evident because $`(T_2)_m^{}^m`$ satisfies $`|\mathrm{\Delta }m|=1`$.

Using this data, the twisted vertex operator equation and its solution, the twisted vertex operators

$$\widehat{g}_+(𝒯,z)=\frac{𝒯}{k}:\widehat{J}_1(z)\widehat{g}_+(𝒯,z):_M\frac{𝒯^2}{2kz}\widehat{g}_+(𝒯,z),𝒯𝒯(T)=T_2$$
(2.77a)
$$\widehat{g}_+(𝒯,z)=z^{{\scriptscriptstyle \frac{𝒯^2}{2k}}}\mathrm{exp}\left(\frac{𝒯}{k}\underset{m1}{}\widehat{J}_1(m+\frac{1}{2})\frac{z^{(m+{\scriptscriptstyle \frac{1}{2}})}}{m+\frac{1}{2}}\right)\mathrm{exp}\left(\frac{𝒯}{k}\underset{m0}{}\widehat{J}_1(m+\frac{1}{2})\frac{z^{(m+{\scriptscriptstyle \frac{1}{2}})}}{m+\frac{1}{2}}\right)$$
(2.77b)
$$[\widehat{J}_1(m+\frac{1}{2}),\widehat{g}_+(𝒯,z)]=\widehat{g}_+(𝒯,z)𝒯z^{m+{\scriptscriptstyle \frac{1}{2}}},[L(m),\widehat{g}_+(𝒯,z)]=z^m\left(z_z+\frac{𝒯^2}{2k}(m+1)\right)\widehat{g}_+(𝒯,z)$$
(2.77c)
$$\widehat{g}_+(𝒯^{(1)},z_1)\widehat{g}_+(𝒯^{(2)},z_2)=:\widehat{g}_+(𝒯^{(1)},z_1)\widehat{g}_+(𝒯^{(2)},z_2):_M\left(\frac{\sqrt{z_1}\sqrt{z_2}}{\sqrt{z_1}+\sqrt{z_2}}\right)^{{\scriptscriptstyle \frac{𝒯^{\left(2\right)}𝒯^{\left(1\right)}}{k}}}$$
(2.77d)
can be read off (ignore all structure with zero twist class $`\overline{n}(r)=0`$) from Eq. (2.16a), the general results of Subsecs. 2.3, 2.4 and the identity (2.65).

Similarly, the correlators of the twisted vertex operators

$$\widehat{g}_+(𝒯^{(1)},z_1)\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N)=\left(\underset{\rho }{}z_\rho ^{{\scriptscriptstyle \frac{1}{2k}}𝒯^{(\rho )}𝒯^{(\rho )}}\right)\underset{\rho <\kappa }{}\left(\frac{\sqrt{z_\rho }\sqrt{z_\kappa }}{\sqrt{z_\rho }+\sqrt{z_\kappa }}\right)^{{\scriptscriptstyle \frac{𝒯^{\left(\kappa \right)}𝒯^{\left(\rho \right)}}{k}}}$$
(2.78)
are easily read from the data and Eq. (2.39). The absence of a global Ward identity is another consequence of the absence of zero twist class in the inversion orbifold.

### 2.9 The twisted right-mover sectors of $`A_{\mathrm{Cartan}g}(H)/H`$

We turn now to the twisted right-mover sectors of our class $`A_{\mathrm{Cartan}g}(H)/H`$ of abelian orbifolds, whose description may be read off as the abelian limit of the right-mover sectors of the general WZW orbifold in Ref. .

One finds in Ref.  that the twisted right-mover currents

$$\widehat{\overline{J}}_{n(r)\mu }(\overline{z}e^{2\pi i},\sigma )=e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}\widehat{\overline{J}}_{n(r)\mu }(\overline{z},\sigma ),\widehat{\overline{J}}_{n(r)\mu }(\overline{z},\sigma )=\underset{m}{}\widehat{\overline{J}}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\overline{z}^{(m+{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}})1}$$
(2.79a)
$$\widehat{\overline{J}}_{n(r)\pm \rho (\sigma ),\mu }(\overline{z},\sigma )=\widehat{\overline{J}}_{n(r)\mu }(\overline{z},\sigma ),\widehat{\overline{J}}_{n(r)\pm \rho (\sigma ),\mu }(m+\frac{n\left(r\right)\pm \rho \left(\sigma \right)}{\rho \left(\sigma \right)})=\widehat{\overline{J}}_{n(r)\mu }(m\pm 1+\frac{n\left(r\right)}{\rho \left(\sigma \right)})$$
(2.79b)
have the same monodromies as the twisted left-mover currents when the same path is followed. Moreover, the twisted right-mover Virasoro operators, twisted right-mover current algebra and ground state conformal weights are easily read from Ref.

$`\overline{L}_\sigma (m)={\displaystyle \frac{1}{2}}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )`$ $`\{{\displaystyle \underset{p}{}}:\widehat{\overline{J}}_{n(r)\mu }(p+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\widehat{\overline{J}}_{n(r),\nu }(mp\frac{n\left(r\right)}{\rho \left(\sigma \right)}):_{\overline{M}}`$ (2.80a)
$`+\delta _{m,0}{\displaystyle \frac{\overline{n(r)}}{2\rho (\sigma )}}(1{\displaystyle \frac{\overline{n(r)}}{\rho (\sigma )}})𝒢_{n(r)\mu ;n(r),\nu }(\sigma )\}`$
$$[\widehat{\overline{J}}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{\overline{J}}_{n(s)\nu }(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\delta _{m+n+\frac{n(r)+n(s)}{\rho (\sigma )},0}𝒢_{n(r)\mu ;n(r),\nu }(\sigma )$$
(2.80b)
$$\widehat{\overline{J}}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}0)|0_\sigma =_\sigma 0|\widehat{\overline{J}}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}0)=0$$
(2.80c)
$$(\overline{L}_\sigma (m0)\delta _{m,0}\widehat{\overline{\mathrm{\Delta }}}_0(\sigma )|0_\sigma =0,\widehat{\overline{\mathrm{\Delta }}}_0(\sigma )=\widehat{\mathrm{\Delta }}_0(\sigma )$$
(2.80d)
where $`\overline{M}`$ normal ordering is defined in that reference and $`\overline{n(r)}`$ and $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ are given respectively in (2.32c) and (2.13c). The central charge is $`\overline{\widehat{c}}(\sigma )=\widehat{c}(\sigma )=c`$. Similarly, the setup for the twisted right-mover vertex operators $`\widehat{g}_{}(𝒯,\overline{z},\sigma )`$

$$[\widehat{\overline{J}}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{g}_{}(𝒯,\overline{z},\sigma )]=\overline{z}^{(m+{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}})}𝒯_{n(r)\mu }\widehat{g}_{}(𝒯,\overline{z},\sigma )$$
(2.81a)
$$[L_\sigma (m),\widehat{g}_{}(𝒯,\overline{z},\sigma )]=\overline{z}^m\left(\overline{z}_{\overline{z}}+𝒟(𝒯,\sigma )(m+1)\right)\widehat{g}_{}(𝒯,\overline{z},\sigma )$$
(2.81b)
$$\overline{}\widehat{g}_{}(𝒯,\overline{z},\sigma )=𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r),\nu }(:\widehat{\overline{J}}_{n(r)\mu }(z)\widehat{g}_{}(𝒯,\overline{z},\sigma ):_{\overline{M}}+\frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)}\frac{1}{\overline{z}}𝒯_{n(r)\mu }\widehat{g}_{}(𝒯,\overline{z},\sigma ))$$
(2.81c)
$$:\widehat{\overline{J}}_{n(r)\mu }(\overline{z})\widehat{g}_{}(𝒯,\overline{z},\sigma ):_{\overline{M}}=\widehat{\overline{J}}_{n(r)\mu }^+(\overline{z})\widehat{g}_{}(𝒯,\overline{z},\sigma )+\widehat{g}_{}(𝒯,\overline{z},\sigma )\widehat{\overline{J}}_{n(r)\mu }^{}(\overline{z})$$
(2.81d)
$$\widehat{\overline{J}}_{n(r)\mu }^+(\overline{z})\underset{m>0}{}\widehat{\overline{J}}_{n(r)\mu }(m\frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)})\overline{z}^{(m{\scriptscriptstyle \frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)}})1}$$
(2.81e)
$$\widehat{\overline{J}}_{n(r)\mu }^{}(\overline{z})\underset{m0}{}\widehat{\overline{J}}_{n(r)\mu }(m\frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)})\overline{z}^{(m{\scriptscriptstyle \frac{\overline{n\left(r\right)}}{\rho \left(\sigma \right)}})1}$$
(2.81f)
is easily read from Ref. . The twisted representation matrices $`𝒯(T,\sigma )`$ and the twisted conformal weight matrix $`𝒟(𝒯,\sigma )`$ are given in (2.14). Again, we assume that the twisted right-mover vertex operators $`\widehat{g}_{}(𝒯,\overline{z},\sigma )`$ are square matrices which commute with the twisted representation matrices $`𝒯=𝒯(T,\sigma )`$.

Note the minus sign on the right side of the twisted right-mover current algebra (2.80b). This sign change (relative to the twisted left-mover current algebra (2.7d)) is a universal phenomenon  in the right-mover sectors of all current-algebraic orbifolds. It is known for permutation orbifolds (and we will check below for the inversion orbifold) that the twisted right-mover current algebra is rectifiable  to a copy of the twisted left-mover current algebra (see also Subsec 3.5). More generally, it is known  for all current-algebraic orbifolds that the twisted right-mover current algebra of sector $`\sigma h_\sigma `$ is isomorphic to the twisted left-mover current algebra of sector $`h_\sigma ^1`$. Here we exploit this isomorphism to solve the twisted right-mover vertex operator equation (2.81c).

Following Ref. , we first define the mode-number reversed right-mover currents

$$\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\widehat{\overline{J}}_{n(r),\mu }(m\frac{n\left(r\right)}{\rho \left(\sigma \right)})$$
(2.82a)
$$[\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{\overline{J}}_{n(s)\nu }^\mathrm{R}(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})\delta _{m+n+\frac{n(r)+n(s)}{\rho (\sigma )},\mathrm{\hspace{0.17em}0}}\stackrel{~}{𝒢}_{n(r),\mu ;n(r),\nu }(\sigma ).$$
(2.82b)
Here $`\stackrel{~}{𝒢}(\sigma )`$ is the twisted metric of sector $`h_\sigma ^1`$, which satisfies

$$\stackrel{~}{𝒢}_{n(r)\mu ;n(s)\nu }(\sigma )𝒢_{n(r),\mu ;n(s),\nu }(\sigma )\delta _{n(r)+n(s),0\text{mod}\rho (\sigma )},\stackrel{~}{𝒢}_{n(r)\mu ;n(r),\nu }(\sigma )=𝒢_{n(r)\nu ;n(r),\mu }(\sigma ).$$
(2.83)
We will also need the inverse of $`\stackrel{~}{𝒢}(\sigma )`$ which satisfies

$$\stackrel{~}{𝒢}_{n(r)\mu ;n(t)\delta }(\sigma )\stackrel{~}{𝒢}^{n(t)\delta ;n(s)\nu }(\sigma )=\delta _{n(r)\mu }{}_{}{}^{n(s)\nu },\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma )=𝒢^{n(r)\nu ;n(r),\mu }(\sigma )$$
(2.84a)
$$\underset{\delta }{}\stackrel{~}{𝒢}_{n(r)\mu ;n(r)\delta }(\sigma )\stackrel{~}{𝒢}^{n(r)\delta ;n(r)\nu }(\sigma )=\delta _\mu {}_{}{}^{\nu }.$$
(2.84b)
When the twisted right-mover current algebra is rectifiable one finds that $`\stackrel{~}{𝒢}(\sigma )=𝒢(\sigma )`$, but we will not need this fact here

We can also extend this isomorphism to the twisted representation matrices:

$$[\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}),\widehat{g}_{}(𝒯,\overline{z},\sigma )]=\overline{z}^{m+{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}\stackrel{~}{𝒯}_{n(r)\mu }\widehat{g}_{}(𝒯,\overline{z},\sigma ),\stackrel{~}{𝒯}_{n(r)\mu }(\sigma )𝒯_{n(r),\mu }(\sigma )$$
(2.85)
by rewriting Eq. (2.81a) in terms of $`\widehat{\overline{J}}^\mathrm{R}`$ and the matrices $`\stackrel{~}{𝒯}`$. This relation is isomorphic to the analogous left-mover result (2.24a) because $`\stackrel{~}{𝒯}`$ commutes with $`\widehat{g}_{}`$.

Finally, the twisted right-mover vertex operator equation takes the form

$$\overline{}\widehat{g}_{}(𝒯,\overline{z},\sigma )=\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma )\stackrel{~}{𝒯}_{n(r),\nu }(:\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(z)\widehat{g}_{}(𝒯,\overline{z},\sigma ):_M\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}\frac{1}{\overline{z}}\stackrel{~}{𝒯}_{n(r)\mu }\widehat{g}_{}(𝒯,\overline{z},\sigma ))$$
(2.86a)
$$:\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(\overline{z})\widehat{g}_{}(𝒯,\overline{z},\sigma ):_M=\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(\overline{z})\widehat{g}_{}(𝒯,\overline{z},\sigma )+\widehat{g}_{}(𝒯,\overline{z},\sigma )\widehat{\overline{J}}_{n(r)\mu }^{\mathrm{R}+}(\overline{z})$$
(2.86b)
$$\widehat{\overline{J}}_{n(r)\mu }^\mathrm{R}(\overline{z})\widehat{\overline{J}}_{n(r)\mu }^+(\overline{z})=\underset{m1}{}\widehat{\overline{J}}_{\overline{n}(r)\mu }^\mathrm{R}(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\overline{z}^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})1}$$
(2.86c)
$$\widehat{\overline{J}}_{n(r)\mu }^{\mathrm{R}+}(\overline{z})\widehat{\overline{J}}_{n(r)\mu }^{}(\overline{z})=\underset{m0}{}\widehat{\overline{J}}_{\overline{n}(r)\mu }^\mathrm{R}(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\overline{z}^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})1}$$
(2.86d)
where we have changed variable $`n(r)n(r)`$ to obtain (2.86a) from (2.81c).

This completes the isomorphism with Eq. (2.16) and allows us to read off the twisted right-mover vertex operators of $`A_{\mathrm{Cartan}g}(H)/H`$ on inspection from the left-mover results

$$z\overline{z},𝒯\stackrel{~}{𝒯},\widehat{J}\widehat{\overline{J}}^\mathrm{R},\widehat{\mathrm{\Gamma }}\widehat{\overline{\mathrm{\Gamma }}}$$
(2.87a)
$`\widehat{g}_{}(𝒯,\overline{z},\sigma )`$ $`=`$ $`\overline{z}^{\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}\stackrel{~}{𝒯}_{n(r)\mu }\stackrel{~}{𝒯}_{n(r),\nu }}\widehat{\overline{\mathrm{\Gamma }}}(\stackrel{~}{𝒯},\widehat{\overline{J}}_0^\mathrm{R}(0),\sigma )e^{i\widehat{\overline{q}}^\mu (\sigma )\stackrel{~}{𝒯}_{0\mu }}`$ (2.87b)
$`\times \overline{z}^{\widehat{\overline{J}}_{0\mu }^\mathrm{R}(0)\stackrel{~}{𝒢}^{0\mu ;0\nu }(\sigma )\stackrel{~}{𝒯}_{0\nu }}\widehat{\overline{V}}_{}(\stackrel{~}{𝒯},\overline{z},\sigma )\widehat{\overline{V}}_+^{(0)}(\stackrel{~}{𝒯},\overline{z},\sigma )\widehat{\overline{V}}_+(\stackrel{~}{𝒯},\overline{z},\sigma )`$
$$\widehat{\overline{V}}_{}(\stackrel{~}{𝒯},\overline{z},\sigma )\mathrm{exp}\left\{\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma )\underset{m1}{}\widehat{\overline{J}}_{\overline{n}(r)\mu }^\mathrm{R}(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\frac{\overline{z}^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}\stackrel{~}{𝒯}_{n(r),\nu }\right\}$$
(2.87c)
$$\widehat{\overline{V}}_+^{(0)}(\stackrel{~}{𝒯},\overline{z},\sigma )\mathrm{exp}\left\{\stackrel{~}{𝒢}^{0\mu ;0\nu }(\sigma )\underset{m1}{}\widehat{\overline{J}}_{0\mu }^\mathrm{R}(m)\frac{\overline{z}^m}{m}\stackrel{~}{𝒯}_{0\nu }\right\}$$
(2.87d)
$$\widehat{\overline{V}}_+(\stackrel{~}{𝒯},\overline{z},\sigma )\mathrm{exp}\left\{\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})\underset{m0}{}\widehat{\overline{J}}_{\overline{n}(r)\mu }^\mathrm{R}(m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)})\frac{\overline{z}^{(m+{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}})}}{m+\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}\stackrel{~}{𝒯}_{n(r),\nu }\right\}$$
(2.87e)
$$[\widehat{\overline{q}}^\mu (\sigma ),\widehat{\overline{J}}_{n(s)\nu }^\mathrm{R}(n+\frac{n\left(s\right)}{\rho \left(\sigma \right)})]=i\delta _\nu ^\mu \delta _{n+{\scriptscriptstyle \frac{n\left(s\right)}{\rho \left(\sigma \right)}},0},[\widehat{\overline{q}}^\mu (\sigma ),\widehat{\overline{q}}^\nu (\sigma )]=0,\sigma =0,\mathrm{},N_c1$$
(2.87f)
where $`\widehat{\overline{\mathrm{\Gamma }}}`$ is an undetermined right-mover Klein transformation. The twisted mode algebra of $`\widehat{\overline{J}}^\mathrm{R}`$ and the quantities $`\stackrel{~}{𝒢}`$, $`\stackrel{~}{𝒯}`$ are given in Eqs. (2.82), (2.83) and (2.85). At this point we verify our initial assumption that $`\widehat{g}_{}`$ is a square matrix which commutes with the twisted representation matrices $`𝒯`$.

Using (2.87) we may now discuss for the twisted right-mover vertex operators all the properties given for the twisted left-mover vertex operators in Subsec. 2.4. For brevity we confine ourselves here to the following three topics.

$``$ Intrinsic monodromy of the right-mover vertex operators
The monodromies of the twisted right-mover vertex operators follow the same line as given above for the left movers. The result in sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$ is

$`\widehat{g}_{}(𝒯,\overline{z}e^{2\pi i},\sigma )`$ $`=`$ $`E(T,\sigma )\widehat{g}_{}(𝒯,\overline{z},\sigma )E(T,\sigma )^{}`$ (2.88a)
$`\times e^{2\pi i(\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}\stackrel{~}{𝒯}_{n(r)\mu }\stackrel{~}{𝒯}_{n(r),\nu }\widehat{\overline{J}}_{0\mu }^\mathrm{R}(0)\stackrel{~}{𝒢}^{0\mu ;0\nu }(\sigma )\stackrel{~}{𝒯}_{0\nu })}`$
$$e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}\stackrel{~}{𝒯}_{n(r),\nu }=E(T,\sigma )\stackrel{~}{𝒯}_{n(r),\nu }E(T,\sigma )^{},\sigma =0,\mathrm{},N_c1$$
(2.88b)
where the $`𝒯`$-selection rule (2.34a) was used in the form (2.88b).

$``$ Right-mover orbifold correlators
The right-mover correlators of sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$ are:

$`\widehat{A}_{}(𝒯,\overline{z},\sigma )`$ $`\widehat{g}_{}(𝒯^{(1)},\overline{z}_1,\sigma )\mathrm{}\widehat{g}_{}(𝒯^{(N)},\overline{z}_N,\sigma )_\sigma ,\sigma =0,\mathrm{},N_c1`$ (2.89b)
$`=C_{}(\stackrel{~}{𝒯},\sigma )\left({\displaystyle \underset{\rho }{}}\overline{z}_\rho ^{\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}\stackrel{~}{𝒯}_{n(r)\mu }^{(\rho )}\stackrel{~}{𝒯}_{n(r),\nu }^{(\rho )}}\right)\left({\displaystyle \underset{\rho <\kappa }{}}\overline{z}_{\rho \kappa }^{\stackrel{~}{𝒯}_{0\mu }^{(\kappa )}\stackrel{~}{𝒢}^{0\mu ;0\nu }(\sigma )\stackrel{~}{𝒯}_{0\nu }^{(\rho )}}\right)`$
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left\{\stackrel{~}{𝒯}_{n(r)\mu }^{(\kappa )}\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma )\stackrel{~}{𝒯}_{n(r),\nu }^{(\rho )}(1\delta _{\overline{n}(r),0})I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },\mathrm{})\right\}`$
$$C_{}(\stackrel{~}{𝒯},\sigma )\widehat{G}_{}(\stackrel{~}{𝒯}^{(1)},\sigma )\mathrm{}\widehat{G}_{}(\stackrel{~}{𝒯}^{(N)},\sigma )_\sigma ,\widehat{G}_{}(\stackrel{~}{𝒯},\sigma )\widehat{\overline{\mathrm{\Gamma }}}(\stackrel{~}{𝒯},\widehat{\overline{J}}_0^\mathrm{R}(0),\sigma )e^{i\widehat{\overline{q}}^\mu (\sigma )\stackrel{~}{𝒯}_{0\mu }}$$
(2.89c)
$$[\widehat{\overline{J}}_{0\mu }^\mathrm{R}(0),\widehat{G}_{}(\stackrel{~}{𝒯}^{(1)},\sigma )\mathrm{}\widehat{G}_{}(\stackrel{~}{𝒯}^{(N)},\sigma )]_\sigma =0\left(\underset{\rho =1}{\overset{N}{}}\stackrel{~}{𝒯}_{0\mu }^{(\rho )}\right)C_{}(\stackrel{~}{𝒯},\sigma )=0,\mu .$$
(2.89d)
As for the twisted left movers, the sidedness of the right-mover global Ward identity is irrelevant and we may equivalently write the right-mover identity as

$$C_{}(\stackrel{~}{𝒯},\sigma )\left(\underset{\rho =1}{\overset{N}{}}\stackrel{~}{𝒯}_{0\mu }^{(\rho )}\right)=0,\mu $$
(2.90)
because $`𝒯`$ and $`\stackrel{~}{𝒯}`$ commute with the twisted vertex operators. Similarly, the constant factor $`C_{}(\stackrel{~}{𝒯},\sigma )`$ can be moved to the right of the $`\overline{z}`$-dependent factor in the twisted vertex operators.

$``$ In terms of untilded quantities
Using (2.82), (2.83) and (2.85), all the twisted right-mover results can be expressed in terms of the original untilded quantities $`\widehat{\overline{J}}`$, $`𝒢`$ and $`𝒯`$. For example, one finds that

$$\stackrel{~}{𝒢}^{n(r)\mu ;n(r),\nu }(\sigma )\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}\stackrel{~}{𝒯}_{n(r)\mu }\stackrel{~}{𝒯}_{n(r),\nu }=𝒢^{n(r)\mu ;n(r),\nu }(\sigma )\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}𝒯_{n(r)\mu }𝒯_{n(r),\nu }$$
(2.91)
because the $`𝒯`$’s commute and $`𝒢`$ is symmetric. It follows that, under $`\overline{z}z`$, the first factor in the twisted right-mover vertex operator (2.87b) is the same factor we found for the twisted left-mover vertex operators in (2.28a). As another example, we give the result for the right-mover orbifold correlators

$`\widehat{A}_{}(𝒯,\overline{z},\sigma )`$ $`=`$ $`C_{}(𝒯,\sigma )\left({\displaystyle \underset{\rho }{}}\overline{z}_\rho ^{𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\rho )}}\right)\left({\displaystyle \underset{\rho <\kappa }{}}\overline{z}_{\rho \kappa }^{𝒯_{0\mu }^{(\kappa )}𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(\rho )}}\right)`$ (2.92a)
$`\times {\displaystyle \underset{\rho <\kappa }{}}\mathrm{exp}\left\{𝒯_{n(r)\mu }^{(\rho )}𝒢^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r),\nu }^{(\kappa )}(1\delta _{\overline{n}(r),0})I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },\mathrm{})\right\}`$
$$\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)C_{}(𝒯,\sigma )=C_{}(𝒯,\sigma )\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)=0,\mu ,\sigma =0,\mathrm{},N_c1$$
(2.92b)
in each sector $`\sigma `$ of all $`A_{\mathrm{Cartan}g}(H)/H`$.

### 2.10 Full non-chiral results

Combining the twisted left- and right-mover results above, we obtain the full twisted vertex operators $`\widehat{g}=\widehat{g}_{}\widehat{g}_+`$ and their intrinsic monodromy in each sector $`\sigma `$ of $`A_{\mathrm{Cartan}g}(H)/H`$:

$$\widehat{g}(𝒯,\overline{z},z,\sigma )=\widehat{g}_{}(𝒯,\overline{z},\sigma )\widehat{g}_+(𝒯,z,\sigma ),\sigma =0,\mathrm{},N_c1$$
(2.93a)
$$\widehat{g}(𝒯,\overline{z}e^{2\pi i},ze^{2\pi i},\sigma )=E(T,\sigma )\widehat{g}(𝒯,\overline{z},z,\sigma )E(T,\sigma )^{}e^{2\pi i(\widehat{J}_{0\mu }(0)+\widehat{\overline{J}}_{0\mu }(0))𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }}.$$
(2.93b)
Here we used Eqs. (2.33a), (2.88a) and (2.91) to obtain the result (2.93b). Except for the last factor, which is a quantum correction, the monodromy (2.93b) is consistent with the classical monodromy

$$\widehat{g}(𝒯,\overline{z}e^{2\pi i},ze^{2\pi i},\sigma )=E(T,\sigma )\widehat{g}(𝒯,\overline{z},z,\sigma )E(T,\sigma )^{},\sigma =0,\mathrm{},N_c1$$
(2.94)
obtained for classical group orbifold elements in Ref. .

For the full orbifold correlators $`\widehat{A}=\widehat{A}_{}\widehat{A}_+`$ we obtain

$`\widehat{A}(𝒯,\overline{z},z,\sigma )=\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )_\sigma ,\sigma =0,\mathrm{},N_c1`$ (2.95a)
$`=C(𝒯,\sigma ){\displaystyle \underset{\rho }{}}|z_\rho |^{2𝒢^{n(r)\mu ;n(r),\nu }(\sigma ){\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\rho )}}{\displaystyle \underset{\rho <\kappa }{}}|z_{\rho \kappa }|^{2𝒯_{0\mu }^{(\kappa )}𝒢^{0\mu ;0\nu }(\sigma )𝒯_{0\nu }^{(\rho )}}{\displaystyle \underset{\rho <\kappa }{}}e^{F(\rho ,\kappa )}`$
$`F(\rho ,\kappa )`$ $``$ $`𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})`$ (2.95c)
$`\times \left(𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },\mathrm{})+𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },\mathrm{})\right)`$
$$C(𝒯,\sigma )C_{}(𝒯,\sigma )C_+(𝒯,\sigma ),\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)C(𝒯,\sigma )=C(𝒯,\sigma )\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)=0$$
(2.95d)
where the function $`F(\rho ,\kappa )`$ is defined only for $`\rho \kappa `$ and the global Ward identities (2.95d) hold for all degeneracy indices $`\mu `$. As expected, the orbifold correlators (2.95) are symmetric under the exchange of any two full twisted vertex operators

$$\widehat{g}(𝒯^{(\rho )},\overline{z}_\rho ,z_\rho ,\sigma )\widehat{g}(𝒯^{(\kappa )},\overline{z}_\kappa ,z_\kappa ,\sigma ).$$
(2.96)
This is checked explicitly in App. C, where the identities

$$I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(y,y_0)=I_{{\scriptscriptstyle \frac{\rho \left(\sigma \right)\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(y^1,y_0^1),I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(y,y_0)_{y_0}^y\frac{dx}{x1}x^{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}$$
(2.97a)
$$F(\kappa ,\rho )=F(\rho ,\kappa )+\mathrm{\Delta }$$
(2.97b)
$$\mathrm{\Delta }=𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})\left(𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}+𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\rho )}\right)I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\mathrm{},0)=0.$$
(2.97c)
are used to establish the required symmetry of $`F`$. The identity in (2.97a) was given in Ref. .

### 2.11 Example: More about the inversion orbifold

The twisted left-mover sector of the inversion orbifold $`A_{\mathrm{Cartan}𝔰𝔲(2)}(_2)/_2`$ was studied in Subsec. 2.8. Here we illustrate the discussion above by providing the corresponding twisted right-mover and non-chiral results for this simple case.

Using (2.81c), (2.87b) and the data (2.69), (2.70) we find the twisted right-mover vertex operator equation and the twisted right-mover vertex operators

$$\overline{}\widehat{g}_{}(𝒯,\overline{z})=\frac{𝒯}{k}:\widehat{\overline{J}}_1(\overline{z})\widehat{g}_{}(𝒯,\overline{z}):_{\overline{M}}\frac{𝒯^2}{2k\overline{z}}\widehat{g}_{}(𝒯,\overline{z}),𝒯=𝒯(T)=T_2$$
(2.98a)
$$\widehat{g}_{}(𝒯,\overline{z})=\overline{z}^{{\scriptscriptstyle \frac{𝒯^2}{2k}}}\mathrm{exp}\left(\frac{𝒯}{k}\underset{m1}{}\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2})\frac{\overline{z}^{(m+{\scriptscriptstyle \frac{1}{2}})}}{m+\frac{1}{2}}\right)\mathrm{exp}\left(\frac{𝒯}{k}\underset{m0}{}\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2})\frac{\overline{z}^{(m+{\scriptscriptstyle \frac{1}{2}})}}{m+\frac{1}{2}}\right).$$
(2.98b)
In this case, it is easy to check from Eq. (2.80b) that the mode-reversed currents satisfy a copy of the twisted left-mover current algebra

$$[\widehat{\overline{J}}_1(m+\frac{1}{2}),\widehat{\overline{J}}_1(n+\frac{1}{2})]=k(m+\frac{1}{2})\delta _{m+n+1,0}$$
(2.99a)
$$\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2})=\widehat{\overline{J}}_1(m\frac{1}{2})=\widehat{\overline{J}}_1(m1+\frac{1}{2})$$
(2.99b)
$$[\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2}),\widehat{\overline{J}}_1^\mathrm{R}(n+\frac{1}{2})]=k(m+\frac{1}{2})\delta _{m+n+1,0}$$
(2.99c)
and hence that the mode-reversed currents provide a realization of the rectified right-mover currents $`\widehat{\overline{J}}^{\mathrm{}}`$ of Ref. .

Combining the result (2.98b) with the twisted left-mover vertex operators in (2.77b), we find the full twisted vertex operators $`\widehat{g}=\widehat{g}_{}\widehat{g}_+`$:

$`\widehat{g}(𝒯,\overline{z},z)`$ $`=`$ $`|z|^{{\scriptscriptstyle \frac{𝒯^2}{k}}}\mathrm{exp}\left({\displaystyle \frac{𝒯}{k}}{\displaystyle \underset{m1}{}}{\displaystyle \frac{1}{m+\frac{1}{2}}}\left(\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2})\overline{z}^{(m+{\scriptscriptstyle \frac{1}{2}})}\widehat{J}_1(m+\frac{1}{2})z^{(m+{\scriptscriptstyle \frac{1}{2}})}\right)\right)`$ (2.100a)
$`\times \mathrm{exp}\left({\displaystyle \frac{𝒯}{k}}{\displaystyle \underset{m0}{}}{\displaystyle \frac{1}{m+\frac{1}{2}}}\left(\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2})\overline{z}^{(m+{\scriptscriptstyle \frac{1}{2}})}\widehat{J}_1(m+\frac{1}{2})z^{(m+{\scriptscriptstyle \frac{1}{2}})}\right)\right)`$
$`=`$ $`|z|^{{\scriptscriptstyle \frac{𝒯^2}{k}}}:e^{i\widehat{\beta }^1(\overline{z},z)𝒯}:_M`$ (2.100b)
$$i\widehat{\beta }^1(\overline{z},z)=\frac{1}{k}\underset{m}{}\frac{1}{m+\frac{1}{2}}\left(\widehat{\overline{J}}_1^\mathrm{R}(m+\frac{1}{2})\overline{z}^{(m+{\scriptscriptstyle \frac{1}{2}})}\widehat{J}_1(m+\frac{1}{2})z^{(m+{\scriptscriptstyle \frac{1}{2}})}\right).$$
(2.100c)
Because the inversion orbifold has no zero twist class $`\overline{n}(r)=0`$, we find that the intrinsic monodromy of the full twisted vertex operators

$$\widehat{\beta }^1(\overline{z}e^{2\pi i},ze^{2\pi i})=\widehat{\beta }^1(\overline{z},z),𝒯(T)=E(T)𝒯(T)E(T)^{}$$
(2.101a)
$`\widehat{g}(𝒯,\overline{z}e^{2\pi i},ze^{2\pi i})`$ $`=`$ $`E(T)\widehat{g}(𝒯,\overline{z},z)E(T)^{}`$
$``$ $`\widehat{g}(𝒯,\overline{z}e^{2\pi i},ze^{2\pi i})_m^{}{}_{}{}^{m}=e^{i\pi (m^{}m)}\widehat{g}(𝒯,\overline{z},z)_m^{}{}_{}{}^{m},|m^{}|,|m|j`$
is in agreement with the classical monodromy (2.94) of the corresponding group orbifold elements.

In this connection we also use the results of Ref.  to give the explicit forms of the group elements $`g(T)`$, the eigengroup elements $`𝒢(𝒯)`$ and the group orbifold elements $`\widehat{g}(𝒯)`$

$$g(T,\overline{z},z)=e^{i\beta (\overline{z},z)T_3},\beta (\overline{z},z)^{}=\beta (\overline{z},z)$$
(2.102a)
$$g(T,\overline{z},z)^{}=W(T)g(T,\overline{z},z)W^{}(T)=e^{i\beta (\overline{z},z)^{}T_3}=e^{i\beta (\overline{z},z)T_3}$$
(2.102b)
$$𝒢(𝒯,\overline{z},z)=U(T)g(T,\overline{z},z)U^{}(T)=e^{i\beta (\overline{z},z)𝒯}=e^{i\beta (\overline{z},z)T_2}$$
(2.102c)
$$𝒢(T,\overline{z},z)^{}=E(T)𝒢(T,\overline{z},z)E^{}(T)$$
(2.102d)
$$\widehat{g}(𝒯,\overline{z},z)=e^{i\widehat{\beta }(\overline{z},z)𝒯}=e^{i\widehat{\beta }(\overline{z},z)T_2}$$
(2.102e)
$$\widehat{\beta }(\overline{z}e^{2\pi i},ze^{2\pi i})=\widehat{\beta }(\overline{z},z),\widehat{g}(𝒯,\overline{z}e^{2\pi i},ze^{2\pi i})=E(T)\widehat{g}(𝒯,\overline{z},z)E^{}(T)$$
(2.102f)
in the classical theory of the inversion orbifold. Here the primed quantities are the responses to the inversion in the symmetric theory, and $`W(T)`$, $`U^{}(T)`$ and $`E(T)`$ are given in Eqs. (2.74) and (2.76).

Continuing with the quantum theory, we give the right-mover and the full non-chiral correlators of the inversion orbifold:

$$\widehat{g}_{}(𝒯^{(1)},\overline{z}_1)\mathrm{}\widehat{g}_{}(𝒯^{(N)},\overline{z}_N)=\left(\underset{\rho }{}\overline{z}_\rho ^{{\scriptscriptstyle \frac{1}{2k}}𝒯^{(\rho )}𝒯^{(\rho )}}\right)\underset{\rho <\kappa }{}\left(\frac{\sqrt{\overline{z}_\rho }\sqrt{\overline{z}_\kappa }}{\sqrt{\overline{z}_\rho }+\sqrt{\overline{z}_\kappa }}\right)^{{\scriptscriptstyle \frac{𝒯^{\left(\kappa \right)}𝒯^{\left(\rho \right)}}{k}}}$$
(2.103a)
$$\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1)\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N)=\left(\underset{\rho }{}|z_\rho |^{{\scriptscriptstyle \frac{1}{k}}𝒯^{(\rho )}𝒯^{(\rho )}}\right)\underset{\rho <\kappa }{}\left|\frac{\sqrt{z_\rho }\sqrt{z_\kappa }}{\sqrt{z_\rho }+\sqrt{z_\kappa }}\right|^{{\scriptscriptstyle \frac{2}{k}}𝒯^{(\kappa )}𝒯^{(\rho )}}.$$
(2.103b)
Note that the intrinsic monodromy (LABEL:Tselg2) of the full vertex operators is consistent with the form of the full correlators, e.g.

$`\widehat{g}(𝒯^{(1)},\overline{z}_1e^{2\pi i},z_1e^{2\pi i})\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_Ne^{2\pi i},z_Ne^{2\pi i})`$ (2.104a)
$`=`$ $`\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1)\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N)`$
$`=`$ $`E(\{T\})\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1)\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N)E(\{T\})^{}`$ (2.104b)
$$E(\{T\})=_{\rho =1}^NE(T^{(\rho )}),E(\{T\})^{}=_{\rho =1}^NE(T^{(\rho )})^{}.$$
(2.104c)
Here the equality (2.104a) follows from the correlators (2.103b), while the equality (2.104b) follows from the monodromy (2.101) of the full twisted vertex operators. The agreement of the two forms follows from the $`𝒯`$-selection rule (LABEL:Tselg2) and the fact that the $`𝒯`$’s appear quadratically in the correlators.

## 3 The Charge Conjugation Orbifold on $`𝔰𝔲(n)`$

### 3.1 Charge conjugation

As our second large example, we apply the general results of Ref.  to study the (outer-automorphic222At the level of characters, useful references for outer-automorphically twisted affine Lie algebras include \[19–22\]. ) charge conjugation orbifold on $`𝔰𝔲(n)`$

$$\frac{A_{𝔰𝔲(n)}(_2)}{_2},n3.$$
(3.1)
One can follow our development through for the charge conjugation orbifold $`A_{𝔰𝔲(2)}(_2)/_2`$ as well, but in this case the automorphism is an inner automorphism and all irreps are real representations.

For accessibility in physics we will work in the standard Cartesian basis of $`𝔰𝔲(n)`$, with generalized $`n\times n`$ Gell-Mann matrices $`\lambda _a^{}=\lambda _a`$ and real structure constants $`f_{ab}{}_{}{}^{c}=f_{abc}`$

$$[\lambda _a,\lambda _b]=2iF_{abc}\lambda _c,f_{abc}=\sqrt{\psi ^2}F_{abc},G_{ab}=k\delta _{ab}$$
(3.2a)
$$\mathrm{Tr}(\lambda _a\lambda _b)=2\delta _{ab},\mathrm{Tr}\lambda _a=0,a,b=1,\mathrm{},n^21$$
(3.2b)
where $`\sqrt{\psi ^2}`$ is the root length of $`𝔰𝔲(n)`$ and $`k`$ is the level of affine $`𝔰𝔲(n)`$. The standard iterative scheme is assumed for the generalized Gell-Mann matrices of $`𝔰𝔲(n4)`$, so that e.g. $`\lambda _9`$ for $`𝔰𝔲(4)`$ has a 1 in the $`(1,4)`$ and $`(4,1)`$ entries.

In this basis, the OPEs of affine $`𝔰𝔲(n)`$ are

$`J_A(z)J_B(w)`$ $`=`$ $`{\displaystyle \frac{k\delta _{AB}}{(zw)^2}}+{\displaystyle \frac{if_{ABC}J_C(w)}{zw}}+𝒪(zw)^0`$ (3.3a)
$`J_A(z)J_I(w)`$ $`=`$ $`{\displaystyle \frac{if_{AIJ}J_J(w)}{zw}}+𝒪(zw)^0`$ (3.3b)
$`J_I(z)J_J(w)`$ $`=`$ $`{\displaystyle \frac{k\delta _{IJ}}{(zw)^2}}+{\displaystyle \frac{if_{IJA}J_A(w)}{zw}}+𝒪(zw)^0`$ (3.3c)
$$Ah=𝔰𝔬(n),I\frac{g}{h}=\frac{𝔰𝔲(n)}{𝔰𝔬(n)}$$
(3.3d)
where we have decomposed the affine algebra according to the symmetric space

$$\frac{𝔰𝔲(n)_x}{𝔰𝔬(n)_{2\tau x}},x=\frac{2k}{\psi ^2},\tau =\{\begin{array}{cc}2\hfill & \mathrm{for}n=3\hfill \\ 1\hfill & \mathrm{for}n4.\hfill \end{array}$$
(3.4)
We will choose in particular the $`𝔰𝔬(n)`$ subalgebra which corresponds to the Cartan-Weyl generators $`\{i(\stackrel{~}{E}_\alpha \stackrel{~}{E}_\alpha ),\alpha >0\}`$, so that for example:

$`𝔰𝔲(3)`$ $`:`$ $`A=2,5,7,I=1,3,4,6,8`$ (3.5a)
$`𝔰𝔲(4)`$ $`:`$ $`A=2,5,7,10,12,14,I=1,3,4,6,8,9,11,13,15.`$ (3.5b)
Then one finds for the fundamental representation of $`𝔰𝔲(n)`$

$$T_a=\frac{\sqrt{\psi ^2}}{2}\lambda _a,\mathrm{Tr}(T_aT_b)=\frac{\psi ^2}{2}\delta _{ab},T_a^{}=T_a,T_A^{}=T_A,T_I^{}=T_I$$
(3.6)
that the $`𝔰𝔬(n)`$ generators $`\{T_A\}`$ are proportional to the standard generators of Cartesian $`𝔰𝔬(n)`$ in the vector representation

$$(T_{ij})_k{}_{}{}^{l}=i\frac{\sqrt{\psi ^2}}{2}(\delta _{ik}\delta _j^l\delta _{jk}\delta _i^l)=i\sqrt{\frac{\tau \psi _{𝔰𝔬(n)}^2}{2}}(\delta _{ik}\delta _j^l\delta _{jk}\delta _i^l)$$
(3.7a)
$$1i<jn,k,l=1\mathrm{}n,x_{𝔰𝔬(n)}=\frac{\psi ^2}{\psi _{𝔰𝔬(n)}^2}x=2\tau x$$
(3.7b)
where $`T_AT_{i<j}`$ is a relabelling of each $`n\times n`$ matrix $`T_A`$ by its non-zero entries. The quantity $`\psi _{𝔰𝔬(n)}`$ is the highest root of $`𝔰𝔬(n)`$, and this choice of $`𝔰𝔬(n)`$ is inner-automorphically equivalent to any other $`𝔰𝔬(n)`$ subalgebra which is irregularly embedded at the level shown in (3.4).

Note in particular that the commuting Cartan generators of $`𝔰𝔲(n)`$

$$J_{\dot{a}},\dot{a}\mathrm{Cartan}𝔰𝔲(n),\mathrm{Cartan}𝔰𝔲(n)\frac{𝔰𝔲(n)}{𝔰𝔬(n)}$$
(3.8a)
$$𝔰𝔲(3):\dot{a}=3,8,𝔰𝔲(4):\dot{a}=3,8,15,𝔰𝔲(5):\dot{a}=3,8,15,24$$
(3.8b)
are always in $`g/h`$. In this notation, the general matrix irrep $`T`$ of $`𝔰𝔲(n)`$ satisfies

$$(T_a)_{\lambda ^i}{}_{}{}^{\lambda ^j}=\lambda ^i(T)|J_a(0)|\lambda ^j(T),T_a^{}=T_a$$
(3.9a)
$$[J_a(0),J_b(0)]=if_{abc}J_c(0),[T_a,T_b]=if_{abc}T_c$$
(3.9b)
$$(T_{\dot{a}})_{\lambda ^i}{}_{}{}^{\lambda ^j}=\lambda _{\dot{a}}^i(T)\delta _{\lambda ^i}^{\lambda ^j},\dot{a}\mathrm{Cartan}𝔰𝔲(n)\frac{𝔰𝔲(n)}{𝔰𝔬(n)}$$
(3.9c)
where $`J_a(0)`$ are the generators of $`𝔰𝔲(n)`$ and $`\lambda ^i(T)`$, $`i=1\mathrm{}\mathrm{dim}T`$ are the weights of irrep $`T`$.

We turn next to the non-trivial element ($`\sigma =1`$) of the charge conjugation automorphism group, whose action on the currents is

$$J_a(z)^{}=\omega _a{}_{}{}^{b}J_{b}^{}(z),\omega ^{}=\omega $$
(3.10a)
$$\omega _A{}_{}{}^{A}=\omega _I{}_{}{}^{I}=1,A𝔰𝔬(n),I𝔰𝔲(n)/𝔰𝔬(n)$$
(3.10b)
where $`\omega `$ is a diagonal matrix whose diagonal elements are given in (3.10b). Because $`𝔰𝔲(n)/𝔰𝔬(n)`$ is a symmetric space it is trivial to check that this is an automorphism of the affine OPEs (3.3), with invariant subalgebra $`h=𝔰𝔬(n)`$. To identify this automorphism as the Cartesian form of charge conjugation we consider for each irrep $`T`$ the following two closely-related representations of $`𝔰𝔲(n)`$

$$\overline{T}_aT_a^\mathrm{T},T_a{}_{}{}^{}\omega _a{}_{}{}^{b}T_{b}^{}$$
(3.11a)
$$[\overline{T}_a,\overline{T}_b]=if_{abc}\overline{T}_c,[T_a{}_{}{}^{},T_b{}_{}{}^{}]=if_{abc}T_c^{}$$
(3.11b)
where superscript T is matrix transpose, $`\overline{T}`$ is the standard charge conjugate representation of $`T`$ and $`T^{}`$ is the automorphic transform of $`T`$. In fact, $`T^{}`$ is unitarily equivalent to $`\overline{T}`$

$$T^{}\overline{T}$$
(3.12)
because both representations have the weights

$$(\overline{T}_{\dot{a}})_{\lambda ^i,\lambda ^j}=(T_{\dot{a}}{}_{}{}^{})_{\lambda ^i,\lambda ^j}=\lambda _{\dot{a}}^i\delta _{\lambda ^i,\lambda ^j},\dot{a}\mathrm{Cartan}𝔰𝔲(n)$$
(3.13)
of the charge conjugate representation. Our Cartesian automorphism $`\omega `$ is inner-automorphi- cally equivalent $`\omega \tau `$ to a realization of the action $`\tau `$ of the Dynkin automorphism. This is discussed explicitly for $`𝔰𝔲(3)`$ in App. D, which also remarks on the inner-automorphically equivalent realization of $`\tau `$ with invariant subalgebra $`h=𝔠_n`$ for $`𝔰𝔲(2n)`$.

Following the observation (3.12), we will say that a real representation of $`𝔰𝔲(n)`$ satisfies

$$T\overline{T}T^{}$$
(3.14)
while for a complex representation $`\overline{T}`$ or $`T^{}`$ is not equivalent to $`T`$. As examples, the adjoint representation is real with

$$(T_a^{\mathrm{adj}})_b{}_{}{}^{c}=if_{abc},\overline{T}_a^{\mathrm{adj}}=T_a^{\mathrm{adj}}T_a^{\mathrm{adj}}^{}$$
(3.15)
while the fundamental representation $`n`$ is complex with

$$T_a=\frac{\sqrt{\psi ^2}}{2}\lambda _a,T_A^\mathrm{T}=T_A,T_I^\mathrm{T}=T_I,T_a{}_{}{}^{}=\overline{T}_a.$$
(3.16)
In this case the two equivalent matrix representations $`T^{}`$ and $`\overline{T}`$ of $`\overline{n}`$ are exactly equal.

### 3.2 The Cartesian form of $`A_{n1}^{(2)}`$

Because the action $`\omega `$ of charge conjugation is diagonal in the Cartesian basis, the solution to the $`H`$-eigenvalue problem is trivial

$$\omega U^{}=U^{}E:\sigma =1,\rho =2,U^{}=1,E=\omega $$
(3.17a)
$`\overline{n}(r)=0`$ $`E_A=1,A𝔰𝔬(n)`$ (3.17b)
$`\overline{n}(r)=1`$ $`E_I=1,I𝔰𝔲(n)/𝔰𝔬(n).`$ (3.17c)
Then the normalization $`\chi =1`$ gives the eigencurrents $`𝒥`$ and the non-zero entries of the basic duality transformations

$$𝒥_{0A}(z)=J_A(z),𝒥_{1I}(z)=J_I(z);𝒥_{0A}(z)^{}=𝒥_{0A}(z),𝒥_{1I}(z)^{}=𝒥_{1I}(z)$$
(3.18a)
$$𝒢_{0A;0B}=k\delta _{AB},𝒢_{1I;1,J}=k\delta _{IJ}$$
(3.18b)
$$_{0A;0B}{}_{}{}^{0C}=f_{ABC},_{0A;1I}{}_{}{}^{1J}=f_{AIJ},_{1I;1,J}{}_{}{}^{0A}=f_{IJA}$$
(3.18c)
and the principle of local isomorphisms  gives the twisted current system:

$$\widehat{J}_{n(r)\mu }=\{\widehat{J}_{0A},\widehat{J}_{1I}\},\widehat{J}_{n(r)\pm 2,\mu }(z)=\widehat{J}_{n(r)\mu }(z),\widehat{J}_{n(r)\mu }(ze^{2\pi i})=e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}\widehat{J}_{n(r)\mu }(z)$$
(3.19a)
$$\widehat{J}_{0A}(z)\widehat{J}_{0B}(w)=\frac{k\delta _{AB}}{(zw)^2}+\frac{if_{ABC}\widehat{J}_{0C}(w)}{zw}+𝒪(zw)^0$$
(3.19b)
$$\widehat{J}_{0A}(z)\widehat{J}_{1I}(w)=\frac{if_{AIJ}\widehat{J}_{1J}(w)}{zw}+𝒪(zw)^0$$
(3.19c)
$$\widehat{J}_{1I}(z)\widehat{J}_{1J}(w)=\frac{k\delta _{IJ}}{(zw)^2}+\frac{if_{IJA}\widehat{J}_{2A}(w)}{zw}+𝒪(zw)^0$$
(3.19d)
$$\widehat{J}_{0A}(ze^{2\pi i})=\widehat{J}_{0A}(z),\widehat{J}_{1I}(ze^{2\pi i})=\widehat{J}_{1I}(z),A𝔰𝔬(n),I𝔰𝔲(n)/𝔰𝔬(n).$$
(3.19e)
Finally the monodromies (3.19e) give the twisted mode expansions

$$\widehat{J}_{0A}(z)=\underset{m}{}\widehat{J}_{0A}(m)z^{m1},\widehat{J}_{1I}(z)=\underset{m}{}\widehat{J}_{1I}(m+\frac{1}{2})z^{(m+{\scriptscriptstyle \frac{1}{2}})1}$$
(3.20)
and one finds from (3.19), (3.20) that the twisted modes satisfy the Cartesian form of the outer-automorphically twisted affine Lie algebra $`A_{n1}^{(2)}`$:

$$[\widehat{J}_{0A}(m),\widehat{J}_{0B}(n)]=if_{ABC}\widehat{J}_{0C}(m+n)+km\delta _{AB}\delta _{m+n,0}$$
(3.21a)
$$[\widehat{J}_{0A}(m),\widehat{J}_{1I}(n+\frac{1}{2})]=if_{AIJ}\widehat{J}_{1J}(m+n+\frac{1}{2})$$
(3.21b)
$$[\widehat{J}_{1I}(m+\frac{1}{2}),\widehat{J}_{1J}(n+\frac{1}{2})]=if_{IJA}\widehat{J}_{2A}(m+n+1)+k(m+\frac{1}{2})\delta _{IJ}\delta _{m+n+1,0}$$
(3.21c)
$$\widehat{J}_{\pm 2,A}(m)=\widehat{J}_{0A}(m),\widehat{J}_{1,I}(m\frac{1}{2})=\widehat{J}_{1I}(m1+\frac{1}{2})$$
(3.21d)
$$\widehat{J}_{0A}(m)^{}=\widehat{J}_{0A}(m),\widehat{J}_{1I}(m+\frac{1}{2})^{}=\widehat{J}_{1,I}(m\frac{1}{2})=\widehat{J}_{1I}(m1+\frac{1}{2})$$
(3.21e)
$$A𝔰𝔬(n),I𝔰𝔲(n)/𝔰𝔬(n).$$

This twisted current algebra (and (3.19)) can alternately be obtained by substitution of the data (3.17), (3.18) into the general twisted current algebra of Ref. , and the dagger relations in (3.21e) follow from the general orbifold adjoint operation  in this case. App. D gives a translation dictionary between our Cartesian form of $`A_2^{(2)}`$ and its more conventional form in mathematics.

We also note that for even levels the outer-automorphically twisted affine Lie algebra (3.21) is a subalgebra of the order-two orbifold affine algebra  on $`𝔰𝔲(n)`$

$$[\widehat{J}_a^{(r)}(m+\frac{r}{2}),\widehat{J}_b^{(s)}(n+\frac{s}{2})]=if_{abc}\widehat{J}_c^{(r+s)}(m+n+\frac{r+s}{2})+\widehat{k}\delta _{ab}(m+\frac{r}{2})\delta _{m+n+{\scriptscriptstyle \frac{r+s}{2}},0}$$
(3.22a)
$$\widehat{k}=2k,\overline{r},\overline{s}=0,1,a,b,c=1,\mathrm{},n^21$$
(3.22b)
which lives in the twisted sector of $`_2`$ cyclic permutation orbifolds on $`𝔰𝔲(n)_k𝔰𝔲(n)_k`$.

Similarly, one reads from Ref.  the twisted left-mover affine-Sugawara construction of sector $`\sigma =1`$

$$_{\widehat{𝔤}}^{0A;0B}=\frac{1}{2k+Q_g}\delta ^{AB},_{\widehat{𝔤}}^{1I;1,J}=\frac{1}{2k+Q_g}\delta ^{IJ},\widehat{c}=c=\frac{x(n^21)}{x+n}$$
(3.23a)
$`\widehat{T}(z)`$ $`=`$ $`_{\widehat{𝔤}}^{n(r)\mu ;n(r),\nu }:\widehat{J}_{n(r)\mu }(z)\widehat{J}_{n(r),\nu }(z):`$ (3.23b)
$`=`$ $`{\displaystyle \frac{1}{2k+Q_g}}(:{\displaystyle \underset{A}{}}\widehat{J}_{0A}(z)\widehat{J}_{0A}(z)+{\displaystyle \underset{I}{}}\widehat{J}_{1I}(z)\widehat{J}_{1,I}(z):)`$ (3.23c)
where $`\widehat{𝔤}\widehat{𝔤}(\sigma =1)`$, $`Q_g`$ is the quadratic Casimir of $`𝔰𝔲(n)`$ and $`::`$ is operator product normal ordering.

### 3.3 The twisted representation matrices

To study the representation theory of the charge conjugation orbifold in the twisted sector, we need to determine the twisted representation matrices $`𝒯(T)`$ corresponding to each untwisted representation $`T`$.

In order to do this, we must first find the action $`W(T)`$ of the automorphism in representation $`T`$, which satisfies the linkage relation

$$W^{}(T)T_aW(T)=T_a{}_{}{}^{}=\omega _a{}_{}{}^{b}T_{b}^{}$$
(3.24)
and then we must solve the extended $`H`$-eigenvalue problem  for $`W(T)`$

$$W(T)U^{}(T)=U^{}(T)E(T).$$
(3.25)
Given this solution (see below) and the eigendata (3.17) of the $`H`$-eigenvalue problem, we read from Ref.  the form and properties of the twisted representation matrices $`𝒯`$:

$$𝒯_{0A}(T)=𝒯_{\pm 2,A}(T)=U(T)T_AU^{}(T),𝒯_{1I}(T)=𝒯_{1,I}(T)=U(T)T_IU^{}(T)$$
(3.26a)
$`[𝒯_{0A}(T),𝒯_{0B}(T)]`$ $`=`$ $`if_{ABC}𝒯_{0C}(T)`$ (3.26b)
$`[𝒯_{0A}(T),𝒯_{1I}(T)]`$ $`=`$ $`if_{AIJ}𝒯_{1J}(T)`$ (3.26c)
$`[𝒯_{1I}(T),𝒯_{1J}(T)]`$ $`=`$ $`if_{IJA}𝒯_{0A}(T)`$ (3.26d)
$$𝒯_{0A}(T)=E(T)𝒯_{0A}(T)E(T)^{},𝒯_{1I}(T)=E(T)𝒯_{1I}(T)E(T)^{}.$$
(3.26e)
Here the relations (3.26e) are the $`𝒯`$-selection rules, which are the orbifold dual of the linkage relation.

To go further we must distinguish between real and complex representations of $`𝔰𝔲(n)`$. For any real representation, the solution $`W(T)`$ of the linkage relation (3.24) is guaranteed because $`T^{}T`$ for real representations. As an example, we know  for the adjoint representation $`(T_a^{\mathrm{adj}})_b{}_{}{}^{c}=if_{ab}^c`$:

$$W(T^{\mathrm{adj}})=\omega ,U(T^{\mathrm{adj}})=U=1,E(T^{\mathrm{adj}})=E=\omega ,R(T^{\mathrm{adj}})=\rho =2$$
(3.27a)
$$W^{}(T^{\mathrm{adj}})T_a^{\mathrm{adj}}W(T^{\mathrm{adj}})=\omega _a{}_{}{}^{b}T_{b}^{\mathrm{adj}}\omega _a{}_{}{}^{d}\omega _{b}^{}{}_{}{}^{e}f_{de}^{}{}_{}{}^{f}(\omega ^{})_{f}^{}{}_{}{}^{c}=f_{ab}{}_{}{}^{c}.$$
(3.27b)
Indeed, the relation in (3.27b) reminds us  that $`W(T^{\mathrm{adj}})=\omega `$ for the adjoint in all current-algebraic orbifolds. Using formulae (3.26a) above, we find the twisted representation matrices for the adjoint

$$𝒯_{0A}(T^{\mathrm{adj}})=T_A^{\mathrm{adj}},𝒯_{1I}(T^{\mathrm{adj}})=T_I^{\mathrm{adj}}.$$
(3.28)
The selection rules (3.26e) are easily checked explicitly in this case, for example

$$𝒯_{1I}(T^{\mathrm{adj}})_J{}_{}{}^{K}=𝒯_{1I}(T^{\mathrm{adj}})_J^K$$
(3.29)
is satisfied as $`0=0`$ because $`f_{IJK}=0`$ for a symmetric space.

For complex representations $`T^{(\mathrm{c})}`$ of $`𝔰𝔲(n)`$, we choose the reducible representation

$$T_a=\left(\begin{array}{cc}T_a^{(\mathrm{c})}& 0\\ 0& T_a^{(\mathrm{c})}^{}\end{array}\right)$$
(3.30a)
$$T_a{}_{}{}^{}=\omega _a{}_{}{}^{b}T_{b}^{}=\left(\begin{array}{cc}T_a^{(\mathrm{c})}^{}& 0\\ 0& T_a^{(\mathrm{c})}\end{array}\right)$$
(3.30b)
where $`T^{(\mathrm{c})}^{}`$ in Eqs. (3.10), (3.11) is the automorphic transform of $`T^{(\mathrm{c})}`$. The choice in (3.30a) results in considerable simplification over the unitarily-equivalent choice with $`T^{(\mathrm{c})}{}_{}{}^{}\overline{T}^{(\mathrm{c})}`$. In particular we then find for all complex representations that the solution of the linkage relation (3.24) is very simple

$$W(T)=\mathrm{exp}\left(i\frac{\pi }{2}\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\right)=i\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right),W^{}(T)W(T)=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right).$$
(3.31)
Moreover, the extended $`H`$-eigenvalue problem (3.25) is also easy to solve

$$U(T)=U^{}(T)=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right),U^{}(T)U(T)=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right),E(T)=i\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right).$$
(3.32)
Then we find for the twisted representation matrices

$$𝒯_{0A}(T)=U(T)\left(\begin{array}{cc}T_A^{(\mathrm{c})}& 0\\ 0& T_A^{(\mathrm{c})}^{}\end{array}\right)U^{}(T)=\left(\begin{array}{cc}T_A^{(\mathrm{c})}& 0\\ 0& T_A^{(\mathrm{c})}\end{array}\right)$$
(3.33a)
$$𝒯_{1I}(T)=U(T)\left(\begin{array}{cc}T_I^{(\mathrm{c})}& 0\\ 0& T_I^{(\mathrm{c})}^{}\end{array}\right)U^{}(T)=\left(\begin{array}{cc}0& T_I^{(\mathrm{c})}\\ T_I^{(\mathrm{c})}& 0\end{array}\right)$$
(3.33b)
and these explicit forms allow us to verify that the $`𝒯`$-selection rules (3.26e) are identities.

### 3.4 Twisted left-mover KZ system for charge conjugation orbifolds

We consider here only the $`𝔰𝔬(n)`$-invariant or scalar twist-field state, which satisfies

$$\widehat{J}_{0A}(m0)|0=0|\widehat{J}_{0A}(m0)=0,A𝔰𝔬(n)$$
(3.34a)
$$\widehat{J}_{1I}(m+\frac{1}{2}0)|0=0|\widehat{J}_{1I}(m+\frac{1}{2}0)=0,I𝔰𝔲(n)/𝔰𝔬(n)$$
(3.34b)
in the twisted sector of the charge conjugation orbifold. Then the $`M`$-ordered (mode-ordered) expressions of Refs.  are immediately useful. For example, the left-mover Virasoro generators and the conformal weight of the scalar twist-field state

$`L_\sigma (m)`$ $`=`$ $`{\displaystyle \frac{1}{2k+Q_g}}{\displaystyle \underset{p}{}}:{\displaystyle \underset{A}{}}\widehat{J}_{0A}(p)\widehat{J}_{0A}(mp)+{\displaystyle \underset{I}{}}\widehat{J}_{1I}(p+\frac{1}{2})\widehat{J}_{1,I}(mp\frac{1}{2}):_M`$ (3.35a)
$`+\delta _{m,0}\widehat{\mathrm{\Delta }}_0,[L_\sigma (m0)\delta _{m,0}\widehat{\mathrm{\Delta }}_0]|0=0`$
$`\widehat{\mathrm{\Delta }}_0`$ $`=`$ $`_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(r)\nu }(\sigma ){\displaystyle \frac{\overline{n}(r)}{2\rho (\sigma )}}\left(1{\displaystyle \frac{\overline{n}(r)}{\rho (\sigma )}}\right)𝒢_{n(r)\mu ;n(r)\nu }(\sigma )`$ (3.35b)
$`=`$ $`{\displaystyle \frac{\mathrm{dim}(g/h)}{16}}{\displaystyle \frac{x}{x+n}}={\displaystyle \frac{(n1)(n+2)}{32}}{\displaystyle \frac{x}{x+n}}`$ (3.35c)
are easily read from (3.17), (3.18), (3.23) and the general form given in Eq. (6.8b) of Ref. .

We turn next to the left-mover twisted affine primary fields $`\widehat{g}_+(𝒯,z)`$, $`𝒯=𝒯(T)`$ of the charge conjugation orbifold. From Ref. , we read the OPEs

$$\widehat{J}_{0A}(z)\widehat{g}_+(𝒯,w)=\frac{\widehat{g}_+(𝒯,w)}{zw}𝒯_{0A}(T)+𝒪(zw)^0$$
(3.36a)
$$\widehat{J}_{1I}(z)\widehat{g}_+(𝒯,w)=\frac{\widehat{g}_+(𝒯,w)}{zw}𝒯_{1I}(T)+𝒪(zw)^0$$
(3.36b)
$$\widehat{T}(z)\widehat{g}_+(𝒯,w)=\left(\frac{\mathrm{\Delta }}{(zw)^2}+\frac{1}{zw}_w\right)\widehat{g}_+(𝒯,w)+𝒪(zw)^0$$
(3.36c)
$$\mathrm{\Delta }\{\begin{array}{cc}\mathrm{\Delta }(T)& \text{for real reps}T\hfill \\ \mathrm{\Delta }(T^{(\mathrm{c})})\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)& \text{for complex reps}T^{(\mathrm{c})}\hfill \end{array}$$
(3.36d)
where $`\mathrm{\Delta }(T)`$ and $`\mathrm{\Delta }(T^{(\mathrm{c})})`$ are the conformal weight of the representation under the (untwisted) affine-Sugawara construction  on $`𝔰𝔲(n)`$.

Similarly, using (3.17a), (3.23a) and Eq. (6.13a) of Ref. , we find the twisted left-mover vertex operator equation

$`\widehat{g}_+(𝒯,z)`$ $`=`$ $`{\displaystyle \frac{2}{2k+Q_g}}[{\displaystyle \underset{A}{}}:\widehat{J}_{0A}(z)\widehat{g}_+(𝒯,z):_M𝒯_{0A}`$ (3.37)
$`+{\displaystyle \underset{I}{}}(:\widehat{J}_{1I}(z)\widehat{g}_+(𝒯,z):_M{\displaystyle \frac{1}{2z}}\widehat{g}_+(𝒯,z)𝒯_{1I})𝒯_{1I}]`$
for the twisted affine primary fields. $`M`$-ordering for the twisted vertex operator equation is defined in Ref.  (see also Eq. (2.16)). In combination with the twisted current algebra (3.21) and the ground state conditions (3.34), the twisted vertex operator equation (3.37) suffices to derive a twisted KZ system for the twisted sector of the charge conjugation orbifolds.

We prefer however to include this computation as an example of a more general result. For any twisted current algebra with an action on a general scalar twist-field state $`|0_\sigma `$

$$\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}0)|0_\sigma =_\sigma 0|\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)}0)=0$$
(3.38)
one finds that the general expression for the conformal weight $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ of the scalar twist-field state is that given in Eq. (3.35b). Moreover, we may use the general twisted current algebra and the general twisted vertex operator equation of Ref.  to find the general twisted left-mover KZ system

$$\widehat{A}_+(𝒯,z,\sigma ){}_{\sigma }{}^{}0|\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\widehat{g}_+(𝒯^{(2)},z_2,\sigma )\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N,\sigma )|0_{\sigma }^{}$$
(3.39a)
$$_\kappa \widehat{A}_+(𝒯,z,\sigma )=\widehat{A}_+(𝒯,z,\sigma )\widehat{W}_\kappa (𝒯,z,\sigma ),,\kappa =1\mathrm{}N,\sigma =0,\mathrm{},N_c1$$
(3.39b)
$$\widehat{W}_\kappa (𝒯,z,\sigma )=2_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(r),\nu }(\sigma )\left[\underset{\rho \kappa }{}\left(\frac{z_\rho }{z_\kappa }\right)^{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}\frac{1}{z_{\kappa \rho }}𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}\frac{1}{z_\kappa }𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\kappa )}\right]$$
(3.39c)
$$\widehat{A}_+(𝒯,z,\sigma )\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)=0,\mu $$
(3.39d)
for the correlators in the scalar twist-field states of any WZW orbifold. The global Ward identity (3.39d) follows from the residual symmetry

$${}_{\sigma }{}^{}0|[\widehat{J}_{0\mu }(0),\widehat{g}_+(𝒯^{(1)},z_1,\sigma )\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N,\sigma )]|0_{\sigma }^{}=0,\mu $$
(3.40)
generated by the zero modes of the integral affine subalgebra of the general twisted current algebra. The so-called ground state  in sector $`\sigma `$ of any WZW permutation orbifold is in fact a scalar twist-field state, so the general twisted KZ system (3.39) includes as a special case the twisted KZ system obtained for the WZW permutation orbifolds in Ref. .

Moreover, a scalar twist-field state exists for each twisted sector of every outer-automor- phically twisted affine Lie algebra, so the general system (3.39) includes a twisted KZ system for every outer-automorphic WZW orbifold. In these cases, the residual symmetry expressed by the global Ward identity (3.39d) is that of the invariant subalgebra $`hg`$ of each automorphism group.

In particular, we obtain the twisted KZ system for the left-mover sector of the charge conjugation orbifold on $`𝔰𝔲(n)`$

$$\widehat{A}_+(𝒯,z)0|\widehat{g}_+(𝒯^{(1)},z_1)\mathrm{}\widehat{g}_+(𝒯^{(N)},z_N)|0$$
(3.41a)
$$_\mu \widehat{A}_+(𝒯,z)=\widehat{A}_+(𝒯,z)\widehat{W}_\mu (𝒯,z),\mu =1\mathrm{}N$$
(3.41b)
$`\widehat{W}_\mu (𝒯,z)`$ $`=`$ $`{\displaystyle \frac{2}{2k+Q_g}}[{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{1}{z_{\mu \nu }}}({\displaystyle \underset{A}{}}𝒯_{0A}^{(\nu )}𝒯_{0A}^{(\mu )}+\left({\displaystyle \frac{z_\nu }{z_\mu }}\right)^{{\scriptscriptstyle \frac{1}{2}}}{\displaystyle \underset{I}{}}𝒯_{1I}^{(\nu )}𝒯_{1I}^{(\mu )})`$ (3.41c)
$`{\displaystyle \frac{1}{2z_\mu }}{\displaystyle \underset{I}{}}𝒯_{1I}^{(\mu )}𝒯_{1I}^{(\mu )}]`$
$$\widehat{A}_+(𝒯,z)\left(\underset{\mu =1}{\overset{N}{}}𝒯_{0A}^{(\mu )}\right)=0,A𝔰𝔬(n)$$
(3.41d)
where $`|0`$ is the $`𝔰𝔬(n)`$-invariant twist-field state in (3.34). For this case, the explicit form of the twisted representation matrices $`𝒯=𝒯(T)`$ is given in Subsec. 3.3. Although it is guaranteed by the construction, we check explicitly in App. E that the twisted connection (3.41c) is flat.

We emphasize here that the flatness check of App. E uses only the symmetric-space form ($`f_{IJK}=0`$) of the algebra (3.26b), (3.26c), (3.26d) of the twisted representation matrices. All $`_2`$-type outer automorphism groups are similarly associated to symmetric spaces, so we expect that the twisted KZ systems of all $`_2`$-type outer-automorphic orbifolds will have the same form (with $`𝔰𝔬(n)`$ replaced by the relevant invariant subalgebra) as that given in (3.41).

### 3.5 Rectification and the twisted right-mover KZ system

The form of the general twisted right-mover current algebra was given in Ref. : As an example of the general phenomenon discussed there, we know that the twisted right-mover modes $`\widehat{\overline{J}}_{0A}(m)`$ and $`\widehat{\overline{J}}_{1I}(m+\frac{1}{2})`$ satisfy the same algebra as $`A_{n1}^{(2)}`$ in (3.21), but now with $`kk`$. This situation is rectifiable333The rectification problem is the question whether the twisted right- and left-mover current algebras are isomorphic. The question has been answered in the affirmative for inner-automorphic orbifolds on simple $`g`$ and for permutation orbifolds in Ref. . Except for the triality orbifold on $`𝔰𝔬(8)`$, all outer automorphism groups of simple $`g`$ are $`_2`$’s, and we know that the non-trivial element of $`_2`$ satisfies $`h_1^1=h_1`$. According to the discussion of Ref.  this means that the twisted right-mover current algebra of all these orbifolds is similarly rectifiable, as seen here for the charge conjugation orbifold on $`𝔰𝔲(n)`$. Thus the rectification problem is solved except for the triality orbifold on $`𝔰𝔬(8)`$, to which we expect to return elsewhere. into a copy of $`A_{n1}^{(2)}`$ by the mode-reversed definition

$$\widehat{\overline{J}}_{0A}^{\mathrm{}}(m)\widehat{\overline{J}}_{0A}(m),\widehat{\overline{J}}_{1I}^{\mathrm{}}(m+\frac{1}{2})\widehat{\overline{J}}_{1,I}(m\frac{1}{2})=\widehat{\overline{J}}_{1I}(m1+\frac{1}{2}).$$
(3.42)
The rectified right-mover modes $`\widehat{\overline{J}}^{\mathrm{}}`$ also satisfy a copy of the left-mover conditions

$$\widehat{\overline{J}}_{0A}^{\mathrm{}}(m0)|0=0|\widehat{\overline{J}}_{0A}^{\mathrm{}}(m0)=0,\widehat{\overline{J}}_{1I}^{\mathrm{}}(m+\frac{1}{2}0)|0=0|\widehat{\overline{J}}_{1I}^{\mathrm{}}(m+\frac{1}{2}0)=0$$
(3.43)
on the scalar twist-field state, and we find that the right-mover Virasoro generators are also a copy of the left movers

$`\overline{L}_\sigma (m)`$ $`=`$ $`{\displaystyle \frac{1}{2k+Q_g}}{\displaystyle \underset{p}{}}:{\displaystyle \underset{A}{}}\widehat{\overline{J}}_{0A}^{\mathrm{}}(p)\widehat{\overline{J}}_{0A}^{\mathrm{}}(mp)+{\displaystyle \underset{I}{}}\widehat{\overline{J}}_{1I}^{\mathrm{}}(p+\frac{1}{2})\widehat{\overline{J}}_{1,I}^{\mathrm{}}(mp\frac{1}{2}):_M`$ (3.44a)
$`+\delta _{m,0}\widehat{\overline{\mathrm{\Delta }}}_0,\widehat{\overline{c}}=\widehat{c}={\displaystyle \frac{x(n^21)}{x+n}}`$
$$[\overline{L}_\sigma (m0)\delta _{m,0}\widehat{\overline{\mathrm{\Delta }}}_0]|0=0,\widehat{\overline{\mathrm{\Delta }}}_0=\widehat{\mathrm{\Delta }}_0=\frac{(n1)(n+2)}{32}\frac{x}{x+n}$$
(3.44b)
with the same action on the scalar twist-field state.

Following Ref. , we also find the twisted KZ system for the right movers

$$\widehat{A}_{}(𝒯,\overline{z})0|\widehat{g}_{}(𝒯^{(1)},\overline{z}_1)\mathrm{}\widehat{g}_{}(𝒯^{(N)},\overline{z}_N)|0$$
(3.45a)
$$\overline{}_\mu \widehat{A}_{}(𝒯,\overline{z})=\widehat{\overline{W}}_\mu (𝒯,\overline{z})\widehat{A}_{}(𝒯,\overline{z}),\mu =1\mathrm{}N$$
(3.45b)
$`\widehat{\overline{W}}_\mu (𝒯,\overline{z})`$ $`=`$ $`{\displaystyle \frac{2}{2k+Q_g}}[{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{1}{\overline{z}_{\mu \nu }}}({\displaystyle \underset{A}{}}𝒯_{0A}^{(\mu )}𝒯_{0A}^{(\nu )}+\left({\displaystyle \frac{\overline{z}_\nu }{\overline{z}_\mu }}\right)^{{\scriptscriptstyle \frac{1}{2}}}{\displaystyle \underset{I}{}}𝒯_{1I}^{(\mu )}𝒯_{1I}^{(\nu )})`$ (3.45c)
$`{\displaystyle \frac{1}{2\overline{z}_\mu }}{\displaystyle \underset{I}{}}𝒯_{1I}^{(\mu )}𝒯_{1I}^{(\mu )}]`$
$$\left(\underset{\mu =1}{\overset{N}{}}𝒯_{0A}^{(\mu )}\right)\widehat{A}_{}(𝒯,\overline{z})=0,A𝔰𝔬(n).$$
(3.45d)
In this case $`\widehat{\overline{W}}_\mu `$ is just $`\widehat{W}_\mu `$ with $`\{z_\mu \}\{\overline{z}_\mu \}`$ because the order of the matrices is reversible.

### 3.6 The classical theory of charge conjugation orbifolds

The classical action formulation of each sector of all WZW orbifolds, in terms of appropriate group orbifold elements with definite monodromy, was given in Ref. . The group orbifold elements are the classical limit of the twisted affine primary fields of the WZW orbifolds. Before discussing solutions of our twisted KZ systems above, it will be helpful to work out the details of this classical formulation in the case of the charge conjugation orbifolds.

Reading from Subsec. 5.7 of Ref. , we find for all representations that the group elements $`g`$, the eigengroup elements $`𝒢`$ and the group orbifold elements $`\widehat{g}`$ satisfy

$$g(T,\xi )=e^{i\beta ^a(\xi )T_a},\beta ^a(\xi )^{}=\beta ^b(\xi )(\omega ^{})_b{}_{}{}^{a}=\beta ^b(\xi )\omega _b^a$$
(3.46a)
$$g(T,\xi )^{}=W(T)g(T,\xi )W^{}(T)=e^{i\beta ^a(\xi )^{}T_a}=e^{i\beta ^a(\xi )T_a^{}}$$
(3.46b)
$$𝒢(𝒯,\xi )=U(T)g(T,\xi )U^{}(T)=e^{i(\beta ^{0A}(\xi )𝒯_{0A}(T)+\beta ^{1I}(\xi )𝒯_{1I}(T))}$$
(3.47a)
$$\beta ^{0A}(\xi )\beta ^A(\xi ),\beta ^{0A}(\xi )^{}=\beta ^{0A}(\xi );\beta ^{1I}(\xi )\beta ^I(\xi ),,\beta ^{1I}(\xi )^{}=\beta ^{1I}(\xi )$$
(3.47b)
$$𝒢(𝒯,\xi )^{}=E(T)𝒢(𝒯,\xi )E(T)^{}$$
(3.47c)
$$\widehat{g}(𝒯,\xi )=e^{i(\widehat{\beta }^{0A}(\xi )𝒯_{0A}(T)+\widehat{\beta }^{1I}(\xi )𝒯_{1I}(T))},\widehat{\beta }^{0A}(\xi +2\pi )=\widehat{\beta }^{0A}(\xi ),\widehat{\beta }^{1I}(\xi +2\pi )=\widehat{\beta }^{1I}(\xi )$$
(3.48a)
$$\widehat{g}(𝒯,\xi +2\pi )=E(T)\widehat{g}(𝒯,\xi )E(T)^{}.$$
(3.48b)
Here $`\xi `$ is the spatial coordinate on the cylinder, $`W(T)`$ is the action of charge conjugation in rep $`T`$, $`\{U(T),E(T)\}`$ is the eigendata of the extended $`H`$-eigenvalue problem (3.25) and $`\beta ^{}`$, $`g^{}`$, $`𝒢^{}`$ are the responses of the untwisted objects to charge conjugation. The $`𝒯`$-selection rules (3.26e) guarantee the consistency of these responses, as well as the consistency of the monodromies of $`\widehat{\beta }`$ and $`\widehat{g}`$.

As an example, Eqs. (3.10b), (3.27a), (3.28) and (3.48b) give the monodromy of the group orbifold elements

$$\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi +2\pi )_A{}_{}{}^{B}=\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi )_A{}_{}{}^{B},\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi +2\pi )_I{}_{}{}^{J}=\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi )_I^J$$
(3.49a)
$$\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi +2\pi )_A{}_{}{}^{I}=\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi )_A{}_{}{}^{I},\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi +2\pi )_I{}_{}{}^{A}=\widehat{g}(𝒯(T^{\mathrm{adj}}),\xi )_I^A$$
(3.49b)
$$A𝔰𝔬(n),I𝔰𝔲(n)/𝔰𝔬(n)$$
(3.49c)
in the twisted adjoint representation $`𝒯(T^{\mathrm{adj}})`$.

For general twisted complex representations, we may use Eqs. (3.32) and (3.33) to write out the results (3.46), (3.47) and (3.48) in terms of the complex untwisted representation matrices $`T^{(\mathrm{c})}`$:

$$g(T,\xi )=\mathrm{exp}\left(i\beta ^a(\xi )\left(\begin{array}{cc}T_a^{(\mathrm{c})}& 0\\ 0& T_a^{(\mathrm{c})}^{}\end{array}\right)\right),g(T,\xi )^{}=\mathrm{exp}\left(i\beta ^a(\xi )\left(\begin{array}{cc}T_a^{(\mathrm{c})}^{}& 0\\ 0& T_a^{(\mathrm{c})}\end{array}\right)\right)$$
(3.50a)
$$𝒢(𝒯,\xi )=\mathrm{exp}\left(i\left(\begin{array}{cc}\beta ^{0A}(\xi )T_A^{(\mathrm{c})}& \beta ^{1I}(\xi )T_I^{(\mathrm{c})}\\ \beta ^{1I}(\xi )T_I^{(\mathrm{c})}& \beta ^{0A}(\xi )T_A^{(\mathrm{c})}\end{array}\right)\right)$$
(3.50b)
$$\widehat{g}(𝒯,\xi )=\mathrm{exp}\left(i\left(\begin{array}{cc}\widehat{\beta }^{0A}(\xi )T_A^{(\mathrm{c})}& \widehat{\beta }^{1I}(\xi )T_I^{(\mathrm{c})}\\ \widehat{\beta }^{1I}(\xi )T_I^{(\mathrm{c})}& \widehat{\beta }^{0A}(\xi )T_A^{(\mathrm{c})}\end{array}\right)\right)$$
(3.50c)
$`\widehat{g}(𝒯,\xi +2\pi )`$ $`=`$ $`\mathrm{exp}\left(i\left(\begin{array}{cc}\widehat{\beta }^{0A}(\xi )T_A^{(\mathrm{c})}& \widehat{\beta }^{1I}(\xi )T_I^{(\mathrm{c})}\\ \widehat{\beta }^{1I}(\xi )T_I^{(\mathrm{c})}& \widehat{\beta }^{0A}(\xi )T_A^{(\mathrm{c})}\end{array}\right)\right)`$ (3.50f)
$`=`$ $`E(T)\widehat{g}(𝒯,\xi )E(T)^{},E(T)=i\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right).`$ (3.50i)
The consistency of the forms in (3.50f) and (3.50i) is easily checked.

We turn next to the action formulation of the charge conjugation orbifolds. The untwisted charge-conjugation-invariant WZW action for any representation $`T`$ of $`𝔰𝔲(n)`$ can be taken as

$`S_{\mathrm{WZW}}[g(T)]`$ $`=`$ $`{\displaystyle \frac{k}{ϵy(T)}}({\displaystyle \frac{1}{8\pi }}{\displaystyle }d^2\xi \mathrm{Tr}\left(g^1(T)_+g(T)g^1(T)_{}g(T)\right)`$ (3.51a)
$`+{\displaystyle \frac{1}{12\pi }}{\displaystyle _\mathrm{\Gamma }}\mathrm{Tr}\left((g^1(T)dg(T))^3\right))`$
$$\mathrm{Tr}(T_aT_b)=y(T)\delta _{ab},ϵ=\{\begin{array}{cc}1\hfill & \text{for real reps}T\hfill \\ 2\hfill & \text{for complex reps}T^{(\mathrm{c})}\hfill \end{array}$$
(3.51b)
$$S_{\mathrm{WZW}}[g(T)^{}]=S_{\mathrm{WZW}}[g(T)],g(T,\xi )^{}=W(T)g(T,\xi )W^{}(T).$$
(3.51c)
For complex representations $`T^{(\mathrm{c})}`$, the block-diagonal group element (3.50a) and the fact that $`y(T^{(\mathrm{c})}{}_{}{}^{})=y(\overline{T}^{(\mathrm{c})})=y(T^{(\mathrm{c})})`$ tell us that the action (3.51a) is in fact one half the sum of the WZW actions for $`T^{(\mathrm{c})}`$ and for $`\overline{T}^{(\mathrm{c})}T^{(\mathrm{c})}^{}`$. Moreover, since the WZW action is numerically independent of $`T`$, the choice (3.51a) is in fact equal to the WZW action for either $`T^{(\mathrm{c})}`$ or $`\overline{T}^{(\mathrm{c})}`$.

Then following Ref. , one finds the action for any twisted representation $`𝒯`$ in twisted sector $`\sigma =1`$ of the charge conjugation orbifold on $`𝔰𝔲(n)`$

$`\widehat{S}[\widehat{g}(𝒯)]`$ $`=`$ $`{\displaystyle \frac{k}{ϵy(T)}}({\displaystyle \frac{1}{8\pi }}{\displaystyle }d^2\xi \mathrm{Tr}\left(\widehat{g}^1(𝒯,\sigma )_+\widehat{g}(𝒯,\sigma )\widehat{g}^1(𝒯,\sigma )_{}\widehat{g}(𝒯,\sigma )\right)`$ (3.52a)
$`+{\displaystyle \frac{1}{12\pi }}{\displaystyle _\mathrm{\Gamma }}\mathrm{Tr}\left((\widehat{g}^1(𝒯,\sigma )d\widehat{g}(𝒯,\sigma ))^3\right))`$
$$\widehat{S}[\widehat{g}(𝒯,\xi +2\pi )]=\widehat{S}[\widehat{g}(𝒯,\xi )],\widehat{g}(𝒯,\xi +2\pi )=E(T)\widehat{g}(𝒯,\xi )E(T)^{}.$$
(3.52b)
The equations of motion of this action give twisted left- and right-mover classical matrix currents proportional to $`\widehat{g}^1_+\widehat{g}`$ and $`\widehat{g}_{}\widehat{g}^1`$ whose monodromies agree with the monodromies of the quantum currents above.

Two further remarks about the case of complex representations are relevant here. We note first that the block-diagonal group elements $`g`$ in (3.50a) and the matrix

$$\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)=iW(T)$$
(3.53)
generate a non-connected Lie group . Second, we emphasize that the corresponding group orbifold elements $`\widehat{g}`$ are also reducible. To see this we consider the so-called group orbifold elements with twisted boundary conditions $`\widehat{𝒢}(T,\xi )`$

$$\widehat{g}(𝒯,\xi )=U(T)\widehat{𝒢}(T,\xi )U^{}(T)$$
(3.54a)
$$\widehat{𝒢}(T,\xi )=\left(\begin{array}{cc}\widehat{𝒢}_+(T,\xi )& 0\\ 0& \widehat{𝒢}_{}(T,\xi )\end{array}\right),\widehat{𝒢}_\pm (T,\xi )=\mathrm{exp}\left(i\left(\widehat{\beta }^{0A}(\xi )T_A^{(\mathrm{c})}\pm \widehat{\beta }^{1I}(\xi )T_I^{(\mathrm{c})}\right)\right)$$
(3.54b)
$$\widehat{𝒢}(T,\xi +2\pi )=W(T)\widehat{𝒢}(T,\xi )W^{}(T)\widehat{𝒢}_\pm (T,\xi +2\pi )=\widehat{𝒢}_{}(T,\xi )$$
(3.54c)
which are block-diagonal with mixed monodromy: As seen in (3.54a), the group orbifold element $`\widehat{g}`$ is the monodromy decomposition of $`\widehat{𝒢}`$. Then the orbifold action (3.52a) decomposes into the sum of two terms $`\widehat{s}(\widehat{𝒢}_+)+\widehat{s}(\widehat{𝒢}_{})`$ which mix under monodromy transformations.

### 3.7 Correlator examples and undetermined parameters

In this subsection we consider some correlator examples, pointing out and interpreting the existence of certain undetermined parameters in the solutions of the twisted KZ systems (3.41), (3.45) for complex representations.

We begin with the solution of (3.41) for the twisted left-mover one-point correlators

$$0|\widehat{g}_+(𝒯,z)|0=C_+(𝒯)z^{\frac{1}{2k+Q_g}_I𝒯_{1I}(T)𝒯_{1I}(T)},C_+(𝒯)𝒯_{0A}(T)=0,A𝔰𝔬(n).$$
(3.55)
We have checked for real and complex representations that the only solution for non-trivial $`𝒯`$ is

$$0|\widehat{g}_+(𝒯,z)|0=0$$
(3.56)
because there is no non-trivial solution to the global Ward identity in this case. This makes sense because our scalar twist-field state $`|0`$ is an $`𝔰𝔬(n)`$-singlet, and the same result $`\widehat{g}_{}(𝒯,\overline{z})=0`$ is found for the twisted right movers when $`𝒯`$ is non-trivial.

We have also solved the twisted left-mover KZ equations for the two-point correlator in the case when both representations $`T^{(\mathrm{c})}{}_{}{}^{(1)}T^{(1)}`$, $`T^{(\mathrm{c})}{}_{}{}^{(2)}T^{(2)}`$ are taken as the fundamental representation of $`𝔰𝔲(n)`$. The result is

$$0|\widehat{g}_+(𝒯^{(1)},z_1)\widehat{g}_+(𝒯^{(2)},z_2)|0=C_+(𝒯)(z_1z_2)^{\mathrm{\Delta }_n}\left(\frac{z_1z_2}{z_{12}^2}\right)^{\alpha _n}\left(\frac{\sqrt{z_1}\sqrt{z_2}}{\sqrt{z_1}+\sqrt{z_2}}\right)^{M(1,2)}$$
(3.57a)
$$C_+(𝒯)\left(\begin{array}{cc}T_A^{(1)}+T_A^{(2)}& 0\\ 0& T_A^{(1)}+T_A^{(2)}\end{array}\right)=0,A𝔰𝔬(n)$$
(3.57b)
$$\mathrm{\Delta }_n\frac{n^21}{2n(x+n)},\alpha _n\frac{n1}{4(x+n)}$$
(3.57c)
$$M(1,2)\frac{2}{2k+Q_g}\underset{I}{}\left(\begin{array}{cc}0& T_I^{(2)}\\ T_I^{(2)}& 0\end{array}\right)\left(\begin{array}{cc}0& T_I^{(1)}\\ T_I^{(1)}& 0\end{array}\right)$$
(3.57d)
where the quantity $`\mathrm{\Delta }_n`$ is the conformal weight of the fundamental representation in the symmetric theory. To obtain this result, we used the explicit form (3.33) of the twisted representation matrices and the identities

$$\frac{1}{2k+Q_g}\underset{A}{}𝒯_{0A}(T)𝒯_{0A}(T)=\frac{1}{2k+Q_g}1\mathrm{l}\underset{A}{}T_AT_A=\alpha _n1\mathrm{l}1\mathrm{l}_n,1\mathrm{l}=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$$
(3.58a)
$$\frac{1}{2k+Q_g}\underset{I}{}𝒯_{1I}(T)𝒯_{1I}(T)=\frac{1}{2k+Q_g}1\mathrm{l}\underset{I}{}T_IT_I=(\mathrm{\Delta }_n\alpha _n)1\mathrm{l}1\mathrm{l}_n$$
(3.58b)
$$[M(1,2),𝒯_{0A}^{(1)}+𝒯_{0A}^{(2)}]=0,A𝔰𝔬(n)$$
(3.58c)
where $`1`$ is the $`2\times 2`$ unit matrix in the doubled space and $`1_n`$ is the $`n\times n`$ unit matrix in the space of the generalized Gell-Mann matrices.

We have further solved (3.45) for the twisted right-mover two-point correlator in this case, solved the full set of global Ward identities

$$C(𝒯)=C_{}(𝒯)C_+(𝒯)$$
(3.59a)
$$C(𝒯)\left(\begin{array}{cc}T_A^{(1)}+T_A^{(2)}& 0\\ 0& T_A^{(1)}+T_A^{(2)}\end{array}\right)=\left(\begin{array}{cc}T_A^{(1)}+T_A^{(2)}& 0\\ 0& T_A^{(1)}+T_A^{(2)}\end{array}\right)C(𝒯)=0,A𝔰𝔬(n)$$
(3.59b)
and combined these results with (3.57) to obtain the non-chiral two-point correlator for the full twisted vertex operators $`\widehat{g}=\widehat{g}_{}\widehat{g}_+`$. The final result is

$$0|\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1)\widehat{g}(𝒯^{(2)},\overline{z}_2,z_2)|0=C(𝒯)|z_1z_2|^{2\mathrm{\Delta }_n}\left|\frac{z_1z_2}{z_{12}^2}\right|^{2\alpha _n}\left|\frac{\sqrt{z_1}\sqrt{z_2}}{\sqrt{z_1}+\sqrt{z_2}}\right|^{2M(1,2)}$$
(3.60a)
$$C(𝒯)=\left(\begin{array}{cc}\gamma _1D& \gamma _2D\\ \gamma _3D& \gamma _4D\end{array}\right),[C(𝒯),M(1,2)]=0$$
(3.60b)
$$(T_a^{(1)})_{\alpha _1}{}_{}{}^{\beta _1},(T_a^{(2)})_{\alpha _2}{}_{}{}^{\beta _2}:D_{\beta _1\beta _2}{}_{}{}^{\alpha _1\alpha _2}=\delta _{\beta _1\beta _2}\delta ^{\alpha _1\alpha _2}$$
(3.60c)
where $`\gamma _1\mathrm{}\gamma _4`$ are arbitrary constants found in the general solution of the global Ward identities (3.59b).

Further determination of these constants is beyond the scope of this paper. However, we note here that the constants can be interpreted as undetermined couplings among the blocks of the quantum analogue $`\widehat{𝒢}(T,\overline{z},z)`$ of the group orbifold elements with twisted boundary conditions:

$$\widehat{𝒢}(T,\overline{z},z)U(T)\widehat{g}(𝒯,\overline{z},z)U^{}(T),[U(T^{(1)})U(T^{(2)}),C(𝒯)]=0$$
(3.61a)
$$0|\widehat{𝒢}(T^{(1)},\overline{z}_1,z_1)\widehat{𝒢}(T^{(2)},\overline{z}_2,z_2)|0=\left(\begin{array}{cc}\gamma _1D& \gamma _2D\\ \gamma _3D& \gamma _4D\end{array}\right)|z_1z_2|^{2\mathrm{\Delta }_n}\left|\frac{z_1z_2}{z_{12}^2}\right|^{2\alpha _n}\left|\frac{\sqrt{z_1}\sqrt{z_2}}{\sqrt{z_1}+\sqrt{z_2}}\right|^{2N(1,2)}$$
(3.61b)
$$N(1,2)\frac{2}{2k+Q_g}\underset{I}{}\left(\begin{array}{cc}T_I^{(2)}& 0\\ 0& T_I^{(2)}\end{array}\right)\left(\begin{array}{cc}T_I^{(1)}& 0\\ 0& T_I^{(1)}\end{array}\right).$$
(3.61c)
This suggests that a natural boundary condition is $`\gamma _2=\gamma _3=0`$, i.e. a block diagonal solution for the $`\widehat{𝒢}`$ correlator. Such a boundary condition could in principle be implemented in general because, for any number of $`\widehat{𝒢}`$’s in any set of complex representations, we find the block-diagonal twisted KZ system:

$$\widehat{𝒜}(T,\overline{z},z)0|\widehat{𝒢}(T^{(1)},\overline{z}_1,z_1)\mathrm{}\widehat{𝒢}(T^{(N)},\overline{z}_N,z_N)|0$$
(3.62a)
$$_\mu \widehat{𝒜}(T,\overline{z},z)=\widehat{𝒜}(T,\overline{z},z)\widehat{𝒲}_\mu (T,z),\overline{}_\mu \widehat{𝒜}(T,\overline{z},z)=\widehat{\overline{𝒲}}_\mu (T,\overline{z})\widehat{𝒜}(T,\overline{z},z)$$
(3.62b)
$$\widehat{𝒲}_\mu (T,z)=\widehat{W}_\mu (𝒯,z)|_{𝒯T},\widehat{\overline{𝒲}}_\mu (T,\overline{z})=\widehat{\overline{W}}_\mu (𝒯,\overline{z})|_{𝒯T}$$
(3.62c)
$$\widehat{𝒜}(T,\overline{z},z)\left(\underset{\mu =1}{\overset{N}{}}T_A^{(\mu )}\right)=\left(\underset{\mu =1}{\overset{N}{}}T_A^{(\mu )}\right)\widehat{𝒜}(T,\overline{z},z)=0,A𝔰𝔬(n).$$
(3.62d)
Here the twisted connections $`\widehat{W}`$ and $`\widehat{\overline{W}}`$ are given in (3.39), (3.45) and the untwisted representation matrices $`T`$ have the block-diagonal form in (3.30a).

Acknowledgements

For helpful discussions we thank J. de Boer, C. Helfgott, J. Lepowsky, C. Schweigert, F. Wagner and N. Warner. MBH and NO thank the Niels Bohr Institute for hospitality and support. The work of MBH was supported in part by the Director, Office of Energy Research, Office of High Energy and Nuclear Physics, Division of High Energy Physics of the U.S. Department of Energy under Contract DE-AC03-76SF00098 and in part by the National Science Foundation under grant PHY95-14797. The work of NO is supported in part by the stichting FOM and the European Commission RTN programme HPRN-CT-2000-00131.

## Appendix A The $`H`$-eigenvalue problem for permutation groups

In this appendix we use the modified notation of Subsec. 2.6 to solve the $`H`$-eigenvalue problem  for all permutation groups $`HS_N`$. The solution of the $`H`$-eigenvalue problem also gives an explicit derivation of various results which were argued more abstractly for the WZW permutation orbifolds in Ref. .

We begin with the permutation-invariant system

$$_{I=0}^{K1}𝔤^I,𝔤^I𝔤,KN$$
(A.1a)
$$J_{aI}(z)J_{bJ}(w)=\delta _{IJ}\left\{\frac{k\eta _{ab}}{(zw)^2}+\frac{if_{ab}{}_{}{}^{c}J_{cI}^{}(w)}{zw}\right\}+𝒪(zw)^0$$
(A.1b)
$$T(z)=\frac{1}{2k+Q_𝔤}\underset{I=0}{\overset{K1}{}}\eta ^{ab}:J_{aI}(z)J_{bI}(z):,a,b=1\mathrm{}\mathrm{dim}𝔤$$
(A.1c)
where the automorphism group acts on the currents and stress tensor as $`J_{aI}{}_{}{}^{}=\omega (h_\sigma )_I{}_{}{}^{J}J_{aJ}^{}`$, $`h_\sigma H(\mathrm{permutation})S_N`$ and $`T(z)^{}=T(z)`$. The eigencurrents

$$𝒥_{n(r)aj}(z)=\chi _{n(r)aj}(\sigma )U(\sigma )_{n(r)j}{}_{}{}^{I}J_{aI}^{}(z)$$
(A.2a)
$$𝒥_{n(r)aj}(z)^{}=E_{n(r)}(\sigma )𝒥_{n(r)aj}(z),E_{n(r)}(\sigma )=e^{2\pi i{\scriptscriptstyle \frac{n\left(r\right)}{\rho \left(\sigma \right)}}}$$
(A.2b)
have diagonal response under $`H`$, where $`\omega (h_\sigma )U^{}(\sigma )=U^{}(\sigma )E(\sigma )`$, $`\sigma =0,\mathrm{},N_c1`$ is the $`H`$-eigenvalue problem  and the $`\chi `$’s are normalization constants.

To study the $`H`$-eigenvalue problem most efficiently, it is convenient to introduce a new basis. For each $`h_\sigma H(\mathrm{permutation})`$, we may relabel the copies $`I`$ to obtain a $`\sigma `$-dependent cycle basis of the type constructed for $`H=S_N`$ in Ref.

$$I\widehat{j}j,J_{aI}\stackrel{~}{J}_{a\widehat{j}j}$$
(A.3a)
$$\stackrel{~}{J}_{a\widehat{j}j}(z)\stackrel{~}{J}_{b\widehat{l}l}(w)=\delta _{jl}\delta _{\widehat{j}\widehat{l},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )}\left\{\frac{k\eta _{ab}}{(zw)^2}+\frac{if_{ab}{}_{}{}^{c}\stackrel{~}{J}_{c\widehat{j}j}^{}(w)}{zw}\right\}+𝒪(zw)^0$$
(A.3b)
$$T(z)=\frac{1}{2k+Q_𝔤}\underset{j}{}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\eta ^{ab}:\stackrel{~}{J}_{a\widehat{j}j}(z)\stackrel{~}{J}_{b\widehat{j}j}(z):$$
(A.3c)
$$𝒥_{n(r)aj}(z)=\chi _{n(r)aj}(\sigma )U(\sigma )_{n(r)aj}{}_{}{}^{\widehat{l}l}\stackrel{~}{J}_{a\widehat{l}l}^{}(z)$$
(A.3d)
$$\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\overline{\widehat{l}}=0,\mathrm{},f_l(\sigma )1,\underset{j}{}f_j(\sigma )=K.$$
(A.3e)
Here the unhatted indices $`j`$ or $`l`$ label the disjoint cycles (of size and order $`f_j(\sigma )`$ or $`f_l(\sigma )`$) of each $`h_\sigma H`$ and the hatted indices $`\widehat{j}`$ or $`\widehat{l}`$ run inside the disjoint cycle $`j`$ or $`l`$. The labelling inside each disjoint cycle is periodic $`\widehat{j}\widehat{j}\pm f_j(\sigma )`$ and the barred quantities $`\overline{\widehat{j}}`$, $`\overline{\widehat{l}}`$ in (A.3e) are the pullbacks of $`\widehat{j}`$ and $`\widehat{l}`$ into the fundamental range. The cycle basis can be chosen so that each $`h_\sigma `$ has matrix representation

$$\omega (h_\sigma )_{a\widehat{j}j}{}_{}{}^{b\widehat{l}l}=\delta _a^b\omega (h_\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l},\omega (h_\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\delta _j^l\delta _{\widehat{j}+1,\widehat{l}\text{mod}f_j(\sigma )},\sigma =0,\mathrm{},N_c1$$
(A.4)
that is so that the automorphism is a cyclic permutation $`\widehat{j}\widehat{j}+1`$ in each disjoint cycle.

Examples.
a) The cycle basis is discussed explicitly for the permutation groups $`S_N`$ in Ref. , with

$$K=N,f_j(\sigma )=\sigma _j,\sigma _{j+1}\sigma _j,j=0,\mathrm{},n(\stackrel{}{\sigma })1,\underset{j=0}{\overset{n(\stackrel{}{\sigma })1}{}}\sigma _j=N.$$
(A.5)
This choice gives one element $`h_\sigma S_N`$ in each conjugacy class of $`S_N`$.
b) For the cyclic permutation groups $`_\lambda `$ one has

$$K=\lambda ,f_j(\sigma )=\rho (\sigma ),\overline{\widehat{j}}=0,\mathrm{},\rho (\sigma )1,j=0,\mathrm{},\frac{\lambda }{\rho \left(\sigma \right)}1$$
(A.6)
where $`\rho (\sigma )`$ is the order of $`h_\sigma _\lambda `$ and $`\sigma =0,\mathrm{},\lambda 1`$. In this case we give some simple examples of the relabelling $`I\widehat{j}j`$: For $`\lambda `$=prime, one has $`\rho (\sigma )=\lambda `$, $`\sigma =1,\mathrm{},\lambda 1`$ and a single disjoint cycle $`j=0`$. Choosing also $`\sigma =2`$ we maintain a shift $`\widehat{j}\widehat{j}+1`$ in the single disjoint cycle by relabelling

$$\widehat{j}=(0,1,\mathrm{},\lambda 1)I=(0,2,\mathrm{},\lambda 1,1,3,\mathrm{},\lambda 2)$$
(A.7a)
$$\stackrel{~}{J}_{a\widehat{j}}=\stackrel{~}{J}_{a\widehat{j}0}=(J_{a0},J_{a2},\mathrm{},J_{a,\lambda 1},J_{a1},J_{a3},\mathrm{},J_{a,\lambda 2}).$$
(A.7b)
For $`\lambda =4`$, $`\sigma =2`$ we have $`\rho (2)=2`$ and two disjoint cycles $`j=0`$ and 1, and we may relabel as follows:

$$\stackrel{~}{J}_{a\widehat{j}0}=(J_{a0},J_{a2}),\stackrel{~}{J}_{a\widehat{j}1}=(J_{a1},J_{a3})$$
(A.8)
where $`\widehat{j}=0`$ and 1 in each disjoint cycle.

We consider now the $`H`$-eigenvalue problem and its solution in the cycle basis:

$$\underset{l}{}\underset{\widehat{l}=0}{\overset{f_l(\sigma )1}{}}\omega (h_\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}U_{}^{}(\sigma )_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=U^{}(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{m}m}E_{\widehat{m}}^{m}(\sigma )$$
(A.9a)
$$U^{}(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\frac{\delta _j^l}{\sqrt{f_j(\sigma )}}e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}\widehat{l}}{f_j\left(\sigma \right)}}},U(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\frac{\delta _j^l}{\sqrt{f_j(\sigma )}}e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}\widehat{l}}{f_j\left(\sigma \right)}}},E_{\widehat{j}}^j=e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}$$
(A.9b)
$$\underset{l}{}\underset{\widehat{l}=0}{\overset{f_j(\sigma )1}{}}U^{}(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}U(\sigma )_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=\delta _j^m\delta _{\widehat{j}\widehat{m},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )}$$
(A.9c)
$$\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\overline{\widehat{l}}=0,\mathrm{},f_l(\sigma )1,\overline{\widehat{m}}=0,\mathrm{},f_m(\sigma )1.$$
(A.9d)
Here the relabelling of the spectral integers

$$n(r)j\widehat{j}j,U^{}(\sigma )_{n(r)j}{}_{}{}^{\widehat{l}l}U^{}(\sigma )_{\widehat{j}j}^{\widehat{l}l}$$
(A.10)
is dictated by the form of the eigenvalue problem, and the correspondence

$$\frac{n(r)}{\rho (\sigma )}=\frac{\widehat{j}}{f_j(\sigma )},\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1$$
(A.11)
is obtained by comparing the eigenvalues $`E_{\widehat{j}}^j`$ to the standard form of the eigenvalues in (A.2). In what follows we use the correspondence (A.11) to relabel all the spectral integers $`n(r)\widehat{j}`$.

Returning to the eigencurrents $`𝒥_{n(r)aj}𝒥_{\widehat{j}aj}`$ we choose the normalization

$$\chi _{n(r)aj}(\sigma )\chi _{\widehat{j}aj}(\sigma )=\sqrt{f_j(\sigma )}.$$
(A.12)
This choice of normalization is in agreement with the prior conventions  adopted for $`_\lambda `$ and $`S_N`$. Then, combining (A.3d), (A.9) and (A.12) we find an explicit form for the eigencurrents

$$𝒥_{\widehat{j}aj}(z)=\sqrt{f_j(\sigma )}U(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}\stackrel{~}{J}_{a\widehat{l}l}^{}(z)=\underset{\widehat{j}^{}=0}{\overset{f_j(\sigma )1}{}}e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}\widehat{j}^{}}{f_j\left(\sigma \right)}}}\stackrel{~}{J}_{a\widehat{j}^{}j}(z),𝒥_{\widehat{j}aj}(z)^{}=e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}𝒥_{\widehat{j}aj}(z)$$
(A.13a)
$$\stackrel{~}{J}_{a\widehat{j}j}(z)=\frac{1}{f_j(\sigma )}\underset{\widehat{j}^{}=0}{\overset{f_j(\sigma )1}{}}e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}\widehat{j}^{}}{f_j\left(\sigma \right)}}}𝒥_{a\widehat{j}^{}j}(z),\underset{j}{}𝒥_{0aj}(z)=\underset{j}{}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\stackrel{~}{J}_{a\widehat{j}j}(z)=\underset{I=0}{\overset{K1}{}}J_{aI}(z)$$
(A.13b)
and the OPEs of the eigencurrents are

$$𝒥_{\widehat{j}aj}(z)𝒥_{\widehat{l}bl}(w)=\frac{𝒢_{\widehat{j}aj;\widehat{l}bl}(\sigma )}{(zw)^2}+i_{\widehat{j}aj;\widehat{l}bl}{}_{}{}^{\widehat{j}+\widehat{l},cm}(\sigma )\frac{𝒥_{\widehat{j}+\widehat{l},cm}(w)}{zw}+𝒪(zw)^0$$
(A.14a)
$$𝒢_{\widehat{j}aj;\widehat{l}bl}(\sigma )=\eta _{ab}\widehat{k}_j(\sigma )\delta _{jl}\delta _{\widehat{j}+\widehat{l},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )},\widehat{k}_j(\sigma )=kf_j(\sigma )$$
(A.14b)
$$_{\widehat{j}aj;\widehat{l}bl}{}_{}{}^{\widehat{m}cm}(\sigma )=f_{ab}{}_{}{}^{c}\delta _{jl}^{}\delta _l^m\delta _{\widehat{j}+\widehat{l}\widehat{m},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )}.$$
(A.14c)
We may also rewrite the stress tensor in terms of the eigencurrents

$$_{\widehat{𝔤}(\sigma )}^{\widehat{j}aj;\widehat{l}bl}(\sigma )=\frac{k}{2k+Q_𝔤}𝒢^{\widehat{j}aj;\widehat{l}bl}(\sigma ),𝒢^{\widehat{j}aj;\widehat{l}bl}(\sigma )=\eta ^{ab}\widehat{k}_j^1(\sigma )\delta ^{jl}\delta _{\widehat{j}+\widehat{l},\mathrm{\hspace{0.17em}0}\text{mod}f_j(\sigma )}$$
(A.15a)
$$T(z)=\underset{j}{}_{\widehat{𝔤}(\sigma )}^{\widehat{j}aj;\widehat{l}bl}(\sigma ):𝒥_{\widehat{j}aj}(z)𝒥_{\widehat{l}bl}(z):=\frac{1}{2k+Q_𝔤}\underset{j}{}\frac{1}{f_j(\sigma )}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\eta ^{ab}:𝒥_{\widehat{j}aj}(z)𝒥_{\widehat{j},bj}(z):$$
(A.15b)
where $`::`$ is operator product normal ordering . Under the relabelling $`n(r)\widehat{j}`$, these results for $`𝒢`$, $``$ and $``$ are equivalent to those given in Ref. .

Then using local isomorphisms $`𝒥\underset{𝜎}{}\widehat{J}`$  we obtain for sector $`\sigma `$ of the general WZW permutation orbifold

$$\widehat{J}_{\widehat{j}aj}(z)\widehat{J}_{\widehat{l}bl}(w)=\frac{𝒢_{\widehat{j}aj;\widehat{l}bl}(\sigma )}{(zw)^2}+i_{\widehat{j}aj;\widehat{l}bl}{}_{}{}^{\widehat{j}+\widehat{l},cm}(\sigma )\frac{\widehat{J}_{\widehat{j}+\widehat{l},cm}(w)}{zw}+𝒪(zw)^0$$
(A.16a)
$$\widehat{J}_{\widehat{j}aj}(ze^{2\pi i})=e^{2\pi i{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}\widehat{J}_{\widehat{j}aj}(z),\widehat{J}_{\widehat{j}aj}(z)=\underset{m}{}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)})z^{(m+{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}})1}$$
(A.16b)
$`[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)}),\widehat{J}_{\widehat{l}bl}(n+\frac{\widehat{l}}{f_j\left(\sigma \right)})]`$ $`=`$ $`\delta _{jl}(if_{ab}{}_{}{}^{c}\widehat{J}_{\widehat{j}+\widehat{l}}^{}(m+n+\frac{\widehat{j}+\widehat{l}}{f_j\left(\sigma \right)})`$ (A.16c)
$`+\widehat{k}_j(\sigma )\eta _{ab}(m+\frac{\widehat{j}}{f_j\left(\sigma \right)})\delta _{m+n+{\scriptscriptstyle \frac{\widehat{j}+\widehat{l}}{f_j\left(\sigma \right)}},0})`$
$$\widehat{T}_\sigma (z)=_{\widehat{𝔤}(\sigma )}^{\widehat{j}aj;\widehat{l}bl}(\sigma ):\widehat{J}_{\widehat{j}aj}(z)\widehat{J}_{\widehat{l}bl}(z):=\frac{1}{2k+Q_𝔤}\underset{j}{}\frac{1}{f_j(\sigma )}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\eta ^{ab}:\widehat{J}_{\widehat{j}aj}(z)\widehat{J}_{\widehat{j}bj}(z):.$$
(A.16d)
Under the relabelling $`n(r)aj\widehat{j}aj`$, these results are also equivalent to those given in Ref. .

For the special case $`H=_\lambda `$ another form of the eigencurrents

$$𝒥_{raj}(z)=\underset{s=0}{\overset{\rho (\sigma )1}{}}e^{2\pi i{\scriptscriptstyle \frac{N\left(\sigma \right)rs}{\rho \left(\sigma \right)}}}J_{a,{\scriptscriptstyle \frac{\lambda }{\rho \left(\sigma \right)}}s+j}(z),\overline{\widehat{j}}=\overline{r}=0,\mathrm{},\rho (\sigma )1,j=0,\mathrm{},\frac{\lambda }{\rho \left(\sigma \right)}1$$
(A.17)
was given in Eq. (3.28) of Ref. , where the integers $`N(\sigma )`$ are also defined. This is the form taken by the $`_\lambda `$ eigencurrents when expressed in terms of the untwisted currents $`J_{aI}`$ of the original $`I`$ basis. The two expressions (A.17) and (A.13a) for $`H=_\lambda `$ are equal because the eigencurrents are independent of the basis choice $`I`$ or $`\widehat{j}j`$. To see how this works in a simple example, consider the case $`\lambda =3`$, $`\sigma =2`$ with $`\rho (2)=3`$, $`N(2)=2`$ and $`j=0`$:

$$𝒥_{ra0}(z)=\underset{s=0}{\overset{2}{}}e^{4\pi i{\scriptscriptstyle \frac{rs}{3}}}J_{as}=\underset{s=0}{\overset{2}{}}e^{2\pi i{\scriptscriptstyle \frac{rs}{3}}}\stackrel{~}{J}_{as},\overline{r}=0,1,2,\stackrel{~}{J}_{as}=(J_{a0},J_{a2},J_{a1}).$$
(A.18)
The form of $`\stackrel{~}{J}_{as}`$ in (A.18) is a special case of the relabelling (A.7b).

For the extended $`H`$-eigenvalue problem, we have the solution

$$U^{}(T,\sigma )_{\alpha I}{}_{}{}^{n(r)\beta j}U^{}(T,\sigma )_{\alpha \widehat{j}j}{}_{}{}^{\widehat{l}\beta l}=\delta _\alpha ^\beta U^{}(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l},\alpha ,\beta =1\mathrm{}\mathrm{dim}T$$
(A.19)
where $`T`$ is any irrep of $`𝔤`$ and $`U^{}(\sigma )`$ is the solution (A.9) to the $`H`$-eigenvalue problem. Then we may evaluate Eq. (7.7e) of Ref.  to find the factorized form of the twisted representation matrices $`𝒯`$

$$𝒯_{n(r)j}(T,\sigma )𝒯_{\widehat{j}aj}(T,\sigma ),[𝒯_{\widehat{j}aj}(T,\sigma ),𝒯_{\widehat{l}bl}(T,\sigma )]=i\delta _{jl}f_{ab}{}_{}{}^{c}𝒯_{\widehat{j}+\widehat{l},cj}^{}(T,\sigma )$$
(A.20a)
$$𝒯_{\widehat{j}aj}(T,\sigma )=T_at_{\widehat{j}j}(\sigma ),[T_a,T_b]=if_{ab}{}_{}{}^{c}T_{c}^{},t_{\widehat{j}j}(\sigma )_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=\delta _{jl}\delta _l^m\delta _{\widehat{j}+\widehat{l}\widehat{m},0\text{mod}f_j(\sigma )}$$
(A.20b)
in agreement with the result given in Ref. . The formulae (2.48f), (2.48g) and (2.48h) are the abelian limit of (A.20), as expected.

## Appendix B More about the WZW permutation orbifolds

We continue with the WZW permutation orbifolds, using the spectral index relabelling

$$n(r)aj\widehat{j}aj,N(r)\alpha j\widehat{j}\alpha j,a=1\mathrm{}\mathrm{dim}𝔤,\alpha =1\mathrm{}\mathrm{dim}T$$
(B.1)
to rewrite more of the results of Ref. . First we rewrite the results of Ref.  for the left- and right-mover ground state conformal weights in each sector $`\sigma `$ of all WZW permutation orbifolds

$`\widehat{\mathrm{\Delta }}_0(\sigma )=\widehat{\overline{\mathrm{\Delta }}}_0(\sigma )`$ $`=`$ $`{\displaystyle \frac{c_𝔤}{2}}{\displaystyle \underset{rj}{}}{\displaystyle \frac{\overline{n}(r)}{2\rho (\sigma )}}\left(1{\displaystyle \frac{\overline{n}(r)}{\rho (\sigma )}}\right)={\displaystyle \frac{c_𝔤}{2}}{\displaystyle \underset{j}{}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}{\displaystyle \frac{\widehat{j}}{2f_j(\sigma )}}\left(1{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}\right)`$ (B.2a)
$`=`$ $`{\displaystyle \frac{c_𝔤}{24}}{\displaystyle \underset{j}{}}\left(f_j(\sigma ){\displaystyle \frac{1}{f_j(\sigma )}}\right)={\displaystyle \frac{c_𝔤}{24}}\left(K{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}\right)`$
$$c_𝔤=\frac{x_𝔤\mathrm{dim}𝔤}{x_𝔤+\stackrel{~}{h}_𝔤},x_𝔤\frac{2k}{\psi _𝔤^2},\stackrel{~}{h}_𝔤\frac{Q_𝔤}{\psi _𝔤^2}$$
(B.2b)
where $`K`$ is defined in (A.1) and $`c_𝔤`$ is the central charge of the affine-Sugawara construction  on affine $`𝔤`$. Eq. (2.49c) is the abelian limit of (B.2), as expected.

To go further it will be useful to have the identities

$$_{\widehat{𝔤}(\sigma )}^{\widehat{j}aj;\widehat{j},bl}(\sigma )𝒯_{\widehat{j}aj}𝒯_{\widehat{j},bl}=\mathrm{\Delta }_𝔤(T)1\mathrm{l},\frac{(\eta ^{ab}T_aT_b)_\alpha ^\beta }{2k+Q_𝔤}=\mathrm{\Delta }_𝔤(T)\delta _\alpha ^\beta $$
(B.3a)
$$_{\widehat{𝔤}(\sigma )}^{0aj;0bl}(\sigma )𝒯_{0aj}𝒯_{0bl}=\mathrm{\Delta }_𝔤(T)\underset{j}{}\frac{1}{f_j(\sigma )}t_{0j}(\sigma )$$
(B.3b)
$`2_{\widehat{𝔤}(\sigma )}^{n(r)aj;n(r)bl}(\sigma )\frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}𝒯_{n(r)aj}𝒯_{n(r),bl}`$ $`=`$ $`_{\widehat{𝔤}(\sigma )}^{n(r)aj;n(r)bl}(\sigma )𝒯_{n(r)aj}𝒯_{n(r),bl}(1\delta _{\overline{n}(r),0})`$ (B.3d)
$`=\mathrm{\Delta }_𝔤(T)\left(1\mathrm{l}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}t_{0j}(\sigma )\right)`$
where we have used (A.15a) and the factorized form $`𝒯=Tt`$ of the twisted representation matrices. These results are analogous to those given for the abelian case in Subsec. 2.6.

Then the twisted left-mover KZ systems of the WZW permutation orbifolds take the form

$$_\mu \widehat{A}_+(\sigma )=\widehat{A}_+(\sigma )\widehat{W}_\mu (\sigma ),\widehat{A}_+(\sigma )\widehat{A}_+(𝒯,z,\sigma ),\sigma =0,\mathrm{},\rho (\sigma )1$$
(B.4a)
$`\widehat{W}_\mu (\sigma )`$ $`=`$ $`{\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}\eta ^{ab}{\displaystyle \frac{T_a^{(\nu )}T_b^{(\mu )}}{z_{\mu \nu }}}{\displaystyle \underset{j}{}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}\left({\displaystyle \frac{z_\nu }{z_\mu }}\right)^{{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}{\displaystyle \frac{t_{\widehat{j}j}^{(\nu )}(\sigma )t_{\widehat{j},j}^{(\mu )}(\sigma )}{f_j(\sigma )}}`$ (B.4b)
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{z_\mu }}\left(1\mathrm{l}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}t_{0j}^{(\mu )}(\sigma )\right)`$
$$\widehat{A}_+(\sigma )\underset{\mu =1}{\overset{N}{}}T_a^{(\mu )}t_{0j}^{(\mu )}(\sigma )=0.$$
(B.4c)
Finally we note the form of the general left-mover two-point correlators of Ref.  in this notation

$`\widehat{A}_+(1,2)=\widehat{g}_+(𝒯^1,z_1,\sigma )\widehat{g}_+(𝒯^2,z_2,\sigma )_\sigma `$
$`=C_+(𝒯,\sigma )z_1^{\mathrm{\Delta }_𝔤(T^{(1)})(1\mathrm{l}_j{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}}t_{0j}^{(1)}(\sigma ))}z_2^{\mathrm{\Delta }_𝔤(T^{(2)})(1\mathrm{l}_j{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}}t_{0j}^{(2)}(\sigma ))}z_{12}^{2\mathrm{\Delta }_𝔤(T^{(1)})_j{\scriptscriptstyle \frac{1}{f_j\left(\sigma \right)}}t_{0j}^{(1)}(\sigma )}`$
$`\times \mathrm{exp}\left({\displaystyle \frac{2}{2k+Q_𝔤}}T_a^{(2)}\eta ^{ab}T_b^{(1)}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}t_{\widehat{j}j}^{(2)}(\sigma )t_{\widehat{j},j}^{(1)}(\sigma )I_{{\scriptscriptstyle \frac{\widehat{j}}{f_j\left(\sigma \right)}}}(\frac{z_1}{z_2})\right)`$ (B.5a)
$$C_+(𝒯,\sigma )(T_a^{(1)}t_{0j}^{(1)}(\sigma )+T_a^{(2)}t_{0j}^{(2)}(\sigma ))=0$$
(B.5b)
where the indefinite integrals $`I`$ were evaluated in Ref. . The abelian limit of (B.5) is in agreement with the result (2.55) of the text.

## Appendix C An identity for the full correlators of the abelian orbifolds

In this appendix, we verify the symmetry $`F(\kappa ,\rho )=F(\rho ,\kappa )`$ stated in Eq. (2.97) of the text. The steps followed here parallel those used in Ref.  to prove $`12`$ symmetry for the non-chiral two-point correlators of the WZW cyclic permutation orbifolds.

We start with the definition ($`\rho k`$)

$`F(\rho ,\kappa )`$ $``$ $`𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})`$ (C.1)
$`\times \left(𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },\mathrm{})+𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },\mathrm{})\right).`$
Then we compare this to $`F(\kappa ,\rho )`$, following the steps

$`F(\kappa ,\rho )`$ $`=`$ $`𝒢^{n(r)\rho (\sigma ),\mu ;\rho (\sigma )n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})`$
$`\times \left(𝒯_{\rho (\sigma )n(r),\nu }^{(\rho )}𝒯_{n(r)\rho (\sigma ),\mu }^{(\kappa )}I_{{\scriptscriptstyle \frac{\rho \left(\sigma \right)\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },0)+𝒯_{\rho (\sigma )n(r),\nu }^{(\kappa )}𝒯_{n(r)\rho (\sigma ),\mu }^{(\rho )}I_{{\scriptscriptstyle \frac{\rho \left(\sigma \right)\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },0)\right)`$
(C.2c)
$`=`$ $`𝒢^{n(r),\mu ;n(r)\nu }(\sigma )(1\delta _{\overline{n}(r),0})`$
$`\times \left(𝒯_{n(r)\nu }^{(\rho )}𝒯_{n(r),\mu }^{(\kappa )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },0)+𝒯_{n(r)\nu }^{(\kappa )}𝒯_{n(r),\mu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },0)\right)`$
$`=`$ $`𝒢^{n(r),\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})`$
$`\times \left(𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{z_\rho }{z_\kappa },0)+𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\frac{\overline{z}_\rho }{\overline{z}_\kappa },0)\right)`$
$`=`$ $`F(\rho ,\kappa )+\mathrm{\Delta }`$ (C.2d)
$$\mathrm{\Delta }𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})\left(𝒯_{n(r)\mu }^{(\rho )}𝒯_{n(r),\nu }^{(\kappa )}+𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\rho )}\right)I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\mathrm{},0).$$
(C.2e)
Here we have used the identity (2.97a) and the periodicity $`n(r)n(r)\pm \rho (\sigma )`$ of $`𝒢`$ and $`𝒯`$ to obtain (C.2c) and the variable change $`n^{}\rho n`$ to obtain (C.2c). Finally (C.2c), (C.2d) and (C.2e) are obtained with the symmetry of $`𝒢`$ and a $`\mu \nu `$ relabelling.

The same steps on the first term of $`\mathrm{\Delta }`$ are used to show that $`\mathrm{\Delta }=0`$

$`𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})𝒯_{n(r),\nu }^{(\kappa )}𝒯_{n(r)\mu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\mathrm{},0)`$
$`=`$ $`𝒢^{n(r)\rho (\sigma ),\mu ;\rho (\sigma )n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})𝒯_{\rho (\sigma )n(r),\nu }^{(\kappa )}𝒯_{n(r)\rho (\sigma ),\mu }^{(\rho )}I_{{\scriptscriptstyle \frac{\rho \left(\sigma \right)\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(0,\mathrm{})`$ (C.3a)
$`=`$ $`𝒢^{n(r),\mu ;n(r)\nu }(\sigma )(1\delta _{\overline{n}(r),0})𝒯_{n(r)\nu }^{(\kappa )}𝒯_{n(r),\mu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(0,\mathrm{})`$ (C.3b)
$`=`$ $`𝒢^{n(r)\mu ;n(r),\nu }(\sigma )(1\delta _{\overline{n}(r),0})𝒯_{n(r)\mu }^{(\kappa )}𝒯_{n(r),\nu }^{(\rho )}I_{{\scriptscriptstyle \frac{\overline{n}\left(r\right)}{\rho \left(\sigma \right)}}}(\mathrm{},0)`$ (C.3c)
which establishes the symmetry of $`F`$.

## Appendix D Relation to the Dynkin automorphisms

Our first exercise in this appendix is to show explicitly that the standard action $`\tau `$ of the Dynkin diagram automorphism of $`𝔰𝔲(3)`$

$$\tau (\alpha _1)=\alpha _2,\tau (\alpha _2)=\alpha _1,\tau (\alpha H)=\alpha \tau (H)=\tau (\alpha )H$$
(D.1a)
$$\tau (E_{\pm \alpha _1})=E_{\pm \alpha _2},\tau (E_{\pm \alpha _2})=E_{\pm \alpha _1},\tau (E_{\pm (\alpha _1+\alpha _2)})=E_{\pm (\alpha _1+\alpha _2)}$$
(D.1b)
$$\alpha _1=(1,0),\alpha _2=\frac{1}{2}(1,\sqrt{3})$$
(D.1c)
is inner-automorphically equivalent $`\tau \omega `$ to the action of the outer automorphism $`\omega `$ in the Cartesian basis of the text. As seen in (D.1c), we take $`\alpha ^2=1`$ for our discussion of $`𝔰𝔲(3)`$.

We present this equivalence in a set of relations

$`()J_1`$ $`=`$ $`\stackrel{~}{J}_5=\frac{1}{i\sqrt{2}}(E_{\alpha _1+\alpha _2}E_{(\alpha _1+\alpha _2)})`$ (D.2a)
$`(+)J_2`$ $`=`$ $`\frac{1}{2}(\stackrel{~}{J}_3+\sqrt{3}\stackrel{~}{J}_8)=(\alpha _1+\alpha _2)H`$ (D.2b)
$`()J_3`$ $`=`$ $`\stackrel{~}{J}_4=\frac{1}{\sqrt{2}}(E_{\alpha _1+\alpha _2}+E_{(\alpha _1+\alpha _2)})`$ (D.2c)
$`()J_4`$ $`=`$ $`\frac{1}{\sqrt{2}}(\stackrel{~}{J}_7\stackrel{~}{J}_2)=\frac{i}{2}(E_{\alpha _1}E_{\alpha _2}(E_{\alpha _1}E_{\alpha _2}))`$ (D.2d)
$`(+)J_5`$ $`=`$ $`\frac{1}{\sqrt{2}}(\stackrel{~}{J}_1+\stackrel{~}{J}_6)=\frac{1}{2}(E_{\alpha _1}+E_{\alpha _2}+E_{\alpha _1}+E_{\alpha _2})`$ (D.2e)
$`()J_6`$ $`=`$ $`\frac{1}{\sqrt{2}}(\stackrel{~}{J}_1\stackrel{~}{J}_6)=\frac{1}{2}(E_{\alpha _1}E_{\alpha _2}+E_{\alpha _1}E_{\alpha _2})`$ (D.2f)
$`(+)J_7`$ $`=`$ $`\frac{1}{\sqrt{2}}(\stackrel{~}{J}_2+\stackrel{~}{J}_7)=\frac{1}{2i}(E_{\alpha _1}+E_{\alpha _2}(E_{\alpha _1}+E_{\alpha _2}))`$ (D.2g)
$`()J_8`$ $`=`$ $`\frac{1}{2}(\sqrt{3}\stackrel{~}{J}_3\stackrel{~}{J}_8)={\displaystyle \frac{1}{\sqrt{3}}}(\alpha _1\alpha _2)H`$ (D.2h)
whose derivation and meaning we discuss below.

In (D.2) the generators $`J^{}=J`$ are the Cartesian generators of the text, while the generators $`\stackrel{~}{J}^{}=\stackrel{~}{J}`$ are another set of Cartesian generators related to the Cartan-Weyl generators as follows:

$$E_{\pm \alpha _1}=\frac{1}{\sqrt{2}}(\stackrel{~}{J}_1\pm i\stackrel{~}{J}_2),E_{\pm \alpha _2}=\frac{1}{\sqrt{2}}(\stackrel{~}{J}_6\pm i\stackrel{~}{J}_7),E_{\pm (\alpha _1+\alpha _2)}=\frac{1}{\sqrt{2}}(\stackrel{~}{J}_4\pm i\stackrel{~}{J}_5)$$
(D.3a)
$$,H=(\stackrel{~}{J}_3,\stackrel{~}{J}_8),E_\alpha ^{}=E_\alpha ,H^{}=H.$$
(D.3b)
The $`\stackrel{~}{J}(E,H)`$ relations in (D.2) give the $`\stackrel{~}{J}`$ form of the hermitian eigenstates of the Cartan-Weyl generators under $`\tau `$. The signs $`(\pm )`$ shown on the far left of (D.2) are the eigenvalues of all the combinations under $`\tau \omega `$.

The relation between the $`J`$’s and the $`\stackrel{~}{J}`$’s is in fact an inner automorphism of $`𝔰𝔲(3)`$. To see this explicitly, consider the unitary matrix

$$U=\frac{e^{i\pi /6}}{\sqrt{2}}\left(\begin{array}{ccc}i& 1& 0\\ 0& 0& \sqrt{2}\\ i& 1& 0\end{array}\right),U^{}U=1\mathrm{l},\mathrm{det}U=1$$
(D.4)
Then we find by explicit computation that

$`U^{}\{{\displaystyle \frac{\lambda _1+\lambda _6}{\sqrt{2}}},{\displaystyle \frac{\lambda _2+\lambda _7}{\sqrt{2}}},{\displaystyle \frac{\lambda _3+\sqrt{3}\lambda _8}{2}},\lambda _4,{\displaystyle \frac{\sqrt{3}\lambda _3\lambda _8}{2}},{\displaystyle \frac{\lambda _1\lambda _6}{\sqrt{2}}},{\displaystyle \frac{\lambda _7\lambda _2}{\sqrt{2}}},\lambda _5\}U`$
$`=\{\lambda _5,\lambda _7,\lambda _2,\lambda _3,\lambda _8,\lambda _6,\lambda _4,\lambda _1\}`$ (D.5)
where $`\lambda _a`$, $`a=1\mathrm{}8`$ are the $`3\times 3`$ Gell-Mann matrices. This result shows that the relation in (D.2) between the $`J`$’s and $`\stackrel{~}{J}`$’s is an automorphism, and moreover this automorphism is an inner automorphism because $`U`$ in (D.4) is an element of the Lie group $`SU(3)`$.

To see this for all representations of $`𝔰𝔲(3)`$, note that the matrix $`U`$ can be written in the form $`U=\mathrm{exp}(i\beta T)`$ for $`T`$ the fundamental of $`𝔰𝔲(3)`$. Then the relations (D) imply the same forms as operator relations with $`U\stackrel{~}{U}=\mathrm{exp}(i\beta J)`$ and $`\lambda _aJ_a`$ for any set of Cartesian generators, including $`J`$ or $`\stackrel{~}{J}`$.

Two further comments are in order. We mention first that the matrix $`U`$ in (D.4) is nothing but a particular matrix of eigenvectors of $`\lambda _4`$. Repeating the computation with the most general matrix of eigenvectors of $`\lambda _4`$ gives a more general form of (D) which shows the inner-automorphic equivalence of all the irregularly embedded $`𝔰𝔬(3)`$’s in $`𝔰𝔲(3)`$. Second, the $`J(E,H)`$ relations in (D.2) can also be used to check the equivalence of our Cartesian form of $`A_2^{(2)}`$ in (3.21) with the conventional form of $`A_2^{(2)}`$ obtained directly from the action of the Dynkin automorphism. One need only hat the operators in the $`J(E,H)`$ relations

$$J\widehat{J},E_{\pm (\alpha _1+\alpha _2)}\widehat{E}_{\pm (\alpha _1+\alpha _2)},H\widehat{H}$$
(D.6a)
$$E_{\pm \alpha _1}+E_{\pm \alpha _2}\widehat{E_{\pm \alpha _1}+E_{\pm \alpha _2}},E_{\pm \alpha _1}E_{\pm \alpha _2}\widehat{E_{\pm \alpha _1}E_{\pm \alpha _2}}$$
(D.6b)
being careful as shown to maintain the eigenstates of $`\tau `$.

For $`𝔰𝔲(2n+1)`$ it is well known  that there is a realization of the Dynkin automorphism with invariant subalgebra $`h=𝔰𝔬(2n+1)`$. This is easily checked starting from the trivial phase $`\tau (E_{\alpha _i})=E_{\tau (\alpha _i)}`$ for all simple roots.

For $`𝔰𝔲(2n)`$ however it is known  that there are two inner-automorphically equivalent realizations of the Dynkin automorphism, resulting in a choice of invariant subalgebra $`h=𝔰𝔬(2n)`$ or $`h=𝔠_n`$. This is not difficult to check explicitly, starting from the positive roots

$$\alpha _{ij}=e_ie_j,e_ie_j=\delta _{ij},\alpha _{ij}^2=2,1i<j2n$$
(D.7)
(with simple roots $`\alpha _{i,i+1}`$) and their corresponding generators $`E_{ij}E_{\alpha _{ij}}`$:

$$[E_{ik},E_{kj}]=E_{ij},\tau (\alpha _{i,i+1})=\alpha _{2ni,2ni+1},\tau (\alpha _{ij})=\alpha _{2nj+1,2ni+1}.$$
(D.8)
The $`n`$ invariant positive roots are $`\alpha _{i,2ni+1}`$, $`i=1\mathrm{}n`$, including the invariant simple root $`\alpha _{n,n+1}`$.

By comparison with $`[\tau (E_{ik}),\tau (E_{kj})]=\tau (E_{ij})`$ we find that the general automorphism has the form

$$\tau (E_{ij})=\xi _{ij}E_{2nj+1,2ni+1},\xi _{ij}=()^{ji1}\left(\underset{l=1}{\overset{j1}{}}\xi _{l,l+1}\right)$$
(D.9)
where $`\xi _{i,i+1}`$ is the phase of the simple root generator $`E_{i,i+1}`$. Moreover, the form (D.9) is unique given the “initial condition” $`\{\xi _{i,i+1}\}`$. The two realizations of the Dynkin automorphism are then found by distinguishing the sign of the invariant simple root

$$\begin{array}{ccccc}\hfill \mathrm{I}.& & \xi _{i,i+1}=1\hfill & & h=𝔠_n\hfill \\ \hfill \mathrm{II}.& & \xi _{i,i+1}=1\text{except}\xi _{n,n+1}=1\hfill & & h=𝔰𝔬(2n).\hfill \end{array}$$
(D.10)
As far as counting is concerned, the difference between the two cases is the sign of the $`n`$ invariant positive roots

$$\tau (E_{i,2ni+1})=\xi _{i,2ni+1}E_{i,2ni+1},\xi _{i,2ni+1}=\{\begin{array}{cc}+1\hfill & \text{for}\mathrm{I}\hfill \\ 1\hfill & \text{for}\mathrm{II}\hfill \end{array},i=1\mathrm{}n.$$
(D.11)
The same is found for the $`n`$ invariant negative roots, and the relation

$$\mathrm{dim}(𝔠_n)=\mathrm{dim}(𝔰𝔬(2n))+2n=n(2n+1)$$
(D.12)
reflects this difference between cases I and II. Finally, it is easily checked with (D.10) and the fundamental representation of $`𝔰𝔲(2n)`$ that the composition of automorphisms I and II is an inner automorphism of $`𝔰𝔲(2n)`$.

## Appendix E Flat connections in the charge conjugation orbifolds

To check explicitly that the twisted KZ connection (3.41c) is flat, we will need only the symmetric-space form ($`f_{IJK}=0`$) of the algebra (3.26b), (3.26c), (3.26d) of the twisted representation matrices. In further detail, we will use only the following list of simple identities

$$\frac{1}{2z_{\mu \nu }\sqrt{z_\mu z_\nu }}\pm \frac{1}{z_{\mu \nu }^2}\left(\frac{z_\nu }{z_\mu }\right)^{\pm {\scriptscriptstyle \frac{1}{2}}}=\pm \frac{z_\mu +z_\nu }{2z_{\mu \nu }^2\sqrt{z_\mu z_\nu }}$$
(E.1a)
$$[𝒯_{0A},\underset{I}{}𝒯_{1I}𝒯_{1I}]=0$$
(E.1b)
$$\frac{1}{z_{\mu \rho }z_{\nu \rho }}=\frac{1}{z_{\mu \rho }z_{\nu \mu }}+\frac{1}{z_{\mu \nu }z_{\nu \rho }}$$
(E.1c)
$$\frac{1}{z_{\mu \rho }z_{\nu \rho }}\frac{z_\rho }{\sqrt{z_\mu z_\nu }}\frac{1}{z_{\mu \rho }z_{\nu \mu }}\left(\frac{z_\mu }{z_\nu }\right)^{{\scriptscriptstyle \frac{1}{2}}}\frac{1}{z_{\mu \nu }z_{\nu \rho }}\left(\frac{z_\nu }{z_\mu }\right)^{{\scriptscriptstyle \frac{1}{2}}}=0$$
(E.1d)
$$\underset{IJA}{}if_{IJA}(𝒯_{1I}^{(\nu )}𝒯_{1J}^{(\nu )}𝒯_{0A}^{(\mu )}(\mu \nu ))=\frac{1}{2}\underset{IJA}{}if_{IJA}([𝒯_{1I}^{(\nu )},𝒯_{1J}^{(\nu )}]𝒯_{0A}^{(\mu )}(\mu \nu ))$$

$$=\frac{1}{2}\underset{IJAB}{}if_{IJA}if_{IJB}(𝒯_{0B}^{(\nu )}𝒯_{0A}^{(\mu )}(\mu \nu ))=0$$
(E.1e)
$$\underset{IJA}{}if_{AIJ}(𝒯_{0A}^{(\mu )}𝒯_{1J}^{(\nu )}𝒯_{1I}^{(\mu )}+𝒯_{1J}^{(\mu )}𝒯_{1I}^{(\nu )}𝒯_{0A}^{(\mu )}(\mu \nu ))=\underset{IJA}{}if_{AIJ}([𝒯_{0A}^{(\mu )},𝒯_{1J}^{(\nu )}𝒯_{1I}^{(\mu )}](\mu \nu ))$$

$$=\underset{IJAK}{}if_{AIJ}if_{AIK}(𝒯_{1J}^{(\nu )}𝒯_{1K}^{(\mu )}(\mu \nu ))=0$$
(E.1f)
where $`\mu ,\nu `$ and $`\rho `$ are distinct. The identity (E.1d) follows from (E.1c) and many identities of this form were needed  in the explicit check of flatness of the twisted KZ connections of the WZW cyclic permutation orbifolds. The identities (E.1b), (E.1e) and (E.1f) are simple consequences of the symmetric-space form of the algebra of twisted representation matrices.

Then by differentiation and (E.1a) we find that

$$_\mu \widehat{W}_\nu _\nu \widehat{W}_\mu =\frac{2}{2k+Q_g}[\underset{A}{}𝒯_{0A}^{(\mu )}𝒯_{0A}^{(\nu )}+\frac{z_\mu +z_\nu }{2\sqrt{z_\mu z_\nu }}\underset{I}{}𝒯_{1I}^{(\mu )}𝒯_{1I}^{(\nu )}](\mu \nu )=0$$
(E.2)
In what follows, we sketch the more difficult check that

$$[\widehat{W}_\mu ,\widehat{W}_\nu ]=0.$$
(E.3)
For this computation, we introduce the symbolic notation

$$\widehat{W}_\mu =h_\mu +(g/h)_\mu +e_\mu $$
(E.4)
where $`h`$ denotes the untwisted subalgebra terms and so on. Then we find using (E.1a), (E.1b) and (E.1c) that

$$[e_\mu ,e_\nu ]=[e_\mu ,h_\nu ]=[h_\mu ,e_\nu ]=[h_\mu ,h_\nu ]=0.$$
(E.5)
The last relation in this list is not surprising because $`h`$ is an untwisted subalgebra.

After some algebra, the rest of the terms can be divided into summed terms $`_{\rho \mu ,\nu }`$ and unsummed terms which involve only $`z_\mu `$ and $`z_\nu `$. For example one finds that the commutator

$`[(g/h)_\mu ,(g/h)_\nu ]`$ $`=`$ $`{\displaystyle \underset{IJA}{}}if_{IJA}{\displaystyle \underset{\rho \mu ,\nu }{}}\{{\displaystyle \frac{1}{z_{\mu \rho }z_{\nu \mu }}}\left({\displaystyle \frac{z_\rho }{z_\nu }}\right)^{{\scriptscriptstyle \frac{1}{2}}}𝒯_{1I}^{(\rho )}𝒯_{0A}^{(\mu )}𝒯_{1J}^{(\nu )}`$ (E.6)
$`+{\displaystyle \frac{1}{z_{\mu \rho }z_{\nu \rho }}}{\displaystyle \frac{z_\rho }{\sqrt{z_\mu z_\nu }}}𝒯_{0A}^{(\rho )}𝒯_{1J}^{(\nu )}𝒯_{1I}^{(\mu )}+{\displaystyle \frac{1}{z_{\mu \nu }z_{\nu \rho }}}\left({\displaystyle \frac{z_\rho }{z_\mu }}\right)^{{\scriptscriptstyle \frac{1}{2}}}𝒯_{1J}^{(\rho )}𝒯_{0A}^{(\nu )}𝒯_{1I}^{(\mu )}\}`$
has no unsummed terms, which have cancelled according to (E.1e). Using (E.1c) and (E.1d) the summed terms (E.6) are found to cancel against the summed terms from $`[h_\mu ,(g/h)_\nu ]+[(g/h)_\mu ,h_\nu ]`$. This leaves the unsummed terms from this sum of commutators plus those from $`[e_\mu ,(g/h)_\nu ]+[(g/h)_\mu ,e_\nu ]`$. Using (E.1f), we find that all these terms sum to zero

$$\frac{1}{z_{\mu \nu }}\frac{z_\mu +z_\nu }{2\sqrt{z_\mu z_\nu }}\underset{IJA}{}if_{IJA}(𝒯_{0A}^{(\mu )}𝒯_{1J}^{(\nu )}𝒯_{1I}^{(\mu )}+𝒯_{1J}^{(\mu )}𝒯_{1I}^{(\nu )}𝒯_{0A}^{(\mu )})=0$$
(E.7)
which completes the check of flatness.

One may also check the consistency relation between the twisted KZ equation (3.41b) and the global Ward identity (3.41d)

$$[\widehat{W}_\mu (𝒯,z),\underset{\mu =1}{\overset{N}{}}𝒯_{0A}^{(\mu )}]=0,A𝔰𝔬(n)$$
(E.8)
but this is left as an exercise for the reader.