A vector space $\mathfrak{g}$ over some field $F$ and kitted with a bilinear, antisymmetric and Jacobi-identity-fulfilling product ("Lie Bracket" or "commutator"). In physics, most often arises as the Lie algebra (tangent space to the identity) of a Lie group; in gauge theories, basis vectors of the ...

learn more… | top users | synonyms

5
votes
0answers
54 views

Why do we need complex representations in Grand Unified Theories?

In almost every document about GUTs it is claimed that we need complex representations (=chiral representations) in order to be able to reproduce the standard model. Unfortunately almost everyone ...
2
votes
1answer
105 views

Irreducible Representations from Cartan Matrix

I need some help understanding how you can construct the irreducible representations of an algebra from knowing its roots or its Cartan matrix, which I am being told you most certainly can. ...
2
votes
2answers
97 views

Half-integer spin and infinitesimal rotations

On p. 692 of 'Quantum Mechanics' by Cohen-Tannoudji, he states that: Every finite rotation can be decomposed into an infinite number of infinitesimal rotations, since the angle of rotation can ...
1
vote
0answers
12 views

Classical limit and generalized coherent states

In quantum optics coherent states introduced by Glauber have a localized probability distribution in classical phase-space with maximum following classical equations of motions. This is not a ...
0
votes
0answers
20 views

Casimir operators of the Poincare Group

Say, $P^2$ and $W^2$ are the Casimir operators of the Poincare Group. Should the commutator of these Casimir operators be zero, because then they would be independent of each other and form a unique ...
12
votes
1answer
428 views

How to evaluate this sum of coupling coefficients?

