Conjugate Representations
$begingroup$
Are there any general results on when conjugate representations of a real Lie algebra are equivalent? I'm inclined to say that they are often not, but this is merely going on my case by case experience.
In particular if we know that the fundamental and antifundamental representations of the Lie algebra are inequivalent, can we deduce that all conjugate representations are? I feel that this should be possible, but can't get started with a proof.
Has anyone got either (a) some hints to get me started or (b) a good reference which might be able guide me through such a problem?
I genuinely don't know at present whether this is trivial or difficult, so any advice would be much appreciated.
abstract-algebra reference-request representation-theory lie-groups lie-algebras
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
$endgroup$
|
show 6 more comments
$begingroup$
Are there any general results on when conjugate representations of a real Lie algebra are equivalent? I'm inclined to say that they are often not, but this is merely going on my case by case experience.
In particular if we know that the fundamental and antifundamental representations of the Lie algebra are inequivalent, can we deduce that all conjugate representations are? I feel that this should be possible, but can't get started with a proof.
Has anyone got either (a) some hints to get me started or (b) a good reference which might be able guide me through such a problem?
I genuinely don't know at present whether this is trivial or difficult, so any advice would be much appreciated.
abstract-algebra reference-request representation-theory lie-groups lie-algebras
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
$endgroup$
$begingroup$
What exactly do you mean by conjugate representation?
$endgroup$
– Mariano Suárez-Álvarez
Feb 21 '13 at 23:01
1
$begingroup$
@FlybyNight - I've asked a specific question in the second paragraph above! Okay perhaps the first question is a little open ended, but I wanted to give some context. I don't believe that math.stackexchange has to only include questions that have a single, definite one-line answer. Otherwise there's no point in having a reference-request tag.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:17
1
$begingroup$
@MarianoSuárez-Alvarez: yes. I am talking about real-linear representations of real Lie algebras on complex vectors spaces. I hope that makes sense!
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:26
1
$begingroup$
No, for example the representations of the Lorentz algebra.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:48
1
$begingroup$
Indeed - I agree with the FAQ. The question is very specific and answerable (read the second paragraph). It is also practical (to the extent that any pure maths can be considered practical). It is certainly a problem I have faced several times when reading textbooks. Therefore it satisfies all the positive criteria. I don't believe that the tone is chatty, merely polite and engaging. Most people prefer to answer questions in posed in a personal, polite way!
$endgroup$
– Edward Hughes
Feb 23 '13 at 22:56
|
show 6 more comments
$begingroup$
Are there any general results on when conjugate representations of a real Lie algebra are equivalent? I'm inclined to say that they are often not, but this is merely going on my case by case experience.
In particular if we know that the fundamental and antifundamental representations of the Lie algebra are inequivalent, can we deduce that all conjugate representations are? I feel that this should be possible, but can't get started with a proof.
Has anyone got either (a) some hints to get me started or (b) a good reference which might be able guide me through such a problem?
I genuinely don't know at present whether this is trivial or difficult, so any advice would be much appreciated.
abstract-algebra reference-request representation-theory lie-groups lie-algebras
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
$endgroup$
Are there any general results on when conjugate representations of a real Lie algebra are equivalent? I'm inclined to say that they are often not, but this is merely going on my case by case experience.
In particular if we know that the fundamental and antifundamental representations of the Lie algebra are inequivalent, can we deduce that all conjugate representations are? I feel that this should be possible, but can't get started with a proof.
Has anyone got either (a) some hints to get me started or (b) a good reference which might be able guide me through such a problem?
I genuinely don't know at present whether this is trivial or difficult, so any advice would be much appreciated.
abstract-algebra reference-request representation-theory lie-groups lie-algebras
abstract-algebra reference-request representation-theory lie-groups lie-algebras
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
asked Feb 21 '13 at 22:59
Edward HughesEdward Hughes
2,0051553
2,0051553
$begingroup$
What exactly do you mean by conjugate representation?
$endgroup$
– Mariano Suárez-Álvarez
Feb 21 '13 at 23:01
1
$begingroup$
@FlybyNight - I've asked a specific question in the second paragraph above! Okay perhaps the first question is a little open ended, but I wanted to give some context. I don't believe that math.stackexchange has to only include questions that have a single, definite one-line answer. Otherwise there's no point in having a reference-request tag.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:17
1
$begingroup$
@MarianoSuárez-Alvarez: yes. I am talking about real-linear representations of real Lie algebras on complex vectors spaces. I hope that makes sense!
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:26
1
$begingroup$
No, for example the representations of the Lorentz algebra.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:48
1
$begingroup$
Indeed - I agree with the FAQ. The question is very specific and answerable (read the second paragraph). It is also practical (to the extent that any pure maths can be considered practical). It is certainly a problem I have faced several times when reading textbooks. Therefore it satisfies all the positive criteria. I don't believe that the tone is chatty, merely polite and engaging. Most people prefer to answer questions in posed in a personal, polite way!
$endgroup$
– Edward Hughes
Feb 23 '13 at 22:56
|
show 6 more comments
$begingroup$
What exactly do you mean by conjugate representation?
$endgroup$
– Mariano Suárez-Álvarez
Feb 21 '13 at 23:01
1
$begingroup$
@FlybyNight - I've asked a specific question in the second paragraph above! Okay perhaps the first question is a little open ended, but I wanted to give some context. I don't believe that math.stackexchange has to only include questions that have a single, definite one-line answer. Otherwise there's no point in having a reference-request tag.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:17
1
$begingroup$
@MarianoSuárez-Alvarez: yes. I am talking about real-linear representations of real Lie algebras on complex vectors spaces. I hope that makes sense!
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:26
1
$begingroup$
No, for example the representations of the Lorentz algebra.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:48
1
$begingroup$
Indeed - I agree with the FAQ. The question is very specific and answerable (read the second paragraph). It is also practical (to the extent that any pure maths can be considered practical). It is certainly a problem I have faced several times when reading textbooks. Therefore it satisfies all the positive criteria. I don't believe that the tone is chatty, merely polite and engaging. Most people prefer to answer questions in posed in a personal, polite way!
$endgroup$
– Edward Hughes
Feb 23 '13 at 22:56
$begingroup$
What exactly do you mean by conjugate representation?
$endgroup$
– Mariano Suárez-Álvarez
Feb 21 '13 at 23:01
$begingroup$
What exactly do you mean by conjugate representation?
$endgroup$
– Mariano Suárez-Álvarez
Feb 21 '13 at 23:01
1
1
$begingroup$
@FlybyNight - I've asked a specific question in the second paragraph above! Okay perhaps the first question is a little open ended, but I wanted to give some context. I don't believe that math.stackexchange has to only include questions that have a single, definite one-line answer. Otherwise there's no point in having a reference-request tag.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:17
$begingroup$
@FlybyNight - I've asked a specific question in the second paragraph above! Okay perhaps the first question is a little open ended, but I wanted to give some context. I don't believe that math.stackexchange has to only include questions that have a single, definite one-line answer. Otherwise there's no point in having a reference-request tag.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:17
1
1
$begingroup$
@MarianoSuárez-Alvarez: yes. I am talking about real-linear representations of real Lie algebras on complex vectors spaces. I hope that makes sense!
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:26
$begingroup$
@MarianoSuárez-Alvarez: yes. I am talking about real-linear representations of real Lie algebras on complex vectors spaces. I hope that makes sense!
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:26
1
1
$begingroup$
No, for example the representations of the Lorentz algebra.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:48
$begingroup$
No, for example the representations of the Lorentz algebra.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:48
1
1
$begingroup$
Indeed - I agree with the FAQ. The question is very specific and answerable (read the second paragraph). It is also practical (to the extent that any pure maths can be considered practical). It is certainly a problem I have faced several times when reading textbooks. Therefore it satisfies all the positive criteria. I don't believe that the tone is chatty, merely polite and engaging. Most people prefer to answer questions in posed in a personal, polite way!
$endgroup$
– Edward Hughes
Feb 23 '13 at 22:56
$begingroup$
Indeed - I agree with the FAQ. The question is very specific and answerable (read the second paragraph). It is also practical (to the extent that any pure maths can be considered practical). It is certainly a problem I have faced several times when reading textbooks. Therefore it satisfies all the positive criteria. I don't believe that the tone is chatty, merely polite and engaging. Most people prefer to answer questions in posed in a personal, polite way!
$endgroup$
– Edward Hughes
Feb 23 '13 at 22:56
|
show 6 more comments
1 Answer
1
active
oldest
votes
$begingroup$
Any hermitian inner product on a complex vector space $V$ gives an isomorphism between $bar V$ and $V^*$. Furthermore, if $V$ has a hermitian inner product that is preserved by the representation of the Lie group/algebra, then this gives an isomorphism of representations between $bar V$ and $V^*$. Thus in such cases you are asking about representations being self-dual (which is equivalent to the representation having an invariant bilinear form).
For semi-simple Lie groups, every representation has an invariant hermitian inner product (the representation comes from the simply connected compact real form and you can average over this group to get an invariant hermitian inner product-- see Weyl's unitarian trick).
You can determine if a representation of a semi-simple Lie algebra is self-dual by using weights. If $mu$ is the highest weight of $V$ then the highest weight of $V^*$ is $-omega_0 mu$, where $omega_0$ is the unique element of the Weyl group mapping the positive Weyl chamber to its negative. The element $omega_0$ is $-1$ for the groups $SU(2)$, $SO(2n+1)$, $Sp(n)$, and $SO(4n)$. So for all of these groups $V simeq V^* (simeq bar V)$. A reference for this is section 6.4 (and it's exercises) of Sepanski's Compact Lie groups.
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
$endgroup$
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
add a comment |
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f310678%2fconjugate-representations%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Any hermitian inner product on a complex vector space $V$ gives an isomorphism between $bar V$ and $V^*$. Furthermore, if $V$ has a hermitian inner product that is preserved by the representation of the Lie group/algebra, then this gives an isomorphism of representations between $bar V$ and $V^*$. Thus in such cases you are asking about representations being self-dual (which is equivalent to the representation having an invariant bilinear form).
For semi-simple Lie groups, every representation has an invariant hermitian inner product (the representation comes from the simply connected compact real form and you can average over this group to get an invariant hermitian inner product-- see Weyl's unitarian trick).
You can determine if a representation of a semi-simple Lie algebra is self-dual by using weights. If $mu$ is the highest weight of $V$ then the highest weight of $V^*$ is $-omega_0 mu$, where $omega_0$ is the unique element of the Weyl group mapping the positive Weyl chamber to its negative. The element $omega_0$ is $-1$ for the groups $SU(2)$, $SO(2n+1)$, $Sp(n)$, and $SO(4n)$. So for all of these groups $V simeq V^* (simeq bar V)$. A reference for this is section 6.4 (and it's exercises) of Sepanski's Compact Lie groups.
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
$endgroup$
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
add a comment |
$begingroup$
Any hermitian inner product on a complex vector space $V$ gives an isomorphism between $bar V$ and $V^*$. Furthermore, if $V$ has a hermitian inner product that is preserved by the representation of the Lie group/algebra, then this gives an isomorphism of representations between $bar V$ and $V^*$. Thus in such cases you are asking about representations being self-dual (which is equivalent to the representation having an invariant bilinear form).
For semi-simple Lie groups, every representation has an invariant hermitian inner product (the representation comes from the simply connected compact real form and you can average over this group to get an invariant hermitian inner product-- see Weyl's unitarian trick).
You can determine if a representation of a semi-simple Lie algebra is self-dual by using weights. If $mu$ is the highest weight of $V$ then the highest weight of $V^*$ is $-omega_0 mu$, where $omega_0$ is the unique element of the Weyl group mapping the positive Weyl chamber to its negative. The element $omega_0$ is $-1$ for the groups $SU(2)$, $SO(2n+1)$, $Sp(n)$, and $SO(4n)$. So for all of these groups $V simeq V^* (simeq bar V)$. A reference for this is section 6.4 (and it's exercises) of Sepanski's Compact Lie groups.
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
$endgroup$
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
add a comment |
$begingroup$
Any hermitian inner product on a complex vector space $V$ gives an isomorphism between $bar V$ and $V^*$. Furthermore, if $V$ has a hermitian inner product that is preserved by the representation of the Lie group/algebra, then this gives an isomorphism of representations between $bar V$ and $V^*$. Thus in such cases you are asking about representations being self-dual (which is equivalent to the representation having an invariant bilinear form).
For semi-simple Lie groups, every representation has an invariant hermitian inner product (the representation comes from the simply connected compact real form and you can average over this group to get an invariant hermitian inner product-- see Weyl's unitarian trick).
You can determine if a representation of a semi-simple Lie algebra is self-dual by using weights. If $mu$ is the highest weight of $V$ then the highest weight of $V^*$ is $-omega_0 mu$, where $omega_0$ is the unique element of the Weyl group mapping the positive Weyl chamber to its negative. The element $omega_0$ is $-1$ for the groups $SU(2)$, $SO(2n+1)$, $Sp(n)$, and $SO(4n)$. So for all of these groups $V simeq V^* (simeq bar V)$. A reference for this is section 6.4 (and it's exercises) of Sepanski's Compact Lie groups.
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
$endgroup$
Any hermitian inner product on a complex vector space $V$ gives an isomorphism between $bar V$ and $V^*$. Furthermore, if $V$ has a hermitian inner product that is preserved by the representation of the Lie group/algebra, then this gives an isomorphism of representations between $bar V$ and $V^*$. Thus in such cases you are asking about representations being self-dual (which is equivalent to the representation having an invariant bilinear form).
For semi-simple Lie groups, every representation has an invariant hermitian inner product (the representation comes from the simply connected compact real form and you can average over this group to get an invariant hermitian inner product-- see Weyl's unitarian trick).
You can determine if a representation of a semi-simple Lie algebra is self-dual by using weights. If $mu$ is the highest weight of $V$ then the highest weight of $V^*$ is $-omega_0 mu$, where $omega_0$ is the unique element of the Weyl group mapping the positive Weyl chamber to its negative. The element $omega_0$ is $-1$ for the groups $SU(2)$, $SO(2n+1)$, $Sp(n)$, and $SO(4n)$. So for all of these groups $V simeq V^* (simeq bar V)$. A reference for this is section 6.4 (and it's exercises) of Sepanski's Compact Lie groups.
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
edited Dec 27 '18 at 17:27
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
answered Feb 24 '13 at 2:30
Eric O. KormanEric O. Korman
13.1k34263
13.1k34263
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
add a comment |
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
Did you mean to write ".. then the highest weight of $V^*$ is $-omega_0 mu$, ..."?
$endgroup$
– Arturo don Juan
Dec 19 '18 at 2:25
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
$begingroup$
@ArturodonJuan I did, thanks!
$endgroup$
– Eric O. Korman
Dec 27 '18 at 17:27
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f310678%2fconjugate-representations%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
What exactly do you mean by conjugate representation?
$endgroup$
– Mariano Suárez-Álvarez
Feb 21 '13 at 23:01
1
$begingroup$
@FlybyNight - I've asked a specific question in the second paragraph above! Okay perhaps the first question is a little open ended, but I wanted to give some context. I don't believe that math.stackexchange has to only include questions that have a single, definite one-line answer. Otherwise there's no point in having a reference-request tag.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:17
1
$begingroup$
@MarianoSuárez-Alvarez: yes. I am talking about real-linear representations of real Lie algebras on complex vectors spaces. I hope that makes sense!
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:26
1
$begingroup$
No, for example the representations of the Lorentz algebra.
$endgroup$
– Edward Hughes
Feb 21 '13 at 23:48
1
$begingroup$
Indeed - I agree with the FAQ. The question is very specific and answerable (read the second paragraph). It is also practical (to the extent that any pure maths can be considered practical). It is certainly a problem I have faced several times when reading textbooks. Therefore it satisfies all the positive criteria. I don't believe that the tone is chatty, merely polite and engaging. Most people prefer to answer questions in posed in a personal, polite way!
$endgroup$
– Edward Hughes
Feb 23 '13 at 22:56