Questions tagged [lie-algebra]

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 gauge group's Lie algebra correspond to Noether currents and conserved quantities.

Filter by
Sorted by
Tagged with
0
votes
1answer
152 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 \...
-1
votes
0answers
42 views

(Anti-) De Sitter Algebra

In the (Anti) De Sitter Algebra, the "momenta" commute the following way $$[P_{\mu}, P_{\nu}] = \mp \frac{M_{\mu\nu}}{4L^2}.\tag{12.16}$$ This is taken from Page 251, Section 12.6.1, Equation 12.16 ...
-1
votes
0answers
49 views

Using Lie theory to understand $U=e^{i\mathcal{H}t}$ [duplicate]

Can we use the exponential map (lie theory) to understand how the Hamiltonian $\mathcal{H}$ gives rise to the unitary, and therefore compliments an essential property of the unitary operator (ie to ...
0
votes
1answer
41 views

A simple calculation in Peskin's and Schroeder's QFT book on page 608 chapter 18

I am trying to calculate the term: $$(t^a)_{ij} (t^a)_{kl}$$ In the book it's written that it equals to $$A\delta_{il}\delta_{kj}+B\delta_{ij}\delta_{kl}$$ and from using equation (18.40) $$tr[t^a](...
0
votes
0answers
29 views

Torsion form and exterior covariant derivative

The torsion form can be defined as the exterior covariant derivative of a solder form, $\Theta=d_\omega\theta$. This derivative is always in the fundamental representation of the algebra $\mathfrak g$ ...
1
vote
0answers
48 views

Why use $SU(3)$ and not $SL(3, \mathbb{R})$ for color charge? [duplicate]

Why do we use the group $SU(3)$ and not $SL(3, \mathbb{R})$ for color charge? As far as I can tell, the $SL(3, \mathbb{R})$ is volume and orientation preserving, by the fact that it has unit ...
0
votes
0answers
40 views

Regarding notation used for infintesimal parameters of the Lorentz algebra and generators of the Lorentz group

I have a confusion regarding the notation that is used for infintesimal Lorentz transformations and the parameters that define the Lorentz transformation (used in various books such as Srednicki's and ...
2
votes
1answer
205 views

Levi-Civita tensor and the Lorentz group generators in the vector representation

In the vector representation of the Lorentz group its generators are given by - $$(J^{\mu\nu})_{\alpha\beta} = i(\delta^\mu_\alpha\delta^\nu_\beta-\delta^\mu_\beta\delta^\nu_\alpha)$$ It can be ...
1
vote
3answers
87 views

Why the full conformal symmetry is $Vir\otimes \overline{Vir}$ instead of $Vir\oplus \overline{Vir}$

In 2D CFT, we have the Virasoro generators $L_m$ and the generators $\bar L_m$, which are such that $[L_m,\bar L_n]=0$. Hence I thought that the full conformal algebra was $Vir\oplus \overline{Vir}$. ...
0
votes
0answers
19 views

Physics-y resource request on Killing-Cartan forms

Most books that treat nonabelian gauge theory do not contain detailed discussion on Killing-Cartan forms, they'll usually just say that in $\text{SU}(N)$ Yang-Mills theory, one can choose generators $...
1
vote
2answers
61 views

$3+3$ representation of $SO(4)$

In Zee's Group Theory in a Nutshell book, he says that the antisymmetric tensor $A^{ij}$ furnishes a 6 dimensional representation of $SO(4)$. He further argues that this 6 dimensional representation ...
9
votes
1answer
915 views

Difference Between Algebra of Infinitesimal Conformal Transformations & Conformal Algebra

in Blumenhagen Book on conformal field theory, It is mentioned that the algebra of infinitesimal conformal transformation is different from the conformal algebra and on page 11, conformal algebra is ...
2
votes
1answer
101 views

Why is $\rm{Conf}(\mathbb{R}^{1,1}) = \rm{Diff}(S^1) \times \rm{Diff}(S^1)$ and not $ \rm{Diff}(\mathbb{R}) \times \rm{Diff}(\mathbb{R})$?

The Minkowski metric for $\mathbb{R}^{1,1}$ is $$ ds^2 = dt^2 - dx^2 = du dv $$ for coordinates $$ u = t + x \hspace{1cm} v = t - x $$ If you do any coordinate transformation that acts independently ...
3
votes
2answers
117 views

Global conformal group in 2D Euclidean space

This is a rather naive question, but I was just wondering. I know that the local conformal algebra of 2d Euclidean space is the direct sum \begin{equation} \cal{L}_0\oplus\overline{\cal{L}_0}, \end{...
0
votes
0answers
92 views

Virasoro algebra commutation (part 2)

This was a sub-question in my previous post that I ask separately now. In Introduction to Conformal Field Theory by Blumenhagen and Plauschinn (springer link) the Virasoro algebra is introduced the ...
0
votes
2answers
35 views

Eigenvalues of quadratic Casimirs of simple Lie groups

I want to find a generic formula for calculating eigenvalue of quadratic casimirs of Lie groups, in terms of Dynkin labels. For a simple example if we take $SU(2)$, with $[R]$ indicating the highest ...
0
votes
1answer
72 views

Show that when angular momentum $L_x$ and $L_y$ commute with operator $G$, then $L_z$ also commutes with $G$

I want to prove that if Angular momentum $L_x$ and $L_y$ commute with an operator $G$, angular momentum $L_z$ also commutes with $G$. if $[L_x , G] = [L_y, G] = 0$ then $[L_z , G] = 0$ I know that $...
0
votes
0answers
27 views

Calculating the Commutation Relation of the Generators of $SO(n)$ [duplicate]

I'm working through problems in the book Einstein Gravity in a Nutshell by Zee, and I'm stuck on one of the harder problems. The problem is Calculate $[J_{(mn)}, J_{(pq)}]$. We are given that $[J_{(...
1
vote
1answer
95 views

Virasoro Algebra commutation

In Introduction to Conformal Field Theory by Blumenhagen and Plauschinn (springer link) the Virasoro algebra is introduced the central extension of the Witt algebra. They give the central extension $$\...
0
votes
2answers
26 views

Angular velocity is $\dot{g}$ carried to the identity element of the group

I was reading the example below from Arnolds book I can't really understand why the angular velocity is $\dot{g}$ carried to the identity element of the group. I would appreciate if someone who ...
0
votes
1answer
24 views

Anticommutativity of an anticommutator of supercharges

In this paper, equation 38 gives the ${\cal N}=2$ Super-Poincare (extended with the central extension $\mathcal{Z}$). The anticommutation relation of the two different supercharges is given as: $$\{Q^...
0
votes
1answer
62 views

Representation and Lie algebra of $SO(3)$

Studyng the book Group Theory in Physics of Wu-Ki Tung, I have read: "... every representation of the [$SO(3)$] group is automatically a representation of the corresponding Lie algebra, (...) a ...
1
vote
0answers
36 views

Parametrizing $SU(2)$ with Hermitian matrices

There is something that is not clear to me Here is what I know: Pauli matrices are $\sigma_1 = \begin{pmatrix}0 & 1 \\ 1 & 0\end{pmatrix}$, $\sigma_2 = \begin{pmatrix}0 & -i \\ i & 0\...
0
votes
1answer
34 views

Lie Subgroups of $SL(2,\mathbb{R})$

I'm wondering about the Lie subgroups of $SL(2,\mathbb{R})$. It's Lie algebra is the algebra of real traceless matrices and has basis elements $$L_0 = \left( \begin{matrix} -1 & 0 \\ 0 & 1 \...
0
votes
0answers
26 views

Legal values of spin-1 field can take: $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$, ..?

For the spin-1/ boson field $A_\mu$, we may choose it to be a vector which needs to be real $\mathbb{R}$ usually for photon field. The field strength $F= dA$ is also real. Same for the nonabelian ...
5
votes
1answer
101 views

Why is supersymmetry a continuous symmetry?

Supersymmetry feels like a discrete symmetry to me, since the fermions are turning into bosons, and vice versa. I understand there is an infinitesimal parameter involved in the transformations, but I ...
3
votes
2answers
1k views

Commutation relations of the generators of the Lorentz group

$$ J^{\mu\nu} = i(x^\mu\partial^\nu-x^\nu\partial^\mu). \tag{3.16}$$ We will soon see that these six operators generate the three boosts and three rotations of the Lorentz group. To determine ...
1
vote
0answers
42 views

Commutation relation Lorentz Algebra

Related question, which I don't understand either. I think is easier to get the Lorentz group algebra as defined by Maggiore, $$ [J^{\mu\nu},J^{\rho\sigma}] = i(\eta^{\nu\rho}J^{\mu\sigma} - \eta^{\...
1
vote
1answer
64 views

Representations of the rotation group

(I have already done a similar question, but I did not express myself very well and the question was a bit confusing, so let me try again. If you find the question repetitive, I apologize and you can ...
0
votes
1answer
59 views

Generators of conformal transformations change of basis

I recently started going through Introduction to Conformal Field Theory by Blumenhagen and Plauschinn ( springer link ). On page 11, they glue together the generators of conformal transformations as ...
0
votes
1answer
89 views

$\mathrm{SU}(2)$ as a representation of the rotation group

I have read in a book that the group $\mathrm{SU}(2)$ is one of the irreducible representations of the rotation group. The book begin saying that the rotation group has 3 generators $J_{1}, J_{2}$ and ...
0
votes
2answers
55 views

How to prove $(α·σ)(β·σ) = α·β +iα×β·σ$ (where, $α$ and $β$ are 3 dimensional vectors and $σ$ represents Pauli matrices)?

I tried to evaluate the LHS first and obtained the first term of RHS easily. Then i tried to use the commutation relations of $\mathrm{SU}(2)$ group to proceed further to obtain the second term of the ...
2
votes
1answer
95 views

Factorization of exponential of broken generators in parametrization of scalar multiplet in non-abelian SSB

Describing abelian symmetry breaking in his book on gauge theories, after favouring a vacuum (whose expectation value is $v$) from the symmetric continuum, Quigg parametrize the complex scalar as $$ ...
3
votes
1answer
305 views

Hamiltonian symmetry Lie algebra

What is the connection between complete set of commuting observables and generators of the Lie group? I have a Hamiltonian written down in second quantized formalism and I also checked that it ...
1
vote
3answers
78 views

What does $X|n\rangle \propto |n+c\rangle$ mean?

$\renewcommand{\ket}[1]{\left \lvert #1 \right\rangle}$ I'm transcribing below (but see edit history for a scan) a calculation from pg 17 of this article on Lie groups and Lie algebras $$ [N,X]=cX....
1
vote
0answers
31 views

Is it always possible to move to the “Cartan Gauge”?

Forgive me for potentially coming up with a new name for what I am about to describe. Let's say we have a scalar field $\phi^a$ which transforms with respect to the adjoint representation of some Lie ...
1
vote
1answer
40 views

Gauge group of Electroweak theory

I am doing a question that asks me to identify the gauge groups of a Lagrangian with the field strength tensors $$\bf{F}_{\mu \nu} = \partial_{\mu}\bf{W}_{\nu} - \partial_{\nu} \bf{W}_{\mu} - g\bf{...
31
votes
3answers
2k 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
44 views

Error with generators of Lorentz group (basis of Lorentz Lie algebra) [closed]

Can someone help me figure out why my $J_y$ is incorrect? :/ It's supposed to be \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & -...
1
vote
2answers
79 views

Symplectic group $Sp(2N)$ in Srednicki's book

There is a question in Mark Srednicki's Book (Problem 24.4, p.160) about $Sp(2N)$, but I am not sure I understand the significance (application?) of this group. In that chapter, he talks about $SO(N)$ ...
6
votes
4answers
214 views

Why in QFT what really matters is $\exp(\mathfrak{so}(1,3))$ instead of $O(1,3)$?

In QFT fields are classified according to representations of the Lorentz group $O(1,3)$. Now, most books when getting into this say that in order to understand the representations of $O(1,3)$ we need ...
1
vote
2answers
103 views

Hypercharge normalization for $SU(5)$ GUT

Reading about $SU(5)$ unification, texts says that they use the renormalization factor $\sqrt{3/5}$ for weak hypercharges in order to embed SM into a $SU(5)$ group. This implies a new $U(1)_Y$ ...
1
vote
1answer
37 views

Product of generators in fundamental representation of $SU(N)$

I'm trying to prove equation 25.20 in Schwartz: $$T^a T^b=\frac{1}{2N}\delta ^{ab}+\frac{1}{2}d^{abc}T^c + \frac{1}{2}if^{abc}T^c,\tag{25.20}$$ where $T^a$ are the fundamental representation ...
1
vote
0answers
23 views

Connection between Classical and Quantum symmetries

I am an advanced undergraduate student.I would like to know about the importance of symmetry in classical and quantum mechanics.Also a good book concerning the connection between symmetries of ...
0
votes
1answer
69 views

Reference request for Lie algebras

My future adviser just published a beautiful paper, https://arxiv.org/abs/1904.08304, and I am looking for some references/textbooks to look into the following concepts: Lie algebra (central) ...
0
votes
1answer
131 views

Quantum spin, tensor product: a long time relationship

Anyone who has studied quantum mechanics know the following relation: $ 2 \otimes 2 = 3 \oplus 1 $ But how did a man woke up and said "Hell yeah, I'll use tensor product of two spin $1/2$ to simulate ...
7
votes
1answer
191 views

What Lie group structure is used for infinite-dimensional Unitary Groups in Quantum Mechanics?

Given an infinite-dimensional Hilbert space $H$, the set $U(H)$ of all unitary operators on $H$ forms a group, known as the unitary group. Now several subgroups of this group play an important role ...
2
votes
4answers
491 views

Why does the Lie algebra corresponding to the unitary group contain Hermitian operators?

I saw an awesome derivation of Schrodinger's equation on Wikipedia. Part of it relies on: We also know that when $t' = t$, we must have the unitary time evolution operator $U(t, t) = 1$. Therefore, ...
0
votes
2answers
53 views

Lie algebra vs. position and momentum commutators

Most theoretical texts on high energy physics make statements like below: $$[A_i , A_j] = i C^k_{i,j} A_k $$ (I suppose $\hbar$ may or may not be needed) and of course they describe this as being ...
1
vote
1answer
56 views

How are Dunkl operators used in Hamiltonian mechanics?

I am currently doing a math research project on the representation theory of Cherednik (double affine Hecke) algebras, specifically the algebra $\mathcal{H}_{t,c}(\mathfrak{S}_n,\mathfrak{h})$, which ...