1
$\begingroup$
  • I want to precisely understand in what sense is (if it is!) $SL(2,\mathbb{C})$ the "complexified" version of $SU(2)$?

Can I think of it like choosing a natural matrix basis of the real three dimensional Lie algebra of $SU(2)$ (say the Pauli matrices) and looking at the vector space they would span over $\mathbb{C}$ (i.e look at the vector space of matrices spanned by linear sums of Pauli matrices with complex coefficients) and then exponentiate it down?

  • Is there a natural action of $SL(2,\mathbb{C})$ on the $5$ dimensional irreducible representation of $SU(2)$? If yes then how does one best understand the quotient space and precisely in what way does this action respect the representation.

    (I would be interested about the general picture if there is any behind such actions, I chose the above particular example since it is most relevant to my current pursuits.)

Improve this question
$\endgroup$
9
  • 4
    $\begingroup$ Anirbit- While this is a good question, I'm not sure its a good question for MathOverflow. Have you read some basic textbooks on this stuff, like Fulton and Harris? $\endgroup$
    – Ben Webster ♦
    Dec 13, 2010 at 6:32
  • $\begingroup$ $SL(2,{\mathbb{C}})$ is the complexification of $SU(2)$. You can find some information and references here: eom.springer.de/c/c024210.htm $\endgroup$
    – Theo Buehler
    Dec 13, 2010 at 6:33
  • $\begingroup$ By the way, the answer is yes. $\endgroup$
    – Ben Webster ♦
    Dec 13, 2010 at 6:33
  • $\begingroup$ The general picture is as follows: take the complexified Lie Algebra of SU(n). Of course, this is in a natural way sl(n), which integrates up to a connected Lie Group, namely SL(n). FOr reference, see comments above. $\endgroup$
    – Sebastian
    Dec 13, 2010 at 7:44
  • $\begingroup$ @Ben I have a passing acquaintance with the subject (enough to understand the answers that others are typing in) but of course I have never done formal courses in it since my official education is not in Mathematics. $\endgroup$
    – Anirbit
    Dec 13, 2010 at 14:38

1 Answer 1

Reset to default
3
$\begingroup$

I am not an expert in this field but I think that the general picture looks more or less like that:

1. $\mathfrak{sl}(N,\mathbb{C}) = \mathfrak{su}_{\mathbb{C}}(N)$ ($\mathfrak{su}(N)$ is a compact real form of $\mathfrak{sl}(N,\mathbb{C} )$). Therefore, there is one to one correspondence between finite dimensional complex representations of Lie algebras: $\mathfrak{sl}(N,\mathbb{C})$ and $\mathfrak{su}(N)$. Since $SU(N)$ is compact, all finite dimensional complex representations of $\mathfrak{su}(N)$ are unitary and therefore completely reducible (finite dimensional complex representations of $\mathfrak{sl}(N,\mathbb{C})$ share this property). Moreover - there is one to one correspondence between complex, irreducible, finite dimensional representations of $\mathfrak{su}(N)$ and $ \mathfrak{sl}(N,\mathbb{C})$.
2. Since $SL(N,\mathbb{C})$ is simply- connected (see http://en.wikipedia.org/wiki/General_linear_group ), each finite dimensional irreducible complex representation of $\mathfrak{sl}(N,\mathbb{C})$ gives irreducible representation of $SL(N,\mathbb{C})$ (by matrix exponentiation of a Lie algebra representation) and vice-versa. The same thing can be said about $SU(N)$ and $\mathfrak{su}(N)$. As a result you have a natural action of $SL(N,\mathbb{C})$ on each irreducible complex representation of $SU(N)$ (note that given complex Lie group representation is irreducible iff corresponding representation of a Lie algebra is irreducible).

Improve this answer
$\endgroup$
3
  • $\begingroup$ @Michal Thanks for your answer. You have some insights about the specific action I was looking for? (the second part of my question) $\endgroup$
    – Anirbit
    Dec 13, 2010 at 14:36
  • $\begingroup$ I don't know exactly what "quotient space" you have in mind. As for action of $SL(2,\mathbb{C}) $: it is given by the formula: $\tilde{\Phi}(e^{X})=e^{\tilde{\phi}(X)}$, where $X\in\mathfrak{sl}(2,\mathbb{C})$ and $\tilde{\phi}$ is the extension of the irreducible complex representation $\phi$ of a Lie algebra $\mathfrak{su}(2)$ to a complex represenation of $\mathfrak{sl}(2,\mathbb{C})$: if $X=\alpha +\imath \beta,\ \alpha,\beta\in\mathfrak{su}(2)$, $\tilde{\phi}(\alpha +\imath \beta)= \phi(\alpha) + \imath \phi(\beta)$. $\endgroup$
    – Michał Oszmaniec
    Dec 13, 2010 at 16:30
  • $\begingroup$ Only kind of compatibility that I can think of at the moment is the following: $\tilde{\Phi}|_{SU(2)}=\Phi$. Where $Phi$ is an irreducible complex representation of $SU(2)$ induced by $\phi$. $\endgroup$
    – Michał Oszmaniec
    Dec 13, 2010 at 16:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.