3

Below are two statements from my notes and I am trying to verify them explicitly. In both cases the fields are assumed to transform under the fundamental representation of $O(N)$ -

--'The kinetic term for a Dirac spinor is invariant under the symmetry group $U(N) \otimes U(N)$'.

I considered the case of a Weyl spinor first. This has a kinetic term $i \bar \phi_R \gamma^{\mu} \partial_{\mu} \phi_R$ and if $\phi_R \rightarrow U \phi_R$ then $i \bar \phi_R \gamma^{\mu} \partial_{\mu} \phi_R \rightarrow i\phi^{\dagger}_R U^{\dagger} \gamma_0 \gamma^{\mu} \partial_{\mu} U \phi $. Because $U$ and the gamma matrices act on different spaces, can I just shift the $U$ to the $U^{\dagger}$ and then using $UU^{\dagger}=1$ get the result? The $U(N) \otimes U(N)$ for the Dirac spinors comes about from decomposing a Dirac spinor into its left and right handed components each of which transforms under a 'left handed fundamental representation' or 'right handed fundamental representation' so could write the symmetry group as $U_L(N) \otimes U_R(N)$ (correct if mistaken).

--'If $T_a$ are the generators of $O(N)$, the bilinears $\phi^T T^a \phi$ transform according to the adjoint representation.'

I'm just wondering do generators always transform in the adjoint representation themselves? I read on here in another thread that the adjoint representation can be thought of as the representation anchored at the identity so if anyone could shed some light on this statement that'd be great.

CAF
  • 3,549

2 Answers2

1

Yes, the first part of your question is appreciated and answered soundly. The fermion kinetic term splits into two independent parts involving left and right Weyl spinors respectively, so each is independent under a separate U(N) as your wrote down.

The second question is a matter of language. A generator is a matrix with one adjoint index, a here, ranging over the dimension of the Lie algebra, so "universal" as per your question; and two indices each corresponding to its representation, e.g. i,j, the matrix indices, ranging over the dimension of that particular representation. It is an operator of the representation, acting on vectors of it, such as your φ. If your φ is in the fundamental, for instance, T will act on it as $\phi_i\mapsto T^a_{ij} \phi_j$, all in the fundamental. Dotting this with another vector, φ will yield a scalar in the fundamental, your expression, with a loose index a of the adjoint, so, then a vector in the adjoint. Always in the adjoint, regardless of what irrep φ you started with, as long as you used the suitable representation matrices for that generator.

To rotate this vector under O(N), you'll have to act on it with the Lie algebra structure constants, which are the operators T in the adjoint, so, analogously, $\phi^T T^a \phi\mapsto i f_{abc}~\phi^T T^c \phi$. For instance, for O(3) the generators are the familiar vector spin matrices $i\epsilon_{abc}$s.

Cosmas Zachos
  • 62,595
  • Thanks for your answer! So do the generators always transform under the structure constants? - i.e do generators always transform under the adjoint representation? I've seen the equation $$u^{\dagger} T_i u = R_{ij} T_j$$ where $u$ is an element of a group come up a lot. – CAF Apr 10 '16 at 19:58
  • Well, if you wish to put it that way: The label of the generator always transforms in the adjoint, by the structure constants. In the relation you wrote, in any rep, you are looking at a similarity transform of a generator, where the us are exponentials of generators, exp(ia.T). The action of these exponentials on T is in fact adjoint, so your expression is Tj-i[a.T,Tj] +... so then a rotation of the J indices, only. Here, the j's are adjoint, and only they transform--the other two irrep indices just serve in the matrix multiplications. – Cosmas Zachos Apr 10 '16 at 21:20
  • You switched indices and I fell for it, so as to maximally ambiguate them. In proper notation consistent to your question and my answer, my above reply reads: $u^\dagger T_a u= e^{-i \theta\cdot T} T_a e^{i\theta\cdot T}= e^{-i{\mathrm ad} \theta\cdot T} T_a= T_a -i [\theta\cdot T, T_a]+...=R^\theta _{ab} T_b$ . – Cosmas Zachos Apr 10 '16 at 21:42
  • Thanks! My last question is when would I use the transformation law $T_a' \rightarrow u^{\dagger}T_a u$ for generators? Like for example, in $SU(2)$ the Pauli matrices comprising the fundamental representation do not transform. – CAF Apr 11 '16 at 20:53
  • This one I didn't understand: In the eqn right above your question, true for absolutely all representations, halved Pauli matrices do just that: $T_a=\sigma^a/2$, and using the explicit representation of the exponential of them you find the exact rotation formula for $\sigma^a$. – Cosmas Zachos Apr 11 '16 at 21:27
  • Take $\sigma_2/2$ for $T_a$, and $u=\exp(i\theta \sigma_1 /2)$. You easily find $\sigma_2\to \cos\theta \sigma_2+ \sin\theta \sigma_3$, just the right rotation of the "vector" 2 around the axis 1. – Cosmas Zachos Apr 11 '16 at 22:08
  • One instance where you would use the transformation law is when constructing invariants of $O(N)$. In practice, you can usually construct invariants by inspection, just by contracting indices so that various matrix factors cancel. (In general, you can obtain invariants by simply averaging functions over the symmetry group). You would also use the transformation law if you wanted to promote the $O(N)$ global symmetry to a local symmetry. – TLDR Apr 12 '16 at 04:32
  • @CosmasZachos: I see, I think what I wanted to say is that in the transformation of the bilinear $\phi^T T_a \phi$ I should transform either the $T_a$ or the $\phi$'s but not both at the same time? So I could either transform the $T_a$'s according to the adjoint representation or the $\phi$'s according to the fundamental representation? And the result would be the same? Basically the question stemmed from what I read in my other thread here: http://physics.stackexchange.com/questions/248974/transformation-properties-of-2-times-2-matrix-involving-pauli-matrices?noredirect=1#comment547956_248974 – CAF Apr 12 '16 at 08:37
  • Yes, the result would be the same: sandwich the above eqn by φ s: transforming them is tantamount to rotating the T s. For SU(2) as per the WP article you can perform the exact rotation, virtually to all orders, explicitly--no need to restrict to small angles. – Cosmas Zachos Apr 12 '16 at 10:34
0

(I) Assuming there are $N$ distinct fermions in your Lagrangian (e.g. quarks in the standard model), the kinetic term will have the $U(N)\times U(N)$ symmetry. This symmetry is broken by the mass term, however, which couples fermions with different handedness.

(II) If $V$ is the fundamental representation of a Lie group (with dual/conjugate representation $V^*$), generators can be identified as a subspace of $V\otimes V^*$. If $g$ is an element of the Lie group, then $g$ 'acts on' $V\otimes V^*$ as follows: $g\cdot (v\otimes \omega)=(U(g)v)\otimes (U(g)' \omega)=U(g)v\otimes \omega U(g^{-1})$. (Often it's possible to choose a unitary representation, so that $U(g^{-1})=U(g)^\dagger$).

[Note that the tensor representation $V\otimes V^*$ is reducible, and only contains the adjoint representation as a subrepresentation].

Now it turns out that a large class of Lie groups can be expressed locally as the exponential of some element in the tangent space near the identity: i.e. $$ U(g)=\exp(-iA_a(g)\tau^a), $$ where $A_a(g)$ are some $g$ dependent coefficients (local coordinates for the Lie group), and $\tau^a$ are the generators. The exponential is interpreted as a power series, when sensible (when $V$ is infinite dimensional, as in quantum mechanics, it's typical to specify that the spectrum of $A_a\tau^a$ is bounded from below, so that analytic continuation can be used).

These local coordinates for the Lie group imply that the group action defined above induces an action of the tangent space near the identity (i.e. the Lie algebra associated with the group): $\mathcal A \cdot v\otimes \omega=[\mathcal A, M_{v\otimes\omega}]$, where $M_{v\otimes\omega}$ is the 'matrix' associated with $v\otimes \omega$.

('Trivial' (in the common sense) addendum: the reason higher order terms in the power series expansion of $U(g)$ do not give alternative adjoint representations of the Lie algebra is essentially a kind of 'memory effect', where the linear term interferes with higher order components).

TLDR
  • 3,158