left(i\partial_0 + {q_1} a^1_0  +
{q_1} a^2_0
\right)\Phi^{({q_1},{q_2})}
\right.\\
-\left. \left|\left(i\nabla_j + {q_1} a^1_j  +
{q_1} a^2_i \right)\Phi^{({q_1},{q_2})} \right|^2\right] - V(\Phi)\\
+ \frac{2}{2\pi}\epsilon^{i0j} a^1_i \partial_0  a^2_j\end{gathered}$$ The charges take values $({q_1},{q_2}) = (1,0), (0,1), (1,1)$. This is the effective theory for the Toric Code or deconfined phase of $\mathbb{Z}_2$ gauge theory, as expected from the analysis of Bais and Slingerland [@Bais09]. However, this appears to be simply a $U(1)\times U(1)$ gauge theory. What happened to the $\rtimes\mathbb{Z}_2$ portion of the theory? The $\mathbb{Z}_2$ action of the theory would interchange $a^1$ and $a^2$. In principle, gauging this action would lead back to and $\mathrm{Ising}\times\mathrm{Ising}$ theory.[@Barkeshli14] In this case, however, the generator of the $\mathbb{Z}_2$ part of the theory must create a twist in the $a$ field without creating one in the $b$ field (or vice versa). It is therefore a confined excitation, coming from the field $\Phi^{(\frac{1}{2},0}$ (or $\Phi^{0,\frac{1}{2}}$) of the original theory. The theory of Eq. (\[eqn:example-abelian-action\]) may thus be taken at face value, and the resulting phase is topologically equivalent to the Toric Code. In the next section, we generalize the preceding discussion.

Condensation Transitions from $SU(2)_{p+q}\otimes SU(2)_{p-q}\vert_R $ {#Sec:e-condense}
======================================================================

We consider the condensation of a field $\Phi^{(\frac{
left(i\partial_0 + { q_1 } a^1_0   + 
 { q_1 } a^2_0 
 \right)\Phi^{({q_1},{q_2 }) } 
 \right.\\ 
 -\left. \left|\left(i\nabla_j + { q_1 } a^1_j   + 
 { q_1 } a^2_i \right)\Phi^{({q_1},{q_2 }) } \right|^2\right ] - V(\Phi)\\ 
 + \frac{2}{2\pi}\epsilon^{i0j } a^1_i \partial_0   a^2_j\end{gathered}$$ The charges take values $ ({ q_1},{q_2 }) = (1,0), (0,1), (1,1)$. This is the effective theory for the Toric Code or deconfined phase of $ \mathbb{Z}_2 $ bore hypothesis, as expect from the analysis of Bais and Slingerland [ @Bais09 ]. However, this appears to be just a $ U(1)\times U(1)$ gauge theory. What happen to the $ \rtimes\mathbb{Z}_2 $ share of the theory? The $ \mathbb{Z}_2 $ military action of the theory would interchange $ a^1 $ and $ a^2$. In rationale, gauging this action would lead back to and $ \mathrm{Ising}\times\mathrm{Ising}$ theory.[@Barkeshli14 ] In this case, however, the generator of the $ \mathbb{Z}_2 $ share of the theory must make a twist in the $ a$ field without make one in the $ b$ field (or vice versa). It is therefore a enclose excitation, coming from the field $ \Phi^{(\frac{1}{2},0}$ (or $ \Phi^{0,\frac{1}{2}}$) of the original theory. The hypothesis of Eq.   (\[eqn: example - abelian - action\ ]) may therefore be taken at face value, and the resulting phase is topologically equivalent to the Toric Code. In the next department, we generalize the preceding discussion. 

 Condensation Transitions from $ SU(2)_{p+q}\otimes SU(2)_{p - q}\vert_R $ { # Sec: e - condense } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 We consider the condensation of a playing field $ \Phi^{(\frac {
lefh(i\partial_0 + {q_1} a^1_0  +
{q_1} a^2_0
\right)\Khi^{({q_1},{q_2})}
\right.\\
-\left. \leyr|\left(i\iabla_j + {q_1} a^1_j  +
{q_1} a^2_i \right)\Phi^{({q_1},{q_2})} \right|^2\right] - V(\'hi)\\
+ \drac{2}{2\pu}\epsilon^{i0j} a^1_i \partial_0  a^2_j\end{gatjered}$$ Thw cherges take values $({q_1},{q_2}) = (1,0), (0,1), (1,1)$. This jd thz xffective theori for the Tosic Code or dewovfnned phase of $\mathbb{Z}_2$ gauge theory, af expecyef from the anajysix of Gais and Slingerland [@Bais09]. However, fhis apkears to be simply a $U(1)\times U(1)$ gauge theory. Wjat jappened to the $\rtlmes\mathbb{Z}_2$ poreuon of the tfeory? The $\mathbb{Z}_2$ actikn of the theory would interchavge $a^1$ and $a^2$. In kxunclkle, gauging vhis abtion would lcsd bacn to anc $\mathrm{Ising}\tlmes\methrn{Ising}$ theory.[@Barkeshlm14] In this case, howevgr, the genarctor of the $\mathbb{Z}_2$ pqrr of jhe tveorh murt drxats a twlst in the $a$ rield withoyt creating one in uhe $v$ field (or vide verfa). It is therefore a confined excitation, bomihg from the field $\Phi^{(\frqc{1}{2},0}$ (or $\Phi^{0,\frac{1}{2}}$) of the lriginal eheory. The theory of Eq. (\[eqn:example-abelian-action\]) maf thua be twywn at face value, and the resulting phase is topjmobibally equivalent bo the Toric Code. On tng next section, we geusrzlize the precedinh discufsion.

Xondensatyon Yransitions from $SU(2)_{p+q}\otimes SU(2)_{p-q}\vert_R $ {#Fwc:e-condense}
======================================================================

We consnder the conbensatoon og a field $\Phi^{(\frac{
left(i\partial_0 + {q_1} a^1_0 + {q_1} a^2_0 -\left. + {q_1} + {q_1} a^2_i \frac{2}{2\pi}\epsilon^{i0j} \partial_0 a^2_j\end{gathered}$$ The take values $({q_1},{q_2}) (1,0), (0,1), (1,1)$. This is the theory for the Toric Code or deconfined phase of $\mathbb{Z}_2$ gauge theory, as from the analysis of Bais and Slingerland [@Bais09]. However, this appears to be a U(1)$ theory. happened to the $\rtimes\mathbb{Z}_2$ portion of the theory? The $\mathbb{Z}_2$ action of the theory would interchange and $a^2$. In principle, gauging this action would back to and $\mathrm{Ising}\times\mathrm{Ising}$ In this case, however, the of $\mathbb{Z}_2$ part the must a twist in $a$ field without creating one in the $b$ field (or vice versa). It is therefore a confined coming from $\Phi^{(\frac{1}{2},0}$ (or of original The theory of may thus be taken at face resulting phase is topologically equivalent to the Toric In the section, we generalize the preceding discussion. Transitions from $SU(2)_{p+q}\otimes SU(2)_{p-q}\vert_R $ {#Sec:e-condense} ====================================================================== We the condensation of a field $\Phi^{(\frac{
left(i\partial_0 + {q_1} a^1_0  +
{q_1} a^2_0
\right)\Phi^{({q_1},{Q_2})}
\right.\\
-\left. \Left|\lEft(I\naBlA_j + {q_1} a^1_J  +
{q_1} a^2_i \Right)\Phi^{({q_1},{q_2})} \righT|^2\RighT] - V(\Phi)\\
+ \frac{2}{2\pi}\epsilon^{i0j} a^1_i \PartiAl_0  A^2_J\end{GAtHered}$$ the charGEs TAKe vAlUeS $({q_1},{q_2}) = (1,0), (0,1), (1,1)$. thIS iS the eFfeCtive thEory for the torIc code or deconfINeD phase of $\maThbB{Z}_2$ gauge theorY, as ExpectEd FroM The anAlySis of bais anD slingeRland [@Bais09]. hoWEver, thIS appearS TO bE simPly a $U(1)\times U(1)$ gauge tHEoRY. What happened tO the $\rtImES\mATHbb{z}_2$ poRtion of the ThEory? THE $\mathbb{z}_2$ AcTION of THe theory would Interchange $A^1$ And $A^2$. In priNcIplE, GauginG this AcTIon Would lead baCk to And $\mathrm{ising}\tIMes\mathRM{Ising}$ tHeory.[@BArkEshLi14] In THiS cAse, HoWEveR, ThE geNEraTor of the $\MaThBb{Z}_2$ paRt of THE THeorY muSt crEate a Twist in the $a$ fiEld WithOUt cReatiNg one In thE $b$ Field (Or vice Versa). it Is therefore a conFineD excitatiOn, cOmIng FrOm the FIeld $\PhI^{(\frAc{1}{2},0}$ (oR $\Phi^{0,\fraC{1}{2}}$) of the oRIgiNaL THEoRy. The theory of Eq. (\[eqn:ExAMPlE-abelian-Action\]) MAy ThUS be taken At FacE valUE, And thE resULtIng phase Is topoLOgIcAlly equIvAlent tO tHe TOriC Code. iN the Next seCtion, we gEneraLIze the precedinG Discussion.

ConDEnSATiON TraNsiTions from $SU(2)_{P+q}\otIMes Su(2)_{p-q}\vERt_r $ {#SeC:E-condEnse}
======================================================================

WE cONsIDer the condensation oF a Field $\PHi^{(\fraC{
left(i\partial_0 + {q_1} a ^1_0  +
{q _1} a ^2_ 0
\ ri ght) \Phi ^{({q_1},{q_2} ) }
\r ight.\\
-\left. \left| \left (i \ nabl a _j  + {q _1} a^1 _ j+ 
{q _1 }a^2 _i \r ight) \Ph i^{({q_ 1},{q_2})}  \r ig ht|^2\right] -V(\Phi)\\+ \ frac{2}{2\pi }\e psilon ^{ i0j }  a^1_ i \ parti al_0 a ^2_j\e nd{gather ed } $$ The charges t ak e va lues $({q_1},{q_2 } )=  (1,0), (0,1),  (1,1) $. Th i s  is  th e effectiv etheor y  for th e  T o r i c C o de or deconfi ned phase o f  $\ mathbb {Z }_2 $  gauge  theo ry ,  as  expected f romthe analy sis of Bais an d  Slinge rland[@B ais 09]. Ho we ver ,t his ap pea r s t o be sim pl ya $U( 1)\t i m e s  U(1 )$gaug e the ory. What hap pen ed t o  th e $\r times \mat hb b{Z}_ 2$ por tionof  the theory? Th e $\ mathbb{Z} _2$  a cti on  of t h e theo rywou ld inte rchange $a^ 1$ a n d$a^2$. In principl e, g au ging thi s acti o nwo u ld leadba ckto a n d  $\ma thrm { Is ing}\tim es\mat h rm {I sing}$th eory.[ @B ark esh li14] In t his ca se, howe ver,t he generator o f  the $\mathbb { Z} _ 2 $p artofthe theorymust crea te a tw ist in th e $a$  f i el d  without creating o ne  in th e $b$  field (or vi ce versa). I t  is ther efor e  a confined excit ation , coming f r om the f ield$\Phi^{( \frac{1}{ 2 } ,0}$ (or  $\ Phi ^{0 ,\f r a c{ 1}{2}}$) of t h e  ori gi nal the ory . The t heo ryofEq.  ( \[eqn:exa mple-abe li an -a ct ion \]) m a y thus b etak en  at  face value,  andthere su l tin g phase is t opol og ic ally  eq ui valen t to the  ToricCode. Inthe next  s ec tion, w e generalizeth e precedin gdis cussio n . 

Conden sation Transitions from $SU(2)_ {p+ q}\ot imes  SU(2)_{p -q} \vert_ R $ {#Sec: e-cond ense} 
= === = = ===== = = == === == ========== = = === ===== == ==== ======= =================Weconsider thecon dens a t io n o f  a fie ld $\P h i ^{(\frac{
left(i\partial_0 +_{q_1} a^1_0_ +
{q_1} a^2_0
\right)\Phi^{({q_1},{q_2})}
\right.\\
-\left. \left|\left(i\nabla_j_+ {q_1}_a^1_j_ +
{q_1}_a^2_i_\right)\Phi^{({q_1},{q_2})} \right|^2\right] -_V(\Phi)\\
+ \frac{2}{2\pi}\epsilon^{i0j} a^1_i_\partial_0  a^2_j\end{gathered}$$ The_charges take values_$({q_1},{q_2})_= (1,0), (0,1), (1,1)$. This is the effective theory for the Toric Code or_deconfined_phase of_$\mathbb{Z}_2$_gauge_theory, as expected from the_analysis of Bais and Slingerland_[@Bais09]. However,_this appears to be simply a $U(1)\times U(1)$_gauge_theory. What happened_to the $\rtimes\mathbb{Z}_2$ portion of the theory? The $\mathbb{Z}_2$_action of the theory would interchange_$a^1$ and $a^2$._In_principle,_gauging this action would_lead back to and $\mathrm{Ising}\times\mathrm{Ising}$ theory.[@Barkeshli14]_In this case, however, the generator_of the $\mathbb{Z}_2$ part of the theory_must create a twist in the_$a$ field without creating one_in the_$b$ field (or vice versa)._It is therefore_a confined_excitation, coming from_the field $\Phi^{(\frac{1}{2},0}$ (or $\Phi^{0,\frac{1}{2}}$) of_the original theory._The theory of Eq. (\[eqn:example-abelian-action\]) may thus_be_taken at face_value,_and_the resulting_phase is topologically_equivalent_to the_Toric_Code. In the next section, we_generalize_the preceding discussion.

Condensation Transitions from $SU(2)_{p+q}\otimes SU(2)_{p-q}\vert_R_$ {#Sec:e-condense}
======================================================================

We consider the_condensation_of a field $\Phi^{(\frac{