format: text

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 algebras  in the cyclic permutation orbifolds, Refs.\[3-5\] gave the twisted currents and stress tensor in each twisted sector of any current-algebraic orbifold $`A(H)/H`$ \- where $`A(H)`$ is any current-algebraic conformal field theory \[6-11\] 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 twisted tensors or 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 $`A_g(H)/H`$ was worked out in further detail , while extending the operator algebra in this case to include the twisted affine primary fields, twisted vertex operator equations and twisted Knizhnik-Zamolodchikov equations for each sector of every WZW orbifold:

$``$ The WZW permutation orbifolds

$``$ Inner-automorphic WZW orbifolds

$``$ The (outer-automorphic) charge conjugation orbifold on $`𝔰𝔲(n3)`$

$``$ Other outer-automorphic WZW orbifolds on simple $`g`$

Ref.  also solved the twisted vertex operator equations in an abelian limit to obtain the twisted vertex operators for each sector of a very large class of abelian orbifolds. For discussion of WZW orbifolds at the level of characters, see Refs. .

In addition to the operator formulation, the general WZW orbifold action was also given in Ref. , with applications to special cases in Refs. . The general WZW orbifold action provides the classical description of each sector of every WZW orbifold in terms of appropriate group orbifold elements, which are the classical limit of the twisted affine primary fields. Moreover, Ref.  gauged the general WZW orbifold action by general twisted gauge groups to obtain the general coset orbifold action.

In this paper, we consider the local theory of all WZW permutation orbifolds in further detail, with special attention to the generalization of certain features

$``$ orbifold Virasoro algebra (twisted Virasoro operators)

$``$ orbifold $`𝔰𝔩(2)`$ Ward identities

$``$ principal primary states and fields

observed earlier by different methods in $`_\lambda `$ cyclic permutation orbifolds with $`\lambda =`$ prime. The orbifold Virasoro algebras for $`_\lambda ,\lambda =`$ prime were discovered independently in Refs. , and a recent application of these algebras is found in Ref. . As we shall see, there is a disjoint cycle structure underlying all of these features, which is closely related to the reducibility of the twisted affine primary fields and the twisted KZ equations.

In further detail, Sec. 2 applies the principle of local isomorphisms to extend the operator algebra to include the general orbifold Virasoro algebra of the general WZW permutation orbifold. As in Ref. , the general orbifold Virasoro algebra is associated to orbifold $`𝔰𝔩(2)`$Ward identities for the correlators of the twisted affine primary fields, and we find that these Ward identities are satisfied by any solution of the twisted KZ system.

After some discussion of the action formulation  and an abelian limit  of the WZW permutation orbifolds, we argue in Sec. 3 that the twisted affine primary fields of the WZW permutation orbifolds are generically reducible. This leads us to a new, simpler set of single-cycle twisted KZ equations for the correlators of the blocks of the twisted affine primary fields (see Eq. (3.30)).

In Sec. 4, we combine the extended operator algebra and the new single-cycle twisted KZ system to study aspects of the spectrum of each WZW permutation orbifold. Following Ref. , we find in particular that the asymptotic formulae for in- and out-states are modified relative to the conventional asymptotic formulae of untwisted CFT. Moreover, using these orbifold-modified asymptotic formulae, we find that the twisted affine primary fields create twisted affine primary states, which are also primary under the orbifold Virasoro algebra. The twisted affine primary states also serve as base states for certain sets of so-called principal primary states  in the modules of the orbifold Virasoro algebra. We are also able to identify the matrix components of the twisted affine primary fields as the analogues of the old principal primary fields of Ref. .

Finally, Sec. 5 considers asymptotic formulae and the reducibility of the twisted affine primary fields and states of general WZW orbifolds.

Because we are studying features specific to the WZW permutation orbifolds, this paper is in large part self-contained – using primarily the notation appropriate  to the WZW permutation orbifolds. To understand this paper in the context of the general orbifold program, see Refs.  and the general remarks in Sec. 5.

## 2 Extended Operator Algebra in WZW Permutation Orbifolds

### 2.1 Permutation-Invariant WZW Systems

In this subsection, we will extend the usual chiral algebra of permutation-invariant WZW systems to include what we will call the partial stress tensors of such systems.

To begin, we recall the notation of Ref.  for permutation-invariant WZW systems:

$$g=_I𝔤^I,𝔤^I𝔤,k^I=k$$
(2.1a)
$$f_{aI,bJ}{}_{}{}^{cL}=f_{ab}{}_{}{}^{c}(\tau _I)_{J}^{}{}_{}{}^{L},G_{aI,bJ}=k\eta _{ab}\delta _{IJ}$$
(2.1b)
$$T=_IT^I,T_{aI}=T_a\tau _I,[T_a,T_b]=if_{ab}{}_{}{}^{c}T_{c}^{},(\tau _I)_J{}_{}{}^{L}\delta _{IJ}\delta _J{}_{}{}^{L},\tau _I\tau _J=\delta _{IJ}\tau _I$$
(2.1c)
$$I=0,\mathrm{},K1,a,b,c=1,\mathrm{},\text{dim}𝔤.$$
(2.1d)
Here the index $`I`$ labels the copies $`𝔤^I`$ of any simple $`𝔤`$, whose structure constants and Killing metric are $`f_{ab}^c`$ and $`\eta _{ab}`$ respectively, and $`\{T_a\}`$ is any matrix irrep of $`𝔤`$. Then Ref.  gives the left-mover OPEs of the system:

$$J_{aI}(z)J_{bJ}(w)=\frac{\delta _{IJ}k\eta _{ab}}{(zw)^2}+\frac{if_{ab}{}_{}{}^{c}J_{cI}^{}(w)}{zw}+𝒪(zw)^0$$
(2.2a)
$$T(z)J_{aI}(w)=\left(\frac{1}{(zw)^2}+\frac{_w}{zw}\right)J_{aI}(w)+𝒪(zw)^0$$
(2.2b)
$$T(z)T(w)=\frac{c_g/2}{(zw)^4}+\left(\frac{2}{(zw)^2}+\frac{_w}{zw}\right)T(w)+𝒪(zw)^0$$
(2.2c)
$$J_{aI}(z)g(T,\overline{w},w)=\frac{g(T,\overline{w},w)}{zw}T_a\tau _I+𝒪(zw)^0$$
(2.2d)
$$T(z)g(T,\overline{w},w)=\frac{g(T,\overline{w},w)\mathrm{\Delta }_𝔤(T)}{(zw)^2}+\frac{_w}{zw}g(T,\overline{w},w)+𝒪(zw)^0$$
(2.2e)
$$\frac{\eta ^{ab}}{2k+Q_𝔤}T_aT_b\mathrm{\Delta }_𝔤(T)1\mathrm{l}.$$
(2.2f)
Here $`\{J_{aI}(z)\}`$ are the currents  of affine $`g`$, $`g(T,\overline{z},z)`$ is the affine primary field corresponding to matrix irrep $`T`$ of $`𝔤`$, and the constant $`\mathrm{\Delta }_𝔤(T)`$ is the conformal weight of irrep $`T`$ under the affine-Sugawara construction $`T_𝔤(z)`$ on $`𝔤`$. The affine primary fields are matrix-valued, with index structure

$$g(T,\overline{z},z)_{\alpha I}{}_{}{}^{\beta J},\alpha ,\beta =1,\mathrm{},\text{dim}T,I,J=0,\mathrm{},K1.$$
(2.3)
In fact, the affine primary fields are block-diagonal, with blocks labelled by the copies $`I`$, but we shall not use this fact explicitly until Sec. 3. The stress tensor $`T(z)`$ in (2.2) is the affine-Sugawara construction \[6, 7, 22-24\] on $`g`$

$$T(z)T_g(z)=\frac{\eta ^{ab}}{2k+Q_𝔤}\underset{I}{}:J_{aI}(z)J_{bI}(z):$$
(2.4a)
$$c_gKc_𝔤,c_𝔤\frac{x\text{dim}𝔤}{x+\stackrel{~}{h}_𝔤},x=\frac{2k}{\psi _𝔤^2},\stackrel{~}{h}_𝔤=\frac{Q_𝔤}{\psi _𝔤^2}.$$
(2.4b)
The right-mover analogue of the system (2.2), (2.4) is discussed in Ref. .

In this paper we will extend the system (2.2)-(2.4) to include the set of partial stress tensors $`T_I(z)`$

$$T_I(z)\frac{\eta ^{ab}}{2k+Q_𝔤}:J_{aI}(z)J_{bI}(z):,T_I(z)T_𝔤(z)$$
(2.5a)
$$T(z)=\underset{I}{}T_I(z)$$
(2.5b)
which sum to the full stress tensor $`T(z)`$. The partial stress tensors are the individual affine-Sugawara constructions on the copies $`𝔤^I`$, and they satisfy the additional OPEs:

$$T_I(z)J_{aJ}(w)=\delta _{IJ}\left(\frac{1}{(zw)^2}+\frac{_w}{zw}\right)J_{aI}(w)+𝒪(zw)^0$$
(2.6a)
$$T_I(z)T_J(w)=\delta _{IJ}\left(\frac{c_𝔤/2}{(zw)^4}+\left(\frac{2}{(zw)^2}+\frac{_w}{zw}\right)T_I(w)\right)+𝒪(zw)^0$$
(2.6b)
$$T(z)T_I(w)=\frac{c_𝔤/2}{(zw)^4}+\left(\frac{2}{(zw)^2}+\frac{_w}{zw}\right)T_I(w)+𝒪(zw)^0$$
(2.6c)
$$T_I(z)g(T,\overline{w},w)=\left(\frac{g(T,\overline{w},w)\mathrm{\Delta }_𝔤(T)}{(zw)^2}+\frac{_wg(T,\overline{w},w)}{(zw)}\right)\tau _I+𝒪(zw)^0.$$
(2.6d)
The relations (2.2b), (2.2c), (2.2e) for the stress tensor $`T(z)`$ are obtainable from these OPE’s by the identity (2.5b).

We will also need the associated left-mover vertex operator equation (see e.g. Ref. )

$$g(T,\overline{z},z)=\frac{2\eta ^{ab}}{2k+Q_𝔤}\underset{I}{}:J_{aI}(z)g(T,\overline{z},z):T_b\tau _I$$
(2.7)
which follows from the OPE’s above.

We turn next to the action of the symmetry group

$$H(\mathrm{permutation})\mathrm{Aut}(g),H(\mathrm{permutation})S_N,KN$$
(2.8)
of the WZW model defined above. Picking one representative $`h_\sigma H`$ of each conjugacy class, the action is

$$J_{aI}(z)^{}=\omega (h_\sigma )_I{}_{}{}^{J}J_{aJ}^{}(z),\sigma =0,\mathrm{},N_c1$$
(2.9a)
$$g(T,\overline{z},z)^{}=W(T,h_\sigma )g(T,\overline{z},z)W^{}(T,h_\sigma ),W(T,h_\sigma )_{\alpha I}{}_{}{}^{\beta J}=\delta _\alpha {}_{}{}^{\beta }\omega (h_\sigma )_I^J$$
(2.9b)
$$T_I(z)^{}=\omega (h_\sigma )_I{}_{}{}^{J}T_{J}^{}(z),T(z)^{}=T(z)$$
(2.9c)
where $`\omega (h_\sigma )`$ is the action in the adjoint representation of $`h_\sigma H`$, $`W(T,\sigma )`$ is the action of $`h_\sigma `$ in irrep $`T`$ and $`N_c`$ is the number of conjugacy classes of $`H`$. The action (2.9) is an automorphism of the extended OPE’s (2.2), (2.6) if and only if three conditions hold

$$\underset{I}{}\omega (h_\sigma )_I{}_{}{}^{J}=\underset{J}{}\omega (h_\sigma )_I{}_{}{}^{J}=1,\omega (h_\sigma )_I{}_{}{}^{L}\omega (h_\sigma )_J{}_{}{}^{M}\delta _{LM}^{}=\delta _{IJ}$$
(2.10a)
$$\omega (h_\sigma )_I{}_{}{}^{L}\omega (h_\sigma )_J{}_{}{}^{M}(\tau _L)_{M}^{}{}_{}{}^{N}\omega _{}^{}(h_\sigma )_N{}_{}{}^{K}=(\tau _I)_J{}_{}{}^{K}.$$
(2.10b)
These conditions are satisfied by all permutation matrices, and only by permutation matrices. Together, (2.10b) and the second part of (2.9b) provide the solution to the linkage relation  for permutation groups.

### 2.2 Eigenfields and Duality Transformations

In current-algebraic orbifold theory, we consider next the $`H`$-eigenvalue problem , which diagonalizes the action of $`\omega (h_\sigma )`$ in each sector. For permutation groups, the $`H`$-eigenvalue problem has the reduced form

$$\omega (h_\sigma )_I{}_{}{}^{J}U_{}^{}(\sigma )_J{}_{}{}^{n(r)j}=U^{}(\sigma )_I{}_{}{}^{n(r)j}E_{n(r)}^{}(\sigma ),\sigma =0,\mathrm{},N_c1$$
(2.11a)
$$E_{n(r)}(\sigma )=e^{2\pi i\frac{n(r)}{\rho (\sigma )}},n(r)n(r(\sigma ))$$
(2.11b)
where $`\rho (\sigma )`$ is the order of $`h_\sigma H`$. All quantities are periodic $`n(r)n(r)\pm \rho (\sigma )`$ in the spectral indices $`n(r)`$, and, correspondingly, the generic eigenvector matrix $`U^{}(\sigma )`$ is a discrete Fourier element.

The solution to the $`H`$-eigenvalue problem allows us to define the standard eigencurrents  and affine eigenprimary fields  of sector $`\sigma `$

$$𝒥_{n(r)aj}(z,\sigma )\chi \left(\sigma \right)_{n(r)j}U(\sigma )_{n(r)j}{}_{}{}^{I}J_{aI}^{}(z),\sigma =0,\mathrm{},N_c1$$
(2.12a)
$$𝒢(T,\overline{z},z,\sigma )U(T,\sigma )g(T,\overline{z},z)U^{}(T,\sigma ),U(T,\sigma )_{n(r)\alpha j}{}_{}{}^{\beta I}\delta _\alpha {}_{}{}^{\beta }U(\sigma )_{n(r)j}^I$$
(2.12b)
$$𝒢(T,\overline{z},z,\sigma )_{n(r)\alpha j}{}_{}{}^{n(s)\beta l}=U(\sigma )_{n(r)j}{}_{}{}^{I}g(T,\overline{z},z)_{\alpha I}{}_{}{}^{\beta J}U_{}^{}(\sigma )_J{}_{}{}^{n(s)l},\alpha ,\beta =1,\mathrm{},\text{dim}T$$
(2.12c)
where following Ref.  we have chosen an $`a`$-independent normalization $`\chi `$. To these, we may add the set of partial eigenstress tensors $`\mathrm{\Theta }_{n(r)j}`$,

$$\mathrm{\Theta }_{n(r)j}(z,\sigma )\chi \left(\sigma \right)_{n(r)j}U(\sigma )_{n(r)j}{}_{}{}^{I}T_{I}^{}(z)$$
(2.13a)
$$T(z)=𝒜^{n(r)j}(\sigma )\mathrm{\Theta }_{n(r)j}(z,\sigma )=\underset{j}{}𝒜^{0j}(\sigma )\mathrm{\Theta }_{0j}(z,\sigma )$$
(2.13b)
$$𝒜^{n(r)j}(\sigma )\chi \left(\sigma \right)_{n(r)j}^1\underset{I}{}U^{}(\sigma )_I{}_{}{}^{n(r)j}=\delta _{n(r),0\text{mod }\rho (\sigma )}𝒜^{0j}(\sigma )$$
(2.13c)
where the $`𝒜`$-selection rule in (2.13c) is implied by Eqs. (2.10) and (2.11). The eigenfields $`𝒥,𝒢,`$ and $`\mathrm{\Theta }`$ are constructed to have the following diagonal responses

$$𝒥_{n(r)aj}(z,\sigma )^{}=E_{n(r)}(\sigma )𝒥_{n(r)aj}(z,\sigma )=e^{2\pi i\frac{n(r)}{\rho (\sigma )}}𝒥_{n(r)aj}(z,\sigma )$$
(2.14a)
$$𝒢(T,\overline{z},z,\sigma )^{}=E(T,\sigma )𝒢(T,\overline{z},z,\sigma )E(T,\sigma )^{}$$
(2.14b)
$$E(T,\sigma )_{n(r)\alpha j}{}_{}{}^{n(s)\beta l}\delta _\alpha {}_{}{}^{\beta }\delta _{j}^{l}\delta _{n(r)n(s),0\text{mod }\rho (\sigma )}E_{n(r)}(\sigma )$$
(2.14c)
$$\mathrm{\Theta }_{n(r)j}(z,\sigma )^{}=E_{n(r)}(\sigma )\mathrm{\Theta }_{n(r)j}(z,\sigma )=e^{2\pi i\frac{n(r)}{\rho (\sigma )}}\mathrm{\Theta }_{n(r)j}(z,\sigma )$$
(2.14d)
$$T(z)^{}=T(z)$$
(2.14e)
to the automorphism group $`H`$.

The next step is to reexpress everything in terms of the eigenfields. For example, we may express the stress tensor and partial eigenstress tensors in terms of the eigencurrents as follows:

$$T(z)=_{\widehat{𝔤}(\sigma )}^{n(s)al;n(t)bm}(\sigma ):𝒥_{n(s)al}(z,\sigma )𝒥_{n(t)bm}(z,\sigma ):$$
(2.15a)
$`_{\widehat{𝔤}(\sigma )}^{n(s)al;n(t)bm}(\sigma )`$ $``$ $`\chi \left(\sigma \right)_{n(s)al}^1\chi \left(\sigma \right)_{n(t)bm}^1{\displaystyle \frac{\eta ^{ab}}{2k+Q_g}}{\displaystyle \underset{I}{}}U^{}(\sigma )_I{}_{}{}^{n(s)l}U_{}^{}(\sigma )_I^{n(t)m}`$ (2.15b)
$`=`$ $`\delta _{n(s)+n(t),0\text{mod }\rho (\sigma )}_{\widehat{𝔤}(\sigma )}^{n(s)al;n(s),bm}(\sigma )`$
$$\mathrm{\Theta }_{n(r)j}(z,\sigma )=_{n(r)j}{}_{}{}^{n(s)al;n(t)bm}(\sigma ):𝒥_{n(s)al}(z,\sigma )𝒥_{n(t)bm}(z,\sigma ):$$
(2.15c)
$`_{n(r)j}{}_{}{}^{n(s)al;n(t)bm}(\sigma )`$ $``$ $`{\displaystyle \frac{\chi \left(\sigma \right)_{n(r)j}}{\chi \left(\sigma \right)_{n(s)al}\chi \left(\sigma \right)_{n(t)bm}}}{\displaystyle \frac{\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \underset{I}{}}U(\sigma )_{n(r)j}{}_{}{}^{I}U_{}^{}(\sigma )_I{}_{}{}^{n(s)l}U_{}^{}(\sigma )_I^{n(t)m}`$ (2.15d)
$`=`$ $`\delta _{n(r)n(s)n(t),0\text{mod }\rho (\sigma )}_{n(r)j}^{n(s)al;n(r)n(s),bm}(\sigma )`$
$$_{\widehat{𝔤}(\sigma )}^{n(s)al;n(t)bm}(\sigma )=𝒜^{n(r)j}(\sigma )_{n(r)j}^{n(s)al;n(t)bm}(\sigma ).$$
(2.15e)
Here the forms in (2.15a,b) are well-known  and $`_{\widehat{𝔤}(\sigma )}(\sigma )`$ is called the twisted inverse inertia tensor. The twisted tensors $`_{\widehat{𝔤}(\sigma )}(\sigma )`$ and $`(\sigma )`$ in (2.15d) are examples of duality transformations, which are discrete Fourier transformations of tensors from the untwisted theory.

We also need to compute the OPE’s of the eigenfields,

$`𝒥_{n(r)aj}(z,\sigma )𝒥_{n(s)bl}(w,\sigma )={\displaystyle \frac{𝒢_{n(r)aj;n(s)bl}(\sigma )}{(zw)^2}}+`$
$`+{\displaystyle \frac{i_{n(r)aj;n(s)bl}{}_{}{}^{n(t)cm}(\sigma )𝒥_{n(t)cm}(w,\sigma )}{zw}}+𝒪(zw)^0`$ (2.16a)
$`\mathrm{\Theta }_{n(r)j}(z,\sigma )\mathrm{\Theta }_{n(s)l}(w,\sigma )=\stackrel{~}{𝒢}_{n(r)j;n(s)l}(\sigma ){\displaystyle \frac{c_𝔤/2}{(zw)^4}}+`$
$`+\stackrel{~}{}_{n(r)j;n(s)l}{}_{}{}^{n(t)m}(\sigma )({\displaystyle \frac{2}{(zw)^2}}+{\displaystyle \frac{_w}{zw}})\mathrm{\Theta }_{n(t)m}(w,\sigma )+𝒪(zw)^0`$ (2.16b)
$$T(z)\mathrm{\Theta }_{n(r)j}(w,\sigma )=_{n(r)j}(\sigma )\frac{c_𝔤/2}{(zw)^4}+\left(\frac{2}{(zw)^2}+\frac{_w}{zw}\right)\mathrm{\Theta }_{n(r)j}(w,\sigma )+𝒪(zw)^0$$
(2.16c)
$$T(z)𝒢(T,\overline{w},w,\sigma )=𝒢(T,\overline{w},w,\sigma )\left(\frac{𝒟_{\widehat{𝔤}(\sigma )}(𝒯(T,\sigma ))}{(zw)^2}+\frac{\stackrel{}{_w}}{zw}\right)+𝒪(zw)^0$$
(2.16d)
where $`𝒢,,`$ and $`𝒟_{\widehat{𝔤}(\sigma )}`$ are called respectively the twisted metric , the twisted structure constants , and the twisted conformal weight matrix . The twisted tensors $`\stackrel{~}{𝒢},\stackrel{~}{},`$ and $``$ appear for the first time in this paper. The explicit forms of all these duality transformations are

$$𝒢_{n(r)aj;n(s)bl}(\sigma )=k\eta _{ab}\stackrel{~}{𝒢}_{n(r)j;n(s)l}(\sigma )$$
(2.17a)
$$\stackrel{~}{𝒢}_{n(r)j;n(s)l}(\sigma )\chi \left(\sigma \right)_{n(r)j}\chi \left(\sigma \right)_{n(s)l}\underset{I}{}U(\sigma )_{n(r)j}{}_{}{}^{I}U(\sigma )_{n(s)l}^I$$
(2.17b)
$$_{n(r)aj;n(s)bl}{}_{}{}^{n(t)cm}(\sigma )=f_{ab}{}_{}{}^{c}\stackrel{~}{}_{n(r)j;n(s)l}^{}{}_{}{}^{n(t)m}(\sigma )$$
(2.17c)
$$\stackrel{~}{}_{n(r)j;n(s)l}{}_{}{}^{n(t)m}(\sigma )\frac{\chi \left(\sigma \right)_{n(r)j}\chi \left(\sigma \right)_{n(s)l}}{\chi \left(\sigma \right)_{n(t)m}}U(\sigma )_{n(r)j}{}_{}{}^{I}U(\sigma )_{n(s)l}{}_{}{}^{J}(\tau _I)_{J}^{}{}_{}{}^{L}U_{}^{}(\sigma )_L^{n(t)m}$$
(2.17d)
$$_{n(r)j}(\sigma )𝒜^{n(s)l}(\sigma )\stackrel{~}{𝒢}_{n(s)l;n(r)j}(\sigma )=\chi \left(\sigma \right)_{n(r)j}\underset{I}{}U(\sigma )_{n(r)j}{}_{}{}^{I},𝒜^{n(r)j}(\sigma )_{n(r)j}(\sigma )=K$$
(2.17e)
$$𝒟_{\widehat{𝔤}(\sigma )}(𝒯(T,\sigma ))U(T,\sigma )\mathrm{\Delta }_𝔤(T)U^{}(T,\sigma )=_{\widehat{𝔤}(\sigma )}^{n(r)aj;n(s)bl}𝒯_{n(r)aj}(T,\sigma )𝒯_{n(s)bl}(T,\sigma )$$
(2.17f)
where $`K`$ is defined in (2.3). In (2.17f) we also have the duality transformations called the twisted representation matrices $`𝒯`$, which in this case have the form