I would like to evaluate the following summation of Clebsch-Gordan and Wigner 6-j symbols in closed form: $$\sum_{l,m} C_{l_2,m_2,l_1,m_1}^{l,m} C_{\lambda_2,\mu_2,\lambda_1,\mu_1}^{l,m} \left\{ ...
0
votes
2answers
248 views

Azimuthal quantum number $\ell$ and magnetic quantum number $m$ are from angular momentum?

Azimuthal quantum number $\ell$, and magnetic quantum number $m$ are defined when we do derivation for $L^2f=\ell(\ell+1){\hbar}^2f$ and $L_zf=\ell{\hbar}f$. This is my own conclusion after studying ...
0
votes
0answers
36 views
0
votes
0answers
39 views

The Lie algebra of the Lorentz group is $su(2) \oplus su(2)$. Is there a similar relation for the algebra of the Poincare group?

It can be shown easily, by introducing new generators from the usual ones that we can think of the Lie algebra of the Lorentz group as being built up by two copies of the $SU(2)$ Lie algebra: $$ ...
4
votes
1answer
63 views

Where does in GUT symmetry breaking $U(1)$ come from?

In GUTs one starts with some larger group, like $SU(5)$, which is then broken into smaller groups, for example $$SU(5) ~\longrightarrow~ SU(3) \times SU(2) \times U(1)$$ This can be seen, for ...
2
votes
1answer
209 views

Question on derivation of Ward identity

I'm currently reading these notes about the Ward identity (pages 259 - 261). I will repeat some of the steps to make the question self-contained. Let us consider a local transformation on the field ...
1
vote
0answers
44 views

Why is ${\bf N}\otimes\bar{\bf N} \cong{\bf 1}\oplus\text{(the adjoint representation)}$? [migrated]

I just watched this lecture and there Susskind says that $${\bf N}\otimes\bar{\bf N} ~\cong~{\bf 1}\oplus\text{(the adjoint representation)}$$ for the Lie group $G= SU(N)$. Unfortunately, he does ...
2
votes
1answer
28 views

Dimension and Basis properties of $SU(N)$

$SU(N)$ is the group of special unitary matrices of dimension $N$, i.e., the set of all unitary ($U^{\dagger}U=I$) $N\times N$ matrices with $\det(U)=1$. For $N=2$, these matrices are spanned by the ...
3
votes
2answers
156 views

Unitary groups and infinitesimal transformations - Schwingers way of deriving Lie groups

In Schwinger's source theory book, he suggests if $G_a$ are the hermitian generators of the Unitary group, then we have an infinitesimal transformation is given by : $$ G = \sum_{a=1}^n ...
0
votes
0answers
27 views

How to write $su(3)$ Lie algebra as a sum of two subspaces? [migrated]

Let $K,F\subset\mathfrak{su}(3)$ be subspaces, such that $K \oplus F =\mathfrak{su}(3)$, and $K$ has a $\mathfrak{su}(2)$ structure. How can we show that $[K,K] = K$ (i.e., commutator of any two ...
1
vote
0answers
23 views

How to expand free energy of Heisenberg spin chain?

In Dasgupta & Ma's 1979 paper "Low-temperature properties of the random Heisenberg antiferromagnetic chain", they give the free energy of a few interacting Heisenberg spins on a chain. I can't ...
1
vote
0answers
44 views

About generator of $SU(2)$ flavor symmetry group

I am reading the textbook, "weak interactions" by Howard Georgi which can be founded in his homepage. Here i am trying to solve the problem 1b-2. The problem is given as follows. Consider the ...
6
votes
1answer
229 views

How to construct an isomorphism between the Complexified Special Linear Lie Group and the Special Unitary Group?

This may be an unenlightening question, but I'm just not sure about the result and hoping someone can help me varify it. $\\$ This question is related to these three questions. $\\$ I want to ...
3
votes
1answer
91 views

What's the significance of the difference between the quantum numbers, $\ell$ and $m_{\ell}$?

I know that $m_{\ell}$ is associated with the projection of the angular momentum vector onto the $z$ axis and $\ell$ is associated with the length of the angular momentum vector. To me this implies ...
1
vote
1answer
41 views

How to derive the form of the invariant spinor inner product?

So we have gamma matrices that satisfy the spacetime algebra relations, $\{\gamma^\mu, \gamma^\nu\} = 2 \eta^{\mu\nu}$. We know that if we set $\sigma^{\mu\nu} = \frac{1}{4}[\gamma^\mu, \gamma^\nu]$ ...
3
votes
1answer
93 views

Subgroup of Lorentz Group Generated by Boosts

It is common knowledge that a composition of boosts is not a boost, but involves a rotation. Further, in discussions of Thomas precession, it is often stated that boosting in $x$, then $y$, then back ...
1
vote
0answers
31 views

Name for the transformation into an accelerated frame?

A transformation into a frame that looks at an experiment from a rotated perspective is called a rotation. A transformation into a frame that moves with a different constant velocity is called a ...
0
votes
1answer
66 views

Why is orbital angular momentum quantized according to $I=\frac h{2 \pi} \sqrt{l(l+1)}$?

I simply have no idea how this result is found $$I=\frac h{2 \pi} \sqrt{l(l+1)}.$$ The result seems to just be dumped in textbooks rather than explained. I can get the result that ...
6
votes
1answer
160 views

Group representations as vectors and isomorphism between weights and matrix generators

This might be something basic, but it is unclear to me. So I am used to work with representations of groups as matrices. These matrices represent the structure of the Lie algebra by satisfying the ...
2
votes
2answers
92 views

What's the degree of freedom of this kind of matrix?

We first have a unitary matrix $$\{a_{ij}\}\quad(n\times n)$$ I know how to calculate its degree of freedom, which is $n^2$ if we consider a real variable as one degree of freedom. Now we have a ...
2
votes
1answer
34 views

Coset construction of Tricritical Ising CFT

In http://iopscience.iop.org/1742-5468/2008/03/P03010 the authors state that the Tricritical Ising Model (TIM) CFT can be obtained from a Wess Zumino Witten construction based in the coset ...
5
votes
3answers
519 views

The Asymmetry between Real and Imaginary in the three Pauli Spin Matrices

The Pauli spin matrices $$ \sigma_1 ~=~ (\begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}), \qquad\qquad \sigma_2 ~=~ (\begin{smallmatrix} 0 & -i \\ i & 0 ...
1
vote
2answers
209 views

Why are the spin operators defined as they are?

$$\begin{align*}S_z &= \frac{\hbar}{2} \left(\left|+\right>\left<+\right| - \left|-\right>\left<-\right|\right)\\ S_y &= i\frac{\hbar}{2} \left(\left|-\right>\left<+\right| - ...
3
votes
1answer
83 views

About $SU(2)_L \times U(1)_L = U(2)_L $

In the many textbook of standard model, i encounter the relation \begin{align} SU(2)_L \times U(1)_L ~=~ U(2)_L. \end{align} Here $L$ means the left-handness. (It is a physical ...
1
vote
1answer
152 views

Symmetries in QM and QFT — operator transformation laws

In quantum mechanics, we implement transformations by operators $U$ that map the state $|\psi\rangle$ to the state $U|\psi\rangle$. Alternatively, we could transfer the action of $U$ onto our ...
13
votes
3answers
1k views

Why is the Symmetry Group for the Electroweak force $SU(2) \times U(1)$ and not $U(2)$?

Let me first say that I'm a layman who's trying to understand group theory and gauge theory, so excuse me if my question doesn't make sense. Before symmetry breaking, the Electroweak force has 4 ...
0
votes
1answer
43 views

Does invariance under infinite small transformation imply invariance to the finite one?

Let's say that I have finite chiral transform and I would like to show invariance of Dirac's Lagrangian when $m=0$ under it. The chiral transform is defined as: $$\psi(x) \rightarrow \psi'(x) =e^{i ...
0
votes
1answer
105 views

Spin operator eigenstate in Fock space

I am creating an operator group from representation of spin 1 operators $$J_{x} = \frac{1}{\sqrt{2}}\left(\begin{array}{ccc} 0 & 1 & 0\\ 1 & 0 & 1\\ 0 & 1 & 0 \end{array} ...
5
votes
1answer
134 views

Branching rules for $SU(3)$

How does one compute the branching rules for $SU(3)\to SU(2)\times U(1)$.? In particular, I do not know how to put the abelian charges. Take for example the adjoint $\mathbf{8}$ of $SU(3)$. I can ...
0
votes
2answers
58 views

Incorrect proof that all gauge theories are abelian

Consider a gauge field $W_\mu = W_\mu^{a} \tau_a$ where $\tau_a$ are the generators of the Lie algebra and $W_\mu^{a}$ just numbers. Then: $$ W^2 = W_\mu W^\mu = W_\mu^a\tau_a W^{\mu b} \tau_b = ...
0
votes
1answer
60 views

Question about angular momentum operator

To show that the eigenvalue to $L^2$ is proportional to $\hbar^2$ is shown from $L_z=xP_y-yP_x$ $p_y=-i\hbar\frac{\partial}{\partial y}$ $p_x=-i\hbar\frac{\partial}{\partial x}$ ...
0
votes
0answers
40 views

Uses of the accidental isomorphism $SO(5)\sim Sp(2)$?

Some of the accidental isomorphisms of low dimensional Lie algebras have very important applications in physics. The theory of angular momentum makes use of the fact that $SO(3)\sim SU(2)$. ...
2
votes
1answer
53 views

$SU(2)$ generators and creation annihilation operators

The algebraic method to find the irreducible representation of the $SU(2)$ group makes use of the operators: $$J_z\\J_+=\frac{1}{\sqrt{2}}(J_x+iJ_y)\\J_-=\frac{1}{\sqrt{2}}(J_x-iJ_y)$$ In the book ...
1
vote
1answer
38 views

What exactly are the ADE type of gauge theories?

What exactly are the ADE type of (susy) gauge theories? What exactly we mean, intuitively, the ADE singularities? What are their relation to brane constructions and do you have any references one ...
5
votes
1answer
108 views

Complete derivation of generator of rotations

I have been look all across the internet and every book I could find trying to get a full derivation of the generator of rotations and more specifically angular momentum as a generator of rotations. I ...
3
votes
1answer
804 views

Proof of weaker Baker-Campbell-Hausdorff Formula [duplicate]

Prove the weaker form of the BCH Formula: $$e^A e^B = e^{A + B + \frac{1}{2}[A,B]} $$ with the assumption $[A, [B, A]] = 0; [B, [B,A]] = 0$ Start with $f(\lambda) = e^{\lambda A} e^{\lambda B} ...
5
votes
1answer
192 views

Noether's Theorem: Lie algebra, Lie groups

I've had a brief look through similar threads on this topic to see if my question has already been answered, but I didn't find quite what I was looking for, perhaps it is because I'm finding it hard ...
2
votes
0answers
49 views

Finding Casimir operators for the Poincare group $ISO(1,2)$

I was asked to write the generators for translations and Lorentz-transforms in 1+2 dimensions and then to find the Casimir operators. For the generators I can take the same ones as in 1+3 case ...
3
votes
2answers
250 views

An identity of Pauli matrices

I am studying spin recently, and textbook gives some identities of Pauli matrices, one said that for any two unit vectors $\bf m$ and $\bf n$, $[\bf m \cdot \bf{\sigma},\bf {n \cdot \sigma}]= ...
0
votes
1answer
59 views

Is the fundamental representation of $SU(3)$ irreducible?

I want to check if the fundamental representation of $SU(3)$ is irreducible. The algebra is $$\mathbb{su}(3) = \{ m \in Mat(3,\mathbb{C} )\ |\ m = -m^+,\ Tr[m] = 0 \}$$ and I've found the generators. ...
0
votes
2answers
56 views

How would I relate $\Lambda=e^{-i\omega_{\mu\nu}J^{\mu\nu}/2}$ to the Lorentz boost matrix?

$\omega_{\mu\nu}$ contains infinitesimal parameters and $J^{\mu\nu}$ contains generators of boost and rotation. Any 4-vector transforms as $p^\mu=\Lambda^\mu_\nu p^\nu$. Starting from given ...
2
votes
1answer
91 views

Schrodinger equation, commutative operators, and Symmetry

When solving Schrodinger's equation in 3D with a spherical laplacian you reach a point at which you introduce a separation constant and can see that the same eigenvalue satisfies the radial and ...
0
votes
1answer
80 views

What is a su(2) level k algebra

What is meant by su(2) level k algebra ? Is it a lie algebra of some lie group ? What is the relation with SU(2) group. I see it in the context of quantum hall edges. Googling and google-booking for a ...
1
vote
1answer
24 views

Why is it that every locally conformal transformation can be extended to a global conformal transformation for D>2?

In D=2, we can have locally analytic transformations that cannot be globally well-defined. However, for CFTs in D>2, we have only the global group. Why is that? Also, is it a statement that depends ...
0
votes
4answers
98 views

Conceptualization and modelling of spin

I'm trying to get a decent understanding of the Bell inequality, and so am trying to understand spin both conceptually and mathematically. When I picture spin, I imagine a sphere rotating about its ...