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
2
votes
1answer
104 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
129 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
101 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
40 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
82 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
105 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
25 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^...
1
vote
1answer
73 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 ...
0
votes
1answer
35 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 ...
5
votes
1answer
107 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
61 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
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
67 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
92 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
59 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
99 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 $$ ...
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
49 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
49 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
91 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
246 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
1answer
53 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
26 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
73 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
206 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
617 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
58 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
58 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
77 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
72 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
35 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
98 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?
2
votes
3answers
264 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?
1
vote
1answer
90 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 ...
5
votes
2answers
208 views

How do the properties of a Lie group (represented as a manifold) manifest in the metric tensor of that manifold?

I know this is a math question; however, physicists are more likely to be familiar with what I'm asking (also, I'm directly trying to utilize it in the context of general relativity). I may have ...
3
votes
2answers
351 views

Trace of generators of Lie group

In most textbooks (Georgi, for example) a scalar product on the generators of a Lie Algebra is introduced (the Cartan-Killing form) as $$tr[T^{a}T^{b}]$$ which is promptly diagonalised (for compact ...
6
votes
3answers
2k views

The anticommutator of $SU(N)$ generators

For the Hermitian and traceless generators $T^A$ of the fundamental representation of the $SU(N)$ algebra the anticommutator can be written as $$ \{T^A,T^{B}\} = \frac{1}{d}\delta^{AB}\cdot1\!\!1_{d} +...
6
votes
2answers
196 views

Geometric interpretation of the second Bianchi identity?

Assuming a torsion free Christoffel symbol, the covariant derivative can be shown to satisfy the second (differential) Bianchi identity: \begin{equation} [[\nabla_a,\nabla_b],\nabla_c]+[[\nabla_c,\...
12
votes
2answers
3k views

What exactly is the connection between the Jacobi and Bianchi identities?

While reviewing some basic field theory, I once again encountered the Bianchi identity (in the context of electromagnetism). It can be written as $$\partial_{[\lambda}\partial_{[\mu}A_{\nu]]}=0.$$ ...
2
votes
1answer
344 views

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

I am reading the textbook "Weak Interactions" by Howard Georgi which can be found in his homepage. Here, I am trying to solve problem 1b-2. The problem is given as follows. Consider the ...
0
votes
0answers
47 views

Simultaneous shifted diagonalization of bunch of operators

I have the following Lie algebra which is generated by $\{L_n|n\geq 0\}.$ It satisfies the following commutation rule $$ \Big[ L_i ,L_j \Big]= (i-j)(L_{i+j}-\frac14 L_{i+j-1}).....*$$ My question is ...
10
votes
4answers
2k 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 ...
2
votes
0answers
42 views

Bosonic commutation relations for force carriers?

Why are force carriers bosons? The easiest answer that I can give myself is that the gauge field $A_\mu$ is introduced like this: $$ \partial_\mu \rightarrow D_\mu = \partial_\mu+ieA_\mu, $$ so it ...
3
votes
2answers
97 views

Kac-Moody algebra from WZW model via Poisson brackets

In 'Non-abelian Bosonization in Two Dimensions', Witten shows that the Poisson brackets of the currents that generate the $G\times G$ symmetry of the WZW model give rise to a Kac-Moody algebra upon ...