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

0
votes
0answers
26 views

Glauber formula, Baker

somewhere I read here: $[A,F(B)]=[A,B]F'(B)$ is used to prove Glauber's formula $\exp(A+B).\exp([A,B]/2)$ I have tried and looked everywhere to try and understand this to no avail. The first is in ...
1
vote
2answers
46 views

What is the diagonal $U(1) \subset SU(2)$ and the diagonal $u(1) \subset su(2)$?

What is meant by the diagonal $U(1) \subset SU(2)$ and the diagonal $u(1)\subset su(2)$? I have read it above eqn. (10) in this paper http://arxiv.org/abs/0812.3572 but have also heard it mentioned in ...
1
vote
1answer
76 views

Virasoro Algebra vs Witt Algebra

I'm reading some notes on CFT, and there's a strange topic that I find quite confusing. We define the Witt algebra to be the generators of conformal transformations on the complex plane. $l_n = ...
2
votes
1answer
108 views

Question on quotient groups and SLOCC [closed]

I have a math-physics question, which is based on an interest in SLOCC systems for black hole entanglement. The Cartan decomposition of a group $G$ such that $H = G/K$ is such that the derivation or ...
-1
votes
0answers
19 views

Algebra of conformal transformation in 2D

In case of 2 dimensional conformal field theory the infinitesimal change in the coordinate satisfy the Cauchy Riemann conditions, so we can say that 2d conformal transformation is nothing but the ...
3
votes
0answers
21 views

Equivariance Relation - Superconformal Hypermultiplets

I'm concerned with equation 2.24 of http://arxiv.org/abs/1601.00482 The superconformal hypermultiplets in this paper have a conic hyperkahler target manifold and the authors want to gauge some ...
4
votes
1answer
103 views

Integrating elements of a Lie group with respect to parameters of the corresponding Lie algebra

I am working with an operator $\textbf{M}$ that is represented by the Lie group SO(1,3), thus it can be written as, $$ \textbf{M} = \exp{\textbf{L}} $$ where, $$ \textbf{L} = \begin{bmatrix} ...
1
vote
0answers
26 views

Spontaneous symmetry breaking of scalar multiplet theory

Consider a theory with two multiplets of real scalar fields $\phi_i$ and $\epsilon_i$, where $i$ runs from $1$ to $N$. The Lagrangian is given by: $$\mathcal L = \frac{1}{2} (\partial_{\mu} \phi_i) ...
7
votes
2answers
115 views

Lie groups with same algebra

I had a problem when considering symmetry breaking in an SO(4) gauge theory: $\mathcal{L} = \left| D_\mu\phi \right|^2$ where $D_\mu$ is the SO(4) covariant derivative. Then assuming there is some ...
-2
votes
1answer
42 views

Doesn't modelling using Lie Groups assume spacetime is continuous?

Lie groups are used to some behaviors of quantum mechanics, as well as forming a basis for Kaluza-Klein, Yang-Mills, and String theory. But Lie groups are defined as involving a differentiable ...
0
votes
0answers
27 views

Construct any Hamiltonian that is the linear combination of existing constructable Hamiltonians

In the paper Quantum Computation over Continuous Variables, it states that since $$e^{iAt}e^{iBt}e^{-iAt}e^{-iBt} = e^{-[A,B] t^2} + O(t^3)$$ when $t\rightarrow 0$, if one can apply a set of ...
0
votes
1answer
25 views

Decomposition of the adjoint representation of a spontaneously broken compact group

Let be $G$ a compact group, symmetry of the theory I am working with. $G$ is broken into one subgroup $H$. I define the generators of G as $T_A = \{T_a,T_\hat{a}\}$, where the first are the unbroken ...
4
votes
0answers
63 views

Why are generators defined oppositely in Weinberg's vs. Maggiore's QFT books?

I've been confused about the sign conventions used in Weinberg's QFT book for a long time. Here's my question: The generators $J^{\mu\nu}$ are defined in this book as ...
1
vote
1answer
40 views

ADHM construction and Momentum Map

while I was reading about ADHM construction I had some troubles with precise geometrical identification of the various quantities. My doubts is well manifest in these two Wikipedia pages 1) ADHM ...
0
votes
1answer
86 views

Does Operator Product Expansion form an algebra?

The operator product algebra in CFT is defined as $$\mathcal{O}_i(z,\bar{z})\mathcal{O}_j(\omega,\bar{\omega}) = \sum_{k} C^k_{ij}(z-\omega,\bar{z}-\bar{\omega})\mathcal{O}_k(\omega,\bar{\omega}).$$ ...
1
vote
1answer
33 views

Structure constant of the commutators of generators in broken symmetry

When I read a paper related to spontaneously global symmetry breaking, I cannot understand a statement: If we use the notation $T^i$ for the unbroken group generators in $H$ and $X^a$ the broken ...
0
votes
2answers
72 views

Commutator relationships and the exponential

I am currently trying to prove that the two following commutator relationships are equivalent (for an operator $\hat{A}(s)$ that depends on a continuous parameter $s$), so if one holds the other one ...
0
votes
2answers
62 views

Good reference on the parametrization of $SU(3)$ and $SU(N)$

For the 2-dimensional $SU(2)$ matrices, there is a fairly general parametrization formulation: $s_2=\begin{bmatrix} e^{i\alpha}\cos(\theta) & -e^{-i\beta}\sin(\theta) \\ ...
2
votes
0answers
66 views

Use Cartan subalgebra in spinor representation to find weights of vector representation

For $SO(2n)$ we can construct the lie algebra elements by using antisymmetric combinations of $\gamma_\mu$ which obey the Clifford algebra. Up to some prefactor the elements $ S_{\mu \nu} = \alpha ...
0
votes
0answers
22 views

Why should an generator acts on an operator with the Lie bracket?

When we deal with ordinary symmetries which form a Lie group, we have an corresponding Lie algebra with a structure of Lie bracket $[,]$. A infinitesimal transformation can act on a state or an ...
1
vote
1answer
75 views

Decomposition of tensor product space into direct sum [closed]

Consider a tensor product space of two representations $j = \frac{3}{2}$ and $j = 1$. How to show $4 \otimes 3 = 6 \oplus 4 \oplus 2$?
3
votes
1answer
176 views

Invariant tensors in a general representation and their physical meaning

