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

3
votes
2answers
60 views

Rotation matrix of Euler's equations of rotation relative to inertial reference frame

I was playing with simulation of Euler's equations of rotation in MATLAB, $$ I_1\dot{\omega}_1 + (I_3 - I_2)\omega_2\omega_3 = M_1, $$ $$ I_2\dot{\omega}_2 + (I_1 - I_3)\omega_3\omega_1 = M_2, $$ ...
0
votes
0answers
11 views

Anticommutative Sets of SU(N) Generators? Anticommutative Analogue to Cartan subalgebra?

I am currently studying SU(N) generators in order to find bases that may suit a problem at hand. I am especially interested in getting as large anticommuting sets within a basis as possible. In SU(2) ...
2
votes
1answer
102 views

How unique are the quantum numbers we commonly use?

We use the eigenvalues of the Cartan generators (=diagonal generators) of a given gauge group as quantum numbers in physics. Are these numbers somehow fixed and if not, what transformations are ...
1
vote
1answer
46 views

What is the definition of the duality group $E_{7(7)}$?

What is the definition of the duality group $E_{7(7)}$ that appears in ${\cal N}=8$ Supergravity and what are the basics properties? Moreover what is the relation with the Lie Algebra $E_7$? ...
0
votes
0answers
38 views

How can I compute the orbit of a Higgs field?

In many papers that deal with symmetry breaking a concept called orbit is introduced: It is worth noting that if the potential is a minimum $\phi_0$ at a value of the field, then from (3.13) it is ...
2
votes
1answer
31 views

Gluon have colour-anticolour; what about weak bosons?

Gluons can be red-antiblue, or green-antired, etc. What about weak interaction bosons? (Say before symmetry breaking, to make matters simpler.) Is there a similar "weak charge" structure of ...
6
votes
2answers
65 views

How are quadruple gluon vertices related to $SU(2)$ and $SU(3)$?

I once read that the non-commutativity of the Lie Groups $SU(2)$ and $SU(3)$ is the reason that the weak and strong interactions have Feynman diagrams with quadruple vertices, where four gauge bosons ...
1
vote
2answers
217 views

Pauli Matrices proof

The original question was to prove $$e^{i\sigma_z\phi} \sigma_y e^{-i\sigma_z\phi}=e^{2i\sigma_z\phi} \sigma_y.$$ Since left hand side is equal to $\sigma_y$, I thought in order for right hand ...
4
votes
0answers
107 views

Why the field strength tensor for locomotion at low Reynolds number may be written like that?

I've been studying locomotion at low Reynolds number for some time now and it has been a quite tough problem. I've already asked two questions about the problem here, and now there is this question ...
1
vote
1answer
75 views

Relationship between those two “exponentials”

Let $G$ be a Lie group and $L(G)$ it's Lie algebra. We know that every left-invariant vector field $X$ in $G$ is complete, and so one can consider the integral curve defined for all $t\in \mathbb{R}$ ...
2
votes
0answers
43 views

Traceless Tensors in $SU(3)$, Georgi's Lie Algebras

I'm doing a self-study through Georgi's Lie Algebra's in Particle Physics and there is a ''note without proof'' in the book that I have not managed to see through myself. In Section 10.3, Georgi ...
5
votes
1answer
230 views

Symplectic leaves, tori and Poisson manifolds

For classical systems we can define a configuration manifold, whose cotangent bundle is a momentum phase space equipped with a closed, non-degenerate 2-form. Upon the commutative algebra of smooth ...
1
vote
1answer
76 views

How to prove that any rotation can be represented by 3 Euler angles

How can one prove that any rotation of a rigid object in 3-dimensional (3D) space can be represented by a sequence of three rotations around pre-fixed axes by 3 Euler angles? I see this statement in ...
1
vote
1answer
63 views

Representations of Lorentz algebra

It is well known that the Lorentz algebra can be written as two $SU(2)$ algebras. By defining $$N_i=\frac{1}{2}(J_i+iK_i), \qquad N^{\dagger}_i=\frac{1}{2}(J_i-iK_i)$$ we have ...
1
vote
0answers
28 views

How to find the generators of a deformed boost?

I'm reading the paper arXiv:gr-qc/0012051 on doubly special relativity. In page 7, the author wants to find the generators of a deformed boost that preserves $$E^2 = p^2 + m^2 - l_p p^2 E$$ ($l_p$ is ...
2
votes
1answer
93 views

Angular momentum - proof for integer eigenvalues

I am confused about a proof my Quantum Mechanics textbook has left "as an exercise for the reader". So, we've got the angular momentum operator $\hat{L}$. We've also got the generalized angular ...
4
votes
2answers
114 views

Spin, orbital angular momentum and total angular momentum

If I understand correctly, spin is an intrinsic property of particles, which follows the algebra of angular momentum, but has nothing to do with an "orbital angular momentum" in that the particle is ...
1
vote
1answer
123 views

Spin commutation relations

For orbital angular momentum defined as $L= r \times p $ we can prove, in quantum mechanics, the commutation relations. Also, we could prove these relationships through the study of rotations ...
1
vote
0answers
28 views

Covariant derivative of Noether current [closed]

I am working with a non-abelian gauge gauge theory that has one gauge field and a complex scalar field. I am supposed to prove that \begin{equation} (D_\mu j^\mu)^a=0, \end{equation} where ...
3
votes
3answers
68 views

