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
1
vote
0answers
26 views

There is a classification of matrix representations of Euclidean group $\mathrm{E}(n)$ (also called $\mathrm{ISO}(n)$)?

I'm wondering if someone has already done a classification of matrix representations of the Euclidean group $\mathrm{E}(n)$, more specifically I'm trying to classify $\mathrm{E}(2)$. I watched a ...
3
votes
1answer
48 views

Fierz identity for symplectic group

For the fundamental representation of $SU(N)$, there is a Fierz identity: $$ \sum_iT^i_{ab}T^i_{cd}=\frac{1}{2}\left(\delta_{ad}\delta_{bc}-\frac{1}{N}\delta_{ab}\delta_{cd}\right) $$ where $T^i$ is ...
6
votes
1answer
99 views

If Poisson Bracket of Momentum and Position is non-zero, why no Uncertainty Principle?

In Hamiltonian classical mechanics, we have that the Poisson bracket of position and momentum satisfies $$\{q_i, p_j\} = \delta_{ij}$$ But this implies that momentum and position 'generate' changes ...
0
votes
0answers
28 views

Generators of 2D global conformal group in terms of differential operators?

I'm looking for a reference that lists generators of two dimensional global conformal group on a complex sphere in terms of differential operators that may act on quasi primary fields $\phi(z,\bar z)$....
13
votes
4answers
2k views

Why Lie algebras if what we care about in physics are groups?

In physics, we want irreducible representations of the symmetry group of our system. However, one frequently sees representations of the corresponding Lie algebra being studied instead. Is it that in ...
5
votes
2answers
168 views

What is a Borel subalgebra?

Borel subalgebra appears here https://arxiv.org/abs/hep-th/9508170 in the context of quantum double of $SU(2)$. I request a layman explanation of what a Borel subalgebra is.
0
votes
1answer
46 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
30 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
41 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 ...
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
3answers
89 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}$. ...
1
vote
2answers
66 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 ...
2
votes
1answer
102 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 ...
0
votes
2answers
36 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
78 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_{(...
0
votes
0answers
93 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
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
65 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
1answer
96 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 $$\...
1
vote
1answer
83 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
27 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 ...
1
vote
0answers
43 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^{\...
5
votes
1answer
104 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 ...
1
vote
1answer
65 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
63 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
90 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 ...
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
43 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{...
1
vote
0answers
45 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
83 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)$ ...
1
vote
2answers
107 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
42 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
24 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 ...
6
votes
4answers
234 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 ...
0
votes
1answer
71 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) ...
7
votes
1answer
204 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 ...
0
votes
2answers
54 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 ...
1
vote
1answer
66 views

What is the trace in the Chern-Simons action

I have been looking at the Chern-Simons Lagrangian in $(2+1)$-dimensional spacetime $M$ in terms of a gauge field $A$: $$ S[A] = \frac{k}{4 \pi}\int_M \text{Tr}(A \wedge \text{d}A+ \frac{2}{3}A \...
1
vote
1answer
60 views

Structure constants in Lie Algebra

As a nit-picking question, I wanted to clarify a point of confusion. This arises from definitions found in a plethora of books, lectures notes and even the Wikipage on structure constants and Lie ...
0
votes
0answers
34 views

Lie Algebra in Particle Physics

In his book " Lie Algebra in Particle Physics" Georgie directly put the relation $$(1-P)D(g)(1-P)=D(g)(1-P)...(1)$$ This came from the two previous relations: $$PD(g)P=D(g)P$$ $$PD(g)P=PD(g).$$ where ...
1
vote
1answer
87 views

Parameter space of $SO(3)$ and $SU(2)$

Is it parameter space of $SO(3)$ and $SU(2)$ are same? can we use quaternions to represent both groups? what about their connectedness?
1
vote
1answer
81 views

Lie algebra: Proof that the commutator of infinitesimal motions is an infinitesimal motion

I am following Classical and Quantum Mechanics via Lie Algebras by Neumaier and Westra. Setup I am stuck at part of Thm 2.3.1. Consider the matrix group $\mathbb{G}$. The set of $\mathbb{G}$-motions ...
2
votes
3answers
251 views

If infinitesimal transformations commute why don't the generators of the Lorentz group commute?

If infinitesimal transformations commute as proved e.g. on this mathworld.wolfram page, why are the commutators for the generators of the Lorentz group nonzero?