$$𝒯_{n(r)aj}(T,\sigma )\chi \left(\sigma \right)_{n(r)j}U(\sigma )_{n(r)j}{}_{}{}^{I}U(T,\sigma )T_a\tau _IU^{}(T,\sigma )=T_at_{n(r)j}(\sigma )$$
(2.18a)
$`t_{n(r)j}(\sigma )_{n(s)l}^{n(t)m}`$ $`=`$ $`\chi \left(\sigma \right)_{n(r)j}U(\sigma )_{n(r)j}{}_{}{}^{I}U(\sigma )_{n(s)l}{}_{}{}^{J}(\tau _I)_{J}^{}{}_{}{}^{K}U_{}^{}(\sigma )_K^{n(t)m}`$ (2.18b)
$`=`$ $`\chi \left(\sigma \right)_{n(s)l}^1\chi \left(\sigma \right)_{n(t)m}\stackrel{~}{}_{n(r)j;n(s)l}{}_{}{}^{n(t)m}(\sigma )`$
where the matrices $`\{\tau _I\}`$ were defined in (2.1c).

To solve the $`H`$-eigenvalue problem and evaluate the duality transformations, it is convenient to use the (untwisted but $`\sigma `$-dependent) cycle basis defined in Ref. . In this basis, each element $`h_\sigma `$ is expressed in terms of disjoint cycles of size $`f_j(\sigma )`$, where $`j`$ indexes the cycles and $`\widehat{j}`$ indexes the position within the $`j`$th cycle. Then we have

$$I\widehat{j}j,J_{aI}(z)\stackrel{~}{J}_{a\widehat{j}j}(z,\sigma ),T_I(z)\stackrel{~}{T}_{\widehat{j}j}(z,\sigma )$$
(2.19a)
$$n(r)j\widehat{j}j,𝒥_{n(r)aj}(z,\sigma )𝒥_{\widehat{j}aj}(z,\sigma ),\mathrm{\Theta }_{n(r)j}(z,\sigma )\mathrm{\Theta }_{\widehat{j}j}(z,\sigma )$$
(2.19b)
$$\frac{n(r)}{\rho (\sigma )}=\frac{N(r)}{R(\sigma )}=\frac{\widehat{j}}{f_j(\sigma )},\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\underset{j}{}f_j(\sigma )=K$$
(2.19c)
$$U(\sigma )_{n(r)j}{}_{}{}^{I}U(\sigma )_{n(r)j}{}_{}{}^{\widehat{l}l}U(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\frac{\delta _{jl}}{\sqrt{f_j(\sigma )}}e^{\frac{2\pi i\widehat{j}\widehat{l}}{f_j(\sigma )}},E_{\widehat{j}}(\sigma )=e^{\frac{2\pi i\widehat{j}}{f_j(\sigma )}}$$
(2.19d)
$$\chi \left(\sigma \right)_{\widehat{j}aj}=\chi \left(\sigma \right)_{\widehat{j}j}=\sqrt{f_j(\sigma )}$$
(2.19e)
where $`\overline{\widehat{j}}`$ is the pullback of the spectral index $`\widehat{j}`$ to the fundamental domain. As a computational aid for the reader, we list some well-known examples

$`_\lambda :K=\lambda ,f_j(\sigma )=\rho (\sigma ),\overline{\widehat{j}}=0,\mathrm{},\rho (\sigma )1,j=0,\mathrm{},{\displaystyle \frac{\lambda }{\rho (\sigma )}}1,\sigma =0,\mathrm{},\rho (\sigma )1`$ (2.20a)
$`_\lambda ,\lambda =\text{prime}:\rho (\sigma )=\lambda ,\overline{\widehat{j}}=0,\mathrm{},\lambda 1,j=0,\sigma =1,\mathrm{},\lambda 1`$ (2.20b)
$`S_N:K=N,f_j(\sigma )=\sigma _j,\sigma _{j+1}\sigma _j,j=0,\mathrm{},n(\stackrel{}{\sigma })1,{\displaystyle \underset{j=0}{\overset{n(\stackrel{}{\sigma })1}{}}}\sigma _j=N`$ (2.20c)
so that e.g. the sectors of the $`S_N`$ permutation orbifolds are labelled by the ordered partitions of $`N`$.

All the eigenfields are independent of the untwisted basis, e.g.

$`𝒥_{n(r)aj}(z,\sigma )𝒥_{\widehat{j}aj}(z,\sigma )`$ $`=\chi \left(\sigma \right)_{\widehat{j}aj}U(\sigma )_{\widehat{j}j}{}_{}{}^{I}J_{aI}^{}(z,\sigma )`$ (2.21)
$`=\chi \left(\sigma \right)_{\widehat{j}aj}U(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}\stackrel{~}{J}_{a\widehat{l}l}^{}(z,\sigma )`$ $`={\displaystyle \underset{\widehat{j}^{^{}}=0}{\overset{f_j(\sigma )1}{}}}e^{\frac{2\pi i\widehat{j}\widehat{j}^{^{}}}{f_j(\sigma )}}\stackrel{~}{J}_{a\widehat{j}^{^{}}j}(z,\sigma ).`$
Similarly, each duality transformation is independent of the choice of untwisted basis, and hence all of the OPEs of the eigenfields are likewise basis-independent.

Using the explicit forms of $`U(\sigma )`$ and $`\chi \left(\sigma \right)`$ in (2.19), we may evaluate all the duality transformations that appear in our development:

$$𝒜^{\widehat{j}j}(\sigma )=\delta _{\widehat{j},0\text{mod }f_j(\sigma )},_{\widehat{j}j}(\sigma )=f_j(\sigma )\delta _{\widehat{j},0\text{mod }f_j(\sigma )}$$
(2.22a)
$$𝒢_{\widehat{j}aj;\widehat{l}bl}(\sigma )=k\eta _{ab}f_j(\sigma )\delta _{jl}\delta _{\widehat{j}+\widehat{l},0\text{mod }f_j(\sigma )},\stackrel{~}{𝒢}_{\widehat{j}j;\widehat{l}l}(\sigma )=f_j(\sigma )\delta _{jl}\delta _{\widehat{j}+\widehat{l},0\text{mod }f_j(\sigma )}$$
(2.22b)
$$_{\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},0\text{mod }f_j(\sigma )},\stackrel{~}{}_{\widehat{j}j;\widehat{l}l}{}_{}{}^{\widehat{m}m}(\sigma )=\delta _{jl}\delta _l^m\delta _{\widehat{j}+\widehat{l}\widehat{m},0\text{mod }f_j(\sigma )}$$
(2.22c)
$$𝒟_{\widehat{𝔤}(\sigma )}(𝒯(T,\sigma ))_{\alpha \widehat{j}j}{}_{}{}^{\beta \widehat{l}l}=\delta _\alpha {}_{}{}^{\beta }\delta _{j}^{l}\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}\mathrm{\Delta }_𝔤(T)$$
(2.22d)
$$_{\widehat{𝔤}(\sigma )}^{\widehat{l}al;\widehat{m}bm}(\sigma )=\frac{\eta ^{ab}}{2k+Q_𝔤}\frac{1}{f_j(\sigma )}\delta ^{lm}\delta _{\widehat{l}+\widehat{m},0\text{mod }f_j(\sigma )}$$
(2.22e)
$$_{\widehat{j}j}{}_{}{}^{\widehat{l}al;\widehat{m}bm}(\sigma )=\frac{\eta ^{ab}}{2k+Q_𝔤}\frac{1}{f_j(\sigma )}\delta _j^l\delta ^{lm}\delta _{\widehat{j}\widehat{l}\widehat{m},0\text{mod }f_j(\sigma )}$$
(2.22f)
$$𝒯_{\widehat{j}aj}(T,\sigma )=T_at_{\widehat{j}j}(\sigma ),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 )},t_{\widehat{j}\pm f_j(\sigma ),j}(\sigma )=t_{\widehat{j}j}(\sigma )$$
(2.22g)
$$[T_a,T_b]=if_{ab}{}_{}{}^{c},t_{\widehat{j}j}(\sigma )t_{\widehat{l}l}(\sigma )=\delta _{jl}t_{\widehat{j}+\widehat{l},j}(\sigma ),[t_{\widehat{j}j}(\sigma ),t_{\widehat{l}l}(\sigma )]=0,j,l.$$
(2.22h)
Here $`T`$ is an irrep of $`𝔤`$ and $`\mathrm{\Delta }_𝔤(T)`$ is the conformal weight of representation $`T`$ under the affine-Sugawara construction on $`𝔤`$. All these quantities are periodic $`\widehat{j}\widehat{j}\pm f_j(\sigma )`$ in any spectral index, as seen for example in (2.22g). In what follows we often abbreviate $`𝒯𝒯(T,\sigma )`$.

### 2.3 Local Isomorphisms and Twisted Operator Product Expansions

The next step is an application of the principle of local isomorphisms  which is a map from the untwisted theory in the eigenfield basis to twisted sector $`\sigma `$ of the orbifold. In the present case, the local isomorphisms are written as:

$$𝒥_{\widehat{j}aj}(z,\sigma )\underset{𝜎}{}\widehat{J}_{\widehat{j}aj}(z,\sigma ),𝒢(T,\overline{z},z,\sigma )_{\alpha \widehat{j}j}{}_{}{}^{\beta \widehat{l}l}\underset{𝜎}{}\widehat{g}(𝒯,\overline{z},z,\sigma )_{\alpha \widehat{j}j}^{\beta \widehat{l}l}$$
(2.23a)
$$\mathrm{\Theta }_{\widehat{j}j}(z,\sigma )\underset{𝜎}{}\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma ),T(z)\underset{𝜎}{}\widehat{T}_\sigma (z)$$
(2.23b)
$$a=1,\mathrm{},\text{dim}𝔤,\alpha ,\beta =1,\mathrm{},\text{dim}T,\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\sigma =0,\mathrm{},N_c1.$$
(2.23c)
Here the hatted fields $`\widehat{J},\widehat{g}`$, and $`\widehat{\mathrm{\Theta }}`$ are called respectively the twisted currents, the twisted affine primary fields, and the twisted partial stress tensors. The principle of local isomorphisms tells us first that the monodromies of the twisted fields

$$\widehat{J}_{\widehat{j}aj}(ze^{2\pi i},\sigma )=E_{\widehat{j}}(\sigma )\widehat{J}_{\widehat{j}aj}(z,\sigma )=e^{2\pi i\frac{\widehat{j}}{f_j(\sigma )}}\widehat{J}_{\widehat{j}aj}(z,\sigma )$$
(2.24a)
$$\widehat{\mathrm{\Theta }}_{\widehat{j}j}(ze^{2\pi i},\sigma )=E_{\widehat{j}}(\sigma )\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )=e^{2\pi i\frac{\widehat{j}}{f_j(\sigma )}}\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )$$
(2.24b)
$$\widehat{T}_\sigma (ze^{2\pi i})=\widehat{T}_\sigma (z)$$
(2.24c)
have the same form as the automorphic responses (2.14) of the eigenfields. The monodromies of the twisted affine primary fields $`\widehat{g}`$ are determined by the twisted KZ equations. We remind the reader that all quantities are periodic $`\widehat{j}\widehat{j}\pm f_j(\sigma )`$ in the spectral indices.

The principle of local isomorphisms also tells us that the OPEs of the twisted fields are the same as the OPEs of the eigenfields. For example, the OPEs of the standard twisted fields

$$\widehat{J}_{\widehat{j}aj}(z,\sigma )\widehat{J}_{\widehat{l}bl}(w,\sigma )=\delta _{jl}\left(\frac{kf_j(\sigma )\eta _{ab}\delta _{\widehat{j}+\widehat{l},0\text{mod }f_j(\sigma )}}{(zw)^2}+\frac{if_{ab}{}_{}{}^{c}\widehat{J}_{\widehat{j}+\widehat{l},cj}^{}(w,\sigma )}{zw}\right)+𝒪(zw)^0$$
(2.25a)
$$\widehat{T}_\sigma (z)\widehat{J}_{\widehat{j}aj}(w,\sigma )=\left(\frac{1}{(zw)^2}+\frac{_w}{zw}\right)\widehat{J}_{\widehat{j}aj}(w,\sigma )+𝒪(zw)^0$$
(2.25b)
$$\widehat{T}_\sigma (z)\widehat{T}_\sigma (w)=\frac{c_g/2}{(zw)^4}+\left(\frac{2}{(zw)^2}+\frac{_w}{zw}\right)\widehat{T}_\sigma (w)+𝒪(zw)^0$$
(2.25c)
$$\widehat{J}_{\widehat{j}aj}(z,\sigma )\widehat{g}(𝒯,\overline{w},w,\sigma )=\frac{\widehat{g}(𝒯,\overline{w},w,\sigma )T_at_{\widehat{j}j}(\sigma )}{zw}+𝒪(zw)^0$$
(2.25d)
$$\widehat{T}_\sigma (z)\widehat{g}(𝒯,\overline{w},w,\sigma )=\frac{\widehat{g}(𝒯,\overline{w},w,\sigma )\mathrm{\Delta }_𝔤(T)}{(zw)^2}+\frac{_w\widehat{g}(𝒯,\overline{w},w,\sigma )}{zw}+𝒪(zw)^0$$
(2.25e)
are given in Refs. .

In our extension, we also obtain the OPEs involving the twisted partial stress tensors

$$\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )\widehat{J}_{\widehat{l}al}(w,\sigma )=\delta _{jl}\left(\frac{1}{(zw)^2}+\frac{_w}{zw}\right)\widehat{J}_{\widehat{j}+\widehat{l},aj}(w,\sigma )+𝒪(zw)^0$$
(2.26a)
$`\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )\widehat{\mathrm{\Theta }}_{\widehat{l}l}(w,\sigma )=\delta _{jl}[{\displaystyle \frac{\delta _{\widehat{j}+\widehat{l},0\text{mod }f_j(\sigma )}c_𝔤f_j(\sigma )/2}{(zw)^4}}+`$
$`+({\displaystyle \frac{2}{(zw)^2}}+{\displaystyle \frac{_w}{zw}})\widehat{\mathrm{\Theta }}_{\widehat{j}+\widehat{l},j}(w,\sigma )]+𝒪(zw)^0`$ (2.26b)
$`\widehat{T}_\sigma (z)\widehat{\mathrm{\Theta }}_{\widehat{j}j}(w,\sigma )={\displaystyle \frac{\delta _{\widehat{j},0\text{mod }f_j(\sigma )}c_𝔤f_j(\sigma )/2}{(zw)^4}}+`$
$`+\left({\displaystyle \frac{2}{(zw)^2}}+{\displaystyle \frac{_w}{zw}}\right)\widehat{\mathrm{\Theta }}_{\widehat{j}j}(w,\sigma )+𝒪(zw)^0`$ (2.26c)
$`\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )\widehat{g}(𝒯,\overline{w},w,\sigma )=`$
$`\left[{\displaystyle \frac{\widehat{g}(𝒯,\overline{w},w,\sigma )\mathrm{\Delta }_𝔤(T)}{(zw)^2}}+{\displaystyle \frac{_w\widehat{g}(𝒯,\overline{w},w,\sigma )}{zw}}\right]t_{\widehat{j}j}(\sigma )+𝒪(zw)^0.`$ (2.26d)
In terms of the twisted currents, the explicit forms of the stress tensor and the twisted partial stress tensors are

$$\widehat{T}_\sigma (z)=\frac{\eta ^{ab}}{2k+Q_𝔤}\underset{j}{}\frac{1}{f_j(\sigma )}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}:\widehat{J}_{\widehat{j}aj}(z,\sigma )\widehat{J}_{\widehat{j},bj}(z,\sigma ):$$
(2.27a)
$$\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )=\frac{\eta ^{ab}}{2k+Q_𝔤}\frac{1}{f_j(\sigma )}\underset{\widehat{l}=0}{\overset{f_j(\sigma )1}{}}:\widehat{J}_{\widehat{l}aj}(z,\sigma )\widehat{J}_{\widehat{j}\widehat{l},bj}(z,\sigma ):$$
(2.27b)
$$\widehat{T}_\sigma (z)=\underset{j}{}\widehat{\mathrm{\Theta }}_{0j}(z,\sigma )$$
(2.27c)
where (2.27a) was first given in Ref. . The normal ordering here is operator product normal ordering  of the twisted currents.

Note in particular the $`\delta _{jl}`$ factor in (2.25a), (2.26a), and (2.26). Taken together, these relations tell us that although each sector $`\sigma `$ may contain many cycles $`j`$, the dynamics of each cycle is independent.

As a final local result in the permutation orbifolds, we give the twisted left-mover vertex operator equation

$`\widehat{g}(𝒯,\overline{z},z,\sigma )={\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}:\widehat{J}_{\widehat{j}aj}(z)\widehat{g}(𝒯,\overline{z},z,\sigma ):_MT_bt_{\widehat{j},j}(\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T)}{z}}{\displaystyle \underset{j}{}}(1{\displaystyle \frac{1}{f_j(\sigma )}})\widehat{g}(𝒯,\overline{z},z,\sigma )t_{0j}(\sigma )`$ (2.28)
where this mode normal ordering is defined in Ref. .

### 2.4 Extended Operator Algebra and the Orbifold Virasoro Subalgebra

Using the monodromies (2.24), we may now expand the twisted fields in terms of modes

$$\widehat{J}_{\widehat{j}aj}(z,\sigma )=\underset{m}{}\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )})z^{(m+\frac{\widehat{j}}{f_j(\sigma )})1}$$
(2.29a)
$$\widehat{J}_{\widehat{j}\pm f_j(\sigma ),aj}(m+\frac{\widehat{j}\pm f_j(\sigma )}{f_j(\sigma )})=\widehat{J}_{\widehat{j}aj}(m\pm 1+\frac{\widehat{j}}{f_j(\sigma )})$$
(2.29b)
$$\widehat{\mathrm{\Theta }}_{\widehat{j}j}(z,\sigma )=\underset{m}{}\widehat{L}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )})z^{(m+\frac{\widehat{j}}{f_j(\sigma )})2}$$
(2.29c)
$$\widehat{L}_{\widehat{j}\pm f_j(\sigma ),j}(m+\frac{\widehat{j}\pm f_j(\sigma )}{f_j(\sigma )})=\widehat{L}_{\widehat{j}j}(m\pm 1+\frac{\widehat{j}}{f_j(\sigma )})$$
(2.29d)
$$\widehat{T}_\sigma (z)=\underset{m}{}L_\sigma (m)z^{m2},L_\sigma (m)=\underset{j}{}\widehat{L}_{0j}(m)$$
(2.29e)
and then the algebra of these twisted modes follows from the twisted OPE system (2.25), (2.26). The algebra of the twisted current modes and the Virasoro generators $`L_\sigma (m)`$

$`[\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{J}_{\widehat{l}bl}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}})]=`$
$`=\delta _{jl}\left(if_{ab}{}_{}{}^{c}\widehat{J}_{\widehat{j}+\widehat{l},cj}^{}(m+n+{\displaystyle \frac{\widehat{j}+\widehat{l}}{f_j(\sigma )}})+\eta _{ab}kf_j(\sigma )(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\delta _{m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )},0}\right)`$ (2.30a)
$$[L_\sigma (m),\widehat{J}_{\widehat{j}aj}(n+\frac{\widehat{j}}{f_j(\sigma )})]=(n+\frac{\widehat{j}}{f_j(\sigma )})\widehat{J}_{\widehat{j}aj}(m+n+\frac{\widehat{j}}{f_j(\sigma )})$$
(2.30b)
$$[L_\sigma (m),L_\sigma (n)]=(mn)L_\sigma (m+n)+\frac{c_g}{12}m(m^21)\delta _{m+n,0}$$
(2.30c)
$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )]=\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )T_at_{\widehat{j}j}(\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}$$
(2.30d)
$$[L_\sigma (m),\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )]=\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )(\stackrel{}{}_zz+(m+1)\mathrm{\Delta }_𝔤(T))$$
(2.30e)
was given in Refs. . Here (2.30) is the general orbifold affine algebra \[1-3, 5, 12, 13\]. Note that the simple components $`\widehat{J}_{\widehat{j}aj}`$ of the orbifold affine algebra act entirely within disjoint cycle $`j`$. The adjoint of these operators in a Cartesian basis for $`𝔤`$

$$\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )})^{}=\widehat{J}_{\widehat{j},aj}(m\frac{\widehat{j}}{f_j(\sigma )}),L_\sigma (m)^{}=L_\sigma (m)$$
(2.31)
was given in Refs. .

In our extension, we also obtain the algebra of the twisted Virasoro modes $`\widehat{L}_{\widehat{j}j}`$,

$$[\widehat{L}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{J}_{\widehat{l}al}(n+\frac{\widehat{l}}{f_l(\sigma )})]=\delta _{jl}(n+\frac{\widehat{l}}{f_l(\sigma )})\widehat{J}_{\widehat{j}+\widehat{l},aj}(m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )})$$
(2.32a)
$`[\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{L}_{\widehat{l}l}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}})]=\delta _{jl}\{(mn+{\displaystyle \frac{\widehat{j}\widehat{l}}{f_j(\sigma )}})\widehat{L}_{\widehat{j}+\widehat{l},j}(m+n+{\displaystyle \frac{\widehat{j}+\widehat{l}}{f_j(\sigma )}})+`$
$`+{\displaystyle \frac{c_𝔤f_j(\sigma )}{12}}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})((m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})^21)\delta _{m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )},0}\}`$ (2.32b)
$`[L_\sigma (m),\widehat{L}_{\widehat{j}j}(n+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})]`$ $`=`$ $`(mn{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\widehat{L}_{\widehat{j}j}(m+n+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})+`$ (2.32c)
$`+`$ $`f_j(\sigma ){\displaystyle \frac{c_𝔤}{12}}m(m^21)\delta _{m+n+\frac{\widehat{j}}{f_j(\sigma )},0}`$
$`[\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )]=`$
$`=\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )\left(\stackrel{}{}_zz+((m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})+1)\mathrm{\Delta }_𝔤(T)\right)t_{\widehat{j}j}(\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}`$ (2.32d)
$$a=1,\mathrm{}\text{dim}𝔤,\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\sigma =0,\mathrm{},N_c1$$
(2.32e)
where (2.32) is the general orbifold Virasoro algebra. The orbifold Virasoro algebra for the special case $`H=_\lambda ,\lambda =`$ prime

$$\widehat{L}^{(r)}(m+\frac{r}{\lambda })\widehat{L}_{\widehat{j},j=0}(m+\frac{\widehat{j}}{\lambda })|_{\widehat{j}=r},\overline{r}=0,\mathrm{},\lambda 1,\sigma =1,\mathrm{}\lambda 1$$
(2.33a)
$`[\widehat{L}^{(r)}(m+{\displaystyle \frac{r}{\lambda }}),\widehat{L}^{(s)}(n+{\displaystyle \frac{s}{\lambda }})]`$ $`=`$ $`(mn+{\displaystyle \frac{rs}{\lambda }})\widehat{L}^{(r+s)}(m+n+{\displaystyle \frac{r+s}{\lambda }})+`$ (2.33b)
$`+`$ $`{\displaystyle \frac{\lambda c}{12}}(m+{\displaystyle \frac{r}{l}})((m+{\displaystyle \frac{r}{\lambda }})^21)\delta _{m+n+\frac{r+s}{\lambda },0}`$
was given earlier in Ref.  and independently in Ref. . Of course, we obtain in this paper only the special case of (2.33) with the affine-Sugawara central charge $`c=c_𝔤`$. By the same token, the orbifold Virasoro algebra (2.32) with $`c_𝔤c`$ will also occur in more general copy permutation orbifolds, where $`c`$ is the central charge of each copy of a general affine-Virasoro construction \[9-11\] on affine $`𝔤`$.

