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

2
votes
0answers
16 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 ...
0
votes
0answers
39 views

Pauli matrices and $SU(4)$ [closed]

together with the 2-dim identity matrix, the pauli matrices build a basis of the vector space of the 2x2 hermitian matrices. The set of i*pauli matrices build a basis for the SU(2). Assuming, we ...
4
votes
1answer
100 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
23 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) ...
-1
votes
0answers
81 views

Transformation properties of $2 \times 2$ matrix involving Pauli matrices

Suppose the vector $\phi$ transforms under $SU(2)$ as: $$\phi' = (\exp(-i \alpha \cdot t))_{ij}\phi_j,$$ where $(t_j)_{kl} = −i \epsilon_{jkl}$ and $j, k, l \in \left\{1, 2, 3\right\}.$ Based on ...
7
votes
2answers
110 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 ...
-1
votes
1answer
40 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
23 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
61 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
81 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
32 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
71 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
59 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
64 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
21 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
71 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$?
2
votes
1answer
164 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 ...
2
votes
1answer
61 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
48 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
184 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
42 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
60 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
119 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
55 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
87 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
0answers
66 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
85 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
86 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
55 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
48 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
142 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
123 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
26 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
98 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
80 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
440 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
73 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
152 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
27 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
127 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
383 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
96 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
46 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
111 views

Quadratic Casimir Operator of $SO(5)$ [closed]

In the article A Four Dimensional Generalization of the Quantum Hall Effect, arXiv:cond-mat/0110572, by Zhang and Hu Quadratic Casimir operator for $SO(5)$ is given as $$p^2/2+q^2/2+2p+q .$$ When ...
1
vote
0answers
51 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 ...
3
votes
1answer
170 views

The derivation of the irreducible representations of the Lorentz group

I took the way of classification of Lorentz group representations from Sexl, Urbantke, Relativity, groups and particles (Germ. ed. 1975). But I don't understand it as I outline in the following: In ...
3
votes
2answers
311 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, $$ ...