• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,075 questions , 2,226 unanswered
5,348 answers , 22,757 comments
1,470 users with positive rep
818 active unimported users
More ...

  Anomalies for not-on-site discrete gauge symmetries

+ 7 like - 0 dislike

If a symmetry group $G$ (let's say finite for simplicity) acts on a lattice theory by acting only on the vertex variables, I will call it ultralocal. Any ultralocal symmetry can be gauged. However, in general there are discrete symmetries that cannot be gauged. For example, Freed and Vafa in http://link.springer.com/article/10.1007%2FBF01212418 discuss how in 1+1d one needs the pullback of a certain class in $H^3(G,U(1))$ to have some trivial periods.

So, is the converse true--that if $G$ can be gauged then there is a formulation of the theory where $G$ acts ultralocally? In other words, is a symmetry with no ultralocal action necessarily anomalous?

And if so, can we see this anomaly as an explicit class in $H^3(G,U(1))$ for 1+1d theories, for example?

It seems to me like the answer is yes. If we have no anomaly and go ahead and gauge $G$, then we can put the result on a lattice where the $G$ gauge field will live on edges. These edge variables will have the flatness condition that the start and end vertex variables differ by the action of the edge variable (an element of $G$). It seems like $G$ shouldn't act anywhere else, since in some sense gauging $G$ is a type of "fat quotient" of the theory by $G$. Thus, if we take this lattice formulation and forget the gauge field, we end up again with the original theory, but now with an ultralocal action of $G$. What remains is how to quantify this anomaly in the cohomology group.

This post imported from StackExchange Physics at 2014-04-05 03:35 (UCT), posted by SE-user Ryan Thorngren
asked Aug 18, 2013 in Theoretical Physics by Ryan Thorngren (1,925 points) [ no revision ]
Hi Ryan, just read your profile and thought maybe you are interested in this too ...

This post imported from StackExchange Physics at 2014-04-05 03:35 (UCT), posted by SE-user Dilaton
Thanks for the heads-up, Dilaton.

This post imported from StackExchange Physics at 2014-04-05 03:35 (UCT), posted by SE-user Ryan Thorngren
We also had some discussion about the topic here and here. What is really needed to (re)start is to bring a large enough group if interested people together ...

This post imported from StackExchange Physics at 2014-04-05 03:35 (UCT), posted by SE-user Dilaton

1 Answer

+ 5 like - 0 dislike

Your question is very interesting. I would like to mention something along the line of your question, but perhaps from another viewpoint. Recently there are some better understanding along the thinking between

(1)"whether a theory is free from anomaly (the anomaly matching condition satisfied),"

(2)"whether the symmetry of a theory is on-site symmetry,"

(3)"whether the symmetry of a theory can be gauged,"

(4)"whether the theory can exist alone in its own dimension without an extra bulk dimension,"

(5)"whether the massless modes of the theory can be gapped (opened up a mass gap) without breaking the assigned symmetry."

The insight connects to a topic in condensed matter physics, such as the intrinsic topological order and symmetric protected topological order(such as the topological insulator).

(A) In this paper: Classifying gauge anomalies through SPT orders and classifying gravitational anomalies through topological orders, it is proposed that the anomaly can be classified by a cohomology group of $$\text{Free}[\mathcal{H}^{d+1}(G,U(1))] \oplus \mathscr{H}_\pi^{d+1}(BG,U(1))$$ The ABJ anomalies are classified by $\text{Free}[\mathcal{H}^{d+1}(G,U(1))]$, while $\mathscr{H}_\pi^{d+1}(BG,U(1))$ is beyond ABJ type, such as for discrete gauge anomaly.

In this 1303.1803, it is explained the above notions, to a certain degree (1),(2),(3),(4) are related, or even identical.

(B) In this paper: A Lattice Non-Perturbative Definition of 1+1D Anomaly-Free Chiral Fermions and Bosons, it has been shown the relation between (1),(4) and (5), i.e. the anomaly matching condition = the massless modes of the theory can be fully gapped, for a specific case that the theory has a U(1) symmetry:

$$ %{\boxed{ \text{ ABJ's U(1) anomaly matching condition in 1+1D} \Leftrightarrow\\ \text{the boundary fully gapping rules of 1+1D boundary/2+1D bulk }\\ \text{with unbroken U(1) symmetry.} %}} $$

There in 1307.7480, based on this understanding, the chiral fermions on the lattice is proposed by including strong interactions. It avoids Fermion doubling problem due to the theory is not free, but interacting. A similar idea to put a SO(10) chiral gauge theory and its induced standard model on the lattice is proposed in 1305.1045.

Back to your question, you had said that $$ \text{Any ultralocal symmetry can be gauged} $$ I suspect this understanding can connect to Dijkgraaf-Witten theory. It seems to me your converse statement: $$ \text{if G can be gauged then there is a formulation of the theory where G acts ultralocally.} $$ would also be true. If one use the understanding that my above listed notions, (3) a theory can be gauged $\leftrightarrow$ (1) a theory is free from anomaly $\leftrightarrow$ (2) the symmetry is on-site symmetry. We suppose one can further use the idea of Dijkgraaf-Witten theory, and the correspondence between "the gauge symmetry $G$ variables acted on the links(the gauge symmetry $G$ of a gauge theory)" and "the symmetry $G$ acted on the vertices(the global symmetry $G$ of a Symmetry Protected Topological order)", in principle "$G$ acts on the links" and "$G$ acts on the vertices" are dual to each other, then we may argue your statement is an "if and only if" statement.

This post imported from StackExchange Physics at 2014-04-05 03:35 (UCT), posted by SE-user Idear
answered Aug 19, 2013 by wonderich (1,500 points) [ no revision ]
Thanks for your answer, Idear. You point out some interesting references I didn't know about. SPT phases are indeed the context I've been thinking about this problem in and that any ultralocal symmetry can be gauged does connect to DW theory.

This post imported from StackExchange Physics at 2014-04-05 03:35 (UCT), posted by SE-user Ryan Thorngren

Your answer

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):
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:
Then 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).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights