Explicit expressions of inner / outer automorphism of special unitary group SU(n)

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite
1












The goal is to write down explicit expressions of inner / outer automorphism of SU($n$), for $ngeq 2$.



We know that SU(2) has an SO(3) ($supseteq mathbbZ_2$)-inner automorphism,



while SU(n) has a $mathbbZ_2$-outer automorphism. For simply connected simple Lie groups, the outer automorphisms come from the automorphisms of the Dynkin diagram. See also the discussion in MO.



  • For SU(2), we can write the group element as
    $$ g_textSU(2) = expleft(thetasum_k=1^3 i t_k fracsigma_k2right) $$
    where $(t_1,t_2,t_3)$ forms a unit vector [effectively pointing in some direction on a unit 2-sphere $S^2$], and $sigma_k$ are Pauli matrices:
    beginalign
    sigma_1 &=
    beginpmatrix
    0&1\
    1&0
    endpmatrix \
    sigma_2 &=
    beginpmatrix
    0&-i\
    i&0
    endpmatrix \
    sigma_3 &=
    beginpmatrix
    1&0\
    0&-1
    endpmatrix ,.
    endalign
    Notice that any group element on $SU(2)$ can be parametrized by some $theta$ and $(t_1,t_2,t_3)$. Also $theta$ has a periodicity $[0,4 pi)$.

The inner automorphism is given by,
$$
x g_textSU(2) x^-1=
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^T2right)
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^*2right)
=g_textSU(2)^*.
$$
where
$$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix
0&1\
-1&0
endpmatrix in textSU(2),$$



  • For SU($n$), $n>2$,


Do we have a simple expression of $g_textSU(n)$?



(It looks like the answer given here in ME by Anon is negative. But the Refs here Ref 1, Ref 2, Ref 3 writing down suggestive expressions
$$ g_textSU(n) = expleft(thetasum_k=1^n^2-1 i t_k fraclambda_k2right)??? $$



So the outer automorphism of SU(n) simply sends $g_textSU(n)$ to its complex conjugation
$$
g_textSU(n) to g_textSU(n)^*?
$$








share|cite|improve this question






















  • An inner automorphism, by definition, is conjugation by an element of the group. So to find an inner automorphism of order $2$ just find some order $2$ elements of the group.
    – Lord Shark the Unknown
    Aug 17 at 4:39










  • The element I used for conjugation is $$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix 0&1\ -1&0 endpmatrix in textSU(2),$$ which is in the order 2 ($mathbbZ_4$) rather than the order 4 ($mathbbZ_2$), because $x^4=1$. But it works. Any more comments? Thanks!
    – wonderich
    Aug 17 at 14:18















up vote
1
down vote

favorite
1












The goal is to write down explicit expressions of inner / outer automorphism of SU($n$), for $ngeq 2$.



We know that SU(2) has an SO(3) ($supseteq mathbbZ_2$)-inner automorphism,



while SU(n) has a $mathbbZ_2$-outer automorphism. For simply connected simple Lie groups, the outer automorphisms come from the automorphisms of the Dynkin diagram. See also the discussion in MO.



  • For SU(2), we can write the group element as
    $$ g_textSU(2) = expleft(thetasum_k=1^3 i t_k fracsigma_k2right) $$
    where $(t_1,t_2,t_3)$ forms a unit vector [effectively pointing in some direction on a unit 2-sphere $S^2$], and $sigma_k$ are Pauli matrices:
    beginalign
    sigma_1 &=
    beginpmatrix
    0&1\
    1&0
    endpmatrix \
    sigma_2 &=
    beginpmatrix
    0&-i\
    i&0
    endpmatrix \
    sigma_3 &=
    beginpmatrix
    1&0\
    0&-1
    endpmatrix ,.
    endalign
    Notice that any group element on $SU(2)$ can be parametrized by some $theta$ and $(t_1,t_2,t_3)$. Also $theta$ has a periodicity $[0,4 pi)$.

The inner automorphism is given by,
$$
x g_textSU(2) x^-1=
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^T2right)
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^*2right)
=g_textSU(2)^*.
$$
where
$$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix
0&1\
-1&0
endpmatrix in textSU(2),$$



  • For SU($n$), $n>2$,


Do we have a simple expression of $g_textSU(n)$?



(It looks like the answer given here in ME by Anon is negative. But the Refs here Ref 1, Ref 2, Ref 3 writing down suggestive expressions
$$ g_textSU(n) = expleft(thetasum_k=1^n^2-1 i t_k fraclambda_k2right)??? $$



So the outer automorphism of SU(n) simply sends $g_textSU(n)$ to its complex conjugation
$$
g_textSU(n) to g_textSU(n)^*?
$$








share|cite|improve this question






















  • An inner automorphism, by definition, is conjugation by an element of the group. So to find an inner automorphism of order $2$ just find some order $2$ elements of the group.
    – Lord Shark the Unknown
    Aug 17 at 4:39










  • The element I used for conjugation is $$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix 0&1\ -1&0 endpmatrix in textSU(2),$$ which is in the order 2 ($mathbbZ_4$) rather than the order 4 ($mathbbZ_2$), because $x^4=1$. But it works. Any more comments? Thanks!
    – wonderich
    Aug 17 at 14:18













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1





The goal is to write down explicit expressions of inner / outer automorphism of SU($n$), for $ngeq 2$.



We know that SU(2) has an SO(3) ($supseteq mathbbZ_2$)-inner automorphism,



while SU(n) has a $mathbbZ_2$-outer automorphism. For simply connected simple Lie groups, the outer automorphisms come from the automorphisms of the Dynkin diagram. See also the discussion in MO.



  • For SU(2), we can write the group element as
    $$ g_textSU(2) = expleft(thetasum_k=1^3 i t_k fracsigma_k2right) $$
    where $(t_1,t_2,t_3)$ forms a unit vector [effectively pointing in some direction on a unit 2-sphere $S^2$], and $sigma_k$ are Pauli matrices:
    beginalign
    sigma_1 &=
    beginpmatrix
    0&1\
    1&0
    endpmatrix \
    sigma_2 &=
    beginpmatrix
    0&-i\
    i&0
    endpmatrix \
    sigma_3 &=
    beginpmatrix
    1&0\
    0&-1
    endpmatrix ,.
    endalign
    Notice that any group element on $SU(2)$ can be parametrized by some $theta$ and $(t_1,t_2,t_3)$. Also $theta$ has a periodicity $[0,4 pi)$.

The inner automorphism is given by,
$$
x g_textSU(2) x^-1=
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^T2right)
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^*2right)
=g_textSU(2)^*.
$$
where
$$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix
0&1\
-1&0
endpmatrix in textSU(2),$$



  • For SU($n$), $n>2$,


Do we have a simple expression of $g_textSU(n)$?



(It looks like the answer given here in ME by Anon is negative. But the Refs here Ref 1, Ref 2, Ref 3 writing down suggestive expressions
$$ g_textSU(n) = expleft(thetasum_k=1^n^2-1 i t_k fraclambda_k2right)??? $$



So the outer automorphism of SU(n) simply sends $g_textSU(n)$ to its complex conjugation
$$
g_textSU(n) to g_textSU(n)^*?
$$








share|cite|improve this question














The goal is to write down explicit expressions of inner / outer automorphism of SU($n$), for $ngeq 2$.



We know that SU(2) has an SO(3) ($supseteq mathbbZ_2$)-inner automorphism,



while SU(n) has a $mathbbZ_2$-outer automorphism. For simply connected simple Lie groups, the outer automorphisms come from the automorphisms of the Dynkin diagram. See also the discussion in MO.



  • For SU(2), we can write the group element as
    $$ g_textSU(2) = expleft(thetasum_k=1^3 i t_k fracsigma_k2right) $$
    where $(t_1,t_2,t_3)$ forms a unit vector [effectively pointing in some direction on a unit 2-sphere $S^2$], and $sigma_k$ are Pauli matrices:
    beginalign
    sigma_1 &=
    beginpmatrix
    0&1\
    1&0
    endpmatrix \
    sigma_2 &=
    beginpmatrix
    0&-i\
    i&0
    endpmatrix \
    sigma_3 &=
    beginpmatrix
    1&0\
    0&-1
    endpmatrix ,.
    endalign
    Notice that any group element on $SU(2)$ can be parametrized by some $theta$ and $(t_1,t_2,t_3)$. Also $theta$ has a periodicity $[0,4 pi)$.

The inner automorphism is given by,
$$
x g_textSU(2) x^-1=
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^T2right)
expleft(thetasum_k=1^3 (-i) t_k fracsigma_k^*2right)
=g_textSU(2)^*.
$$
where
$$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix
0&1\
-1&0
endpmatrix in textSU(2),$$



  • For SU($n$), $n>2$,


