Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The compact U(1) lattice gauge theory is described by the action $$S_0=-\frac{1}{g^2}\sum_\square \cos\left(\sum_{l\in\partial \square}A_l\right),$$ where the gauge connection $A_l\in$U(1) is defined on the link $l$. I was told that this theory in 2+1D spacetime is dual to a U(1) XY model on the dual lattice, described by the following action $$S_1=-\chi\sum_l \cos\left(\sum_{i\in\partial l}\theta_i\right)-K\sum_i\cos(\theta_i),$$ where the XY variable $\theta_i\in$U(1) is defined on the dual site $i$. It was said that the K term in the action is to take into account the instanton effect in the compact U(1) lattice gauge theory (which I don't understand). However when I tried to derive the the dual theory, I arrived at the following integer XY model (or height model?) $$S_2=-\chi\sum_l \cos\left(\sum_{i\in\partial l}m_i\right),$$ with the integer variable $m_i\in\mathbb{Z}$ defined on the dual site $i$. Because the Pontryagin dual group of U(1) is simply $\mathbb{Z}$ but not U(1), so I believe that the U(1) gauge theory $S_0$ should dual to an integer XY model $S_2$, and this duality is exact. But every book or paper that I have encountered did not mention anything about $S_2$, instead they all point to the U(1) XY model $S_1$. Therefore I was forced to conjecture that the integer XY model is equivalent to the U(1) XY model with additional K term. Can anyone tell me if my conjecture is correct or not? How to go from $S_2$ to $S_1$ (or maybe directly from $S_0$ to $S_1$)? How is the K term being added? What is the physical meaning of the K term?

share|cite|improve this question
Very interesting question. Could you briefly comment on how you derived $S_2$ from $S_0$, and how $\chi$ and $m_i$ are related to $g$ and $A_l$? – Heidar Jun 17 '12 at 10:11

Let't me give it a shot. One possible explanation is to imagine we soften the integer condition for $m$'s in $S_{2}$. Then, the cosine term in $S_{1}$ is what we want to add because when $K$ is large, it enforce the integer condition and go back to $S_{2}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.