We comment briefly on subalgebras of the orbifold Virasoro algebra. We note first the semisimple integral Virasoro subalgebra

$$\widehat{j}=0:[\widehat{L}_{0j}(m),\widehat{L}_{0l}(n)]=\delta _{jl}\{(mn)\widehat{L}_{0j}(m+n)+\frac{f_j(\sigma )c_𝔤}{12}m(m^21)\delta _{m+n,0}\}$$
(2.34)
whose generators are in fact the Virasoro operators of each cycle separately (see (2.29e)). The orbifold Virasoro algebra also contains a closed subalgebra whose generators are

$$\widehat{L}_{0,j}(0),\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )}),\widehat{L}_{f_j(\sigma )1,j}(1+\frac{f_j(\sigma )1}{f_j(\sigma )})=\widehat{L}_{1,j}(0+\frac{1}{f_j(\sigma )}),j$$
(2.35)
and one finds that this subalgebra is a set of mutually-commuting centrally-extended $`𝔰𝔩(2)`$ algebras:

$$[\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )}),\widehat{L}_{f_l(\sigma )1,l}(1+\frac{f_l(\sigma )1}{f_l(\sigma )})]=\delta _{jl}\left(\frac{2}{f_j(\sigma )}\widehat{L}_{0,j}(0)+\frac{c_𝔤}{12}(\frac{1}{f_j(\sigma )^2}1)\right)$$
(2.36a)
$$[\widehat{L}_{0,j}(0),\widehat{L}_{1,l}(\frac{1}{f_l(\sigma )})]=\delta _{jl}\frac{1}{f_j(\sigma )}\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )})$$
(2.36b)
$$[\widehat{L}_{0,j}(0),\widehat{L}_{f_l(\sigma )1,l}(1+\frac{f_l(\sigma )1}{f_l(\sigma )})]=\delta _{jl}\frac{1}{f_j(\sigma )}\widehat{L}_{f_j(\sigma )1,j}(1+\frac{f_j(\sigma )1}{f_j(\sigma )}).$$
(2.36c)
Relative to Ref. , we see that each of these $`𝔰𝔩(2)`$’s is associated to a fixed cycle $`j`$. As we shall see in the following subsections, there are $`𝔰𝔩(2)`$ Ward identities  associated to this subalgebra – but not to the standard $`𝔰𝔩(2)`$ subalgebra generated by $`\{L_\sigma (|m|1)\}`$.

### 2.5 The Scalar Twist-Field States

For the orbifold affine algebras, it is known \[1-3\], that the scalar twist-field state $`\tau _\sigma (0)|0=|0_\sigma `$ of sector $`\sigma `$ satisfies

$$\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}0)|0_\sigma =_\sigma 0|\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}0)=0$$
(2.37a)
$$a=1,\mathrm{},\text{dim}𝔤,\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1,\sigma =0,\mathrm{},N_c1$$
(2.37b)
and the scalar twist-field state is in fact the ground state of sector $`\sigma `$ under the Virasoro generator $`L_\sigma (0)`$. Then a more useful form of the Virasoro generators is the mode-ordered form

$`:\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\widehat{J}_{\widehat{l}bl}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}}):_M\theta (m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0)\widehat{J}_{\widehat{l}bl}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}})\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})+`$
$`+\theta (m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}<0)\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\widehat{J}_{\widehat{l}bl}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}})`$ (2.38a)
$`L_\sigma (m)=({\displaystyle \frac{\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{p}{}}:\widehat{J}_{\widehat{j}aj}(p+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\widehat{J}_{\widehat{j},bj}(mp{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}):_M)+`$
$`+\widehat{\mathrm{\Delta }}_0(\sigma )\delta _{m,0}`$ (2.38b)
$$L_\sigma (m0)|0_\sigma =\delta _{m,0}\widehat{\mathrm{\Delta }}_0(\sigma )|0_\sigma ,_\sigma 0|L_\sigma (m0)={}_{\sigma }{}^{}0|\widehat{\mathrm{\Delta }}_0(\sigma )\delta _{m,0}$$
(2.38c)
$$\widehat{\mathrm{\Delta }}_0(\sigma )\frac{c_𝔤}{24}\underset{j}{}(f_j(\sigma )\frac{1}{f_j(\sigma )})=\frac{c_𝔤}{24}(K\underset{j}{}\frac{1}{f_j(\sigma )})$$
(2.38d)
where $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ is the conformal weight of the scalar twist-field state of sector $`\sigma `$. Similarly, we find for the generators of the orbifold Virasoro algebra

$`\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})=({\displaystyle \frac{\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{l}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{p}{}}:\widehat{J}_{\widehat{l}aj}(p+{\displaystyle \frac{\widehat{l}}{f_j(\sigma )}})\widehat{J}_{\widehat{j}\widehat{l},bj}(mp+{\displaystyle \frac{\widehat{j}\widehat{l}}{f_j(\sigma )}}):_M)`$
$`+\widehat{\mathrm{\Delta }}_{0j}(\sigma )\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}`$ (2.39a)
$`\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}{\displaystyle \frac{1}{f_j(\sigma )}})|0_\sigma =\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}\widehat{\mathrm{\Delta }}_{0j}(\sigma )|0_\sigma `$ (2.39b)
$`{}_{\sigma }{}^{}0|\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}{\displaystyle \frac{1}{f_j(\sigma )}})={}_{\sigma }{}^{}0|\widehat{\mathrm{\Delta }}_{0j}(\sigma )\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}`$ (2.39c)
$$\widehat{\mathrm{\Delta }}_{0j}(\sigma )\frac{c_𝔤}{24}(f_j(\sigma )\frac{1}{f_j(\sigma )}),\widehat{\mathrm{\Delta }}_0(\sigma )=\underset{j}{}\widehat{\mathrm{\Delta }}_{0j}(\sigma )$$
(2.39d)
where $`\widehat{\mathrm{\Delta }}_{0j}(\sigma )`$ are the partial conformal weights of sector $`\sigma `$. In further detail, (2.37a) and (2.39) were used to establish ($`2.39`$b,c), which tell us that the scalar twist-field state is primary under the orbifold Virasoro algebra. The adjoint  of the twisted Virasoro operators

$$\widehat{L}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )})^{}=\widehat{L}_{\widehat{j},j}(m\frac{\widehat{j}}{f_j(\sigma )})$$
(2.40)
follows from Eqs.(2.31) and (2.39).

### 2.6 The Orbifold $`𝔰𝔩(2)`$ Ward Identities and the Twisted KZ System

For the generators (2.35) of the centrally-extended $`𝔰𝔩(2)`$, the relations (2.39b) reduce to

$$\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )})|0_\sigma =_\sigma 0|\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )})=0$$
(2.41a)
$$\widehat{L}_{f_j(\sigma )1,j}(1+\frac{f_j(\sigma )1}{f_j(\sigma )})|0_\sigma =_\sigma 0|\widehat{L}_{f_j(\sigma )1,j}(1+\frac{f_j(\sigma )1}{f_j(\sigma )})=0$$
(2.41b)
$$\widehat{L}_{0,j}(0)|0_\sigma =\widehat{\mathrm{\Delta }}_{0j}(\sigma )|0_\sigma ,_\sigma 0|\widehat{L}_{0,j}(0)={}_{\sigma }{}^{}0|\widehat{\mathrm{\Delta }}_{0j}(\sigma )$$
(2.41c)
where the partial conformal weight $`\widehat{\mathrm{\Delta }}_{0j}(\sigma )`$ is given in (2.39d). Although the scalar twist-field state is not invariant under this $`𝔰𝔩(2)`$, nevertheless  we find the following identities

$`\widehat{A}(𝒯,\overline{z},z,\sigma )`$ $``$ $`{}_{\sigma }{}^{}0|\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )|0_{\sigma }^{}`$ (2.42)
$``$ $`\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )_\sigma `$
$$[\widehat{L}_{0,j}(0),\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )]_\sigma =0$$
(2.43a)
$$[\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )}),\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )]_\sigma =0$$
(2.43b)
$$[\widehat{L}_{f_j(\sigma )1,j}(1+\frac{f_j(\sigma )1}{f_j(\sigma )}),\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )]_\sigma =0$$
(2.43c)
for the correlators $`\widehat{A}`$ in the scalar twist-field state of sector $`\sigma `$. These give the orbifold $`𝔰𝔩(2)`$ Ward identities

$$\widehat{A}(𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left(\stackrel{}{_\mu }z_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{0j}^{(\mu )}(\sigma )=0,j$$
(2.44a)
$$\widehat{A}(𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left[\left(\stackrel{}{_\mu }z_\mu +(1+\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{1j}^{(\mu )}(\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}\right]=0,j$$
(2.44b)
$$\widehat{A}(𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left[\left(\stackrel{}{_\mu }z_\mu +(1\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{f_j(\sigma )1,j}^{(\mu )}(\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}\right]=0,j$$
(2.44c)
which are the analogues of the orbifold $`𝔰𝔩(2)`$ Ward identities given for $`H=_\lambda ,\lambda =`$ prime in Ref. . The Ward identity in (2.44a) implies the known $`L_\sigma (0)`$ Ward identity

$$[L_\sigma (0),\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )]_\sigma =0$$
(2.45a)
$$\widehat{A}(𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left(\stackrel{}{_\mu }z_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)=0$$
(2.45b)
as a consequence of Eq. (2.29e) and the relation $`_jt_{0j}(\sigma )=1\mathrm{l}`$ .

It is known  that the $`L_\sigma (0)`$ Ward identity (2.45) follows from the twisted left-mover KZ system

$$_\mu \widehat{A}(𝒯,\overline{z},z,\sigma )=\widehat{A}(𝒯,\overline{z},z,\sigma )\widehat{W}_\mu (𝒯,z,\sigma ),\widehat{W}_\mu (𝒯,z,\sigma )=\underset{j}{}\widehat{W}_\mu ^j(𝒯,z,\sigma )$$
(2.46a)
$`\widehat{W}_\mu ^j(𝒯,z,\sigma ){\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{\eta ^{ab}T_a^{(\nu )}T_b^{(\mu )}}{f_j(\sigma )z_{\mu \nu }}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}\left({\displaystyle \frac{z_\nu }{z_\mu }}\right)^{\frac{\widehat{j}}{f_j(\sigma )}}t_{\widehat{j}j}^{(\nu )}(\sigma )t_{\widehat{j},j}^{(\mu )}(\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{z_\mu }}(1{\displaystyle \frac{1}{f_j(\sigma )}})t_{0j}^{(\mu )}(\sigma )`$ (2.46b)
$$\widehat{A}(𝒯,\overline{z},z,\sigma )\left(\underset{\mu =1}{\overset{N}{}}T_a^{(\mu )}t_{0j}^{(\mu )}(\sigma )\right)=0,j,a=1,\mathrm{},\text{dim}𝔤,\sigma =0,\mathrm{},N_c1.$$
(2.46c)
In this notation, all matrix products $`M^{(\nu )}N^{(\mu )}M^{(\nu )}N^{(\mu )},\nu \mu `$ are tensor products. The form of the twisted KZ connection in ($`2.46`$a,b) is easily obtained from the original form given in Refs.  by the relation $`_jt_{0j}(\sigma )=1\mathrm{l}`$. The twisted partial connections $`\widehat{W}_\mu ^j`$ defined above are abelian flat:

$$_\mu \widehat{W}_\nu ^j_\nu \widehat{W}_\mu ^j=0$$
(2.47a)
$$[\widehat{W}_\mu ^j(\sigma ),\widehat{W}_\nu ^j^{}(\sigma )]=0,\text{when }jj^{}$$
(2.47b)
$$[\widehat{W}_\mu ^j(\sigma ),\widehat{W}_\nu ^j(\sigma )]=0,j,\mu ,\nu .$$
(2.47c)
Here Eqs. (2.47a,b) are relatively easy to check, and the more difficult proof of (2.47c) is essentially identical to the proof given for $`H=_\lambda `$ in Ref. . We remind the reader that the $`z_\mu ^1`$ term in (2.46) can be traced back to the fact that the twist-field states $`|0_\sigma =\tau _\sigma (0)|0,L_\sigma (1)|0_\sigma 0`$ are not translation invariant.

Moreover, one finds after some algebra (see App. A) that the entire system (2.44) of orbifold $`𝔰𝔩(2)`$ Ward identities also follows from the twisted KZ system (2.46). This phenomenon is familiar from the untwisted KZ system , but we emphasize that it is an unsolved problem to find the general solution of the orbifold $`𝔰𝔩(2)`$ Ward identities.

### 2.7 Right-Movers and Rectification

As current-algebraic orbifold theory \[1-5, 12, 13, 17\] is presently formulated, the action of the automorphism group on the right-mover fields

$$\overline{J}_{aI}(\overline{z})^{}=\omega (h_\sigma )_I{}_{}{}^{J}\overline{J}_{aJ}^{}(\overline{z}),\overline{T}_I(\overline{z})^{}=\omega (h_\sigma )_I{}_{}{}^{J}\overline{T}_{J}^{}(\overline{z})$$
(2.48a)
$$\overline{T}(\overline{z})^{}=\overline{T}(\overline{z})$$
(2.48b)
is taken to be the same as the action on the left-movers. This defines what can be called the class of current-algebraic symmetric orbifolds, as contrasted with the class of current-algebraic asymmetric orbifolds which will not be studied here.

Because the orbifold is symmetric, the right-mover eigenfields have the same forms as the left-movers, e.g.

$$\overline{\mathrm{\Theta }}_{n(r)j}(z,\sigma )=\chi \left(\sigma \right)_{n(r)j}U(\sigma )_{n(r)j}{}_{}{}^{I}\overline{T}_{I}^{}(z)$$
(2.49)
and the principle of local isomorphisms tells us that the twisted right-mover OPE system is a copy of the twisted left-mover system above. Moreover, the principle of local isomorphisms gives the monodromies of the twisted fields:

$$\widehat{\overline{J}}_{\widehat{j}aj}(\overline{z}e^{2\pi i},\sigma )=E_{\widehat{j}}(\sigma )\widehat{\overline{J}}_{\widehat{j}aj}(\overline{z},\sigma )=e^{\frac{2\pi i\widehat{j}}{f_j(\sigma )}}\widehat{\overline{J}}_{\widehat{j}aj}(\overline{z},\sigma )$$
(2.50a)
$$\widehat{\overline{\mathrm{\Theta }}}_{\widehat{j}j}(\overline{z}e^{2\pi i},\sigma )=e^{\frac{2\pi i\widehat{j}}{f_j(\sigma )}}\widehat{\overline{\mathrm{\Theta }}}_{\widehat{j}j}(\overline{z},\sigma )$$
(2.50b)
$$\widehat{\overline{T}}(\overline{z}e^{2\pi i},\sigma )=\widehat{\overline{T}}(\overline{z},\sigma ).$$
(2.50c)
The rule here  is that the monodromies of the right-movers are the same as those of the left-movers when the same path is followed. The monodromies (2.50) give the mode expansions

$$\widehat{\overline{J}}_{\widehat{j}aj}(\overline{z},\sigma )=\underset{m}{}\widehat{\overline{J}}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )})\overline{z}^{(m+\frac{\widehat{j}}{f_j(\sigma )})1},\widehat{\overline{T}}_\sigma (\overline{z})=\underset{m}{}\overline{L}_\sigma (m)\overline{z}^{m2}$$
(2.51a)
$$\widehat{\overline{\mathrm{\Theta }}}_{\widehat{j}j}(\overline{z},\sigma )=\underset{m}{}\widehat{\overline{L}}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )})\overline{z}^{(m+\frac{\widehat{j}}{f_j(\sigma )})2}$$
(2.51b)
and, together with the twisted right-mover OPE system, one obtains the right-mover chiral algebra of each sector of the orbifold.

As discussed on the sphere and the torus in Refs. , the twisted right-mover current algebra shows a sign reversal of the central terms, and in fact we find the same phenomenon in the right-mover orbifold Virasoro algebra.

In the rectification problem  one asks whether the twisted right-mover current algebra of sector $`\sigma `$ is equivalent to a copy of the twisted left-mover current algebra of that sector. For the WZW permutation orbifolds in particular, this rectification has been demonstrated  and we have checked that a similar rectification is possible for the right-mover orbifold Virasoro algebra. The rectified right-mover operators $`\widehat{\overline{J}}^{\mathrm{}},\widehat{\overline{L}}^{\mathrm{}}`$ are

$$\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )})\widehat{\overline{J}}_{\widehat{j},aj}(m\frac{\widehat{j}}{f_j(\sigma )}),\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+\frac{\widehat{j}}{f_j(\sigma )})\widehat{\overline{L}}_{\widehat{j},j}(m\frac{\widehat{j}}{f_j(\sigma )})$$
(2.52a)
$$\overline{L}_\sigma (m)=\underset{j}{}\widehat{\overline{L}}_{0,j}(m)=\underset{j}{}\widehat{\overline{L}}_{}^{\mathrm{}}{}_{0,j}{}^{}(m)$$
(2.52b)
$`[\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{\overline{J}}_{\widehat{l}bl}^{\mathrm{}}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}})]=`$
$`=\delta _{jl}\left(if_{ab}{}_{}{}^{c}\widehat{\overline{J}}_{\widehat{j}+\widehat{l},cj}^{\mathrm{}}(m+n+{\displaystyle \frac{\widehat{j}+\widehat{l}}{f_j(\sigma )}})+\eta _{ab}kf_j(\sigma )(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\delta _{m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )},0}\right)`$ (2.53a)
$$[\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{\overline{J}}_{\widehat{l}al}^{\mathrm{}}(n+\frac{\widehat{l}}{f_l(\sigma )})]=\delta _{jl}(n+\frac{\widehat{l}}{f_l(\sigma )})\widehat{\overline{J}}_{\widehat{j}+\widehat{l},aj}^{\mathrm{}}(m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )})$$
(2.53b)
$`[\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{l}l}{}^{}(n+{\displaystyle \frac{\widehat{l}}{f_l(\sigma )}})]=\delta _{jl}\{(mn+{\displaystyle \frac{\widehat{j}\widehat{l}}{f_j(\sigma )}})\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}+\widehat{l},j}{}^{}(m+n+{\displaystyle \frac{\widehat{j}+\widehat{l}}{f_j(\sigma )}})+`$
$`+{\displaystyle \frac{c_𝔤f_j(\sigma )}{12}}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})((m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})^21)\delta _{m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )},0}\}`$ (2.53c)
and the right-mover algebra commutes with the left-mover algebra. For completeness, we also give the form of the rectified orbifold Virasoro generators in terms of the rectified right-mover modes $`\widehat{\overline{J}}^{\mathrm{}}`$

$`\overline{L}_\sigma (m)=({\displaystyle \frac{\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{p}{}}:\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(p+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})\widehat{\overline{J}}_{\widehat{j},bj}^{\mathrm{}}(mp{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}):_M)`$
$`+\widehat{\mathrm{\Delta }}_0(\sigma )\delta _{m,0}`$ (2.54a)
$`\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})=({\displaystyle \frac{\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{l}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{p}{}}:\widehat{\overline{J}}_{\widehat{l}aj}^{\mathrm{}}(p+{\displaystyle \frac{\widehat{l}}{f_j(\sigma )}})\widehat{\overline{J}}_{\widehat{j}\widehat{l},bj}^{\mathrm{}}(mp+{\displaystyle \frac{\widehat{j}\widehat{l}}{f_j(\sigma )}}):_M)`$
$`+\widehat{\mathrm{\Delta }}_{0j}(\sigma )\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}`$ (2.54b)
where the $`M`$ normal ordering used here for the modes of $`\widehat{\overline{J}}^{\mathrm{}}`$ is the same as that given in (2.38) for the modes of $`\widehat{J}`$. These forms are nothing but right-mover copies of the corresponding left-mover results in Eqs. (2.38) and (2.39).

On the other hand, the algebra of the rectified right-mover modes is not exactly the same as that of the left-mover modes. For example, the relations

$$[\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )]=\overline{z}^{(m+\frac{\widehat{j}}{f_j(\sigma )})}T_at_{\widehat{j},j}(\sigma )\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )$$
(2.55a)
$`[\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )]=`$
$`\overline{z}^{(m+\frac{\widehat{j}}{f_j(\sigma )})}(\overline{z}\overline{}+((m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}})+1)\mathrm{\Delta }_𝔤(T))t_{\widehat{j},j}(\sigma )\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )`$ (2.55b)
$$[\overline{L}_\sigma (m),\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )]=\overline{z}^m(\overline{z}\overline{}+(m+1)\mathrm{\Delta }_𝔤(T))\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )$$
(2.55c)
are found for the commutators with the twisted affine primary fields.

In terms of the rectified right-mover current modes, the right-mover ground state conditions are copies of those for the left-movers:

$$\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )}0)|0_\sigma =_\sigma 0|\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )}0)=0$$
(2.56a)
$`\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}{\displaystyle \frac{1}{f_j(\sigma )}})|0_\sigma =\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}\widehat{\mathrm{\Delta }}_{0j}(\sigma )|0_\sigma `$
$`{}_{\sigma }{}^{}0|\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}{\displaystyle \frac{1}{f_j(\sigma )}})={}_{\sigma }{}^{}0|\widehat{\mathrm{\Delta }}_{0j}(\sigma )\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}.`$ (2.56b)
This leads immediately to the right-mover orbifold $`𝔰𝔩(2)`$ Ward identities

