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

  • A
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Generators
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 vanhees71 and MathematicalPhysicist
Toponium is a hadron which is the bound state of a valance top quark and a valance antitop quark. Oversimplified presentations often state that top quarks don't form hadrons, because they decay to bottom quarks extremely rapidly after they are created, leaving no time to form a hadron. And, the vast majority of the time, this is true. But, the lifetime of a top quark is only an average lifetime. Sometimes it decays faster and sometimes it decays slower. In the highly improbable case that...
I'm following this paper by Kitaev on SL(2,R) representations and I'm having a problem in the normalization of the continuous eigenfunctions (eqs. (67)-(70)), which satisfy \langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67} The singular contribution of the integral arises at the endpoint u=1 of the integral, and in the limit u \to 1, the function f_s(u) takes on the form f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}...
Back
Top