How can the generators of ##U(1)## be traceless?

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Generators
Click For Summary
SUMMARY

The discussion centers on the requirement for the generators of the gauge group ##U(1)## to be traceless in order to couple the theory consistently with gravity, as stated in Peskin and Schroeder. The confusion arises from the nature of ##U(1)## generators, which are represented as exponents like ##e^{2\pi ix}##, leading to questions about their trace. It is established that the only traceless element in the Lie algebra ##\mathfrak{u}(1)## is the zero generator, but alternative representations can yield traceless forms, such as the matrix representation ##\begin{bmatrix}i \varphi & 0 \\0 & -i \varphi\end{bmatrix}##.

PREREQUISITES
  • Understanding of gauge theories and their mathematical foundations
  • Familiarity with Lie algebras and their representations
  • Knowledge of the implications of coupling gauge theories to gravity
  • Basic concepts of traceless matrices in linear algebra
NEXT STEPS
  • Study the properties of Lie algebras, focusing on ##\mathfrak{u}(1)##
  • Explore the implications of traceless generators in gauge theories
  • Investigate alternative representations of ##U(1)## and their physical significance
  • Learn about the coupling of gauge theories to gravity and its constraints
USEFUL FOR

The discussion is beneficial for theoretical physicists, particularly those working in quantum field theory and gauge theories, as well as graduate students seeking to deepen their understanding of the mathematical structures underlying these concepts.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
In Peskin and Schroeder on page 681 they write:
...if the gauge group of the theory contains ##U(1)## factors, the theory cannot be consistently coupled to gravity unless each of the ##U(1)## generators is traceless.

Now, as far as I can tell the generators of ##U(1)## are just exponents, i.e ##e^{2\pi ix}##, so how can they have a zero trace if it's just one number which never vanishes?

Perhaps I am missing something here, can anyone clear this matter to me?
Ah, wait perhaps this contradiction means that you cannot couple gravity to this theory?
 
Physics news on Phys.org
Only ##0 \in \mathfrak{u}(1)= i \cdot \mathbb{R}## is traceless. But there could be another representation in which it is traceless. E.g. we could take ##\mathfrak{u}(1)\cong \left\{\begin{bmatrix}i \varphi & 0 \\0 & -i \varphi\end{bmatrix}\right\}##. So either we conclude that these generators vanish, or we choose another representation.
 
  • Like
Likes   Reactions: vanhees71 and MathematicalPhysicist

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
4K
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 61 ·
3
Replies
61
Views
10K
  • · Replies 7 ·
Replies
7
Views
12K
  • · Replies 26 ·
Replies
26
Views
6K