Solving Matrix Equations in SL(2,C) for Arbitrary Vectors

  • Context: Graduate 
  • Thread starter Thread starter emma83
  • Start date Start date
  • Tags Tags
    Matrix
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
emma83
Messages
31
Reaction score
0
Hello,

Is the law for matrix multiplication in SL(2,C) the same as usual ? I try to solve the equation [tex]A_{k}k_{0}A_{k}^{\dagger}=k[/tex] where [tex]k_0[/tex] corresponds to the unit vector [tex]\{0,0,1\}[/tex] and [tex]k[/tex] is an arbitrary vector, i.e.:

[tex]k0=<br /> \left( \begin{array}{cc}<br /> 2 & 0 \\<br /> 0 & 0 \\<br /> \end{array} \right)[/tex]

[tex]k=<br /> \left( \begin{array}{cc}<br /> 1+n_3 & n_- \\<br /> n_+ & 1-n_3 \\<br /> \end{array} \right)[/tex]

If I try to solve for
[tex]A_k=<br /> \left( \begin{array}{cc}<br /> a & b \\<br /> c & d \\<br /> \end{array} \right)[/tex]

this gives (where [tex]a*[/tex] is the conjugate of [tex]a[/tex]):
[tex]A_{k}k_{0}A_{k}^{\dagger}=<br /> \left( \begin{array}{cc}<br /> 2aa* & 2ac* \\<br /> 2ca* & 2cc* \\<br /> \end{array} \right)[/tex]

So this gives conditions on [tex]\{a,c\}[/tex] but can [tex]\{b,c\}[/tex] be arbitrary ? How do I solve this equation and obtain the expression of [tex]A_k[/tex] involving only [tex]n_+, n_-[/tex] and [tex]n_3[/tex] ?

Thanks a lot for your help!
 
Physics news on Phys.org
Well, thanks Fredrik but now I really would like to know how to do "the rest" !
 
I think you need to know the effect of [itex]A_k[/itex] on at least two linearly independent vectors to completely determine the matrix.
 
Thanks, actually I found an answer for [tex]A_{k}[/tex] without the details of the calculation. I tried to compute [tex]A_{k}k_{0}A_{k}^{\dagger}[/tex] but I don't get [tex]k[/tex] as would be expected.

The proposed solution is:

[tex]A_k=\frac{1}{\sqrt{2C(1+n_3)}}<br /> \left( \begin{array}{cc}<br /> C(1+n_3) & -n_- \\<br /> Cn_+ & 1+n_3 \\<br /> \end{array} \right)[/tex]
i.e.:
[tex]A_{k}=UB[/tex]
where:
[tex]U=\frac{1}{\sqrt{2(1+n_3)}}<br /> \left( \begin{array}{cc}<br /> (1+n_3) & -n_- \\<br /> n_+ & 1+n_3 \\<br /> \end{array} \right)[/tex]
and
[tex]B=<br /> \left( \begin{array}{cc}<br /> \sqrt{C} & 0 \\<br /> 0 & \frac{1}{\sqrt{C}} \\<br /> \end{array} \right)[/tex]

The [tex]C[/tex] that appears is actually a constant in [tex]k[/tex] that I ignored for simplification in my first posting:

[tex]k=C<br /> \left( \begin{array}{cc}<br /> 1+n_3 & n_- \\<br /> n_+ & 1-n_3 \\<br /> \end{array} \right)[/tex]

Can somebody else try to see if this result is correct ?
 
Without further restrictions, I don't think that there is a unique solution for [itex]A_k[/itex]. What happens when your [itex]A_k[/itex] is multiplied on the right by an element of the little group of [itex]k_0[/itex]?