Uniqueness of expression of a Lie group element

Just take the SU(2) group as an example. The three generators are $J_z$, $J_+$, and $J_-$. For an element $ g $, sometimes we want to express it as $$ g = e^{i a J_+} e^{i b J_z} e^{i c J_-} . $$ ...
0
votes
0answers
37 views

commutation relation of angular momentum operator in non cartesian coordinates

The angular momentum operator $J$ in quantum mechanics with the commutation relation \begin{equation*} [J_i,J_j]=i\hbar\epsilon_{ijk}J_k \end{equation*} has the structure of a Lie-algebra. It is ...
4
votes
1answer
130 views

Why $SU(3)$ has eight generators?

The generators of $SU(3)$ group are Gell-Mann matrices and one can construct these generators from Pauli spin matrices, basically expanding in 3d and rotating about each axis. Take $\sigma_3$, assume ...
6
votes
2answers
147 views

$su(1,1) \cong su(2)$?

The three generators of $su(2)$ satisfy the commutation relations $$ [J_0 , J_\pm] = J_\pm , \quad [J_+, J_- ] = +2J_0 .$$ The three generators of $su(1,1)$ satisfy the commutation relations $$ ...
0
votes
1answer
41 views

How to construct generators and Lie Algebra for Lorentz group?

I'm trying to figure out Lorentz group in 2+1. First of all, I'd like to think the special orthgonal group as a combination of rotation and boost in space. Then I construct it as below. First rotation ...
3
votes
1answer
125 views

How to use Clebsch-Gordan coefficients for 3 particles?

I have a Hamiltonian for 3 particles of spin 1 that I boiled down to: \begin{equation} k(\textbf{S}^2+\cdots), \end{equation} where: \begin{equation} \textbf{S}=\textbf{S}_1+\textbf{S}_2+\textbf{S}_3. ...
1
vote
0answers
45 views

Which representation do we start with in Grand Unified Theories?

The conventional approach in GUTs is to put all left-chiral fields $F_L$ of the standard model into one representation of the GUT group. For example, the 16 rep for $SO(10)$ GUT: $$ 16_L \rightarrow ...
1
vote
2answers
73 views

Why gauge fields are traceless Hermitian?

So I've had a read of this, and I'm still not convinced as to why gauge fields are traceless and Hermitian. I follow the article fine, it's just the section that says "don't worry about this ...
1
vote
1answer
71 views

Commutator of Gauge Covariant derivatives

What is the physical meaning of $$ [D_{\mu}, D_{\nu}] ~\propto~ F_{\mu, \nu}, $$ where $D_{\mu}$ is the gauge covariant derivative and $F_{\mu,\nu}$ is the field strength? Is it just a definition? ...
3
votes
1answer
78 views

Why is the gauge potential $A_{\mu}$ in the Lie algebra of the gauge group $G$?

If we have a general gauge group whose action is $$ \Phi(x) \rightarrow g(x)\Phi(x), $$ with $g\in G$. Then introducing the gauge covariant derivative $$ D_{\mu}\Phi(x) = ...
2
votes
3answers
189 views

Deriving cross product from angular momentum algebra

Is it possible to derive: \begin{equation} \hat{L}=\hat{r}\times \hat{p} \end{equation} from the angular momentum algebra: \begin{equation} [\hat{L}_i,\hat{L}_j]=i\ \hbar\ \epsilon_{ijk}\hat{L}_k\ ? ...
3
votes
2answers
67 views

Normalising Generators of a Lie Algebra

Ok, so I'm asking this in physics because I'm currently working through part of Srednicki's text on QFT, even though it's really a maths question. In Srednicki's chapter on non-Abelian gauge theory, ...
3
votes
1answer
51 views

Permissible combinations of colour states for gluons

My lecturer has said that there are 8 types of gluons (I'm assuming that the repetition of $r\bar{b}$ is a typo that is meant to be $r\bar{g}$) $$r\bar{b}, b\bar{r}, r\bar{g}, g\bar{r}, g\bar{b}, ...
17
votes
1answer
432 views

Why do we need complex representations in Grand Unified Theories?

EDIT4: I think I was now able to track down where this dogma originally came from. Howard Georgi wrote in TOWARDS A GRAND UNIFIED THEORY OF FLAVOR There is a deeper reason to require ...
1
vote
0answers
27 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
25 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 ...
0
votes
0answers
43 views

Why are the azimuthal quantum number $\ell$ and magnetic quantum number $m$ integers? [duplicate]

Why are the azimuthal quantum number $\ell$ and magnetic quantum number $m$ integers?
0
votes
0answers
43 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
75 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
34 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 ...
1
vote
0answers
37 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 ...
2
votes
0answers
62 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 ...
1
vote
1answer
68 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
99 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 ...
2
votes
1answer
118 views

Why is orbital angular momentum quantized according to $I= \hbar \sqrt{\ell(\ell+1)}$?

I simply have no idea how this result is found $$I=\hbar \sqrt{\ell(\ell+1)}.$$ The result seems to just be dumped in textbooks rather than explained. I can get the result that $I_z=\hbar m_j$. ...
1
vote
0answers
35 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 ...
2
votes
1answer
45 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 ...
1
vote
2answers
224 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
101 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 ...
0
votes
1answer
50 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
2answers
62 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 = ...