# Standard Basis of $SU(2)$--where does the 1/2 come from?

Mathematics Asked by JMJ on December 24, 2020

The most common matrix representation of $SU(2)$ is given by
$$begin{pmatrix} a & b\ b^* & -a^*\ end{pmatrix}$$
where $a,binmathbb{C}$. If we denote real components by the subscript $r$, imaginary by $i$, one can clearly write this as

$$begin{pmatrix} a & b\ -b^* & a^*\ end{pmatrix} = a_rbegin{pmatrix} 1 & 0\ 0 & 1\ end{pmatrix} +b_rbegin{pmatrix} 0 & 1 \ -1 & 0 \ end{pmatrix} +b_ibegin{pmatrix} 0 & i \ i & 0 \ end{pmatrix} +a_ibegin{pmatrix} i & 0 \ 0 & -i \ end{pmatrix},$$
so the Lie algebra should be obtained by discarding the coefficient of the identity matrix and identifying the remaining traceless matrices as the generators of $mathfrak{su}(2)$. We quickly realize these are $isigma_a$, where $a = 1,2,3$ denote the Pauli spin matrices. Many books however define the standard basis of $mathfrak{su}(2)$ as $(i/2)sigma_a$. While this would normally be simply a trivial convention, R. Gilmore, on page 107 of “Lie Groups, Physics, and Geometry”, seems to use this to show the $SU(2)rightarrow SO(3)$ cover is 2:1 by splitting $mathfrak{su}(2)$ into the form $mathfrak{su}(2)ni X = S_1 + (ia_i/2)sigma_3$ where $S_1 = (ib_i/2)sigma_1 + (ib_r/2)sigma_2$ and exponentiating $S_1$ and $(ia_i/2)sigma_3$ individually to give

$$SU(2) ni U = exp(S_1)timesbegin{pmatrix} e^{ia_i/2} & 0\ 0 & e^{-ia_i/2}\ end{pmatrix}.$$

Using a similar splitting of $mathfrak{so}(3)$ into two components (an $SO(3)/SO(2)$ quotient and $SO(2)$) which are individually exponentiated, he concludes the quotients $SO(3)/SO(2)$ and $SU(2)/U(1)$ are both topologically $S^2$, thus bijective, and the thus the cover must be 2:1 because putting $theta mapsto theta + 2pi$ is a complete rotation in $SO(2)$, while $a_i mapsto a_i + 4pi$ is a complete rotation in the given representation of $U(1)$. I’ve been wanting to emulate this argument but can’t do so without the factor of $1/2$. My questions are thus as follows:

(1) where does the $1/2$ come from? Is it just convention or something else?

(2) Is there any easy way to argue the cover is $2:1$ without using the $1/2$?

(3) I thought that generally the whole Lie algebra had to be exponentiated to map back onto the Lie group. How does separating the Lie algebra and exponentiating the terms individually make sense in the context of the BCH formula? Does this have to do with irreducible representations?

Evidently this is due to the basis with the $1/2$ giving the "fundamental representation" of $mathfrak{su}(2)$, e.g. according to

https://en.wikipedia.org/wiki/Pauli_matrices

and

But I don't know enough about representation theory to make a good argument about how that guarantees the covering map is 2:1 for $SU(2) rightarrow SO(3)$ regardless of the representation.

Answered by JMJ on December 24, 2020

## Related Questions

### How do you take the derivative $frac{d}{dx} int_a^x f(x,t) dt$?

1  Asked on December 1, 2021 by klein4

### Uniqueness of measures related to the Stieltjes transforms

1  Asked on December 1, 2021

### Does there exist a function which is real-valued, non-negative and bandlimited?

1  Asked on December 1, 2021 by muzi

### Suppose $A , B , C$ are arbitrary sets and we know that $( A times B ) cap ( C times D ) = emptyset$ What conclusion can we draw?

3  Asked on November 29, 2021 by anonymous-molecule

### Can a nonsingular matrix be column-permuted so that the diagonal blocks are nonsingular?

1  Asked on November 29, 2021 by syeh_106

### Does ${f(x)=ln(e^{x^2})}$ reduce to ${x^2ln(e)}$ or ${2xln(e)}$?

3  Asked on November 29, 2021 by evo

### Proving that $(0,1)$ is uncountable

2  Asked on November 29, 2021 by henry-brown

### Understanding a statement about composite linear maps

1  Asked on November 29, 2021

### Assert the range of a binomial coefficient divided by power of a number

3  Asked on November 29, 2021 by vib_29

### What is the Fourier transform of $|x|$?

3  Asked on November 29, 2021

### Exists $t^*in mathbb{R}$ such that $y(t^*)=-1$?.

2  Asked on November 29, 2021 by user514695

### Proving $logleft(frac{4^n}{sqrt{2n+1}{2nchoose n+m}}right)geq frac{m^2}{n}$

2  Asked on November 29, 2021 by zaragosa

### Linearized system for $begin{cases} frac{d}{dt} x_1 = -x_1 + x_2 \ frac{d}{dt} x_2 = x_1 – x_2^3 end{cases}$ is not resting at rest point?

1  Asked on November 29, 2021 by user3137490

### Is it possible to construct a continuous and bijective map from $mathbb{R}^n$ to $[0,1]$?

3  Asked on November 29, 2021 by kaaatata

### If $lim_{ntoinfty}|a_{n+1}/a_n|=L$, then $lim_{ntoinfty}|a_n|^{1/n}=L$

2  Asked on November 29, 2021 by diiiiiklllllll

### Right adjoint to the forgetful functor $text{Ob}$

1  Asked on November 29, 2021 by alf262

### Always factorise polynomials

1  Asked on November 29, 2021 by beblunt

### Formulas for the Spinor Representation Product Decompositions $2^{[frac{N-1}{2}]} otimes 2^{[frac{N-1}{2}]}=?$ and …

0  Asked on November 29, 2021

### Connected and Hausdorff topological space whose topology is stable under countable intersection,

1  Asked on November 29, 2021

### Evaluating an improper integral – issues taking the cubic root of a negative number

1  Asked on November 29, 2021

### Ask a Question

Get help from others!