$$\underset{\mu =1}{\overset{N}{}}\left(\overline{z}_\mu \overline{}_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{0j}^{(\mu )}(\sigma )\widehat{A}(𝒯,\overline{z},z,\sigma )=0,j$$
(2.57a)
$$\underset{\mu =1}{\overset{N}{}}\left[\overline{z}_\mu ^{\frac{1}{f_j(\sigma )}}\left(\overline{z}_\mu \overline{}_\mu +(1+\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{1,j}^{(\mu )}(\sigma )\right]\widehat{A}(𝒯,\overline{z},z,\sigma )=0,j$$
(2.57b)
$$\underset{\mu =1}{\overset{N}{}}\left[\overline{z}_\mu ^{\frac{1}{f_j(\sigma )}}\left(\overline{z}_\mu \overline{}_\mu +(1\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{1j}^{(\mu )}(\sigma )\right]\widehat{A}(𝒯,\overline{z},z,\sigma )=0,j$$
(2.57c)
$$\underset{\mu =1}{\overset{N}{}}\left(\overline{z}_\mu \overline{}_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)\widehat{A}(𝒯,\overline{z},z,\sigma )=0$$
(2.57d)
where Eq. (2.57d), which follows from (2.57a), was given earlier in Ref. .

The twisted right-mover vertex operator equation is

$`\overline{}\widehat{g}(𝒯,\overline{z},z,\sigma )={\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \underset{j}{}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}T_bt_{\widehat{j},j}(\sigma ):\widehat{\overline{J}}_{\widehat{j}aj}(\overline{z})\widehat{g}(𝒯,\overline{z},z,\sigma ):_{\overline{M}}`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T)}{\overline{z}}}{\displaystyle \underset{j}{}}(1{\displaystyle \frac{1}{f_j(\sigma )}})t_{0j}(\sigma )\widehat{g}(𝒯,\overline{z},z,\sigma )`$ (2.58)
where $`\overline{M}`$ normal ordering is defined in Ref. , and the twisted right-mover KZ system is :

$$\overline{}_\mu \widehat{A}(𝒯,\overline{z},z,\sigma )=\widehat{\overline{W}}_\mu (𝒯,\overline{z},\sigma )\widehat{A}(𝒯,\overline{z},z,\sigma ),\widehat{\overline{W}}_\mu (𝒯,\overline{z},\sigma )=\underset{j}{}\widehat{\overline{W}}_\mu ^j(𝒯,\overline{z},\sigma )$$
(2.59a)
$`\widehat{\overline{W}}_\mu ^j(𝒯,\overline{z},\sigma ){\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{\eta ^{ab}T_a^{(\nu )}T_b^{(\mu )}}{f_j(\sigma )\overline{z}_{\mu \nu }}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}\left({\displaystyle \frac{\overline{z}_\nu }{\overline{z}_\mu }}\right)^{\frac{\widehat{j}}{f_j(\sigma )}}t_{\widehat{j}j}^{(\mu )}(\sigma )t_{\widehat{j},j}^{(\nu )}(\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{\overline{z}_\mu }}(1{\displaystyle \frac{1}{f_j(\sigma )}})t_{0j}^{(\mu )}(\sigma )`$ (2.59b)
$$\left(\underset{\mu =1}{\overset{N}{}}T_a^{(\mu )}t_{0j}^{(\mu )}(\sigma )\right)\widehat{A}(𝒯,\overline{z},z,\sigma )=0,j,a=1,\mathrm{},\text{dim}𝔤,\sigma =0,\mathrm{},N_c1.$$
(2.59c)
Finally, we have checked that the right-mover orbifold $`𝔰𝔩(2)`$ Ward identities (2.57) are satisfied as a consequence of this system.

This completes our discussion of the orbifold $`𝔰𝔩(2)`$ Ward identities associated to the orbifold Virasoro algebra of each WZW permutation orbifold. As discussed in Sec. 4, the orbifold Virasoro algebras are also important tools in the study of the spectra of the WZW permutation orbifolds.

## 3 Reducibility in WZW Permutation Orbifolds

### 3.1 Reducibility of the Twisted Affine Primary Fields

We will argue in this subsection that the WZW permutation orbifolds admit a ‘natural’ solution in which the twisted affine primary fields are reducible according to the disjoint cycles $`j`$ of $`h_\sigma H`$, with the following block-diagonal structure

$$\widehat{g}(𝒯(T,\sigma ),\overline{z},z,\sigma )_{\alpha \widehat{j}j}{}_{}{}^{\beta \widehat{l}l}=\delta _j^l\widehat{g}_j(𝒯(T,\sigma ),\overline{z},z,\sigma )_{\alpha \widehat{j}}{}_{}{}^{\beta \widehat{l}},T\text{ for each }\sigma =0,\mathrm{},N_c1$$
(3.1a)
$$\alpha ,\beta =1,\mathrm{},\text{dim}T,\overline{\widehat{j}},\overline{\widehat{l}}=0,\mathrm{},f_j(\sigma )1$$
(3.1b)
where $`\widehat{g}_j`$ are the blocks. We will also argue (as in the untwisted case ) that the twisted affine primary fields can be factorized $`\widehat{g}_j=\widehat{g}_j^{}\widehat{g}_j^+`$ into twisted left- and right-mover fields. Finally we will see that all these fields are not functions of $`\widehat{j},\widehat{l}`$ independently, but only of the difference variable $`\widehat{l}\widehat{j}`$.

In fact, evidence has been accumulating for the reducibility of the twisted affine primary fields of the permutation orbifolds - in particular at the classical  and at the abelian  levels. We review this evidence first by way of motivation.

$``$ Motivation: Functional Integral Formulation

For all WZW orbifolds, the WZW orbifold action  is a functional of the classical group orbifold elements which are the classical (high-level) limit of the twisted affine primary fields. In the case of the WZW permutation orbifolds it has been known for some time that the classical group orbifold elements are reducible according to the disjoint cycles, exactly as shown in (3.1a). For this discussion, it is conventional to work on the cylinder $`(\xi ,t)`$, where one has the following relations :

$$𝒯_{\widehat{j}aj}(T,\sigma )=T_at_{\widehat{j}j}(\sigma )$$
(3.2a)
$$\widehat{g}(𝒯(T,\sigma ),\xi ,t,\sigma )=e^{i_{j\widehat{j}}\widehat{\beta }^{\widehat{j}aj}(\xi ,t,\sigma )𝒯_{\widehat{j}aj}(T,\sigma )},T\text{ for each }\sigma =0,\mathrm{},N_c1$$
(3.2b)
$$\widehat{g}(𝒯,\xi +2\pi ,t,\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=e^{2\pi i\frac{\widehat{j}\widehat{l}}{f_j(\sigma )}}\widehat{g}(𝒯,\xi ,t,\sigma )_{\widehat{j}j}^{\widehat{l}l}$$
(3.2c)
$$\widehat{g}(𝒯,\xi ,t,\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\delta _j^l\widehat{g}_j(T\tau (j,\sigma ),\xi ,t,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}},\widehat{j},\widehat{l}=0,\mathrm{},f_j(\sigma )1$$
(3.2d)
$$\widehat{g}_j(𝒯,\xi ,t,\sigma )\widehat{g}_j(T\tau (j,\sigma ),\xi ,t,\sigma )=e^{i_{\widehat{j}}\widehat{\beta }^{\widehat{j}aj}(\xi ,t,\sigma )T_a\tau _{\widehat{j}}(j,\sigma )}$$
(3.2e)
$$t_{\widehat{j}j}(\sigma )_{\widehat{l}l}{}_{}{}^{\widehat{m}m}=\delta _{jl}\delta _l^m\tau _{\widehat{j}}(j,\sigma )_{\widehat{l}}{}_{}{}^{\widehat{m}},\tau _{\widehat{j}}(j,\sigma )_{\widehat{l}}{}_{}{}^{\widehat{m}}\delta _{\widehat{j}+\widehat{l}\widehat{m},0\text{mod }f_j(\sigma )}$$
(3.2f)
$$\widehat{g}_j(𝒯,\xi +2\pi ,t,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}=e^{2\pi i\frac{\widehat{j}\widehat{l}}{f_j(\sigma )}}\widehat{g}_j(𝒯,\xi ,t,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}.$$
(3.2g)
Here $`\widehat{g}(𝒯,\sigma )`$ and $`\widehat{g}_j(𝒯,\sigma )`$ are the group orbifold elements and their blocks respectively. The twisted representation matrices $`𝒯(T,\sigma )`$ in (3.2a) are the same as those defined in (2.18a), and we have suppressed the Lie indices $`\alpha ,\beta `$ throughout.

Reducibility of the group orbifold elements implies that the WZW orbifold action for the permutation orbifolds is separable in $`j`$ :

$$\widehat{S}_{\widehat{g}(\sigma )}[,\widehat{g}]=\underset{j}{}\widehat{S}_{\sigma ,j}[\widehat{g}_j],\widehat{g}_j\widehat{g}_j(𝒯,\xi ,t,\sigma ),\sigma =0,\mathrm{},N_c1$$
(3.3a)
$$\widehat{S}_{\sigma ,j}[\widehat{g}_j]\frac{k}{y(T)}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\underset{\alpha =1}{\overset{\text{dim }T}{}}[\frac{1}{8\pi }d^2\xi \widehat{g}_j^1_+\widehat{g}_j\widehat{g}_j^1_{}\widehat{g}_j+\frac{1}{12\pi }_\mathrm{\Gamma }(\widehat{g}_j^1d\widehat{g}_j)^3]_{\widehat{j}\alpha }^{\widehat{j}\alpha }$$
(3.3b)
$$d^2\xi dtd\xi ,_\pm _t\pm _\xi $$
(3.3c)
$$\widehat{S}_{\sigma ,j}[\widehat{g}_j(𝒯,\xi +2\pi ,t,\sigma )]=\widehat{S}_{\sigma ,j}[\widehat{g}_j(𝒯,\xi ,t,\sigma )],j.$$
(3.3d)
Moreover, separability of the action tells us that, at least in the classical limit, the dynamics of the block $`\widehat{g}_j`$ is independent of the dynamics of the block $`\widehat{g}_l`$ when $`jl`$.

The quantum theory admits a ‘natural’ solution of the same type because the Virasoro operators $`L_\sigma (m)`$, $`\overline{L}_\sigma (m)`$ in (2.29e) and (2.52b) are sums of commuting terms $`\widehat{L}_{0j}(m)`$. In a functional integral formulation with the action (3.3), this can be realized by choosing the naive measure which is factorized in $`j`$,

$$𝒟\widehat{g}\underset{j}{}\underset{\xi ,t}{}d\widehat{g}_j(\xi ,t).$$
(3.4)
Then one has factorization of the correlators according to distinct values of $`j`$, e.g. when $`jl`$:

$`\widehat{g}_j(𝒯^{(1)},\xi _1,t_1,\sigma )\widehat{g}_l(𝒯^{(2)},\xi _2,t_2,\sigma )\widehat{g}_j(𝒯^{(3)},\xi _3,t_3,\sigma )\widehat{g}_l(𝒯^{(4)},\xi _4,t_4,\sigma )_\sigma =`$ (3.5)
$`\widehat{g}_j(𝒯^{(1)},\xi _1,t_1,\sigma )\widehat{g}_j(𝒯^{(3)},\xi _3,t_3,\sigma )_\sigma \times \widehat{g}_l(𝒯^{(2)},\xi _2,t_2,\sigma )\widehat{g}_l(𝒯^{(4)},\xi _4,t_4,\sigma )_\sigma .`$
Similarly, all correlators in the functional integral formulation can be expressed in terms of the independent “single-cycle” correlators

$$\widehat{g}_j(𝒯^{(1)},\xi _1,t_1,\sigma )\mathrm{}\widehat{g}_j(𝒯^{(N)},\xi _N,t_N,\sigma )_\sigma $$
(3.6)
for each fixed value of $`j`$.

Finally we notice that the blocks of the classical group orbifold elements are not functions of $`\widehat{j},\widehat{l}`$ independently, but rather only of the difference variable $`\widehat{l}\widehat{j}`$:

$$\widehat{g}_j(𝒯,\xi ,t,\sigma )_{\widehat{j}+\widehat{m}}{}_{}{}^{\widehat{l}+\widehat{m}}=\widehat{g}_j(𝒯,\xi ,t,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}},\widehat{j},\widehat{l},\widehat{m}.$$
(3.7)
This shift-invariance condition follows from the difference variable structure of the matrices $`\tau _{\widehat{j}}(j,\sigma )`$ in (3.2f). As we shall see, the shift invariance will also generalize to the twisted affine primary fields in the operator formulation.

$``$ Motivation: Abelian Permutation Orbifolds

Ref.  gave the twisted vertex operator equations for all WZW orbifolds, and Ref.  solved those equations in an abelian limit to obtain the twisted vertex operators of a large class of abelian orbifolds

$$\frac{A_{\mathrm{Cartan}g}(H)}{H},H\mathrm{Aut}(\mathrm{Cartan}g),\mathrm{Cartan}gg$$
(3.8)
where the ambient algebra $`g`$ supplies the representation space for the twisted sectors of each orbifold. We are interested here in the case of the abelian permutation orbifolds, where Cartan $`g`$ has the form

$$\mathrm{Cartan}g=_I\mathrm{Cartan}𝔤^I,\mathrm{Cartan}𝔤^I\mathrm{Cartan}𝔤$$
(3.9)
and $`H`$(permutation) acts among the copies Cartan $`𝔤^I`$ of Cartan $`𝔤`$.

Our second reducibility argument is based on the explicit form of the twisted left-mover vertex operators given in Ref.  for the case of the abelian permutation orbifolds:

$$\widehat{g}_+(𝒯,z,\sigma )=\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )\underset{j}{}\widehat{V}_j(𝒯,z,\sigma ),𝒯(T,\sigma )=Tt(\sigma )$$
(3.10a)
$`\widehat{V}_j(𝒯,z,\sigma )z^{\mathrm{\Delta }(T)(1\frac{1}{f_j(\sigma )})t_{0j}(\sigma )}e^{iT_at_{0j}(\sigma )\widehat{q}^{aj}(\sigma )}z^{\eta ^{ab}T_bt_{0j}(\sigma )\widehat{J}_{0aj}(0)/kf_j(\sigma )}\times `$ (3.10b)
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{k}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{m1}{}}\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}){\displaystyle \frac{z^{(m+\frac{\widehat{j}}{f_j(\sigma )})}}{m+\frac{\widehat{j}}{f_j(\sigma )}}}t_{\widehat{j},j}(\sigma )\right)`$
$`\times \mathrm{exp}\left({\displaystyle \frac{\eta ^{ab}T_b}{k}}{\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 \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}{\displaystyle \underset{m0}{}}\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}){\displaystyle \frac{z^{(m+\frac{\widehat{j}}{f_j(\sigma )})}}{m+\frac{\widehat{j}}{f_j(\sigma )}}}t_{\widehat{j},j}(\sigma )\right)`$
$$[\widehat{q}^{aj}(\sigma ),\widehat{J}_{\widehat{l}bl}(m+\frac{\widehat{l}}{f_l(\sigma )})]=i\delta _l^j\delta _b^a\delta _{m+\frac{\widehat{l}}{f_l(\sigma )},0},[\widehat{q}^{aj}(\sigma ),\widehat{q}^{bl}(\sigma )]=0$$
(3.11a)
$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{J}_{\widehat{l}bl}(n+\frac{\widehat{l}}{f_l(\sigma )})]=\delta _{jl}kf_j(\sigma )\eta _{ab}(m+\frac{\widehat{j}}{f_j(\sigma )})\delta _{m+n+\frac{\widehat{j}+\widehat{l}}{f_j(\sigma )},0}$$
(3.11b)
$$\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}0)|0_\sigma =_\sigma 0|\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}0)=0$$
(3.11c)
$$[T_a,T_b]=0,\frac{(\eta ^{ab}T_aT_b)_\alpha ^\beta }{2k}=\mathrm{\Delta }(T)\delta _\alpha ^\beta ,T\text{ for each }\sigma =0,\mathrm{},N_c1$$
(3.11d)
$$a,b=1,\mathrm{},\text{dim(Cartan }𝔤),\overline{\widehat{j}}=0,\mathrm{},f_j(\sigma )1.$$
(3.11e)
Here (3.11b) is the abelian analogue of the general orbifold affine algebra (2.30), and $`\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )`$ in (3.10a) is the Klein transformation - which is a so-far undetermined function in this development.

As far as block structure of $`\widehat{g}_+`$ is concerned, the only subtlety here is in the Klein transformation $`\widehat{\mathrm{\Gamma }}`$. We know that the Klein transformation has a diagonal block structure, $`\widehat{\mathrm{\Gamma }}=_j\widehat{\mathrm{\Gamma }}_j`$, due to its dependence on the matrices $`\{t_{\widehat{j}j}(\sigma )\}`$ in $`𝒯(T,\sigma )`$. We will however also assume that $`\widehat{\mathrm{\Gamma }}`$ is a function only of $`\{𝒯_{0aj}\}`$ and moreover that $`\widehat{\mathrm{\Gamma }}_j`$ is a function only of $`\widehat{J}_{0aj}(0)`$, that is

$$\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )\widehat{\mathrm{\Gamma }}(𝒯_0,\widehat{J}_0(0),\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\delta _j^l\widehat{\mathrm{\Gamma }}_j(T\tau _0(j,\sigma ),\widehat{J}_{0j}(0),\sigma )_{\widehat{j}}^{\widehat{l}}$$
(3.12)
where the matrices $`\tau _{\widehat{j}}(j,\sigma )`$ are defined in (3.2f). These assumptions are natural because the $`\widehat{q}`$-dependent factor of the twisted vertex operator excites only the zero modes $`\widehat{J}_{0aj}(0)`$ of the twisted currents

$$\left(\widehat{J}_{\widehat{j}aj}(m+\frac{\overline{\widehat{j}}}{f_j(\sigma )}0)\delta _{jl}\delta _{m,0}\delta _{\overline{\widehat{j}},0}𝒯_{0aj}(T,\sigma )\right)\{e^{i_b\widehat{q}^{bl}𝒯_{0bl}(T,\sigma )}|0_\sigma \}=0$$
(3.13)
by the amount $`𝒯_{0j}(T,\sigma )`$.

Then we find with (3.12) that the twisted left-mover vertex operators (3.10) exhibit the same block structure and shift invariance

$$\widehat{g}_+(𝒯,z,\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\delta _j^l\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}}^{\widehat{l}}$$
(3.14a)
$$\widehat{g}_j^+(𝒯,z,\sigma )=\widehat{\mathrm{\Gamma }}_j(T\tau _0(j,\sigma ),\widehat{J}_{0j}(0),\sigma )\widehat{V}_j(T\tau (j,\sigma ),z,\sigma )$$
(3.14b)
$$\widehat{V}_j(T\tau (j,\sigma ),z,\sigma )\widehat{V}_j(Tt(\sigma ),z,\sigma )|_{t_{\widehat{j}j}(\sigma )\tau _{\widehat{j}}(j,\sigma )}$$
(3.14c)
$$\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}+\widehat{m}}{}_{}{}^{\widehat{l}+\widehat{m}}=\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}},\widehat{j},\widehat{l},\widehat{m}$$
(3.14d)
which were found for the group orbifold elements above. The same block structure and shift invariance are found for the twisted right-mover vertex operators $`\widehat{g}_{}(𝒯,\overline{z},\sigma )`$ given in Ref. , as well as for the twisted non-chiral vertex operator $`\widehat{g}=\widehat{g}_{}\widehat{g}_+`$.

The new feature here is the chiral block-diagonal structure, which will also generalize to the twisted affine primary fields of the full WZW permutation orbifolds. (Chiral block-diagonal structure can also be argued á la Witten  at the action level by considering the classical equations of motion of the group orbifold elements.)

Having completed our presentation of the classical and abelian evidence, we now give a derivation of reducibility in the general WZW permutation orbifold, using the principle of local isomorphisms.

$``$ Derivation by Local Isomorphisms

For this discussion we return (see Subsec. $`2.1`$) to the untwisted permutation-invariant theory, where the untwisted affine primary fields are block-diagonal

$$g(T,\overline{z},z)_{\alpha I}{}_{}{}^{\beta J}=\delta _I{}_{}{}^{J}g_{I}^{}(T,\overline{z},z)_\alpha ^\beta $$
(3.15a)
$$J_{aI}(z)g_J(T,\overline{w},w)=\delta _{IJ}\frac{g_J(T,\overline{w},w)}{zw}T_a+𝒪(zw)^0$$
(3.15b)
$$T_I(z)g_J(T,\overline{w},w)=\delta _{IJ}\left(\frac{g_J(T,\overline{w},w)\mathrm{\Delta }_𝔤(T)}{(zw)^2}+\frac{_wg_J(T,\overline{w},w)}{zw}\right)+𝒪(zw)^0$$
(3.15c)
because the representation $`T`$ is reducible (see Eq. (2.1c)). The blocks $`g_I`$ are the affine primary fields of each simple affine $`𝔤^I`$. In parallel with the earlier relabellings in (2.19a), the blocks $`g_I`$ are relabelled as $`\{\stackrel{~}{g}_{\widehat{j}j}\}`$ in the $`\sigma `$-dependent cycle basis . Furthermore, it is known  that the untwisted affine primary fields of each copy of simple $`𝔤`$ can be factorized into left- and right-moving chiral components:

$$g_I(T,\overline{z},z)_\alpha {}_{}{}^{\beta }\stackrel{~}{g}_{\widehat{j}j}(T,\overline{z},z,\sigma )_\alpha ^\beta $$
(3.16a)
$$\stackrel{~}{g}_{\widehat{j}j}(T,\overline{z},z,\sigma )_\alpha {}_{}{}^{\beta }=g_{\widehat{j}j}^{}(T,\overline{z},\sigma )_\alpha g_{\widehat{j}j}^+(T,z,\sigma )^\beta ,\alpha ,\beta =1,\mathrm{},\text{dim}T.$$
(3.16b)
Here the dot connotes multiplication in the quantum group space, whose indices are suppressed; in what follows, we will often suppress the Lie indices $`\alpha ,\beta `$ as well.

We are now prepared to look for extra structure in the affine eigenprimary fields $`𝒢`$, defined earlier in Eq. (2.12c). Using (3.15a) in (2.12c) gives

$`𝒢(T,\overline{z},z,\sigma )_{\widehat{j}j}^{\widehat{l}l}`$ $`=`$ $`U(\sigma )_{\widehat{j}j}{}_{}{}^{I}\delta _{I}^{}{}_{}{}^{J}g_{I}^{}(T,\overline{z},z)U^{}(\sigma )_J^{\widehat{l}l}`$ (3.17)
$`=`$ $`{\displaystyle \underset{m}{}}{\displaystyle \underset{\widehat{m}=0}{\overset{f_m(\sigma )1}{}}}U(\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{m}m}\stackrel{~}{g}_{\widehat{m}m}^{}(T,\overline{z},z,\sigma )U^{}(\sigma )_{\widehat{m}m}{}_{}{}^{\widehat{l}l}.`$
Then using the explicit form of $`U(\sigma )`$ in (2.19d) we find after some algebra that the affine eigenprimary fields can be factorized into left- and right-mover chiral blocks:

$$𝒢(𝒯,\overline{z},z,\sigma )_{\widehat{j}j}{}_{}{}^{\widehat{l}l}=\delta _j^l𝒢_j(𝒯,\overline{z},z,\sigma )_{\widehat{j}}^{\widehat{l}}$$
(3.18a)
$`𝒢_j(𝒯,\overline{z},z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}={\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}^{}=0}{\overset{f_j(\sigma )1}{}}}e^{\frac{2\pi i(\widehat{j}\widehat{l})\widehat{j}^{}}{f_j(\sigma )}}\stackrel{~}{g}_{\widehat{j}^{}j}(T,\overline{z},z,\sigma )`$ (3.18b)
$`={\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}^{},\widehat{j}{}_{}{}^{\prime \prime }=0}{\overset{f_j(\sigma )1}{}}}(e^{2\pi i\widehat{j}\widehat{j}^{}/f_j(\sigma )}g_{\widehat{j}^{}j}^{}(T,\overline{z},\sigma ))(e^{2\pi i\widehat{l}\widehat{j}{}_{}{}^{\prime \prime }/f_j(\sigma )}g_{\widehat{j}{}_{}{}^{\prime \prime }j}^+(T,z,\sigma ))\delta _{\widehat{j}^{}\widehat{j}{}_{}{}^{\prime \prime },0\text{mod }f_j(\sigma )}`$
$`={\displaystyle \underset{\widehat{m}=0}{\overset{f_j(\sigma )1}{}}}𝒢_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}}{}_{}{}^{\widehat{m}}𝒢_j^+(𝒯,z,\sigma )_{\widehat{m}}^{\widehat{l}}`$
$`𝒢_j^+(𝒯,z,\sigma )_{\widehat{m}}{}_{}{}^{\widehat{l}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}^{}=0}{\overset{f_j(\sigma )1}{}}}e^{2\pi i(\widehat{m}\widehat{l})\widehat{j}^{}/f_j(\sigma )}g_{\widehat{j}^{}j}^+(T,z,\sigma )=𝒢_j^+(𝒯,z,\sigma )_{\widehat{m}+\widehat{j}}^{\widehat{l}+\widehat{j}}`$
$`𝒢_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}}{}_{}{}^{\widehat{m}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}^{}=0}{\overset{f_j(\sigma )1}{}}}e^{2\pi i(\widehat{j}\widehat{m})\widehat{j}^{}/f_j(\sigma )}g_{\widehat{j}^{}j}^{}(T,\overline{z},\sigma )=𝒢_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}+\widehat{l}}{}_{}{}^{\widehat{m}+\widehat{l}}.`$ (3.18c)
Note that each of these blocks, $`𝒢_j`$ as well as $`𝒢_j^\pm `$, is a function only of the indicated difference variable.

