# How does non-Abelian gauge symmetry imply the quantization of the corresponding charges?

+ 6 like - 0 dislike
496 views

I read an unjustified treatment in a book, saying that in QED charge an not quantized by the gauge symmetry principle (which totally clear for me: Q the generator of $U(1)$ can be anything in $\mathbb{R}$) but for non-Abelian gauge symmetries the "charge" are quantized by virtue of this principle. Could someone give a hint (or reference) of the calculation showing that.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user toot
Huh, interesting question. I can't think of a reason offhand why non-Abelian-ness specifically would lead to quantization of the charge, but I will be interested to see what people come up with.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user David Z
It is the property of non-Abelian gauge invariance that all matter fields interact with the gauge field with the same coupling (or couplings in case of a non-simple gauge group). Otherwise you cannot make the Lagrangian gauge invariant. This is the same as saying that the charges of all fields are determined solely by the structure of the gauge group and its representations up to an overall scale, which can be absorbed in the redefinition of the coupling.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user Tomáš Brauner
Ok thanks for the answer. I had already seen that, like the q + g -> q + g amplitude that requires the g of the fermion-gauge coupling to be the same as the g in the $A^{\mu}A^{\nu}\partial_{\mu}A_{\nu}$ but I was thinking about a quantization in the same way as magnetic monopoles quantize the electrical charge.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user toot
This ref defines ladder operators based on the gauge generators which raise and lower isospin. I suspect that this works out similar to angular momentum ladder operators in elementary QM, where they lead to quantization of angular momentum. In the abelian case, the commutators would vanish so this would be doomed to fail. (Not posting as an answer because I'm not sure it's right, but it's something to look at...)

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user twistor59

+ 7 like - 0 dislike

First of all, note that the real Abelian Lie group $U(1)$ comes in two (multiplicatively written) versions:

1. Compact $U(1)~\cong~e^{i\mathbb{R}}~\cong~S^1$, and

2. Non-compact $U(1)~\cong~e^{\mathbb{R}}\cong~\mathbb{R}_+\backslash\{0\}$.

Also note that in the physics literature, we often identifies charge operators with Lie algebra generators for a Cartan subalgebra (CSA) of the gauge Lie algebra.

Moreover, note that the choice of CSA generators is not unique, see also this answer. The ambiguity in the convention choice of charge operators is similar to the ambiguity in the convention choice of spin operators, see also this question. We shall from now on assume that we consistently stick to only one such possible convention.

Given a Lie algebra representation, the eigenvalues of the charge operator are called charges.

Now let us briefly sketch some lore and facts related to OP's question(v1).

1. We observe in Nature that Abelian and non-Abelian charges are quantized, as accurately described by electric charge, electroweak hypercharge, electroweak hyperspin and color charges in the $U(1)\times SU(2)\times SU(3)~$ standard model.

2. If there exist dual magnetic monopoles, then quantum theory provides a natural explanation for charge quantization. Namely, by playing with Wilson lines, the singlevalueness of the wavefunction requires that charges is quantized (i.e., to take only discrete values), and that the gauge group is compact, as first explained by Dirac.

3. It is a standard result in representation theory, that for a finite-dimensional representation of a compact Lie group, that the charges (i.e., the eigenvalues of the CSA generators) take values in a discrete weight lattice.

4. If a gauge group contains both a compact and a non-compact direction, i.e. if its bilinear form$^1$ has indefinite signature, it is impossible to define a non-trivial positive-norm Hilbert subspace of physical, propagating, $A^a_{\mu}$ gauge field states.

--

$^1$ By a bilinear form is here meant a non-degenerate invariant/associative bilinear form on the Lie algebra. For a semisimple Lie algebra, we can use the Killing form.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user Qmechanic
answered Feb 17, 2012 by (3,110 points)
Corrections to the answer (v4): i) electroweak hyperspin should read electroweak isospin. ii) Charges is quantized should read charges are quantized.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user Qmechanic
+ 1 like - 0 dislike

The situation is similar with SU(2) spin quantization. Generators of the SU(2) are quantized, while U(1) this is not the case. Spin is quantized in 3D space, but in a 2D space it is continuous real number, with fractional quantum statistics intermediate between boson and fermion.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user Newman
answered Mar 2, 2012 by (75 points)
Interesting point related to braid groups and projective representations. $Spin(2)$ is here the compact $U(1)$. It is my understanding that sofar experimentally speaking, anyons in $2+1$ dimensional systems do not carry continuous, but only discrete fractional spin, which are therefore still quantized.

This post imported from StackExchange Physics at 2014-05-01 12:01 (UCT), posted by SE-user Qmechanic

 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$ysics$\varnothing$verflowThen 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.