Group theory is a branch of abstract algebra. A group is a set of objects, together with a binary operation, that satisfies four axioms. The set must be closed under the operation and contain an identity object. Every object in the set must have an inverse, and the operation must be associative. ...

learn more… | top users | synonyms

6
votes
1answer
209 views

How to construct an isomorphism between the Complexified Special Linear Lie Group and the Special Unitary Group?

This may be an unenlightening question, but I'm just not sure about the result and hoping someone can help me varify it. $\\$ This question is related to these three questions. $\\$ I want to ...
2
votes
1answer
69 views

$SU(3)$ irreducible representations with tensor method

I am dealing with the tensor product representation of $SU(3)$ and I have some problems in understanding some decomposition. 1) Let's find the irreducible representation of $3\otimes\bar{3}$ we have ...
3
votes
1answer
117 views

Group theoretic way to find charges after SSB

I was wondering what is the group theoretic way to find the resulting charges of matter fields after a scalar field is given a vev. In the case of the EW symmetry breaking, one can directly read the ...
3
votes
1answer
79 views

Subgroup of Lorentz Group Generated by Boosts

It is common knowledge that a composition of boosts is not a boost, but involves a rotation. Further, in discussions of Thomas precession, it is often stated that boosting in $x$, then $y$, then back ...
0
votes
0answers
31 views

Uses of the accidental isomorphism $SO(5)\sim Sp(2)$?

Some of the accidental isomorphisms of low dimensional Lie algebras have very important applications in physics. The theory of angular momentum makes use of the fact that $SO(3)\sim SU(2)$. ...
2
votes
1answer
43 views

$SU(2)$ generators and creation annihilation operators

The algebraic method to find the irreducible representation of the $SU(2)$ group makes use of the operators: $$J_z\\J_+=\frac{1}{\sqrt{2}}(J_x+iJ_y)\\J_-=\frac{1}{\sqrt{2}}(J_x-iJ_y)$$ In the book ...
2
votes
2answers
83 views

What's the degree of freedom of this kind of matrix?

We first have a unitary matrix $$\{a_{ij}\}\quad(n\times n)$$ I know how to calculate its degree of freedom, which is $n^2$ if we consider a real variable as one degree of freedom. Now we have a ...
0
votes
0answers
14 views

Explanation for orientation entanglement

I have to write a summary for "orientation-entanglement": the state of an object/subsystem depends in general not only (locally) on its configuration in space, but also (nonlocally) on its topological ...
2
votes
0answers
20 views

Group theory of quark model [closed]

I am trying to understand the group theoretical aspects of quark model. In chapter 11 - Hypercharge and Strangeness- in the book titled 'Lie Algebras in Particle Physics' by H. Georgi, I am not able ...
0
votes
0answers
17 views

normal degeneracy and the “span” of an irreducible representation

In Tinkham's "Group Theory and Quantum Mechanics", Tinkham defines normal degeneracy so that the span of the action of the Hamiltonian's symmetry group on any energy eigenstate yields all possible ...
5
votes
1answer
76 views

Complete derivation of generator of rotations

I have been look all across the internet and every book I could find trying to get a full derivation of the generator of rotations and more specifically angular momentum as a generator of rotations. I ...
1
vote
2answers
53 views

Half-integer spin and infinitesimal rotations

On p. 692 of 'Quantum Mechanics' by Cohen-Tannoudji, he states that: Every finite rotation can be decomposed into an infinite number of infinitesimal rotations, since the angle of rotation can ...
12
votes
1answer
403 views

How to evaluate this sum of coupling coefficients?

I would like to evaluate the following summation of Clebsch-Gordan and Wigner 6-j symbols in closed form: $$\sum_{l,m} C_{l_2,m_2,l_1,m_1}^{l,m} C_{\lambda_2,\mu_2,\lambda_1,\mu_1}^{l,m} \left\{ ...
1
vote
1answer
242 views

Is the spin 1/2 rotation matrix taken to be counterclockwise?

The spin 1/2 rotation matrix around the $z$-axis I worked out to be $$ e^{i\theta S_z}=\begin{pmatrix} \exp\frac{i\theta}{2}&0\\ 0&\exp\frac{-i\theta}{2}\\ \end{pmatrix} $$ Is this taken to ...
0
votes
0answers
29 views

How is SO(2) compact according to this definiton? [migrated]

According to MathWorld, a compact Lie group is a group whose parameters vary over a closed interval. I'm not sure if this definition is rigorous enough. I've also seen a similar definition here: ...
1
vote
1answer
56 views

Problem with determining number of goldstone bosons

Consider a theory $$\mathcal{L}=(\partial_\mu\Phi^\dagger)(\partial^\mu\Phi)-\mu^2(\Phi^\dagger\Phi)-\lambda(\Phi^\dagger\Phi)^2$$ where $\Phi=\begin{pmatrix}\phi_1+i\phi_2\\ ...
8
votes
4answers
262 views

Seeking a quality plain-language description of the Wigner-Eckart theorem

I'm a third year physics undergrad with a very cursory knowledge of quantum mechanics and the formalism involved. For instance, I understand roughly how tensors work and what it means for a tensor to ...
1
vote
0answers
43 views

Why use class multiplication to describe topological entangling and merging?

I'm studying some references about topological defects in ordered media like Soft matter physics: An introduction by Kleman and the Review modern physics paper The topological theory of defects in ...
2
votes
0answers
38 views

Finding Casimir operators for the Poincare group $ISO(1,2)$

I was asked to write the generators for translations and Lorentz-transforms in 1+2 dimensions and then to find the Casimir operators. For the generators I can take the same ones as in 1+3 case ...
0
votes
0answers
13 views

The Wigner 3j-Symbol and Kronecker delta

If you look up the definition of the Wigner 3j-Symbol (e.g. on Wolfram) you'll find $m_1+m_2=M$ must be satisfied. Does that mean that, for an arbitrary Wigner 3j-Symbol I could replace: $ ...
0
votes
1answer
102 views

Coordinate system for crystallographic groups

In the International Tables for Crystallography for each crystallographic group an asymmetric unit is supplied (mathematicians call this a fundamental domain of the group). This region is a bounded ...
5
votes
2answers
171 views

Is a spinor in some sense connected to space?

Spinors transform under the representation of $SL(2,\mathbb{C})$ which is the double cover of the Lorentz group $SO(1,3)$ - or in the non-relativistic case under $SU(2)$, the double cover of $SO(3)$. ...
5
votes
2answers
81 views

SU(3) antiquark triplet transformation

I'm reading a rather elementary particle physics text, Modern Particle Physics by Thomson. He is staying away from the heavy group theoretic stuff. He derives the transformation law for an SU(2) ...
0
votes
1answer
53 views

Is the fundamental representation of $SU(3)$ irreducible?

I want to check if the fundamental representation of $SU(3)$ is irreducible. The algebra is $$\mathbb{su}(3) = \{ m \in Mat(3,\mathbb{C} )\ |\ m = -m^+,\ Tr[m] = 0 \}$$ and I've found the generators. ...
0
votes
2answers
50 views

How would I relate $\Lambda=e^{-i\omega_{\mu\nu}J^{\mu\nu}/2}$ to the Lorentz boost matrix?

$\omega_{\mu\nu}$ contains infinitesimal parameters and $J^{\mu\nu}$ contains generators of boost and rotation. Any 4-vector transforms as $p^\mu=\Lambda^\mu_\nu p^\nu$. Starting from given ...
2
votes
0answers
51 views

Relation between representations/classifications

Generally a quantum system can be characterized in the following way: its states form a representation space for every symmetry group of that system. The representation has to be unitary (or ...
2
votes
1answer
205 views

Does the low-energy gauge structure depend on the choice of $SU(2)$ gauge freedom?

The starting point and notations used here are presented in Two puzzles on the Projective Symmetry Group(PSG)?. As we know, Invariant Gauge Group(IGG) is a normal subgroup of Projective Symmetry ...
1
vote
1answer
56 views

If isospin is conserved under strong interactions why it is represented by SU(2)?

As far as I know from my readings SU(2) is a representation group of isospin symmetry which shows deep symmetry of the strong force which conserves flavor. Isospin symmetry is broken under weak ...
2
votes
0answers
47 views

What is the difference between the groups $PSU(N)$ and $SU(N)$? [closed]

What is the difference between the groups $PSU(N)$ and $SU(N)$? For example how is $PSU(2,2|4)$ different than $SU(2,2|4)$?
1
vote
2answers
109 views

Tensor product of two different Pauli matrices $\sigma_2\otimes\eta_1 $

I'm solving problem 3.D in H. Georgi Lie Algebra etc for fun where one is to compute the matrix elements of the direct product $\sigma_2\otimes\eta_1$ where $[\sigma_2]_{ij}\text{ and }[\eta_1]_{xy}$ ...
6
votes
3answers
274 views

Coadjoint orbits in physics

I am looking for some application of coadjoint orbits in physics. If you know some of them please let me know.
2
votes
1answer
56 views

Does $GL(N,\mathbb{R})$ own spinor representation? Which group is its covering group? (Kaku's QFT textbook)

In Kaku's QFT textbook page 54, there is a saying: $GL(N)$ does not have any finite-dimensional spinorial representation. This implicates that $GL(N)$ owns infinite-dimensional spinorial ...
0
votes
1answer
49 views

Why is the Poincaré group non-abelian?

Based on what I've learned, I gather the Poincaré group is the group of isometries of Minkowski spacetime and it is a non-abelian Lie group. Why is it non-abelian? Or perhaps rather, does the fact ...
0
votes
3answers
70 views

$SO(3)$, $SU(2)$ and symmetries in quantum mechanics [duplicate]

A rotation in the vector space $\mathbb{R}^3$ is represented by the known 3x3-matrices. But at this point I'm really confused how to get from there to Quantum Mechanics. The group of ...
8
votes
1answer
311 views

Vector spaces for the irreducible representations of the Lorentz Group

EDIT: The vector space for the $(\frac{1}{2},0)$ Representation is $\mathbb{C}^2$ as mentioned by Qmechanic in the comments to his answer below! The vector spaces for the other representations remain ...
3
votes
2answers
141 views

Why is the $(\frac{1}{2},\frac{1}{2})$ representation of the Lorentz group realized as the vector space of complex $2\times 2$ matrices?

Why can we write an arbitrary object $v_{a \dot{b} }$ our transformations in this basis act on as $$ v_{a \dot{b} } = v_{\nu} \sigma^{ \nu}_{a \dot{b} } = v^0 \begin{pmatrix} 1&0 \\ 0&1 ...
3
votes
2answers
531 views

Orthochronous Lorentz transformations are time-preserving and $SL(2,\mathbb{R})$

Let's consider the psuedosphere/hyperboloid in $\mathbb{R}^{1,2}$ given by $$x^2+y^2-z^2=-R^2.$$ We know that the Lorentz group $$O(1,2)=\{ A \in Mat(3,\mathbb{R}): A^tGA=G \},$$ where ...
3
votes
1answer
59 views

Is there a general theorem stating why the restricted Lorentz group's exponential map is surjective?

The exponential map for the restricted Lorentz group is surjective. An outline of why is shown on the wiki page Representation Theory of the Lorentz Group. Is there a more general theorem that states ...
4
votes
0answers
78 views

Group theory and quantum optics

This is a question about application of group theory to physics. The starting point is the group $SU(n)$. I have a representation $R$ of $SU(n)$ that takes values on the unitary group on an infinite ...
2
votes
0answers
19 views

Simplification of matrix-element given the Wigner-Eckardt theorem and Clebsch-Gordon coefficients of a 1,1/2 system

How can I simplify the following matrix-elements $$\left\langle 1,1/2;m_1,m_2\left| S \right| 1,1/2;m_1^{'},m_2^{'} \right\rangle$$ given the Wigner-Eckard theorem $$\left\langle j,m|S|j^{'},m^{'} ...
4
votes
1answer
69 views

How can we measure chirality in experiments?

Chirality is a concept quite different from helicity. These two concepts only happen to have the same numerical value for massless particles. I understand that we can measure helicity, but how can we ...
8
votes
1answer
87 views

Group notation $\otimes$ and $\oplus$ used for representations of quarks and mesons

I've been trying to figure out this statement from the PDG quark model summary (PDF). Following $\mathrm{SU}(3)$, the nine possible $q\bar{q}′$ combinations containing the light $u$, $d$, and $s$ ...
3
votes
2answers
88 views

Identifying irreps of $SU(2)$

How does one verify that, the representations of $SU(2)$ corresponding to $j=1/2$ or $j=1$ is irreducible? I think showing the irreducibility (taking the representative matrices into a block-diagonal ...
9
votes
1answer
145 views

What exactly do we mean by symmetry in physics?

I'm referring here to invariance of the Lagrangian under Lorentz transformations. There are two possibilities: Physics does not depend on the way we describe it (passive symmetry). We can choose ...
9
votes
2answers
205 views

If $v_{a \dot{b}}$ transforms like a four-vector, what does $v_{a}^{\dot{b}}$ describe?

The $( \frac{1}{2}, 0)$ representation of the Lorentz group acts on left-chiral spinors $\chi_a$, the $( 0,\frac{1}{2} )$ representation on right-chiral spinors $\chi^{\dot a}$. The $( \frac{1}{2}, ...
4
votes
1answer
111 views

How to interpret spin observables constructed by non-standard phase choices?

If we try to find matrix elements of ladder operators ( $J_{\pm}$) for spin when they act on eigenstates of $J^2$ and $J_z$ ( $\newcommand{ket}[1]{\left|#1\right\rangle} ...
2
votes
0answers
44 views

Decomposing a representation under a subgroup [closed]

I am trying to understand what is the method for decomposing representations of a group under one of its subgroups. I already had a look in Slansky, but I could not extract a concrete set of ...
1
vote
1answer
59 views

Physical interpretation of diffeomorphism from $SO(3)$ to $\mathbb R \mathbb P^3$

I am not good at picturing either $SO(3)$ or $\mathbb R \mathbb P^3$, the latter denoting the real projective space. Can someone give me a rough physical understanding of the geometry and implication ...
4
votes
0answers
72 views

Branching rules for $SU(3)$

How does one compute the branching rules for $SU(3)\to SU(2)\times U(1)$.? In particular, I do not know how to put the abelian charges. Take for example the adjoint $\mathbf{8}$ of $SU(3)$. I can ...