Do we have a simple expression of $g_textSU(n)$?



(It looks like the answer given here in ME by Anon is negative. But the Refs here Ref 1, Ref 2, Ref 3 writing down suggestive expressions
$$ g_textSU(n) = expleft(thetasum_k=1^n^2-1 i t_k fraclambda_k2right)??? $$



So the outer automorphism of SU(n) simply sends $g_textSU(n)$ to its complex conjugation
$$
g_textSU(n) to g_textSU(n)^*?
$$










share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 21 at 1:06

























asked Aug 17 at 4:25









wonderich

1,73521227




1,73521227











  • An inner automorphism, by definition, is conjugation by an element of the group. So to find an inner automorphism of order $2$ just find some order $2$ elements of the group.
    – Lord Shark the Unknown
    Aug 17 at 4:39










  • The element I used for conjugation is $$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix 0&1\ -1&0 endpmatrix in textSU(2),$$ which is in the order 2 ($mathbbZ_4$) rather than the order 4 ($mathbbZ_2$), because $x^4=1$. But it works. Any more comments? Thanks!
    – wonderich
    Aug 17 at 14:18

















  • An inner automorphism, by definition, is conjugation by an element of the group. So to find an inner automorphism of order $2$ just find some order $2$ elements of the group.
    – Lord Shark the Unknown
    Aug 17 at 4:39










  • The element I used for conjugation is $$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix 0&1\ -1&0 endpmatrix in textSU(2),$$ which is in the order 2 ($mathbbZ_4$) rather than the order 4 ($mathbbZ_2$), because $x^4=1$. But it works. Any more comments? Thanks!
    – wonderich
    Aug 17 at 14:18
















An inner automorphism, by definition, is conjugation by an element of the group. So to find an inner automorphism of order $2$ just find some order $2$ elements of the group.
– Lord Shark the Unknown
Aug 17 at 4:39




An inner automorphism, by definition, is conjugation by an element of the group. So to find an inner automorphism of order $2$ just find some order $2$ elements of the group.
– Lord Shark the Unknown
Aug 17 at 4:39












The element I used for conjugation is $$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix 0&1\ -1&0 endpmatrix in textSU(2),$$ which is in the order 2 ($mathbbZ_4$) rather than the order 4 ($mathbbZ_2$), because $x^4=1$. But it works. Any more comments? Thanks!
– wonderich
Aug 17 at 14:18





The element I used for conjugation is $$x=e^ifracpi 2sigma_2 = isigma_2= beginpmatrix 0&1\ -1&0 endpmatrix in textSU(2),$$ which is in the order 2 ($mathbbZ_4$) rather than the order 4 ($mathbbZ_2$), because $x^4=1$. But it works. Any more comments? Thanks!
– wonderich
Aug 17 at 14:18
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885401%2fexplicit-expressions-of-inner-outer-automorphism-of-special-unitary-group-sun%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885401%2fexplicit-expressions-of-inner-outer-automorphism-of-special-unitary-group-sun%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide