# effective field theory of the projective semion model

+ 4 like - 0 dislike
477 views

The "projective semion" model was considered in http://arxiv.org/abs/1403.6491 (page 2). It is a symmetry enriched topological (SET) phase. There is one non-trivial anyon, a semion $s$ which induces a phase factor of $\pi$ when going around another semion.The chiral topological order is the same as the $\nu = 1/2$ bosonic fractional quantum Hall state, whose effective field theory is the $K = 2$ Chern-Simons theory: \begin{equation} \mathcal{L} = \frac{2}{4\pi}\epsilon^{\mu\nu\lambda}a_{\mu}\partial_{\nu}a_{\lambda} \end{equation}

The symmetry group for the theory is $G = \mathbb{Z}_2 \times \mathbb{Z}_2$. We label the three non-trivial group elements as $g_x, g_y, g_z$. The symmetry can act on the semion in the following ways:

1. Each semion carries half charge for all three $\mathbb{Z}_2$ transformations. Moreover the three $\mathbb{Z}_2$ transformations anticommute with each other and can be represented as $g_x = i\sigma_x, g_y = i\sigma_y, g_z = i\sigma_z$.

2. The semion carries integral charge under two of the three $\mathbb{Z}_2$ transformations, and half charge under the the other $\mathbb{Z}_2$ transformation. There are three variants of this, and the symmetry group can be represented as $g_x = \sigma_x, g_y = \sigma_y, g_z = i\sigma_z$, or $g_x = \sigma_x, g_y = i\sigma_y, g_z = \sigma_z$, or $g_x = i\sigma_x, g_y = \sigma_y, g_z = \sigma_z$.

Symmetry fractionalization in case 1 is anomaly free but is anomalous in case 2, as shown in http://arxiv.org/abs/1403.6491.

I want to write down an effective field theory description to describe symmetry fractionlization pattern in cases 1 and 2 on the semion $a$, and can explicitly see that the field theory I write down for case 1 is anomaly free whereas that for case 2 has an anomaly.

One possible way is to gauge the symmetry $\mathbb{Z}_2 \times \mathbb{Z}_2$, and couple the gauge fields to the semion $a$. The different coupling terms reflect the different ways that the symmetry is represented on the semion. I think this is essentially what Eq.(5) on page 21 of http://arxiv.org/abs/1404.3230 is trying to describe. The action they wrote down is

\begin{equation} \mathcal{L} = \frac{2}{4\pi}\epsilon^{\mu\nu\lambda}a_{\mu}\partial_{\nu}a_{\lambda} + \frac{p_1}{2\pi}\epsilon^{\mu\nu\lambda}a_{\mu}\partial_{\nu}A_{1\lambda} + \frac{p_2}{2\pi}\epsilon^{\mu\nu\lambda}a_{\mu}\partial_{\nu}A_{2\lambda} + \frac{p_3}{\pi^2}\epsilon^{\mu\nu\lambda}a_{\mu}A_{1\nu}A_{2\lambda} \end{equation}

I can understand the second and third terms in this action, which says (with $p_1=p_2=1$) that the semion $a$ carries half symmetry charge under the two generators (say $g_x$ and $g_y$) of $\mathbb{Z}_2\times \mathbb{Z}_2$.

However, I am having trouble understanding the last term in the action, presumably, it means that the semion carries half charge under all three elements $g_x,g_y,g_z$ in $\mathbb{Z}_2\times\mathbb{Z}_2$. If this is correct then setting $p_1=p_2=0, p_3=1$ gives us an effective description of case 1. The theory is anomaly free; whereas setting $p_1=p_2=p_3=1$ gives us an effective description of case 2 (semion $a$ carries half $g_x,g_y,g_z$ charge from the last term, and an additional half $g_x,g_y$ charge from the second and third term), and the theory is anomalous. This is consistent with the claim on page 24 of http://arxiv.org/abs/1404.3230.

Does any people have an idea why the last term in $\mathcal{L}$ says that the semion carries half charge under all three elements $g_x,g_y,g_z$ in $\mathbb{Z}_2\times\mathbb{Z}_2$?

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Zitao Wang

edited Apr 27, 2015

+ 1 like - 0 dislike

It might be useful to consider the physical meaning of the term $aA_1A_2$ in a gauge theory. Compactify the theory on a "thin" torus, say the length of the $y$ direction $l_y$ is much smaller than $l_x$. The two ground states are distinguished by the value of the Wilson loop along $y$. Heuristically, we can just substitute $a=0,\pi$ (I'm sloppy about the indices...), and in the semion sector we get a term $A_1\wedge A_2$ in the "dimensionally reduced" $1+1$ theory. As described in http://arxiv.org/abs/1401.0740, this is the continuum version of the $1+1$ Dijkgraaf-Witten theory of $\mathbb{Z}_2\times\mathbb{Z}_2$ gauge field, and describe the 1D SPT protected by this symmetry. This implies that a semion is the end of a 1D $\mathbb{Z}_2\times\mathbb{Z}_2$ SPT, which carries spin-1/2 (or the semions Wilson line is "decorated" by a Haldane chain). However, since 1D SPT are classified by $H^2(G, U(1))$, it is ambiguous about the particular class in $H^2(G, Z_2)$, which is really what your question is about.

So this argument is certainly not satisfactory and does not really address your question directly. Maybe going to edge theory and figure out the symmetry transformation on the edge modes could help?

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Meng Cheng
answered Mar 26, 2015 by (550 points)
Thanks! Yes, I think dimension reduction is a good way to see the physics. But I'm not sure if there is a more direct way to interpret the last term. In particular, what confuses me is that in page 22 of the paper arxiv.org/abs/1404.3230, they stipulate that if we consider the $\mathbb{Z}_2 \times \mathbb{Z}_2$ as arising from a subgroup of $U(1) \times U(1)$, then the semion $a$ would transform under the gauge $U(1) \times U(1)$ in a rather bizarre way $a \rightarrow a-q_1f_1\frac{d\phi_2}{2\pi}$. This seems kind of artificial to me and I don't have a good intuition for that.

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Zitao Wang
I think the transformation law that they postulate $a \rightarrow a -q_1f_1\frac{d\phi_2}{2\pi}$ under $U(1) \times U(1)$ is closely related to how $\mathbb{Z}_2 \times \mathbb{Z}_2$ is represented on the semions. If we can make sense why $a$ should transform like this, we know how $\mathbb{Z}_2 \times \mathbb{Z}_2$ is represented on the semion.

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Zitao Wang
Also does the action with $p_1=p_2=0$ describe a chiral spin liquid? We expect this because it is anomaly free, and the effective action with $p_1=p_2=0$ is anomaly free. The transformation law of $a$ under $U(1) \times U(1)$ is sort of by construction making the third term by itself gauge invariant (hence anomaly free).

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Zitao Wang
The action of a chiral spin liquid can be written down using $CP^1$ representation: $\frac{2}{4\pi}ada+v|(i\partial-a-\mathbf{A}\cdot \sigma)z|^2$ where $z=(z_\uparrow, z_\downarrow)^T$, and $\mathbf{A}$ is the $SO(3)$ gauge field, which can be further broken down to $Z_2\times Z_2$. Not sure how this can be related to the $p_3$ term...

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Meng Cheng
Hi Meng, I was a bit confused about the $\mathbb{Z}_2$ coefficient appearing in the group cohomology. I thought that the projective representations are classified by $H^2(G,U(1))$.

This post imported from StackExchange Physics at 2015-04-27 21:18 (UTC), posted by SE-user Zitao Wang
 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysi$\varnothing$sOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.