I'm trying to use tensor methods to find invariant elements of representations. Specifically I'm looking at representations of $SU(5)$. I can show that the invariant element in $5\otimes\bar{5}$ (or ...
1
vote
1answer
64 views

How to normalize matrix representations properly?

In the convention, where the Dynkin index $Tr(T_a T_b)$ of the lowest-dimensional representation is $\frac{1}{2} \delta_{ab}$, how can I normalize a given set of matrices properly? For example, given ...
1
vote
1answer
50 views

Finding the proportionality constant of the Quantum Angular Momentum raising operator $T_{+}$ [closed]

This is a question about the mathematics of angular momentum operators in Quantum Mechanics- specifically a recursive relation from Robert Cahn's Semi-Simple Lie Algebras and their Representations ...
5
votes
1answer
186 views

Clever way to show a property of Lie transformation

Given the following Lie transformation: $$ \exp(\lbrace H, \cdot \rbrace):=\sum_{n=0}^{\infty} \frac{(\lbrace H, \cdot \rbrace)^n}{n!} $$ and apply it to a Poisson Bracket $\lbrace g_1, g_2 ...
0
votes
0answers
43 views

Angular momentum $J_z$, how do we get eigenvalue of $m\hbar$?

If we have angular orbital momentum for $z$-direction, we assume that for state $|j,m>$ that eigenvalue is $m\hbar$. Similarly for $J^2$, we assume $j(j+1)\hbar^2$ Can I get reference of ...
5
votes
0answers
61 views

$(\frac{1}{2},\frac{1}{2})$ and $(\frac{1}{2},0)\bigoplus (0,\frac{1}{2})$ [duplicate]

I am confused about the notation. What's the differences between $(\frac{1}{2},\frac{1}{2})$ and $(\frac{1}{2},0)\bigoplus (0,\frac{1}{2})$, or maybe $(\frac{1}{2},0)\bigoplus (\frac{1}{2},0)$ ? ...
1
vote
2answers
132 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{2N}{d}\delta^{AB}\cdot1_{d} + ...
3
votes
1answer
56 views

Broken symmetries realized nonlinearly

I'm trying to understand some concepts of spontaneous symmetry breaking, I'll write first the statement that I can't understand and later my questions. STATEMENT Consider a group $G$ and a subgroup ...
5
votes
1answer
89 views

Nonabelian global symmetries, $SO(N)$ charges in terms of creation and annihilation operators

Consider an $SO(N)$ symmetric theory of $N$ real scalar fields,$$\mathcal{L} = {1\over2} \partial_\mu \Phi^a \partial^\mu \Phi^a - {1\over2} m^2 \Phi^a \Phi^a - {1\over4} \lambda (\Phi^a ...
2
votes
1answer
131 views

$SU(3)$ Tensor Methods in a Tetraquark

I am trying to understand the Georgi chapter of tensor methods in $SU(3)$ representations, and I don't know how to resolve the tensor product of 2 matrices in a 2 heavy quark + 2 light antiquark ...
4
votes
1answer
87 views

$SO(N)$ symmetric theory of $N$ real scalar fields, why do charges have correct commutation relations of generators?

Consider an $SO(N)$ symmetric theory of $N$ real scalar fields,$$\mathcal{L} = {1\over2} \partial_\mu \Phi^a \partial^\mu \Phi^a - {1\over2} m^2 \Phi^a \Phi^a - {1\over4} \lambda(\Phi^a ...
4
votes
0answers
90 views

How to obtain Thomas Precession from lie algebra of the Lorentz group? [closed]

it seems to be possible that you can get the Thomas Precession just through the commutation relations of the Lorentz group. With Thomas Precession i mean, that in general the product of two boosts is ...
0
votes
1answer
56 views

Calculate mean number of particles of time evolution coherent state [closed]

I seem to be missing some identities. I know you need to calculate P_n = |<n|alpha_t>|^2 and mean number of particles is the infinite sum of nP_n. However I ...
1
vote
0answers
49 views

The universal covering group of a symmetry group [duplicate]

In Weinberg QFT Vol.1, it says one can enlarge the symmetry group $H$ to the universal covering group $C$ such that one obtains a trivial cocycle or $C$ is simply connected whereas $H$ is not. I get ...
2
votes
1answer
152 views

What does Addition of Angular Momenta tell us about Group Theory?

I've come across this a lot, but I've never understood it. I do know basic Group Theory including Lie Groups. In Introduction to Quantum Mechanics, Griffiths ends the chapter on spin with the remark ...
5
votes
1answer
124 views

How to find symmetry transformations?

For a given Lagrangian $$ {\cal L} = - \frac{1}{4} F_{\mu \nu} F^{\mu\nu} + |D_{\mu} \phi|^2 -V (\phi) $$ with $\phi = \frac{1}{\sqrt{2}} (\phi^1 + i \phi^2)$, there are the infinitesimal local ...
0
votes
1answer
28 views

How proof the Lorentz algebra using the Poincaré algebra? [closed]

Show that $$[J_{i},J_{j}]=i\varepsilon_{ijk}J_{k},\quad [K_{i},K_{j}]=-i\varepsilon_{ijk}J_{k}, \quad [J_{i},K_{j}]=i\varepsilon_{ijk}K_{j},$$ using ...
4
votes
1answer
46 views

Spin $\frac{3}{2}$ representation in Georgi's book?

Georgi's book Lie Algebras in Particle Physics 2ed equation 3.32 lists the spin operators in the spin $\frac{3}{2}$ representation as: $$J_1=\left( \begin{array}{cccc} 0 & \sqrt{\frac{3}{2}} ...
2
votes
3answers
100 views

Showing a mapping between $SU(2)$ and $SO(3)$

I know this has been done on this site in a different manner but I'm wondering if it's possible to show the 2:1 Lie group homomorphism between $SU(2)$ and $SO(3)$ using exponentials of the generators ...
0
votes
1answer
82 views

Pauli matrices identity with no repeating indices

I was just wondering if there is a proof of, or an example utilizing the following relation: ...
20
votes
1answer
483 views

Why exactly do sometimes universal covers, and sometimes central extensions feature in the application of a symmetry group to quantum physics?

There seem to be two different things one must consider when representing a symmetry group in quantum mechanics: The universal cover: For instance, when representing the rotation group ...
2
votes
1answer
81 views

Why is the Mixed Faraday Tensor a matrix in the algebra so(1,3)?

The mixed Faraday tensor $F^\mu{}_\nu$ explicitly in natural units is: ...
2
votes
2answers
154 views

Is there any $SU(\infty)$ gauge theory in quantum field theory?

The groups $U(N)$ and $SU(N)$ are the most important Lie groups in quantum field theory. The most popular are the $U(1),SU(2),SU(3)$ groups (these gauge groups form the Standard model). But is there ...
0
votes
0answers
29 views

Dilations in momentum space

I don't quite understand what's going on here. Let's suppose I have a dilation in real space. The generator is $D=x^j \partial_j$, so an infinitesimal dilation is $\delta x^i = Dx^i = x^j \partial_j ...
6
votes
1answer
133 views

Why complexify in order to construct Dirac representation?

Suppose we have a theory is covariant under the Spin group Spin(2n-1; 1). We consider the real vector space $V = R^{2n-1,1}$, which naturally comes with a Lorentzian inner product. On this vector ...
3
votes
5answers
399 views

Eigenspaces of angular momentum operator and its square (Casimir operator)

The casimir operator $\textbf{L}^2$ commutates with the elements $L_i$ of the angular momentum operator $\textbf{L}$: $$ [\textbf{L}^2, L_i] = 0. $$ However, the $L_i$ do not commute among ...
-1
votes
1answer
98 views

Derivation of the Lorentz algebra explicity [closed]

I need the complete proof for commutation relation of the Lorentz group generators. The proof of Lorentz algebra using this commutation relation.
2
votes
0answers
48 views

Thomas precession, Lie algebra of the Lorentz group and the conservation of energy

If you read this post Thomas Precession, you will see a very good answer by WetSavannaAnimal, on the subject of Thomas Precession, which I am currently working my through, in conjunction with some ...
1
vote
0answers
53 views

Given a VEV how can I compute which generators remain unbroken using tensor methods?

This is a follow up to this question. A generator $T_a$ of a given gauge group $G$ remains unbroken after some Higgs field $\Phi$ gets a vev if $$ T_a \langle\Phi\rangle =0 $$ I'm trying to ...