Next, we apply the principle of local isomorphisms

$$𝒢_j(𝒯,\overline{z},z,\sigma )\underset{𝜎}{}\widehat{g}_j(𝒯,\overline{z},z,\sigma )$$
(3.19a)
$$𝒢_j^+(𝒯,z,\sigma )\underset{𝜎}{}\widehat{g}_j^+(𝒯,z,\sigma ),𝒢_j^{}(𝒯,\overline{z},\sigma )\underset{𝜎}{}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )$$
(3.19b)
which promotes the properties (3.18) of the affine eigenprimary fields to isomorphic properties of the twisted affine primary fields $`\widehat{g},\widehat{g}_j`$ and $`\widehat{g}_j^\pm `$:

$`\widehat{g}(𝒯,\overline{z},z,\sigma )_{\alpha \widehat{j}j}^{\beta \widehat{l}l}`$ $`=`$ $`\delta _j^l\widehat{g}_j(𝒯,\overline{z},z,\sigma )_{\alpha \widehat{j}}{}_{}{}^{\beta \widehat{l}},\sigma =0,\mathrm{},N_c1`$ (3.20a)
$`\widehat{g}_j(𝒯,\overline{z},z,\sigma )_{\alpha \widehat{j}}^{\beta \widehat{l}}`$ $`=`$ $`{\displaystyle \underset{\widehat{m}=0}{\overset{f_j(\sigma )1}{}}}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\alpha \widehat{j}}{}_{}{}^{\widehat{m}}\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{m}}^{\beta \widehat{l}}`$ (3.20b)
$`\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{m}+\widehat{j}}{}_{}{}^{\beta ,\widehat{l}+\widehat{j}}=\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{m}}{}_{}{}^{\beta \widehat{l}},\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\alpha ,\widehat{j}+\widehat{l}}{}_{}{}^{\widehat{m}+\widehat{l}}=\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\alpha \widehat{j}}{}_{}{}^{\widehat{m}},`$
$`\widehat{g}_j(𝒯,\overline{z},z,\sigma )_{\alpha ,\widehat{j}+\widehat{m}}{}_{}{}^{\beta ,\widehat{l}+\widehat{m}}=\widehat{g}_j(𝒯,\overline{z},z,\sigma )_{\alpha \widehat{j}}{}_{}{}^{\beta \widehat{l}},\overline{\widehat{j}},\overline{\widehat{l}},\overline{\widehat{m}}=0,\mathrm{},f_j(\sigma )1.`$ (3.20c)
We emphasize that the left-right orbifold factorization (3.20b) followed directly from left-right factorization in the symmetric theory and the principle of local isomorphisms, whereas only the consistency of such a factorization was checked in Ref. . Note also that the quantum group space, denoted by the dot, is the same quantum group space we started with in the untwisted factorization (3.16b). We remind the reader that, in addition to the shift invariance (3.20), all quantities are also periodic $`\widehat{j}\widehat{j}\pm f_j(\sigma )`$ in any spectral index.

Finally, we remark that, although the twisted affine primary fields of the WZW permutation orbifolds are generically reducible as above, there are special cases which are irreducible. This happens in sector $`\sigma `$ of the orbifold whenever $`h_\sigma H`$(permutation) is composed of a single cycle ($`j=0`$ and $`f_0(\sigma )=K`$); for example, this phenomenon occurs in all twisted sectors of the $`_\lambda `$ cyclic permutation orbifolds when $`\lambda =`$ prime.

### 3.2 Reduction of the Extended Operator Algebra

The factorized and block-diagonal form (3.20) is consistent with the operator development in Sec.2, and will lead us to a simpler reduced dynamics.

To begin, we will substitute the block structure (3.20) into the OPEs and mode algebras of the WZW permutation orbifolds, and we will do this in two stages. First, we can use (3.20a) to express all of our equations in terms of the unfactorized blocks $`\widehat{g}_j(𝒯,\overline{z},z,\sigma )`$ of the twisted affine primary fields. For example, the reduced results

$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{g}_l(𝒯,\overline{z},z,\sigma )]=\delta _{jl}\widehat{g}_j(𝒯,\overline{z},z,\sigma )T_a\tau _{\widehat{j}}(j,\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}$$
(3.21a)
$$[\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{g}_l(𝒯,\overline{z},z,\sigma )]=\delta _{jl}\overline{z}^{m+\frac{\widehat{j}}{f_j(\sigma )}}T_a\tau _{\widehat{j}}(j,\sigma )\widehat{g}_j(𝒯,\overline{z},z,\sigma )$$
(3.21b)
$`\widehat{g}_j(𝒯,\overline{z},z,\sigma )={\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}:\widehat{J}_{\widehat{j}aj}(z)\widehat{g}_j(𝒯,\overline{z},z,\sigma ):_MT_b\tau _{\widehat{j}}(j,\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T)}{z}}(1{\displaystyle \frac{1}{f_j(\sigma )}})\widehat{g}_j(𝒯,\overline{z},z,\sigma )`$ (3.21c)
follow from their unreduced counterparts in (2.30d), (2.55a) and (2.3). We note that all the reduced relations of this type can be easily obtained by the mnemonic

$$\widehat{g}\widehat{g}_j,\widehat{g}_\pm \widehat{g}_j^\pm ,t_{\widehat{j}j}(\sigma )\tau _{\widehat{j}}(j,\sigma ),t_{0j}(\sigma )\tau _0(j,\sigma )=1\mathrm{l}$$
(3.22)
from their unreduced counterparts. The matrices $`\{\tau _{\widehat{j}}(j,\sigma )\}`$ are defined in (3.2f).

Next, we can use (3.20b) to factorize all the reduced OPEs and mode algebras into relations on the left- and right-mover blocks $`\widehat{g}_j^\pm `$ of the twisted affine primary fields. We give here only the reduced and factorized form of the extended operator algebra:

$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{g}_l^+(𝒯,z,\sigma )]=\delta _{jl}\widehat{g}_j^+(𝒯,z,\sigma )T_a\tau _{\widehat{j}}(j,\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}$$
(3.23a)
$`[\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{g}_l^+(𝒯,z,\sigma )]=`$
$`=\delta _{jl}\widehat{g}_j^+(𝒯,z,\sigma )\left(\stackrel{}{}z+(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}+1)\mathrm{\Delta }_𝔤(T)\right)\tau _{\widehat{j}}(j,\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}`$ (3.23b)
$$[L_\sigma (m),\widehat{g}_j^+(𝒯,z,\sigma )]=\widehat{g}_j^+(𝒯,z,\sigma )(\stackrel{}{}z+(m+1)\mathrm{\Delta }_𝔤(T))z^m$$
(3.23c)
$$[\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{g}_l^{}(𝒯,\overline{z},\sigma )]=\delta _{jl}\overline{z}^{m+\frac{\widehat{j}}{f_j(\sigma )}}T_a\tau _{\widehat{j}}(j,\sigma )\widehat{g}_j^{}(𝒯,\overline{z},\sigma )$$
(3.23d)
$`[\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{g}_l^{}(𝒯,\overline{z},\sigma )]=`$
$`=\delta _{jl}\overline{z}^{m+\frac{\widehat{j}}{f_j(\sigma )}}\left(\overline{z}\overline{}+(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}+1)\mathrm{\Delta }_𝔤(T)\right)\tau _{\widehat{j}}(j,\sigma )\widehat{g}_j^{}(𝒯,\overline{z},\sigma )`$ (3.23e)
$$[\overline{L}_\sigma (m),\widehat{g}_j^{}(𝒯,\overline{z},\sigma )]=\overline{z}^m(\overline{z}\overline{}+(m+1)\mathrm{\Delta }_𝔤(T))\widehat{g}_j^{}(𝒯,\overline{z},\sigma )$$
(3.23f)
$$[\widehat{L},\widehat{g}^{}]=[\widehat{J},\widehat{g}^{}]=0,[\widehat{\overline{L}}^{\mathrm{}},\widehat{g}^+]=[\widehat{\overline{J}}^{\mathrm{}},\widehat{g}^+]=0.$$
(3.23g)
Similarly, we obtain the reduced twisted vertex operator equations

$`\widehat{g}_j^+(𝒯,z,\sigma )={\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}:\widehat{J}_{\widehat{j}aj}(z)\widehat{g}_j^+(𝒯,z,\sigma ):_MT_b\tau _{\widehat{j}}(j,\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T)}{z}}(1{\displaystyle \frac{1}{f_j(\sigma )}})\widehat{g}_j^+(𝒯,z,\sigma )`$ (3.24a)
$`\overline{}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )={\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}T_b\tau _{\widehat{j}}(j,\sigma ):\widehat{\overline{J}}_{\widehat{j}aj}(\overline{z})\widehat{g}_j^{}(𝒯,\overline{z},\sigma ):_{\overline{M}}`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T)}{z}}(1{\displaystyle \frac{1}{f_j(\sigma )}})\widehat{g}_j^{}(𝒯,\overline{z},\sigma )`$ (3.24b)
for the left- and right-mover blocks of the twisted affine primary fields.

### 3.3 The Single-Cycle Form of the Twisted KZ System

Using Eq. (3.20) and the twisted KZ system (2.46), (2.59), the same procedure leads after some algebra to the reduced and factorized form of the twisted KZ system:

$`_\mu \widehat{A}_+(\stackrel{}{j};𝒯,z,\sigma )=\widehat{A}_+(\stackrel{}{j};𝒯,z,\sigma )\widehat{W}_\mu (\stackrel{}{j};𝒯,z,\sigma )`$ (3.25a)
$`\overline{}_\mu \widehat{A}_{}(\stackrel{}{j};𝒯,\overline{z},\sigma )=\widehat{\overline{W}}_\mu (\stackrel{}{j};𝒯,\overline{z},\sigma )\widehat{A}_{}(\stackrel{}{j};𝒯,\overline{z},\sigma )`$ (3.25b)
$`\widehat{W}_\mu (\stackrel{}{j};𝒯,z,\sigma ){\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{\eta ^{ab}T_a^{(\mu )}T_b^{(\nu )}}{f_{j_\mu }(\sigma )z_{\mu \nu }}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_{j_\mu }(\sigma )1}{}}}\left({\displaystyle \frac{z_\nu }{z_\mu }}\right)^{\frac{\widehat{j}}{f_{j_\mu }(\sigma )}}\tau _{\widehat{j}}^{(\nu )}(j_\nu ,\sigma )\tau _{\widehat{j}}^{(\mu )}(j_\mu ,\sigma )\delta _{j_\mu ,j_\nu }`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{\overline{z}_\mu }}(1{\displaystyle \frac{1}{f_{j_\mu }(\sigma )}})`$ (3.25c)
$`\widehat{\overline{W}}_\mu (\stackrel{}{j};𝒯,\overline{z},\sigma ){\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{\eta ^{ab}T_a^{(\nu )}T_b^{(\mu )}}{f_{j_\mu }(\sigma )\overline{z}_{\mu \nu }}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_{j_\mu }(\sigma )1}{}}}\left({\displaystyle \frac{\overline{z}_\nu }{\overline{z}_\mu }}\right)^{\frac{\widehat{j}}{f_{j_\mu }(\sigma )}}\tau _{\widehat{j}}^{(\mu )}(j_\mu ,\sigma )\tau _{\widehat{j}}^{(\nu )}(j_\nu ,\sigma )\delta _{j_\mu ,j_\nu }`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{\overline{z}_\mu }}(1{\displaystyle \frac{1}{f_{j_\mu }(\sigma )}})`$ (3.25d)
$$\widehat{A}_+(\stackrel{}{j};𝒯,z,\sigma )\left(\underset{\mu =1}{\overset{N}{}}T_a^{(\mu )}\delta _{j,j_\mu }\right)=\left(\underset{\mu =0}{\overset{N}{}}T_a^{(\mu )}\delta _{j,j_\mu }\right)\widehat{A}_{}(\stackrel{}{j};𝒯,\overline{z},\sigma )=0,j.$$
(3.25e)
Here the reduced left- and right-mover correlators $`\widehat{A}_\pm `$ are defined as

$`\widehat{A}_+(\stackrel{}{j};𝒯,z,\sigma ){}_{\sigma }{}^{}0|\widehat{g}_{j_1}^+(𝒯^{(1)},z_1,\sigma ),\mathrm{}\widehat{g}_{j_N}^+(𝒯^{(N)},z_N,\sigma )|0_{\sigma }^{}`$
$`\widehat{A}_{}(\stackrel{}{j};𝒯,\overline{z},\sigma ){}_{\sigma }{}^{}0|\widehat{g}_{j_1}^{}(𝒯^{(1)},\overline{z}_1,\sigma ),\mathrm{}\widehat{g}_{j_N}^{}(𝒯^{(N)},\overline{z}_N,\sigma )|0_{\sigma }^{}`$ (3.26a)
$`\widehat{A}(\stackrel{}{j};𝒯,\overline{z},z,\sigma )`$ $``$ $`\widehat{g}_{j_1}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\mathrm{}\widehat{g}_{j_N}(𝒯^{(N)},\overline{z}_N,z_N,\sigma )_\sigma `$ (3.26b)
$`=`$ $`\widehat{A}_{}(\stackrel{}{j};𝒯,\overline{z},\sigma )\widehat{A}_+(\stackrel{}{j};𝒯,z,\sigma )`$
$$\widehat{A}(𝒯,\overline{z},z,\sigma )_{\alpha _1\widehat{j}_1j_1;\mathrm{};\alpha _N\widehat{j}_Nj_N}^{\beta _1\widehat{l}_1l_1;\mathrm{};\beta _N\widehat{l}_Nl_N}=\delta _{j_1}^{l_1}\mathrm{}\delta _{j_N}^{l_N}\widehat{A}(\stackrel{}{j};𝒯,\overline{z},z,\sigma )_{\alpha _1\widehat{j}_1;\mathrm{};\alpha _N\widehat{j}_N}^{\beta _1\widehat{l}_1;\mathrm{};\beta _N\widehat{l}_N}$$
(3.26c)
where $`\widehat{A}(𝒯,\overline{z},z,\sigma )`$ in (3.26c) is the full, non-chiral unreduced correlator defined earlier in (2.42).

The Kronecker factors $`\delta _{j_\mu ,j_\nu }`$ in the reduced connections $`\widehat{W}_\mu (\stackrel{}{j}),\widehat{\overline{W}}_\mu (\stackrel{}{j})`$ and the reduced global Ward identity (3.25e) tell us that the reduced affine primary fields $`\widehat{g}_j`$ as well as $`\widehat{g}_j^\pm `$ decouple for distinct values of $`j`$. This allows us to choose the ‘natural’ solution in which the correlators factorize according to distinct cycles $`j`$, as in the functional integral formulation above. As examples, we note that the factorized forms

$$\widehat{g}_j^+(𝒯^{(1)},z_1,\sigma )\widehat{g}_l^+(𝒯^{(2)},z_2,\sigma )_\sigma =\widehat{g}_j^+(𝒯^{(1)},z_1,\sigma )_\sigma \widehat{g}_l^+(𝒯^{(2)},z_2,\sigma )_\sigma ,jl$$
(3.27a)
$`\widehat{g}_j^+(𝒯^{(1)},z_1,\sigma )\widehat{g}_l^+(𝒯^{(2)},z_2,\sigma )\widehat{g}_j^+(𝒯^{(3)},z_3,\sigma )\widehat{g}_l^+(𝒯^{(4)},z_4,\sigma )_\sigma =`$
$`=\widehat{g}_j^+(𝒯^{(1)},z_1,\sigma )\widehat{g}_j^+(𝒯^{(3)},z_3,\sigma )_\sigma \times \widehat{g}_l^+(𝒯^{(2)},z_2,\sigma )\widehat{g}_l^+(𝒯^{(4)},z_4,\sigma )_\sigma ,jl`$ (3.27b)
are solutions of the reduced twisted KZ system - in parallel with (3.5). Such relations hold as well for $`\widehat{g}_j^+\widehat{g}_j^{}`$ and $`\widehat{g}_j^+\widehat{g}_j`$. Moreover, it is known  that all the one-point correlators vanish for non-trivial $`𝒯`$ so that, e.g.

$$\widehat{g}(𝒯,\overline{z},z,\sigma )_\sigma =\widehat{g}_j(𝒯,\overline{z},z,\sigma )_\sigma =0,𝒯0$$
(3.28a)
$$\widehat{g}_j(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\widehat{g}_l(𝒯^{(2)},\overline{z}_2,z_2,\sigma )_\sigma =\delta _{jl}\widehat{g}_j(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\widehat{g}_j(𝒯^{(2)},\overline{z}_2,z_2,\sigma )_\sigma $$
(3.28b)
where (3.28b) follows from (3.27a) and (3.28a). Similarly, one finds that $`\widehat{g}_j\widehat{g}_k\widehat{g}_l_\sigma `$ vanishes unless $`j=k=l`$.

In the natural solution we therefore need only consider the single-cycle correlators at fixed values of $`j`$

$`\widehat{A}_+(j;𝒯(T,\sigma ),z,\sigma )\widehat{g}_j^+(𝒯^{(1)}(T^{(1)},\sigma ),z_1,\sigma )\mathrm{}\widehat{g}_j^+(𝒯^{(N)}(T^{(N)},\sigma ),z_N,\sigma )_\sigma `$
$`\widehat{A}_{}(j;𝒯(T,\sigma ),\overline{z},\sigma )\widehat{g}_j^{}(𝒯^{(1)}(T^{(1)},\sigma ),\overline{z}_1,\sigma )\mathrm{}\widehat{g}_j^{}(𝒯^{(N)}(T^{(N)},\sigma ),\overline{z}_N,\sigma )_\sigma `$ (3.29a)
$$j,T\text{ for each }\sigma =0,\mathrm{},N_c1$$
(3.29b)
from which all other correlators can be constructed, as in (3.27). Moreover, we find from (3.25) that the single-cycle correlators satisfy the single-cycle twisted KZ system

$`_\mu \widehat{A}_+(j;𝒯(T,\sigma ),z,\sigma )=\widehat{A}_+(j;𝒯(T,\sigma ),z,\sigma )\widehat{W}_\mu (j;𝒯(T,\sigma ),z,\sigma )`$
$`\overline{}_\mu \widehat{A}_{}(j;𝒯(T,\sigma ),\overline{z},\sigma )=\widehat{\overline{W}}_\mu (j;𝒯(T,\sigma ),\overline{z},\sigma )\widehat{A}_{}(j;𝒯(T,\sigma ),\overline{z},\sigma )`$ (3.30a)
$`\widehat{W}_\mu (j;𝒯(T,\sigma ),z,\sigma )={\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{\eta ^{ab}T_a^{(\mu )}T_b^{(\nu )}}{f_j(\sigma )z_{\mu \nu }}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}\left({\displaystyle \frac{z_\nu }{z_\mu }}\right)^{\frac{\widehat{j}}{f_j(\sigma )}}\tau _{\widehat{j}}^{(\nu )}(j,\sigma )\tau _{\widehat{j}}^{(\mu )}(j,\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{z_\mu }}(1{\displaystyle \frac{1}{f_j(\sigma )}})`$ (3.30b)
$`\widehat{\overline{W}}_\mu (j;𝒯(T,\sigma ),\overline{z},\sigma )={\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \underset{\nu \mu }{}}{\displaystyle \frac{\eta ^{ab}T_a^{(\nu )}T_b^{(\mu )}}{f_j(\sigma )\overline{z}_{\mu \nu }}}{\displaystyle \underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}}\left({\displaystyle \frac{\overline{z}_\nu }{\overline{z}_\mu }}\right)^{\frac{\widehat{j}}{f_j(\sigma )}}\tau _{\widehat{j}}^{(\mu )}(j,\sigma )\tau _{\widehat{j}}^{(\nu )}(j,\sigma )`$
$`{\displaystyle \frac{\mathrm{\Delta }_𝔤(T^{(\mu )})}{\overline{z}_\mu }}(1{\displaystyle \frac{1}{f_j(\sigma )}})`$ (3.30c)
$$\widehat{A}_+(j;𝒯(T,\sigma ),z,\sigma )\left(\underset{\mu =1}{\overset{N}{}}T_a^{(\mu )}\right)=\left(\underset{\mu =1}{\overset{N}{}}T_a^{(\mu )}\right)\widehat{A}_{}(j;𝒯(T,\sigma ),\overline{z},\sigma )=0,j$$
(3.30d)
which operates entirely within each disjoint cycle. Note in particular that the single-cycle global Ward identity in (3.30d) has the same form as the usual global Ward identity  found in untwisted KZ systems.

The single-cycle twisted KZ system (3.30), (3.20) is one of the central results of this paper.

As a first application of (3.30), we note that the single-cycle forms of the orbifold $`𝔰𝔩(2)`$ Ward identities

$$\widehat{A}_+(j;𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left(\stackrel{}{_\mu }z_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)=0$$
(3.31a)
$$\widehat{A}_+(j;𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left[\left(\stackrel{}{_\mu }z_\mu +(1+\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)\tau _1^{(\mu )}(j,\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}\right]=0$$
(3.31b)
$$\widehat{A}_+(j;𝒯,\overline{z},z,\sigma )\underset{\mu =1}{\overset{N}{}}\left[\left(\stackrel{}{_\mu }z_\mu +(1\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)\tau _1^{(\mu )}(j,\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}\right]=0$$
(3.31c)
$$\underset{\mu =1}{\overset{N}{}}\left(\overline{z}_\mu \overline{}_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)\widehat{A}_{}(j;𝒯,\overline{z},z,\sigma )=0$$
(3.32a)
$$\underset{\mu =1}{\overset{N}{}}\left[\overline{z}_\mu ^{\frac{1}{f_j(\sigma )}}\left(\overline{z}_\mu \overline{}_\mu +(1+\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)\tau _1^{(\mu )}(j,\sigma )\right]\widehat{A}_{}(j;𝒯,\overline{z},z,\sigma )=0$$
(3.32b)
$$\underset{\mu =1}{\overset{N}{}}\left[\overline{z}_\mu ^{\frac{1}{f_j(\sigma )}}\left(\overline{z}_\mu \overline{}_\mu +(1\frac{1}{f_j(\sigma )})\mathrm{\Delta }_𝔤(T^{(\mu )})\right)\tau _1^{(\mu )}(j,\sigma )\right]\widehat{A}_{}(j;𝒯,\overline{z},z,\sigma )=0$$
(3.32c)
are also satisfied by any solution of the single-cycle twisted KZ system.

### 3.4 First Form of the Single-Cycle Two-Point Correlator

The unreduced left-mover two-point correlator was given for the case of the WZW permutation orbifolds in Refs. . Similarly, using the shift condition (3.20) and the global Ward identity (3.30d), we have worked out the single-cycle non-chiral two-point correlator

$`\widehat{A}(j;1,2)`$ $``$ $`\widehat{A}_{}(j;1,2)\widehat{A}_+(j;1,2)=\widehat{g}_j(𝒯^{(1)}(T^{(1)},\sigma ),\overline{z}_1,z_1,\sigma )\widehat{g}_j(𝒯^{(2)}(T^{(2)},\sigma ),\overline{z}_2,z_2,\sigma )_\sigma `$ (3.33a)
$`=`$ $`𝒞(j;𝒯,\sigma )|z_1|^{2\mathrm{\Delta }_𝔤(T^{(1)})(1\frac{1}{f_j(\sigma )})}|z_2|^{2\mathrm{\Delta }_𝔤(T^{(2)})(1\frac{1}{f_j(\sigma )})}\times `$
$`\times |z_{12}|^{4\mathrm{\Delta }_𝔤(T^{(1)})/f_j(\sigma )}\mathrm{exp}\{{\displaystyle \frac{2}{2k+Q_𝔤}}F(j;1,2)\}`$
$`F(j;1,2){\displaystyle \frac{T_a^{(2)}\eta ^{ab}T_b^{(1)}}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}\{\tau _{\widehat{j}}^{(1)}(j,\sigma )\tau _{\widehat{j}}^{(2)}(j,\sigma )I_{\frac{\widehat{j}}{f_j(\sigma )}}({\displaystyle \frac{\overline{z}_1}{\overline{z}_2}},\mathrm{})`$
$`+\tau _{\widehat{j}}^{(2)}(j,\sigma )\tau _{\widehat{j}}^{(1)}(j,\sigma )I_{\frac{\widehat{j}}{f_j(\sigma )}}({\displaystyle \frac{z_1}{z_2}},\mathrm{})\}`$ (3.33b)
$$𝒞(j;𝒯,\sigma )=𝒞_{}(j;𝒯,\sigma )𝒞_+(j;𝒯,\sigma ),I_{\frac{\widehat{j}}{f_j(\sigma )}}(y,\mathrm{})_{\mathrm{}}^y\frac{dx}{x1}x^{\frac{\widehat{j}}{f_j(\sigma )}}$$
(3.33c)
as the solution to the single-cycle twisted KZ equations. After some algebra, we have verified that this solution satisfies the orbifold $`𝔰𝔩(2)`$ Ward identities (3.31) and (3.32), as it must.

We explain some of the steps used in obtaining (3.33), emphasizing properties of the constant matrix $`𝒞(j;𝒯,\sigma )`$. In the first place, the blocks $`\widehat{g}_j`$ are functions of difference variables, and hence the constant matrices $`𝒞_\pm ,𝒞`$ are also functions of their respective difference variables

$$O(j;𝒯,\sigma )_{\widehat{j}_1+\widehat{m}_1;\widehat{j}_2}{}_{}{}^{\widehat{l}_1+\widehat{m}_1;\widehat{l}_2}=O(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2+\widehat{m}_2}{}_{}{}^{\widehat{l}_1;\widehat{l}_2+\widehat{m}_2}=O(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2}^{\widehat{l}_1;\widehat{l}_2}$$
(3.34a)
$$O(j;𝒯,\sigma )=𝒞_\pm (j;𝒯,\sigma )\text{ or }𝒞(j;𝒯,\sigma )$$
(3.34b)
where we have suppressed Lie indices and quantum group indices. Moreover, the global Ward identity places further constraints on the matrix $`𝒞`$, namely

$$[T_c^{(2)}\eta ^{cd}T_d^{(1)},(T_a^{(1)}+T_a^{(2)})]=0$$
(3.35a)
$$𝒞(j;𝒯,\sigma )(T_a^{(1)}+T_a^{(2)})=(T_a^{(1)}+T_a^{(2)})𝒞(j;𝒯,\sigma )=0.$$
(3.35b)
Taken together, the conditions (3.34) and (3.35b) imply that

$$[𝒞(j;𝒯,\sigma ),T_a^{(2)}\eta ^{ab}T_b^{(1)}]=0,[𝒞(j;𝒯,\sigma ),F(j;1,2)]=0$$
(3.36a)
$`\mathrm{exp}\{{\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \frac{T_a^{(1)}\eta ^{ab}T_b^{(2)}}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}\tau _{\widehat{j}}^{(1)}(j,\sigma )\tau _{\widehat{j}}^{(2)}(j,\sigma )I_{\frac{\widehat{j}}{f_j(\sigma )}}({\displaystyle \frac{\overline{z}_1}{\overline{z}_2}},\mathrm{})\}\times `$
$`\times 𝒞(j;𝒯,\sigma )\mathrm{exp}\{{\displaystyle \frac{2}{2k+Q_𝔤}}{\displaystyle \frac{T_a^{(2)}\eta ^{ab}T_b^{(1)}}{f_j(\sigma )}}{\displaystyle \underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}}\tau _{\widehat{j}}^{(2)}(j,\sigma )\tau _{\widehat{j}}^{(1)}(j,\sigma )I_{\frac{\widehat{j}}{f_j(\sigma )}}({\displaystyle \frac{z_1}{z_2}},\mathrm{})\}`$
$`=𝒞(j;𝒯,\sigma )\mathrm{exp}\{{\displaystyle \frac{2}{2k+Q_𝔤}}F(j;1,2)\}`$ (3.36b)
which allowed us to pull the matrix $`𝒞`$ to the left in the result (3.33).

Furthermore, the complete solution of the global Ward identity (3.35b) gives a form which is equivalent to the standard Haar integration over two Lie group elements, and we find that the the matrix $`𝒞(j;𝒯,\sigma )`$ has the following form

$$𝒞(j;𝒯,\sigma )_{\alpha _1\widehat{j}_1;\alpha _2\widehat{j}_2}{}_{}{}^{\beta _1\widehat{l}_1;\beta _2\widehat{l}_2}=\delta _{T^{(2)},\overline{T}^{(1)}}\delta _{\alpha _1\alpha _2}\delta ^{\beta _1\beta _2}𝒟(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2}^{\widehat{l}_1;\widehat{l}_2}$$
(3.37a)
$$𝒟(j;𝒯,\sigma )_{\widehat{j}_1+\widehat{m}_1;\widehat{j}_2}{}_{}{}^{\widehat{l}_1+\widehat{m}_1;\widehat{l}_2}=𝒟(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2+\widehat{m}_2}{}_{}{}^{\widehat{l}_1;\widehat{l}_2+\widehat{m}_2}=𝒟(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2}^{\widehat{l}_1;\widehat{l}_2}$$
(3.37b)
in terms of an as-yet-undetermined constant matrix $`𝒟`$. Finally, the single-cycle two-point correlator is non-vanishing only when $`TT^{(2)}=\overline{T}^{(1)}`$, so the untwisted conformal weights in (3.33a) are equal. This gives the first form of the single-cycle two-point correlator

$$\widehat{A}(j;1,2)=𝒞(j;𝒯,\sigma )|z_1z_2|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}|z_{12}|^{4\mathrm{\Delta }_𝔤(T)/f_j(\sigma )}\mathrm{exp}\{\frac{2}{2k+Q_𝔤}F(j;1,2)\}$$
(3.38a)
$$𝒞(j;𝒯,\sigma )=\delta _{T^{(2)},\overline{T}^{(1)}}𝒟(j;𝒯,\sigma ),\mathrm{\Delta }_𝔤(T)1\mathrm{l}\frac{\eta ^{ab}T_aT_b}{2k+Q_𝔤}=\mathrm{\Delta }_𝔤(T^{(1)})1\mathrm{l}=\mathrm{\Delta }_𝔤(T^{(2)})1\mathrm{l}$$
(3.38b)
where $`F(j;1,2)`$ is defined in (3.33). We will return in Subsec. $`4.4`$ to fix the multiplicative constant matrix $`𝒟`$ in (3.38b).

## 4 Twisted Affine Primary and Principal Primary States

### 4.1 The Twisted Affine Primary States of Cycle $`j`$

The object of this subsection is to obtain the orbifold-modified asymptotic formulae  for the in- and out-states created by the reduced twisted affine primary fields, and to show that in fact these states are twisted affine primary states, as one might expect. The twisted affine primary states are also seen to be primary under the orbifold Virasoro algebra.

To obtain some information about excited states in the orbifold, we first consider the following limits of the single-cycle two-point correlator in (3.38),

$$I_{\frac{\widehat{j}}{f_j(\sigma )}}(y,\mathrm{})=𝒪(y^{\frac{\widehat{j}}{f_j(\sigma )}})\text{for }y>>1,\widehat{j}=1,\mathrm{},f_j(\sigma )1$$
(4.1)
$`\underset{|z_2|0}{lim}|z_2|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j(𝒯^{(1)},\overline{z}_1,z_1,\sigma )\widehat{g}_j(𝒯^{(2)},\overline{z}_2,z_2,\sigma )|0_{\sigma }^{}`$
$`=𝒞(j;𝒯,\sigma )|z_1|^{2\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}`$ (4.2a)
$`\underset{|z_1|\mathrm{}}{lim}\underset{|z_2|0}{lim}|z_1|^{2\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}|z_2|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j(𝒯^{(1)},\overline{z}_1,z_1,\sigma )`$ $`\widehat{g}_j(𝒯^{(2)},\overline{z}_2,z_2,\sigma )|0_\sigma `$
$`=𝒞(j;𝒯,\sigma )`$ (4.2b)
where the form of the constant matrix $`𝒞(j;𝒯,\sigma )`$ is given in (3.37a). These limits define the ‘in’ and ‘out’ states

$$\underset{|z|0}{lim}|z|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j(𝒯,\overline{z},z,\sigma )|0_\sigma =|A(j;𝒯)_\sigma $$
(4.3a)
$$\underset{|z|\mathrm{}}{lim}{}_{\sigma }{}^{}0||z|^{2\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}\widehat{g}_j(𝒯,\overline{z},z,\sigma )={}_{\sigma }{}^{}A(j;𝒯)|$$
(4.3b)
created by the twisted affine primary field $`\widehat{g}_j(𝒯,\overline{z},z,\sigma )`$ on the ground state (scalar twist-field state) of sector $`\sigma `$. In fact, these states are matrix states

$$(|A(j;𝒯)_\sigma )_{\alpha \widehat{j}}^{\beta \widehat{l}},(_\sigma A(j;𝒯)|)_{\alpha \widehat{j}}^{\beta \widehat{l}}$$
(4.4)
but we will generally suppress their indices. The relations in (4.2) and (4.3) tell us that the constant matrix $`𝒞(j;𝒯,\sigma )`$ is the inner product of these states

$$𝒞(j;𝒯,\sigma )={}_{\sigma }{}^{}A(j;𝒯^{(1)})|A(j;𝒯^{(2)})_{\sigma }^{}$$
(4.5)
and, according to (3.37a), both sides of this relation are proportional to $`\delta _{T^{(2)},\overline{T}^{(1)}}`$.

We can similarly define chiral and antichiral states, created by the left- and right-mover twisted affine primary fields $`\widehat{g}_j^\pm `$ :

$$|A^+(j;𝒯)_\sigma \underset{z0}{lim}z^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^+(𝒯,z,\sigma )|0_\sigma $$
(4.6a)
$${}_{\sigma }{}^{}A^+(j;𝒯)|\underset{z\mathrm{}}{lim}{}_{\sigma }{}^{}0|z^{\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}\widehat{g}_j^+(𝒯,z,\sigma )$$
(4.6b)
$$|A^{}(j;𝒯)_\sigma \underset{\overline{z}0}{lim}\overline{z}^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )|0_\sigma $$
(4.6c)
$${}_{\sigma }{}^{}A^{}(j;𝒯)|\underset{\overline{z}\mathrm{}}{lim}{}_{\sigma }{}^{}0|\overline{z}^{\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )$$
(4.6d)
$$|A(j;𝒯)_\sigma =|A^{}(j;𝒯)_\sigma |A^+(j;𝒯)_\sigma ,_\sigma A(j;𝒯)|={}_{\sigma }{}^{}A^{}(j;𝒯)|{}_{\sigma }{}^{}A^+(j;𝒯)|.$$
(4.6e)
Note that the orbifold-modified asymptotic formulae (4.6) reduce to the conventional asymptotic formulae for Virasoro primary fields and states only when the cycle size $`f_j(\sigma )=1`$, which includes the untwisted sector $`\sigma =0`$. These orbifold modifications can be traced back to the $`z_\mu ^1`$ terms in the single-cycle twisted KZ connections (3.30), and these terms in turn reflect the translation non-invariance of the scalar twist-field state. Such modified asymptotic formulae were first seen in Ref. .

In what follows, we discuss some important properties of the states in (4.6). For brevity, we focus on the left-mover ‘in’ state in (4.6a), but similar properties are easily established for all the states in (4.6).

To simplify the following arguments, we will define rescaled affine primary fields

$$\widehat{\widehat{g}}_j^+(𝒯(T,\sigma ),z,\sigma )z^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^+(𝒯(T,\sigma ),z,\sigma ),|A^+(j;𝒯)_\sigma =\underset{z0}{lim}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )|0_\sigma $$
(4.7)
and we observe that rescaling does not remove all orbifold modification of the asymptotic formulae; for example, the formula

$${}_{\sigma }{}^{}A^+(j;𝒯)|=\underset{z\mathrm{}}{lim}{}_{\sigma }{}^{}0|z^{2\mathrm{\Delta }_𝔤(T)/f_j(\sigma )}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )$$
(4.8)
agrees with the conventional form only when $`f_j(\sigma )=1`$.

Our next observation is that the asymptotic state $`|A^+(j;𝒯)_\sigma `$ created by the left-mover twisted affine primary field is indeed a twisted affine primary state <sup>1</sup><sup>1</sup>1Note that the scalar twist-field state $`|0_\sigma `$ can also be considered as a twisted affine primary state with $`𝒯=0`$.:

$$[\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )]=\delta _{jl}z^{(m+\frac{\widehat{j}}{f_j(\sigma )})}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )T_a\tau _{\widehat{j}}(j,\sigma )$$
(4.9a)
$`\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0)|A^+(l;𝒯)_\sigma `$ $`=`$ $`\underset{z0}{lim}\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0)\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )|0_\sigma `$ (4.9b)
$`=`$ $`\underset{z0}{lim}[\widehat{J}_{\widehat{j}aj}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0),\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )]|0_\sigma `$
$`=`$ $`\underset{z0}{lim}\delta _{jl}z^{(m+\frac{\widehat{j}}{f_j(\sigma )})}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )T_a\tau _{\widehat{j}}(j,\sigma )|0_\sigma `$
$`=`$ $`\delta _{jl}\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}|A^+(j;𝒯)_\sigma T_a.`$
To obtain this result, we used the ground state conditions (2.37a) and the algebra (3.23a).

Moreover, these twisted affine primary states are primary under the orbifold Virasoro algebra

$`[\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )]=`$
$`=\delta _{jl}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )\left(\stackrel{}{}z+(m+{\displaystyle \frac{\widehat{j}+1}{f_j(\sigma )}})\mathrm{\Delta }_𝔤(T)\right)\tau _{\widehat{j}}(j,\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}`$ (4.10a)
$`\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0)|A^+(l;𝒯)_\sigma =\underset{z0}{lim}\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0)\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )|0_\sigma =`$
$`=\underset{z0}{lim}\left([\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}0),\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )]+\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}\widehat{\mathrm{\Delta }}_{0j}(\sigma )\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )\right)|0_\sigma `$
$`=\underset{z0}{lim}\widehat{\widehat{g}}_l^+(𝒯,z,\sigma )\left(\delta _{jl}(\stackrel{}{}z+(m+{\displaystyle \frac{\widehat{j}+1}{f_j(\sigma )}})\mathrm{\Delta }_𝔤(T))\tau _{\widehat{j}}(j,\sigma )z^{m+\frac{\widehat{j}}{f_j(\sigma )}}+\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}\widehat{\mathrm{\Delta }}_{0j}(\sigma )\right)|0_\sigma `$
$`=\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}(\widehat{\mathrm{\Delta }}_{0j}(\sigma )+\delta _{jl}{\displaystyle \frac{\mathrm{\Delta }_𝔤(T)}{f_j(\sigma )}})|A^+(l;𝒯)_\sigma `$ (4.10b)
where we have used the ground state relation (2.39b) and the commutator (3.23). The partial conformal weight $`\widehat{\mathrm{\Delta }}_{0j}(\sigma )`$ is given in (2.39d).

Finally, Eq. (4.10) tells us that the twisted affine primary state is also a Virasoro primary state under the full Virasoro generators

$$L_\sigma (m0)|A^+(j;𝒯)_\sigma =\delta _{m,0}(\widehat{\mathrm{\Delta }}_0(\sigma )+\frac{\mathrm{\Delta }_𝔤(T)}{f_j(\sigma )})|A^+(j;𝒯)_\sigma $$
(4.11)
where the ground state conformal weight $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ is given in (2.38d).

The corresponding relations on the left-mover ‘out’ state

$${}_{\sigma }{}^{}A^+(l;𝒯)|\widehat{J}_{\widehat{j}aj}(m+\frac{\widehat{j}}{f_j(\sigma )}0)=\delta _{jl}\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}{}_{\sigma }{}^{}A^+(j;𝒯)|T_a$$
(4.12a)
$${}_{\sigma }{}^{}A^+(l;𝒯)|\widehat{L}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )}0)=\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}(\widehat{\mathrm{\Delta }}_{0j}(\sigma )+\delta _{jl}\frac{\mathrm{\Delta }_𝔤(T)}{f_j(\sigma )}){}_{\sigma }{}^{}A^+(l;𝒯)|$$
(4.12b)
are the adjoint of the relations above. Similarly, the right-mover ‘in’ state in (4.6c) is primary under the rectified right-mover currents and the rectified right-mover orbifold Virasoro generators

$$\widehat{\overline{J}}_{\widehat{j}aj}^{\mathrm{}}(m+\frac{\widehat{j}}{f_j(\sigma )}0)|A^{}(j;𝒯)_\sigma =\delta _{jl}\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}T_a|A^{}(j;𝒯)_\sigma $$
(4.13a)
$$\widehat{\overline{L}}_{}^{\mathrm{}}{}_{\widehat{j}j}{}^{}(m+\frac{\widehat{j}}{f_j(\sigma )}0)|A^{}(j;𝒯)_\sigma =\delta _{m+\frac{\widehat{j}}{f_j(\sigma )},0}(\widehat{\mathrm{\Delta }}_{0j}(\sigma )+\delta _{jl}\frac{\mathrm{\Delta }_𝔤(T)}{f_j(\sigma )})|A^{}(j;𝒯)_\sigma $$
(4.13b)
where we have used the corresponding right-mover ground state conditions (2.56) and right-mover relations (3.19d,e). The adjoint of this result is easily obtained for the right-mover ‘out’ state (4.6d).

### 4.2 The Principal Primary States of Twisted Rep $`𝒯`$ and Cycle $`j`$

In this subsection, we will use the twisted affine primary state $`|A^+(j;𝒯)_\sigma `$ to construct the following particular set of principal primary states

$$|\widehat{j},j;𝒯(T,\sigma )_\sigma ,\widehat{j}=0,\mathrm{},f_j(\sigma )1,T\text{ for each }\sigma =0,\mathrm{},N_c1$$
(4.14a)
$$|0,j;𝒯_\sigma |A^+(j;𝒯)_\sigma $$
(4.14b)
which are examples of the principal primary states of Ref. . More precisely, the states (4.14a) are the principal primary states of twisted representation $`𝒯`$ in block $`j`$ of sector $`\sigma `$. A brief description of more general sets of principal primary states is given in App. B, including as another set of examples the principal primary states associated to the twisted currents.

Up to constants of normalization $`()`$, the set of principal primary states (4.14) are defined as follows

$$|\widehat{j},j;𝒯_\sigma (\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )}))^{\widehat{j}}|0,j;𝒯_\sigma ,\widehat{j}=0,\mathrm{},f_j(\sigma )1$$
(4.15)
where the twisted affine primary state $`|0,j;𝒯_\sigma `$ serves as the base state for the set. Using the properties (4.9b) and (4.10) of the base state, together with the orbifold Virasoro algebra (2.32), we verify the following additional properties of the principal primary states:

$$\widehat{L}_{\widehat{j}^{}j}(m+\frac{\widehat{j}^{}}{f_j(\sigma )})|\widehat{j},j;𝒯_\sigma =0,\text{if }(m+\frac{\widehat{j}^{}}{f_j(\sigma )})>\frac{\widehat{j}}{f_j(\sigma )}$$
(4.16a)
$$\widehat{L}_{0l}(m0)|\widehat{j},j;𝒯_\sigma =\delta _{m,0}(\widehat{\mathrm{\Delta }}_{0l}(\sigma )+\delta _{jl}\frac{\mathrm{\Delta }_𝔤(T)+\widehat{j}}{f_j(\sigma )})|\widehat{j},j;𝒯_\sigma $$
(4.16b)
$$L_\sigma (m0)|\widehat{j},j;𝒯_\sigma =\delta _{m,0}(\widehat{\mathrm{\Delta }}_0(\sigma )+\frac{\mathrm{\Delta }_𝔤(T)+\widehat{j}}{f_j(\sigma )})|\widehat{j},j;𝒯_\sigma .$$
(4.16c)
According to (4.16b), all these principal primary states are primary under the semisimple integral Virasoro subalgebra (2.34). On the other hand, the base state (4.14b) with $`\widehat{j}=0`$ is the only principal primary state in the set which is both a) twisted affine primary and b) primary under the full orbifold Virasoro algebra. The other principal primary states (with $`\widehat{j}0`$) are not primary under either the orbifold affine algebra or the orbifold Virasoro algebra. (The definition (4.15) can be extended to the range $`\widehat{j}f_j(\sigma )`$, but such states are no longer primary under the integral Virasoro subalgebra).

From the definition (4.15), we can derive the following first asymptotic formula for the principal primary states

$`|\widehat{j},j;𝒯_\sigma `$ $``$ $`(\widehat{L}_{1,j}({\displaystyle \frac{1}{f_j(\sigma )}}))^{\widehat{j}}|0,j;𝒯_\sigma `$ (4.17)
$`=`$ $`\underset{z0}{lim}(\widehat{L}_{1,j}({\displaystyle \frac{1}{f_j(\sigma )}}))^{\widehat{j}}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )|0_\sigma `$
$`=`$ $`\underset{z0}{lim}[(\widehat{L}_{1,j}({\displaystyle \frac{1}{f_j(\sigma )}}))^{\widehat{j}},\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )]|0_\sigma `$
$`=`$ $`\underset{z0}{lim}(z^{1\frac{1}{f_j(\sigma )}})^{\widehat{j}}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )\tau _{\widehat{j}}(j,\sigma )|0_\sigma `$
where we have also used (4.10) and the ground state property (2.39b). When $`\widehat{j}=0`$, this result reduces to the asymptotic formula (4.7) for the twisted affine primary state.

Combining the left-mover result in Eq. (4.17) with the analogous right-mover result gives the following non-chiral form

$$|0,0,j;𝒯_\sigma |A(j;𝒯)_\sigma =\left(|A^{}(j;𝒯)_\sigma |A^+(j;𝒯)_\sigma \right)=\left(|0_{},j;𝒯_\sigma |0,j;𝒯_\sigma \right)$$
(4.18a)
$`|\widehat{j}_{},\widehat{j}_+,j;𝒯_\sigma (\widehat{\overline{L}}_{}^{\mathrm{}}{}_{1,j}{}^{}({\displaystyle \frac{1}{f_j(\sigma )}}))^{\widehat{j}_{}}(\widehat{L}_{1,j}({\displaystyle \frac{1}{f_j(\sigma )}}))^{\widehat{j}_+}|0,0,j;𝒯_\sigma |\widehat{j}_{},j;𝒯_\sigma |\widehat{j}_+,j;𝒯_\sigma `$
$`=\underset{|z|0}{lim}(\overline{z}^{1\frac{1}{f_j(\sigma )}}\overline{})^{\widehat{j}_{}}(z^{1\frac{1}{f_j(\sigma )}})^{\widehat{j}_+}|z|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\tau _{\widehat{j}_{}}(j,\sigma )\widehat{g}_j(𝒯,\overline{z},z,\sigma )\tau _{\widehat{j}_+}(j,\sigma )|0_\sigma `$ (4.18b)
where we have used Eqs. (4.6e), (4.14b) and the algebra (3.23).

### 4.3 The Twisted Affine Primary Fields are Principal Primary Fields

It is explained in Ref.  that every set of principal primary states can be created by a corresponding set of fields called the principal primary fields. A brief description of general principal primary fields is given in App. B, where the twisted currents themselves are discussed as a simple example. As a more intricate example, we will establish here that the matrix components (see (3.20)) of the twisted affine primary fields are themselves the principal primary fields for the set of principal primary states (4.14).

To begin this discussion, we note that it is consistent to require as a boundary condition that the matrix component $`\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_{\widehat{j}}^{\widehat{l}}`$ with $`\widehat{j}=\widehat{l}`$ mod $`f_j(\sigma )`$ is the most singular<sup>2</sup><sup>2</sup>2One can also require that some other matrix element of $`\widehat{\widehat{g}}`$ is the most singular, but we expect that other choices of this type are equivalent to a relabelling of the principal primary fields below. matrix element of $`\widehat{\widehat{g}}_j^+`$, and hence the one that creates the twisted affine primary or base state (4.14b):

$$\underset{z0}{lim}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{j}}|0_\sigma =\underset{z0}{lim}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_0{}_{}{}^{0}|0_\sigma =|0,j;𝒯_\sigma .$$
(4.19)
As we shall see below, this specification corresponds to choosing a particular solution $`\widehat{g}_j^+`$ of the twisted vertex operator equation or, equivalently, to fixing the multiplicative constant matrices (such as $`𝒞(j;𝒯,\sigma )`$ in (3.33a) and (3.38a)) in the solutions of the twisted KZ system.

Given the boundary condition (4.19), we will demonstrate below that all the principal primary states (4.15) can be obtained from the matrix elements of $`\widehat{\widehat{g}}_j^+`$ by the second asymptotic formula

$$|\widehat{j},j;𝒯_\sigma =\underset{z0}{lim}z^{\frac{\widehat{j}}{f_j(\sigma )}}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_0{}_{}{}^{\widehat{j}}|0_\sigma ,\widehat{j}=0,\mathrm{},f_j(\sigma )1,\sigma =0,\mathrm{},N_c1$$
(4.20a)
$$\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_0{}_{}{}^{\widehat{j}}=\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_{\widehat{l}}^{\widehat{j}+\widehat{l}}$$
(4.20b)
which identifies the matrix components of the twisted affine primary field as principal primary fields . To compare (4.20) to the asymptotic formula given for principal primary fields in Eq. $`(3.15)`$ of Ref. , it is useful to make the following redefinition:

$$\widehat{\varphi }_{\mathrm{\Delta }_𝔤(T)}^{(\widehat{j}j)}(z)\widehat{g}_j^+(𝒯,z,\sigma )_0{}_{}{}^{f_j(\sigma )1\widehat{j}},\widehat{j}=0,\mathrm{},f_j(\sigma )1$$
(4.21a)
$`[\widehat{L}_{\widehat{j}j}(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}),\widehat{g}_j^+(𝒯,z,\sigma )_0{}_{}{}^{\widehat{l}}]=`$
$`\widehat{g}_j^+(𝒯,z,\sigma )_0{}_{}{}^{\widehat{l}\widehat{j}}(\stackrel{}{}z+(m+{\displaystyle \frac{\widehat{j}}{f_j(\sigma )}}+1)\mathrm{\Delta }_𝔤(T))z^{m+\frac{\widehat{j}}{f_j(\sigma )}}`$ (4.21b)
$$[\widehat{L}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{\varphi }_{\mathrm{\Delta }_𝔤(T)}^{(\widehat{l}j)}(z)]=\widehat{\varphi }_{\mathrm{\Delta }_𝔤(T)}^{(\widehat{j}+\widehat{l},j)}(z)(\stackrel{}{}z+(m+\frac{\widehat{j}}{f_j(\sigma )}+1)\mathrm{\Delta }_𝔤(T))z^{m+\frac{\widehat{j}}{f_j(\sigma )}}.$$
(4.21c)
This is essentially the notation

$$\widehat{\varphi }_\mathrm{\Delta }^{(r)}(z)=\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{j}0)}(z)|_{\widehat{j}=r},r=0,\mathrm{},\lambda 1$$
(4.22)
given for the principal primary fields of the $`_\lambda `$ cyclic permutation orbifolds with $`\lambda =`$ prime in Ref. . In fact, we chose an equality rather than a proportionality in (4.20) in order to have an exact match with the asymptotic formula of Ref. . This choice sets the relative normalization of the twisted affine primary fields versus the principal primary states, and we will continue with this convention below.

We turn finally to the proof of the second asymptotic formula (4.20): One may combine (4.17) with the boundary condition (4.19) to obtain a matrix form of the first asymptotic formula

$`|\widehat{j},j;𝒯_\sigma `$ $``$ $`\underset{z0}{lim}\left(\widehat{L}_{1,j}({\displaystyle \frac{1}{f_j(\sigma )}})\right)^{\widehat{j}}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_0{}_{}{}^{0}|0_\sigma `$ (4.23)
$`=`$ $`\underset{z0}{lim}(z^{1\frac{1}{f_j(\sigma )}})^{\widehat{j}}[\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )\tau _{\widehat{j}}(j,\sigma )]_0{}_{}{}^{0}|0_\sigma `$
$`=`$ $`\underset{z0}{lim}(z^{1\frac{1}{f_j(\sigma )}})^{\widehat{j}}\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_0{}_{}{}^{\widehat{j}}|0_\sigma .`$
The solution of (4.23) is

$$\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_0{}_{}{}^{\widehat{j}}|0_\sigma =𝒪(z^{\frac{\widehat{j}}{f_j(\sigma )}})\text{as }z0,\widehat{j}=0,\mathrm{},f_j(\sigma )1$$
(4.24)
and, up to constants of normalization, this is equivalent to the second asymptotic formula.

There is an alternate proof of the second asymptotic formula which uses the twisted vertex operator equation for $`\widehat{\widehat{g}}_j^+`$

$$\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )=\frac{2\eta ^{ab}}{2k+Q_𝔤}\frac{1}{f_j(\sigma )}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}:\widehat{J}_{\widehat{j}aj}(z)\widehat{\widehat{g}}_j^+(𝒯,z,\sigma ):_MT_b\tau _{\widehat{j}}(j,\sigma )$$
(4.25)
which follows from (4.7) and (3.24). In particular, we need the most singular terms of this equation when acting on the ground state of sector $`\sigma `$:

$`\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}|0_\sigma ={\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}{\displaystyle \underset{\widehat{m}=0}{\overset{f_j(\sigma )1}{}}}z^{\frac{\widehat{m}}{f_j(\sigma )}}\widehat{J}_{\widehat{m},aj}(1+{\displaystyle \frac{\widehat{m}}{f_j(\sigma )}})\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}+\widehat{m}}T_{b}^{}|0_\sigma `$
$`+\text{ less singular terms near }z=0.`$ (4.26)
Assuming the boundary condition (4.19), a careful analysis of leading powers of $`z`$ in this equation leads to the same conclusion (4.20). As a bonus, Eq. (4.3) can also be used to establish that

$$\underset{z0}{lim}z\widehat{\widehat{g}}_j^+(𝒯,z,\sigma )|0_\sigma =0$$
(4.27)
which was in fact assumed to obtain (4.10) and (4.11).

Similarly, one may establish the second asymptotic formula for the right-mover principal primary states

$$\widehat{\widehat{g}}_j^{}(𝒯(T,\sigma ),\overline{z},\sigma )\overline{z}^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^{}(𝒯(T,\sigma ),\overline{z},\sigma )$$
(4.28a)
$$|\widehat{j}_{},j;𝒯_\sigma =\underset{\overline{z}0}{lim}\overline{z}^{\frac{\widehat{j}_{}}{f_j(\sigma )}}\widehat{\widehat{g}}_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}_{}}{}_{}{}^{0}|0_\sigma ,\widehat{j}_{}=0,\mathrm{},f_j(\sigma )1$$
(4.28b)
and corresponding results are easily obtained for the left- and right-mover ‘out’ states.

### 4.4 Final Form of the Single-Cycle Two-Point Correlator

In (3.38) we presented the form of the single-cycle two-point correlator up to a multiplicative constant matrix $`𝒟`$. In this subsection, we use some of the information above about the twisted affine primary fields and states to determine this constant matrix.

We begin by writing the following proportionalities

$$\underset{z0}{lim}z^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}|0_\sigma \delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}$$
(4.29a)
$$\underset{\overline{z}0}{lim}\overline{z}^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}|0_\sigma \delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}$$
(4.29b)
$$\underset{z\mathrm{}}{lim}z^{\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}$$
(4.29c)
$$\underset{bz\mathrm{}}{lim}\overline{z}^{\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}$$
(4.29d)
which hold because the most singular matrix element of each operator is $`\widehat{j}=\widehat{l}`$ mod $`f_j(\sigma )`$. A more precise form of (4.29) is the following list of relations:

$$\underset{z0}{lim}z^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}|0_\sigma =(|A^+(j;𝒯)_\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}=\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}|0,j;𝒯_\sigma $$
(4.30a)
$$\underset{\overline{z}0}{lim}\overline{z}^{\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}|0_\sigma =(|A^{}(j;𝒯)_\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}=\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}|0_{},j;𝒯_\sigma $$
(4.30b)
$$\underset{z\mathrm{}}{lim}z^{\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j^+(𝒯,z,\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}=(_\sigma A^+(j;𝒯)|)_{\widehat{j}}{}_{}{}^{\widehat{l}}=\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}{}_{\sigma }{}^{}0,j;𝒯|$$
(4.30c)
$$\underset{z\mathrm{}}{lim}z^{\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j^{}(𝒯,\overline{z},\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}=(_\sigma A^{}(j;𝒯)|)_{\widehat{j}}{}_{}{}^{\widehat{l}}=\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}{}_{\sigma }{}^{}0_{},j;𝒯|$$
(4.30d)
$$|0,0,j;𝒯_\sigma =|0_{},j;𝒯_\sigma |0,j;𝒯_\sigma ,_\sigma 0,0,j;𝒯|={}_{\sigma }{}^{}0_{},j;𝒯|{}_{\sigma }{}^{}0,j;𝒯|.$$
(4.30e)
Note in particular that (4.30a) is the explicit form of Eq. (4.14b), now including all $`\widehat{j},\widehat{l}`$ matrix indices. Together, Eqs. (4.30) and (4.15) tell us that the principal primary states $`|\widehat{j},j;𝒯_\sigma `$ do not have $`\widehat{j},\widehat{l}`$ matrix indices (and similarly for their right-mover analogues).

Abelian analogues of all the relations in (4.30) can be obtained with the left- and right-mover twisted vertex operators of Ref. . In particular, the left-mover relations

$$\underset{z0}{lim}z^{\mathrm{\Delta }(T)(1\frac{1}{f_j(\sigma )})}\widehat{g}_j^+(𝒯,z,\sigma )|0_\sigma =\widehat{\mathrm{\Gamma }}_j(T\tau _0(j,\sigma ),\widehat{J}_{0j}(0),\sigma )|\widehat{J}_{0aj}(0)=T_a_\sigma $$
(4.31a)
$$\widehat{\mathrm{\Gamma }}_j(T\tau _0(j,\sigma ),\widehat{J}_{0j}(0),\sigma )_{\widehat{j}}{}_{}{}^{\widehat{l}}\delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )},|\widehat{J}_{0aj}(0)=T_a_\sigma e^{i\widehat{q}^{aj}(\sigma )T_a}|0_\sigma $$
(4.31b)
are obtained from (3.14b). This tells us that the natural assumption (3.12) is the abelian analogue of our boundary condition (4.19).

We now apply the asymptotic relations (4.30) to the single-cycle two-point correlator (3.38). In particular, these relations and the limit (4.2) give us further information about the multiplicative constant matrix $`𝒞(j;𝒯,\sigma )`$:

$`\underset{|z_1|\mathrm{}}{lim}\underset{|z_2|0}{lim}|z_1|^{2\mathrm{\Delta }_𝔤(T)(1+\frac{1}{f_j(\sigma )})}|z_2|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}{}_{\sigma }{}^{}0|\widehat{g}_j(𝒯^{(1)},\overline{z}_1,z_1,\sigma )_{\widehat{j}_1}{}_{}{}^{\widehat{l}_1}\widehat{g}_{j}^{}(𝒯^{(2)},\overline{z}_2,z_2,\sigma )_{\widehat{j}_2}{}_{}{}^{\widehat{l}_2}|0_{\sigma }^{}`$
$`=𝒞(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2}{}_{}{}^{\widehat{l}_1;\widehat{l}_2}=\delta _{\widehat{j}_1\widehat{l}_1,0\text{mod }f_j(\sigma )}\delta _{\widehat{j}_2\widehat{l}_2,0\text{mod }f_j(\sigma )}{}_{\sigma }{}^{}0,0,j;𝒯^{(1)}|0,0,j;𝒯^{(2)}_{\sigma }^{}.`$ (4.32)
Combining this relation with the form of $`𝒞(j;𝒯,\sigma )`$ in (3.37a), we find that:

$$(_\sigma 0,0,j;𝒯|)_{\alpha _1}{}_{}{}^{\beta _1}(|0,0,j;𝒯_{\sigma }^{})_{\alpha _2}{}_{}{}^{\beta _2}=c\delta _{T^{(2)},\overline{T}^{(1)}}\delta _{\alpha _1\alpha _2}\delta ^{\beta _1\beta _2}$$
(4.33a)
$$𝒟(j;𝒯,\sigma )_{\widehat{j}_1;\widehat{j}_2}{}_{}{}^{\widehat{l}_1;\widehat{l}_2}=c\delta _{\widehat{j}_1\widehat{l}_1,0\text{mod }f_j(\sigma )}\delta _{\widehat{j}_2\widehat{l}_2,0\text{mod }f_j(\sigma )}$$
(4.33b)
$$𝒞(j;𝒯,\sigma )_{\alpha _1\widehat{j}_1;\alpha _2\widehat{j}_2}{}_{}{}^{\beta _1\widehat{l}_1;\beta _2\widehat{l}_2}=c\delta _{T^{(2)},\overline{T}^{(1)}}\delta _{\alpha _1,\alpha _2}\delta ^{\beta _1,\beta _2}\delta _{\widehat{j}_1\widehat{l}_1,0\text{mod }f_j(\sigma )}\delta _{\widehat{j}_2\widehat{l}_2,0\text{mod }f_j(\sigma )}.$$
(4.33c)
We will also choose the overall normalization constant $`c=1`$, which gives the final, completely-determined form of the single-cycle two-point correlator:

$`\widehat{A}(j;1,2)\widehat{g}_j(𝒯^{(1)}\overline{z}_1,z_1,\sigma )\widehat{g}_j(𝒯^{(2)},\overline{z}_2,z_2,\sigma )_\sigma `$
$`=\delta _{T^{(2)},\overline{T}^{(1)}}|z_1z_2|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}|z_{12}|^{4\mathrm{\Delta }_𝔤(T)/f_j(\sigma )}\mathrm{exp}\{{\displaystyle \frac{2}{2k+Q_𝔤}}F(j;1,2)\}`$ (4.34a)
$$j,T^{(1)},T^{(2)}\text{ for each }\sigma =0,\mathrm{},N_c1.$$
(4.34b)
Here $`\mathrm{\Delta }_𝔤(T)`$ is the untwisted conformal weight in (3.38b) and $`F(j;1,2)`$ is defined in (3.33). Our relative normalization (4.20) and our orthonormality condition ((4.33a) with $`c=1`$)

$${}_{\sigma }{}^{}0,0,j;𝒯^{(1)}|0,0,j;𝒯^{(2)}_{\sigma }^{}=\delta _{T^{(2)},\overline{T}^{(1)}}$$
(4.35)
can be used to compute the constants in all the proportionalities $`()`$ above.

We remark that the single-cycle two-point correlator (4.34) is symmetric under $`12`$ exchange

$$\widehat{A}(j;1,2)=\widehat{A}(j;2,1)$$
(4.36)
as expected. To establish this one needs to verify the symmetry relation

$$F(j;1,2)=F(j;2,1)$$
(4.37)
which follows by steps that are essentially identical to those given in Eq. $`(9.32)`$ of Ref.  and App. C of Ref. .

Finally, we record the completely-determined form of the original unreduced two-point correlator

$`\widehat{g}(𝒯^{(1)},\overline{z}_1,z_1,\sigma )_{\alpha _1\widehat{j}_1j_1}{}_{}{}^{\beta _1\widehat{l}_1l_1}\widehat{g}(𝒯^{(2)},\overline{z}_2,z_2,\sigma )_{\alpha _2\widehat{j}_2j_2}{}_{}{}^{\beta _2\widehat{l}_2l_2}_\sigma =(\delta _{j_1}^{l_1}\delta _{j_2}^{l_2})\delta _{j_1j_2}(\delta _{T^{(2)},\overline{T}^{(1)}}\delta _{\alpha _1\alpha _2}\delta ^{\beta _1\beta _2})\times `$
$`\times |z_1z_2|^{2\mathrm{\Delta }_𝔤(T)(1\frac{1}{f_j(\sigma )})}|z_{12}|^{4\mathrm{\Delta }_𝔤(T)/f_j(\sigma )}\mathrm{exp}\{{\displaystyle \frac{2}{2k+Q_𝔤}}F(j;1,2)\}_{\widehat{j}_1;\widehat{j}_2}^{\widehat{l}_1;\widehat{l}_2}`$ (4.38)
which follows immediately from (3.28b) and (4.34).

## 5 General WZW Orbifolds

In this section, we consider the following topics

$``$ asymptotic formulae

$``$ conformal weights

$``$ reducibility

for the twisted affine primary fields and states of general WZW orbifolds.

We begin by reminding the reader that twisted KZ equations are known  for the correlators in the scalar twist-field state<sup>3</sup><sup>3</sup>3For the inner-automorphic WZW orbifolds, a different set of twisted KZ equations  was given for the correlators in the untwisted affine vacuum state.

$$\widehat{J}_{n(r)\mu }(m+\frac{n(r)}{\rho (\sigma )}0)|0_\sigma =_\sigma 0|\widehat{J}_{n(r)\mu }(m+\frac{n(r)}{\rho (\sigma )}0)=0$$
(5.1)
in each sector of any WZW orbifold, where $`\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})`$ are the modes of the twisted current algebra  of that sector. Such scalar twist-field states exist for all sectors of all current-algebraic orbifolds. The reason is easy to understand in the equivalent form

$$\widehat{J}_{n(r)\mu }(m+\frac{n(r)}{\rho (\sigma )}>0)|0_\sigma =0,\widehat{J}_{0\mu }(0)|0_\sigma =0.$$
(5.2)
The first condition holds for any primary state of any (infinite-dimensional) Lie algebra and the second condition restricts our attention to the “s-wave” or trivial representation of the untwisted residual symmetry algebra of the sector.

In further detail, the general twisted KZ system which describes the correlators of the twisted left-mover affine primary fields $`\widehat{g}_+(𝒯,z,\sigma )`$ in the scalar twist-field states reads as follows :

$$\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 }^{}$$
(5.3a)
$$_\kappa \widehat{A}_+(𝒯,z,\sigma )=\widehat{A}_+(𝒯,z,\sigma )\widehat{W}_\kappa (𝒯,z,\sigma ),\kappa =1\mathrm{}N,\sigma =0,\mathrm{},N_c1$$
(5.3b)
$$\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]$$
(5.3c)
$$\widehat{A}_+(𝒯,z,\sigma )\left(\underset{\rho =1}{\overset{N}{}}𝒯_{0\mu }^{(\rho )}\right)=0,\mu .$$
(5.3d)
Here $`\rho (\sigma )`$ is the order of $`h_\sigma H`$, $`n(r)`$ is determined from the appropriate $`H`$-eigenvalue problem, and $`\overline{n}(r)\{0,\mathrm{},\rho (\sigma )1\}`$ is the pullback of $`n(r)`$ to the fundamental range. General formulae for the twisted inverse inertia tensor $`_{\widehat{𝔤}(\sigma )}(\sigma )`$ and the twisted representation matrices $`𝒯_{n(r)\mu }(T,\sigma )`$ are given in Refs. . For the special case of the WZW permutation orbifolds the general twisted KZ system (5.3) reduces

$$n(r)\mu n(r)aj\widehat{j}aj$$
(5.4)
to the twisted KZ system (2.46), and the explicit form of the system (5.3) is also given for the (outer-automorphic) charge conjugation orbifold on $`𝔰𝔲(n3)`$ in Ref. .

Using the general twisted KZ system (5.3), and in particular the last term of (5.3c), we find the following asymptotic formulae for the twisted affine primary fields

$$\widehat{\widehat{g}}_+(𝒯,z,\sigma )\widehat{g}_+(𝒯,z,\sigma )z^{\gamma (𝒯,\sigma )}$$
(5.5a)
$$\gamma (𝒯,\sigma )2_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(r),\nu }(\sigma )\frac{\overline{n}(r)}{\rho (\sigma )}𝒯_{n(r)\mu }(T,\sigma )𝒯_{n(r),\nu }(T,\sigma )$$
(5.5b)
$$|A^+(𝒯)_\sigma \underset{z0}{lim}\widehat{\widehat{g}}_+(𝒯,z,\sigma )|0_\sigma $$
(5.5c)
where $`\gamma (𝒯;\sigma )`$ is called the matrix exponent of the twisted affine primary field $`\widehat{g}_+(𝒯,z,\sigma )`$. We also find as expected that the states $`|A^+(𝒯)_\sigma `$ are twisted affine primary states:

$$\widehat{J}_{n(r)\mu }(m+\frac{n(r)}{\rho (\sigma )}0)|A^+(𝒯)_\sigma =\delta _{m+\frac{n(r)}{\rho (\sigma )},0}|A^+(𝒯)_\sigma 𝒯_{n(r)\mu }(T,\sigma ).$$
(5.6)
This relation follows from the commutation relations  of the general twisted current modes $`\widehat{J}_{n(r)\mu }(m+\frac{n\left(r\right)}{\rho \left(\sigma \right)})`$ with the twisted affine primary field.

Moreover, the twisted affine primary state is Virasoro primary under the full Virasoro generators $`L_\sigma (m)`$ of sector $`\sigma `$, and we can evaluate the total conformal weight matrix $`\widehat{\mathrm{\Delta }}(𝒯,\sigma )`$ of the twisted affine primary state as follows:

$$L_\sigma (m0)|A^+(𝒯)_\sigma =\delta _{m,0}|A^+(𝒯)_\sigma \widehat{\mathrm{\Delta }}(𝒯,\sigma )$$
(5.7a)
$$\widehat{\mathrm{\Delta }}(𝒯,\sigma )\widehat{\mathrm{\Delta }}_0(\sigma )1\mathrm{l}+𝒟_{\widehat{𝔤}(\sigma )}(𝒯)\gamma (𝒯,\sigma )$$
(5.7b)
$$\widehat{\mathrm{\Delta }}_0(\sigma )_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(r),\nu }(\sigma )\frac{\overline{n}(r)}{2\rho (\sigma )}(1\frac{\overline{n}(r)}{\rho (\sigma )})𝒢_{n(r)\mu ;n(r),\nu }(\sigma )$$
(5.7c)
$$𝒟_{\widehat{𝔤}(\sigma )}(𝒯)_{\widehat{𝔤}(\sigma )}^{n(r)\mu ;n(r),\nu }(\sigma )𝒯_{n(r)\mu }(T,\sigma )𝒯_{n(r),\nu }(T,\sigma ).$$
(5.7d)
Here $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ and $`𝒟_{\widehat{𝔤}(\sigma )}(𝒯)`$ are respectively the conformal weight of the scalar twist-field state and the twisted conformal weight matrix, which appears in the $`\widehat{T}_\sigma \widehat{g}_+`$ OPE :

$$\widehat{T}_\sigma (z)\widehat{g}_+(𝒯,w,\sigma )=\widehat{g}_+(𝒯,w,\sigma )\left(\frac{𝒟_{\widehat{𝔤}(\sigma )}(𝒯)}{(zw)^2}+\frac{\stackrel{}{_w}}{zw}\right)+𝒪(zw)^0.$$
(5.8)
For the WZW permutation orbifolds, the explicit forms of $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ and $`𝒟_{\widehat{𝔤}(\sigma )}(𝒯)`$ are given in Eqs. (2.38d) and (2.17f).

With these tools in hand, we turn next to the question of the reducibility of general twisted affine primary states and fields.

In the case of the WZW permutation orbifolds we have shown above that the twisted affine primary fields $`\widehat{g}_+`$ are generically reducible into blocks $`\widehat{g}_j^+`$, and hence the unreduced fields create generically reducible states. As a simpler analogue, we note first for the abelian permutation orbifolds that

$$\gamma (𝒯(T,\sigma ),\sigma )=\mathrm{\Delta }(T)\underset{j}{}(1\frac{1}{f_j(\sigma )})t_{0j}(\sigma )$$
(5.9a)
$$|A^+(𝒯)_\sigma \underset{z0}{lim}z^{\mathrm{\Delta }(T)_j(1\frac{1}{f_j(\sigma )})t_{0j}(\sigma )}\widehat{g}_+(𝒯,z,\sigma )|0_\sigma =\widehat{\mathrm{\Gamma }}(𝒯,\widehat{J}_0(0),\sigma )\{_j|\widehat{J}_{0aj}(0)=T_a_\sigma \}$$
(5.9b)
where $`\widehat{g}_+(𝒯,z,\sigma )`$ is the twisted left-mover vertex operator  given in (3.10). The results for the unreduced twisted affine primary fields of the WZW permutation orbifolds are quite similar

$$\gamma (𝒯(T,\sigma ),\sigma )=\mathrm{\Delta }_𝔤(T)\underset{j}{}(1\frac{1}{f_j(\sigma )})t_{0j}(\sigma )$$
(5.10a)
$$|A^+(𝒯)_\sigma \underset{z0}{lim}z^{\mathrm{\Delta }_𝔤(T)_j(1\frac{1}{f_j(\sigma )})t_{0j}(\sigma )}\widehat{g}_+(𝒯,z,\sigma )|0_\sigma =_j|A^+(j;𝒯)_\sigma $$
(5.10b)
where $`|A^+(j;𝒯)_\sigma `$ is the base state (4.14b) of twisted representation $`𝒯`$ in block $`j`$ of sector $`\sigma `$. In this case we have computed the total conformal weight matrix

$$\widehat{\mathrm{\Delta }}_0(\sigma )=\frac{c_𝔤}{24}(K\underset{j}{}\frac{1}{f_j(\sigma )}),𝒟_{\widehat{𝔤}(\sigma )}(𝒯(T,\sigma ))=\mathrm{\Delta }_𝔤(T)1\mathrm{l}$$
(5.11a)
$$\widehat{\mathrm{\Delta }}(𝒯(T,\sigma ),\sigma )=\widehat{\mathrm{\Delta }}_0(\sigma )1\mathrm{l}+\mathrm{\Delta }_𝔤(T)\underset{j}{}\frac{t_{0j}(\sigma )}{f_j(\sigma )}$$
(5.11b)
$$\widehat{\mathrm{\Delta }}(𝒯(T,\sigma ),\sigma )_{\alpha \widehat{j}j}{}_{}{}^{\beta \widehat{l}l}=\delta _j^l\delta _\alpha ^\beta \delta _{\widehat{j}\widehat{l},0\text{mod }f_j(\sigma )}(\widehat{\mathrm{\Delta }}_0(\sigma )+\frac{\mathrm{\Delta }_𝔤(T)}{f_j(\sigma )})$$
(5.11c)
which shows reducibility with respect to $`j`$, as expected.

As another set of examples, consider the single twisted sector $`\sigma =1`$ of the charge conjugation orbifold  on $`𝔰𝔲(n3)`$. Ref.  explains that charge conjugation has a simple diagonal action in the standard Cartesian basis, with the irregularly-embedded $`𝔰𝔬(n)`$ subalgebra

$$𝔰𝔬(n)_{2\tau x}𝔰𝔲(n)_x,x=\frac{2k}{\psi _{𝔰𝔲(n)}^2},\tau =\{\begin{array}{cc}2\hfill & \mathrm{for}n=3\hfill \\ 1\hfill & \mathrm{for}n4\hfill \end{array}$$
(5.12)
as an invariant subalgebra. Moreover, we read from this reference that

$$\widehat{\mathrm{\Delta }}_0=\frac{(n1)(n+2)x}{32(x+n)}$$
(5.13a)
$$\gamma (𝒯)=\frac{1}{2k+Q_𝔤}\underset{I}{}𝒯_{1I}(T)𝒯_{1I}(T)$$
(5.13b)
$$(𝒟_{\widehat{𝔤}(\sigma )}(𝒯)\gamma (𝒯))=\frac{1}{2k+Q_𝔤}\underset{A}{}𝒯_{0A}(T)𝒯_{0A}(T)$$
(5.13c)
$$A𝔰𝔬(n),I\frac{𝔰𝔲(n)}{𝔰𝔬(n)}$$
(5.13d)
for any twisted representation $`𝒯(T)`$.

Further details depend on whether the untwisted representation $`T`$ is complex or real. In the case of the (complex) fundamental representation $`T=T^{(n)}`$ of $`𝔰𝔲(n)`$, the matrix exponent and the total conformal weight matrix are

$$\gamma (𝒯(T^{(n)}))=\frac{(n1)(n+2)}{4n(x+n)}\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)1\mathrm{l}_n$$
(5.14a)
$$\widehat{\mathrm{\Delta }}(𝒯(T^{(n)}))=\frac{n1}{4(x+n)}(\frac{(n+2)x}{8}+1)\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)1\mathrm{l}_n.$$
(5.14b)
These matrices show a reducibility in the 2x2 space, which has in fact already been discussed  for all complex representations. Next, we have computed the matrix elements of the matrices $`\gamma `$ and $`\widehat{\mathrm{\Delta }}`$ in the case of the (real) adjoint representation $`T^{\text{adj}}`$ of $`𝔰𝔲(n)`$:

$$\gamma (𝒯(T^{\text{adj}}))_{AB}=\delta _{AB}\frac{n+2}{2(x+n)},\gamma (𝒯(T^{\text{adj}}))_{IJ}=\delta _{IJ}\frac{n}{2(x+n)}$$
(5.15a)
$$\gamma (𝒯(T^{\text{adj}}))_{AI}=\gamma (𝒯(T^{\text{adj}}))_{IA}=0$$
(5.15b)
$$\widehat{\mathrm{\Delta }}(𝒯(T^{\text{adj}}))_{AB}=\frac{\delta _{AB}}{x+n}\left(\frac{(n1)(n+2)x}{32}+\frac{n2}{2}\right)$$
(5.15c)
$$\widehat{\mathrm{\Delta }}(𝒯(T^{\text{adj}}))_{IJ}=\frac{\delta _{IJ}}{x+n}\left(\frac{(n1)(n+2)x}{32}+\frac{n}{2}\right)$$
(5.15d)
$$\widehat{\mathrm{\Delta }}(𝒯(T^{\text{adj}}))_{AI}=\widehat{\mathrm{\Delta }}(𝒯(T^{\text{adj}}))_{IA}=0.$$
(5.15e)
These matrices show reducibility of the adjoint of $`𝔰𝔲(n)`$ into representations of $`𝔰𝔬(n)`$

$$(n^21)=(\frac{n(n1)}{2})(\frac{n(n+1)}{2}1)$$
(5.16)
which are identified in this case as an adjoint of $`𝔰𝔬(n)`$ plus a second rank symmetric traceless $`𝔰𝔬(n)`$ tensor. No such $`𝔰𝔲(n)𝔰𝔬(n)`$ splitting is observed in the total conformal weight matrix (5.14b) associated to the fundamental representation because, in this situation, both the $`n`$ and the $`\overline{n}`$ of $`𝔰𝔲(n)`$ are interpreted as $`n`$’s of $`𝔰𝔬(n)`$.

Using Eq. (5.3) and the data of Refs. , one finds the results for the inner-automorphic WZW orbifolds

$`\widehat{W}_\kappa (𝒯,z,\sigma )={\displaystyle \frac{2}{2k+Q_𝔤}}\left[{\displaystyle \underset{\rho \kappa }{}}{\displaystyle \frac{1}{z_{\kappa \rho }}}\left({\displaystyle \underset{A}{}}T_A^{(\rho )}T_A^{(\kappa )}+{\displaystyle \underset{\alpha }{}}\left(\frac{z_\rho }{z_\kappa }\right)^{\frac{\overline{n}_\alpha }{\rho (\sigma )}}T_\alpha ^{(\rho )}T_\alpha ^{(\kappa )}\right){\displaystyle \frac{1}{z_\kappa }}{\displaystyle \underset{\alpha }{}}\frac{\overline{n}_\alpha }{\rho \left(\sigma \right)}T_\alpha ^{(\kappa )}T_\alpha ^{(\kappa )}\right]`$ (5.17a)
$$\widehat{A}_+(𝒯,z,\sigma )\left(\underset{\kappa =1}{\overset{N}{}}T_A^{(\kappa )}\right)=0,\frac{n_\alpha }{\rho (\sigma )}=\sigma \alpha d,\frac{\overline{n}_\alpha }{\rho (\sigma )}=\sigma \alpha d\sigma \alpha d$$
(5.17b)
$$\widehat{\mathrm{\Delta }}_0(\sigma )=\frac{x/4}{x+\stackrel{~}{h}_𝔤}\underset{\alpha }{}\frac{\overline{n}_\alpha }{\rho (\sigma )}(1\frac{\overline{n}_\alpha }{\rho (\sigma )}),𝒟_{\widehat{𝔤}(\sigma )}(𝒯(T,\sigma ))=\mathrm{\Delta }_𝔤(T)1\mathrm{l}$$
(5.18a)
$$\gamma (𝒯(T,\sigma ),\sigma )=\frac{2}{2k+Q_𝔤}\underset{\alpha }{}\frac{\overline{n}_\alpha }{\rho (\sigma )}T_\alpha T_\alpha $$
(5.18b)
where $`d`$ is the shift vector , $`(T_A,T_\alpha )`$ is irrep $`T`$ of $`g`$ in the Cartan-Weyl basis, and $`x`$ is the floor of $`x`$. These twisted affine primary fields are also seen to be reducible due to symmetry breaking, as expected.

On the basis of these examples, one expects that the twisted affine primary fields of general WZW orbifolds are generically reducible. We remind the reader that there are special cases in which the twisted affine primary fields are irreducible, including all the twisted affine primary fields of the single-cycle sectors of the WZW permutation orbifolds.

Acknowledgements

We wish to thank J. Evslin, N. Obers and C. Schweigert for helpful discussions. 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 PHY00-98840.

## Appendix A About the Orbifold $`𝔰𝔩(2)`$ Ward Identities

As stated in the text, the Ward identities (2.44) associated to the centrally-extended $`𝔰𝔩(2)`$ algebra are in fact implied by the twisted KZ system (2.46). The proof of this statement is non-trivial, and the reader may find helpful the following hints.

We begin with the $`\widehat{L}_{0j}(0)`$ Ward identity in (2.44a), for which we list the intermediate steps:

$$2\eta ^{ab}\underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}\underset{\widehat{j}=1}{\overset{f_j(\sigma )1}{}}\left(\frac{z_\nu }{z_\mu }\right)^{\frac{\widehat{j}}{f_j(\sigma )}}\frac{z_\mu }{z_{\mu \nu }}T_a^{(\nu )}T_b^{(\mu )}t_{\widehat{j}j}^{(\nu )}(\sigma )t_{\widehat{j},j}^{(\mu )}(\sigma )t_{0j}^{(\mu )}(\sigma )=0$$
(A.1a)
$$2\eta ^{ab}\underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}\frac{z_\mu }{z_{\mu \nu }}T_a^{(\nu )}T_b^{(\mu )}t_{0j}^{(\nu )}(\sigma )t_{0j}^{(\mu )}(\sigma )t_{0j}^{(\mu )}(\sigma )=\eta ^{ab}\underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}T_a^{(\nu )}T_b^{(\mu )}t_{0j}^{(\nu )}(\sigma )t_{0j}^{(\mu )}(\sigma )$$
(A.1b)
$`\widehat{A}_+(\sigma ){\displaystyle \underset{\mu }{}}\left(\stackrel{}{_\mu }z_\mu +\mathrm{\Delta }_𝔤(T^{(\mu )})\right)t_{0j}^{(\mu )}(\sigma )=`$
$`=\widehat{A}_+(\sigma ){\displaystyle \underset{\mu }{}}(z_\mu \widehat{W}_\mu (\sigma )+\mathrm{\Delta }_𝔤(T^{(\mu )}))t_{0j}^{(\mu )}(\sigma )`$
$`\eta ^{ab}\widehat{A}_+(\sigma )({\displaystyle \underset{\nu }{}}T_a^{(\nu )}t_{0j}^{(\nu )}(\sigma ))({\displaystyle \underset{\mu }{}}T_b^\mu t_{0j}^{(\nu )}(\sigma ))`$ (A.1c)
$`=0.`$ (A.1d)
The first relation in (A.1) holds for each $`(\mu \nu )+(\nu \mu )`$ pair separately, by the variable change $`\widehat{j}f_j(\sigma )\widehat{j}`$ in the second term. Eqs. (A.1a,b) and the form of the twisted KZ connection in (2.46) are used to obtain (A.1), and then (A.1d) follows from the global Ward identity (2.46c). The reader will note that the steps given for this case are quite similar to those followed in the proof of the $`L_\sigma (0)`$ Ward identity in Ref. .

Similarly, we can use the form of the twisted KZ connection to simplify the $`\widehat{L}_{1j}(\frac{1}{f_j(\sigma )})`$ Ward identity (2.44b), as follows:

$$2\eta ^{ab}\underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}\underset{\widehat{j}=2}{\overset{f_j(\sigma )1}{}}\left(\frac{z_\nu }{z_\mu }\right)^{\frac{\widehat{j}}{f_j(\sigma )}}\frac{z_{\mu }^{}{}_{}{}^{(1+\frac{1}{f_j(\sigma )})}}{z_{\mu \nu }}T_a^{(\nu )}T_b^{(\mu )}t_{\widehat{j}j}^{(\nu )}(\sigma )t_{\widehat{j},j}^{(\mu )}(\sigma )t_{1j}^{(\mu )}(\sigma )=0$$
(A.2a)
$`\eta ^{ab}{\displaystyle \underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}}[{\displaystyle \frac{z_{\mu }^{}{}_{}{}^{(1+\frac{1}{f_j(\sigma )})}}{z_{\mu \nu }}}T_a^{(\nu )}T_b^{(\mu )}t_{0j}^{(\nu )}(\sigma )t_{1j}^{(\mu )}(\sigma )+\left({\displaystyle \frac{z_\nu }{z_\mu }}\right)^{\frac{1}{f_j(\sigma )}}{\displaystyle \frac{z_{\mu }^{}{}_{}{}^{(1+\frac{1}{f_j(\sigma )})}}{z_{\mu \nu }}}T_a^{(\nu )}T_b^{(\mu )}t_{1j}^{(\nu )}(\sigma )t_{0j}^{(\mu )}(\sigma )]`$
$`=\eta ^{ab}{\displaystyle \underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}}z_{\mu }^{}{}_{}{}^{\frac{1}{f_j(\sigma )}}T_a^{(\nu )}T_b^{(\mu )}t_{0j}^{(\nu )}(\sigma )t_{1j}^{(\mu )}(\sigma )`$ (A.2b)
$`\widehat{A}_+(\sigma ){\displaystyle \underset{\mu }{}}(\stackrel{}{_\mu }z_\mu +(1+{\displaystyle \frac{1}{f_j(\sigma )}})\mathrm{\Delta }_𝔤(T^{(\mu )}))t_{1j}^{(\mu )}(\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}`$
$`=\widehat{A}_+(\sigma ){\displaystyle \underset{\mu }{}}(z_\mu \widehat{W}_\mu (\sigma )+(1+{\displaystyle \frac{1}{f_j(\sigma )}})\mathrm{\Delta }_𝔤(T^{(\mu )}))t_{1j}^{(\mu )}(\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}`$
$`=\widehat{A}_+(\sigma )\left({\displaystyle \underset{\nu }{}}T_a^{(\nu )}t_{0j}^{(\nu )}(\sigma )\right){\displaystyle \frac{2\eta ^{ab}}{2k+Q_𝔤}}{\displaystyle \frac{1}{f_j(\sigma )}}\left({\displaystyle \underset{\mu }{}}z_\mu ^{\frac{1}{f_j(\sigma )}}T_b^{(\mu )}t_{1j}^{(\mu )}(\sigma )\right)`$ (A.2c)
$`=0.`$ (A.2d)
Again, the first equation in (A.2) holds for each $`(\mu \nu )+(\nu \mu )`$ pair separately, by taking $`\widehat{j}(f_j(\sigma )+1\widehat{j})`$ in the second term. Eq. (A.2) follows from (A.2a,b), and the result (A.2d) then follows from the global Ward identity.

Finally for the $`\widehat{L}_{1,j}(\frac{1}{f_j(\sigma )})`$ Ward identity in (2.44c), follow the steps:

$$2\eta ^{ab}\underset{\genfrac{}{}{0pt}{}{\mu ,\nu }{\mu \nu }}{}\underset{\widehat{j}=0}{\overset{f_j(\sigma )1}{}}\left(\frac{z_\nu }{z_\mu }\right)^{\frac{\widehat{j}}{f_j(\sigma )}}\frac{z_{\mu }^{}{}_{}{}^{(1\frac{1}{f_j(\sigma )})}}{z_{\mu \nu }}T_a^{(\nu )}T_b^{(\mu )}t_{\widehat{j}j}^{(\nu )}(\sigma )t_{\widehat{j},j}^{(\mu )}(\sigma )t_{1,j}^{(\mu )}(\sigma )=0$$
(A.3a)
$$\underset{\mu }{}z_{\mu }^{}{}_{}{}^{(1\frac{1}{f_j(\sigma )})}\widehat{W}_\mu (\sigma )t_{1,j}^{(\mu )}(\sigma )=(1\frac{1}{f_j(\sigma )})\underset{\mu }{}z_\mu ^{\frac{1}{f_j(\sigma )}}\mathrm{\Delta }_𝔤(T^{(\mu )})t_{1,j}^{(\mu )}(\sigma )$$
(A.3b)
$`\widehat{A}_+(\sigma ){\displaystyle \underset{\mu }{}}(\stackrel{}{_\mu }z_\mu +(1{\displaystyle \frac{1}{f_j(\sigma )}})\mathrm{\Delta }_𝔤(T^{(\mu )}))t_{1,j}^{(\mu )}(\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}=`$
$`=\widehat{A}_+(\sigma ){\displaystyle \underset{\mu }{}}(z_\mu \widehat{W}_\mu (\sigma )+(1{\displaystyle \frac{1}{f_j(\sigma )}})\mathrm{\Delta }_𝔤(T^{(\mu )}))t_{1,j}^{(\mu )}(\sigma )z_\mu ^{\frac{1}{f_j(\sigma )}}=0.`$ (A.3c)
Here the first equation in (A.3) holds for each $`(\mu \nu )+(\nu \mu )`$ pair separately, by taking $`\widehat{j}(f_j(\sigma )1\widehat{j})`$ in the second term. Eq. (A.3b) is obtained from (A.3a) and the form of the twisted KZ connection, and the result (A.3) is implied immediately.

## Appendix B More General Sets of Principal Primary States and Fields

We know from the orbifold induction procedure of Ref.  that each Virasoro primary state (with conformal weight $`\mathrm{\Delta }`$ in the untwisted symmetric theory) gives us a set of principal primary states $`|\mathrm{\Delta },\overline{\widehat{j}},j_\sigma `$ in each sector of the corresponding permutation orbifold. Following Ref. , we may choose the base state of cycle $`j`$ as the state with $`\overline{\widehat{j}}=f_j(\sigma )1`$ (although this is a relabelling relative to that used in Subsec. $`4.2`$). The base state is always primary under the orbifold Virasoro algebra and each of the principal primary states is primary under the semisimple integral Virasoro subalgebra. Each set of principal primary states is created asymptotically by its corresponding set of principal primary fields $`\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{j}j)}(z)`$,

$$[\widehat{L}_{\widehat{j}j}(m+\frac{\widehat{j}}{f_j(\sigma )}),\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{l}l)}(z)]=\delta _{jl}z^{m+\frac{\widehat{j}}{f_j(\sigma )}}(z+\mathrm{\Delta }(m+\frac{\widehat{j}}{f_j(\sigma )}+1))\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{j}+\widehat{l},j)}(z)$$
(B.1a)
$$|\mathrm{\Delta },\overline{\widehat{j}},j_\sigma =\underset{z0}{lim}z^{\mathrm{\Delta }(1\frac{1}{f_j(\sigma )})1+\frac{\overline{\widehat{j}}+1}{f_j(\sigma )}}\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{j}j)}(z)|0_\sigma ,\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{j}\pm f_j(\sigma ),j)}(z)=\widehat{\varphi }_\mathrm{\Delta }^{(\widehat{j}j)}(z)$$
(B.1b)
whose correlators obey orbifold $`𝔰𝔩(2)`$ Ward identities as discussed in Ref.  and Subsec. $`2.6`$.

In the text (see Eq. (4.21)) we discussed the principal primary states

$$|\overline{\widehat{j}},j;𝒯(T,\sigma )_\sigma =|\mathrm{\Delta }_𝔤(T),f_j(\sigma )1\overline{\widehat{j}},j_\sigma $$
(B.2a)
$$\widehat{g}_j^+(𝒯(T,\sigma ),z,\sigma )_0{}_{}{}^{\widehat{j}}=\widehat{\varphi }_{\mathrm{\Delta }_𝔤(T)}^{(f_j(\sigma )1\widehat{j},j)}(z)$$
(B.2b)
associated to each block of each twisted affine primary field. As a simpler example, we mention here (see also Ref. ) the set of principal primary states associated to the twisted currents

$$|\mathrm{\Delta }=1,\overline{\widehat{j}},j_\sigma =\underset{z0}{lim}z^{(1\frac{1}{f_j(\sigma )})1+\frac{\overline{\widehat{j}}+1}{f_j(\sigma )}}\widehat{J}_{\widehat{j}aj}(z)|0_\sigma =\widehat{J}_{\widehat{j}aj}(1+\frac{\overline{\widehat{j}}}{f_j(\sigma )})|0_\sigma $$
(B.3a)
$$L_\sigma (0)|\mathrm{\Delta }=1,\overline{\widehat{j}},j_\sigma =\left(\widehat{\mathrm{\Delta }}_0(\sigma )+\frac{f_j(\sigma )\overline{\widehat{j}}}{f_j(\sigma )}\right)|\mathrm{\Delta }=1,\overline{\widehat{j}},j_\sigma $$
(B.3b)
where the ground state conformal weight $`\widehat{\mathrm{\Delta }}_0(\sigma )`$ is given in Eq. (2.38d). More generally, one finds that

$$\widehat{\mathrm{\Delta }}_{\overline{\widehat{j}}j}(\sigma )=\left(\widehat{\mathrm{\Delta }}_0(\sigma )+\frac{f_j(\sigma )\overline{\widehat{j}}1+\mathrm{\Delta }}{f_j(\sigma )}\right)$$
(B.4)
is the conformal weight of the state $`|\mathrm{\Delta },\overline{\widehat{j}},j_\sigma `$.