Stabilizer of Sp(n) and U(n) in GL(n)
up vote
7
down vote
favorite
I would be very grateful for a reference
to the following results (which are, I think, true,
though I never saw it in the literature).
Let $Gsubset GL(n,{Bbb C})$ be $U(n)$,
abd $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times U(n)$.
Let $Gsubset GL(n,{Bbb C})$ be the group
$Sp(n)$ of quaternionic Hermitian matrices,
and $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times Sp(n)times Sp(1)$.
Many thanks in advance.
rt.representation-theory lie-groups algebraic-groups
add a comment |
up vote
7
down vote
favorite
I would be very grateful for a reference
to the following results (which are, I think, true,
though I never saw it in the literature).
Let $Gsubset GL(n,{Bbb C})$ be $U(n)$,
abd $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times U(n)$.
Let $Gsubset GL(n,{Bbb C})$ be the group
$Sp(n)$ of quaternionic Hermitian matrices,
and $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times Sp(n)times Sp(1)$.
Many thanks in advance.
rt.representation-theory lie-groups algebraic-groups
add a comment |
up vote
7
down vote
favorite
up vote
7
down vote
favorite
I would be very grateful for a reference
to the following results (which are, I think, true,
though I never saw it in the literature).
Let $Gsubset GL(n,{Bbb C})$ be $U(n)$,
abd $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times U(n)$.
Let $Gsubset GL(n,{Bbb C})$ be the group
$Sp(n)$ of quaternionic Hermitian matrices,
and $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times Sp(n)times Sp(1)$.
Many thanks in advance.
rt.representation-theory lie-groups algebraic-groups
I would be very grateful for a reference
to the following results (which are, I think, true,
though I never saw it in the literature).
Let $Gsubset GL(n,{Bbb C})$ be $U(n)$,
abd $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times U(n)$.
Let $Gsubset GL(n,{Bbb C})$ be the group
$Sp(n)$ of quaternionic Hermitian matrices,
and $Ain GL(2n,{Bbb R})$ an endomorphism which satisfies
$AGA^{-1}=G$. Then $Ain {Bbb R}^* times Sp(n)times Sp(1)$.
Many thanks in advance.
rt.representation-theory lie-groups algebraic-groups
rt.representation-theory lie-groups algebraic-groups
edited Dec 1 at 1:07
asked Nov 30 at 17:26
Misha Verbitsky
5,10411836
5,10411836
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
13
down vote
accepted
First, let me fix a misunderstanding: $mathrm{Sp}(n)$ does not sit in $mathrm{GL}(n,mathbb{C})$, but in $mathrm{GL}(2n,mathbb{C})$, so I'll assume that you mean, for the second part that $A$ lies in $mathrm{GL}(2n,mathbb{C})$.
These both follow immediately from the facts that all the automorphisms of
$mathrm{SU}(n)$ are either inner or conjugate-inner while the automorphisms of $mathrm{Sp}(n)$ are are all inner.
It's a bit easier to deal with the $mathrm{Sp}(n)$ case first since it has no outer automorphisms: If $Ain mathrm{GL}(2n,mathbb{C})$ satisfies $Amathrm{Sp}(n)A^{-1}subset mathrm{Sp}(n)$, then consider the homomorphism $phi:mathrm{Sp}(n)to mathrm{Sp}(n)$ defined by $phi(g) = AgA^{-1}$. This is a smooth, injective homomorphism, so it must be a smooth automorphism. Since every automorphism of $mathrm{Sp}(n)$ is of the form $phi(g) = hgh^{-1}$ for some $hinmathrm{Sp}(n)$, it follows that $AgA^{-1} = hgh^{-1}$, so $h^{-1}A$ lies in the commuting ring of $mathrm{Sp}(n)$ (intersected with the $mathbb{C}$-linear isomorphisms of $mathbb{C}^{2n}$), and this is simply the nonzero complex multiples of the identity (since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{C}^{2n}$). Thus, $A = lambda h$ for some $hin mathrm{Sp}(n)$ and some nonzero complex scalar $lambda$.
For the $mathrm{U}(n)$ case, notice that the problem is equivalent to finding the conjugations that preserve the subgroup $mathrm{SU}(n)$, so we might as well ask for the $Ainmathrm{GL}(n,mathbb{C})$ such that $Amathrm{SU}(n)A^{-1}= mathrm{SU}(n)$. Now, there is a slight complication, because for $n>2$, not all of the automorphisms of $mathrm{SU}(n)$ are inner. For example, the automorphism $psi(g) = bar g$ is not inner. Instead, every automorphism is either of the form $phi(g) = hgh^{-1}$ or $phi(g) = hbar gh^{-1}$ for some $hinmathrm{SU}(n)$. However, it's easy to see that, for $n>2$, there is no pair $(A,h)$ such that $AgA^{-1} = hbar gh^{-1}$ for all $ginmathrm{SU}(n)$, so we only need to deal with the case $AgA^{-1} = h gh^{-1}$ with $hinmathrm{SU}(n)$ and $Ain mathrm{GL}(n,mathbb{C})$. Again, we find that $h^{-1}Ainmathrm{GL}(n,mathbb{C})$ must commute with all of the elements of $mathrm{SU}(n)$, and this can happen only if $h^{-1}A$ is a multiple of the identity (again because of the irreducibility of the action of $mathrm{SU}(n)$ on $mathbb{C}^n$).
I think that the reason you haven't seen it in the literature is that it is such a direct consequence of well-known facts about Lie groups and representations.
1
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
|
show 2 more comments
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: "504"
};
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%2fmathoverflow.net%2fquestions%2f316593%2fstabilizer-of-spn-and-un-in-gln%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
up vote
13
down vote
accepted
First, let me fix a misunderstanding: $mathrm{Sp}(n)$ does not sit in $mathrm{GL}(n,mathbb{C})$, but in $mathrm{GL}(2n,mathbb{C})$, so I'll assume that you mean, for the second part that $A$ lies in $mathrm{GL}(2n,mathbb{C})$.
These both follow immediately from the facts that all the automorphisms of
$mathrm{SU}(n)$ are either inner or conjugate-inner while the automorphisms of $mathrm{Sp}(n)$ are are all inner.
It's a bit easier to deal with the $mathrm{Sp}(n)$ case first since it has no outer automorphisms: If $Ain mathrm{GL}(2n,mathbb{C})$ satisfies $Amathrm{Sp}(n)A^{-1}subset mathrm{Sp}(n)$, then consider the homomorphism $phi:mathrm{Sp}(n)to mathrm{Sp}(n)$ defined by $phi(g) = AgA^{-1}$. This is a smooth, injective homomorphism, so it must be a smooth automorphism. Since every automorphism of $mathrm{Sp}(n)$ is of the form $phi(g) = hgh^{-1}$ for some $hinmathrm{Sp}(n)$, it follows that $AgA^{-1} = hgh^{-1}$, so $h^{-1}A$ lies in the commuting ring of $mathrm{Sp}(n)$ (intersected with the $mathbb{C}$-linear isomorphisms of $mathbb{C}^{2n}$), and this is simply the nonzero complex multiples of the identity (since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{C}^{2n}$). Thus, $A = lambda h$ for some $hin mathrm{Sp}(n)$ and some nonzero complex scalar $lambda$.
For the $mathrm{U}(n)$ case, notice that the problem is equivalent to finding the conjugations that preserve the subgroup $mathrm{SU}(n)$, so we might as well ask for the $Ainmathrm{GL}(n,mathbb{C})$ such that $Amathrm{SU}(n)A^{-1}= mathrm{SU}(n)$. Now, there is a slight complication, because for $n>2$, not all of the automorphisms of $mathrm{SU}(n)$ are inner. For example, the automorphism $psi(g) = bar g$ is not inner. Instead, every automorphism is either of the form $phi(g) = hgh^{-1}$ or $phi(g) = hbar gh^{-1}$ for some $hinmathrm{SU}(n)$. However, it's easy to see that, for $n>2$, there is no pair $(A,h)$ such that $AgA^{-1} = hbar gh^{-1}$ for all $ginmathrm{SU}(n)$, so we only need to deal with the case $AgA^{-1} = h gh^{-1}$ with $hinmathrm{SU}(n)$ and $Ain mathrm{GL}(n,mathbb{C})$. Again, we find that $h^{-1}Ainmathrm{GL}(n,mathbb{C})$ must commute with all of the elements of $mathrm{SU}(n)$, and this can happen only if $h^{-1}A$ is a multiple of the identity (again because of the irreducibility of the action of $mathrm{SU}(n)$ on $mathbb{C}^n$).
I think that the reason you haven't seen it in the literature is that it is such a direct consequence of well-known facts about Lie groups and representations.
1
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
|
show 2 more comments
up vote
13
down vote
accepted
First, let me fix a misunderstanding: $mathrm{Sp}(n)$ does not sit in $mathrm{GL}(n,mathbb{C})$, but in $mathrm{GL}(2n,mathbb{C})$, so I'll assume that you mean, for the second part that $A$ lies in $mathrm{GL}(2n,mathbb{C})$.
These both follow immediately from the facts that all the automorphisms of
$mathrm{SU}(n)$ are either inner or conjugate-inner while the automorphisms of $mathrm{Sp}(n)$ are are all inner.
It's a bit easier to deal with the $mathrm{Sp}(n)$ case first since it has no outer automorphisms: If $Ain mathrm{GL}(2n,mathbb{C})$ satisfies $Amathrm{Sp}(n)A^{-1}subset mathrm{Sp}(n)$, then consider the homomorphism $phi:mathrm{Sp}(n)to mathrm{Sp}(n)$ defined by $phi(g) = AgA^{-1}$. This is a smooth, injective homomorphism, so it must be a smooth automorphism. Since every automorphism of $mathrm{Sp}(n)$ is of the form $phi(g) = hgh^{-1}$ for some $hinmathrm{Sp}(n)$, it follows that $AgA^{-1} = hgh^{-1}$, so $h^{-1}A$ lies in the commuting ring of $mathrm{Sp}(n)$ (intersected with the $mathbb{C}$-linear isomorphisms of $mathbb{C}^{2n}$), and this is simply the nonzero complex multiples of the identity (since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{C}^{2n}$). Thus, $A = lambda h$ for some $hin mathrm{Sp}(n)$ and some nonzero complex scalar $lambda$.
For the $mathrm{U}(n)$ case, notice that the problem is equivalent to finding the conjugations that preserve the subgroup $mathrm{SU}(n)$, so we might as well ask for the $Ainmathrm{GL}(n,mathbb{C})$ such that $Amathrm{SU}(n)A^{-1}= mathrm{SU}(n)$. Now, there is a slight complication, because for $n>2$, not all of the automorphisms of $mathrm{SU}(n)$ are inner. For example, the automorphism $psi(g) = bar g$ is not inner. Instead, every automorphism is either of the form $phi(g) = hgh^{-1}$ or $phi(g) = hbar gh^{-1}$ for some $hinmathrm{SU}(n)$. However, it's easy to see that, for $n>2$, there is no pair $(A,h)$ such that $AgA^{-1} = hbar gh^{-1}$ for all $ginmathrm{SU}(n)$, so we only need to deal with the case $AgA^{-1} = h gh^{-1}$ with $hinmathrm{SU}(n)$ and $Ain mathrm{GL}(n,mathbb{C})$. Again, we find that $h^{-1}Ainmathrm{GL}(n,mathbb{C})$ must commute with all of the elements of $mathrm{SU}(n)$, and this can happen only if $h^{-1}A$ is a multiple of the identity (again because of the irreducibility of the action of $mathrm{SU}(n)$ on $mathbb{C}^n$).
I think that the reason you haven't seen it in the literature is that it is such a direct consequence of well-known facts about Lie groups and representations.
1
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
|
show 2 more comments
up vote
13
down vote
accepted
up vote
13
down vote
accepted
First, let me fix a misunderstanding: $mathrm{Sp}(n)$ does not sit in $mathrm{GL}(n,mathbb{C})$, but in $mathrm{GL}(2n,mathbb{C})$, so I'll assume that you mean, for the second part that $A$ lies in $mathrm{GL}(2n,mathbb{C})$.
These both follow immediately from the facts that all the automorphisms of
$mathrm{SU}(n)$ are either inner or conjugate-inner while the automorphisms of $mathrm{Sp}(n)$ are are all inner.
It's a bit easier to deal with the $mathrm{Sp}(n)$ case first since it has no outer automorphisms: If $Ain mathrm{GL}(2n,mathbb{C})$ satisfies $Amathrm{Sp}(n)A^{-1}subset mathrm{Sp}(n)$, then consider the homomorphism $phi:mathrm{Sp}(n)to mathrm{Sp}(n)$ defined by $phi(g) = AgA^{-1}$. This is a smooth, injective homomorphism, so it must be a smooth automorphism. Since every automorphism of $mathrm{Sp}(n)$ is of the form $phi(g) = hgh^{-1}$ for some $hinmathrm{Sp}(n)$, it follows that $AgA^{-1} = hgh^{-1}$, so $h^{-1}A$ lies in the commuting ring of $mathrm{Sp}(n)$ (intersected with the $mathbb{C}$-linear isomorphisms of $mathbb{C}^{2n}$), and this is simply the nonzero complex multiples of the identity (since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{C}^{2n}$). Thus, $A = lambda h$ for some $hin mathrm{Sp}(n)$ and some nonzero complex scalar $lambda$.
For the $mathrm{U}(n)$ case, notice that the problem is equivalent to finding the conjugations that preserve the subgroup $mathrm{SU}(n)$, so we might as well ask for the $Ainmathrm{GL}(n,mathbb{C})$ such that $Amathrm{SU}(n)A^{-1}= mathrm{SU}(n)$. Now, there is a slight complication, because for $n>2$, not all of the automorphisms of $mathrm{SU}(n)$ are inner. For example, the automorphism $psi(g) = bar g$ is not inner. Instead, every automorphism is either of the form $phi(g) = hgh^{-1}$ or $phi(g) = hbar gh^{-1}$ for some $hinmathrm{SU}(n)$. However, it's easy to see that, for $n>2$, there is no pair $(A,h)$ such that $AgA^{-1} = hbar gh^{-1}$ for all $ginmathrm{SU}(n)$, so we only need to deal with the case $AgA^{-1} = h gh^{-1}$ with $hinmathrm{SU}(n)$ and $Ain mathrm{GL}(n,mathbb{C})$. Again, we find that $h^{-1}Ainmathrm{GL}(n,mathbb{C})$ must commute with all of the elements of $mathrm{SU}(n)$, and this can happen only if $h^{-1}A$ is a multiple of the identity (again because of the irreducibility of the action of $mathrm{SU}(n)$ on $mathbb{C}^n$).
I think that the reason you haven't seen it in the literature is that it is such a direct consequence of well-known facts about Lie groups and representations.
First, let me fix a misunderstanding: $mathrm{Sp}(n)$ does not sit in $mathrm{GL}(n,mathbb{C})$, but in $mathrm{GL}(2n,mathbb{C})$, so I'll assume that you mean, for the second part that $A$ lies in $mathrm{GL}(2n,mathbb{C})$.
These both follow immediately from the facts that all the automorphisms of
$mathrm{SU}(n)$ are either inner or conjugate-inner while the automorphisms of $mathrm{Sp}(n)$ are are all inner.
It's a bit easier to deal with the $mathrm{Sp}(n)$ case first since it has no outer automorphisms: If $Ain mathrm{GL}(2n,mathbb{C})$ satisfies $Amathrm{Sp}(n)A^{-1}subset mathrm{Sp}(n)$, then consider the homomorphism $phi:mathrm{Sp}(n)to mathrm{Sp}(n)$ defined by $phi(g) = AgA^{-1}$. This is a smooth, injective homomorphism, so it must be a smooth automorphism. Since every automorphism of $mathrm{Sp}(n)$ is of the form $phi(g) = hgh^{-1}$ for some $hinmathrm{Sp}(n)$, it follows that $AgA^{-1} = hgh^{-1}$, so $h^{-1}A$ lies in the commuting ring of $mathrm{Sp}(n)$ (intersected with the $mathbb{C}$-linear isomorphisms of $mathbb{C}^{2n}$), and this is simply the nonzero complex multiples of the identity (since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{C}^{2n}$). Thus, $A = lambda h$ for some $hin mathrm{Sp}(n)$ and some nonzero complex scalar $lambda$.
For the $mathrm{U}(n)$ case, notice that the problem is equivalent to finding the conjugations that preserve the subgroup $mathrm{SU}(n)$, so we might as well ask for the $Ainmathrm{GL}(n,mathbb{C})$ such that $Amathrm{SU}(n)A^{-1}= mathrm{SU}(n)$. Now, there is a slight complication, because for $n>2$, not all of the automorphisms of $mathrm{SU}(n)$ are inner. For example, the automorphism $psi(g) = bar g$ is not inner. Instead, every automorphism is either of the form $phi(g) = hgh^{-1}$ or $phi(g) = hbar gh^{-1}$ for some $hinmathrm{SU}(n)$. However, it's easy to see that, for $n>2$, there is no pair $(A,h)$ such that $AgA^{-1} = hbar gh^{-1}$ for all $ginmathrm{SU}(n)$, so we only need to deal with the case $AgA^{-1} = h gh^{-1}$ with $hinmathrm{SU}(n)$ and $Ain mathrm{GL}(n,mathbb{C})$. Again, we find that $h^{-1}Ainmathrm{GL}(n,mathbb{C})$ must commute with all of the elements of $mathrm{SU}(n)$, and this can happen only if $h^{-1}A$ is a multiple of the identity (again because of the irreducibility of the action of $mathrm{SU}(n)$ on $mathbb{C}^n$).
I think that the reason you haven't seen it in the literature is that it is such a direct consequence of well-known facts about Lie groups and representations.
edited Nov 30 at 19:50
answered Nov 30 at 17:43
Robert Bryant
72.8k5214313
72.8k5214313
1
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
|
show 2 more comments
1
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
1
1
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
"conjugate" means "complex conjugate" (I remained confused for a while about the purported meaning of "conjugate-inner.)
– YCor
Nov 30 at 18:18
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
That's reasonable, thanks. I was thinking of applying Howe duality, but it is too much. I misprinted the question, by the way, it shoud be $Ain GL(2n, {Bbb R})$ - sorry.
– Misha Verbitsky
Dec 1 at 1:06
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
Of course, it is a question about isometries of a Kahler or a hyperkahler manifold, but you already guessed it I suppose.
– Misha Verbitsky
Dec 1 at 1:09
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Regarding your first comment, which I suppose was meant to refer to the $mathrm{Sp}(n)$ case: For that, you should have asked for $Ainmathrm{GL}(4n,mathbb{R})$, not $Ainmathrm{GL}(2n,mathbb{R})$, since $mathrm{Sp}(n)$ acts irreducibly on $mathbb{H}^n=mathbb{R}^{4n}$. In that case, what you find is that $h^{-1}A$ is an invertible element in the commuting ring over $mathbb{R}$ (instead of $mathbb{C}$). That commuting ring is indeed $mathbb{H}$, since $mathrm{Sp}(n)$ is the group of (right) $mathbb{H}$-linear orthgonal transformations, thus verifying your claim.
– Robert Bryant
Dec 1 at 10:39
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
@MishaVerbitsky: Certainly, I knew that these facts were basic to the study of the isometry group of an irreducible Kähler or hyperKähler manifold, but I didn't guess that this is what motivated your question. I see that you have now edited your question to allow $Ainmathrm{GL}(2n,mathbb{R})$ for the $mathrm{U}(n)$-case, which makes your proposed answer incorrect. In addition, you now have to allow $A$ to be conjugate-linear (i.e., there are two pieces to the group). For example, complex conjugation preserves the Fubini-Study metric on $mathbb{CP}^n$.
– Robert Bryant
Dec 1 at 10:50
|
show 2 more comments
Thanks for contributing an answer to MathOverflow!
- 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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2fmathoverflow.net%2fquestions%2f316593%2fstabilizer-of-spn-and-un-in-gln%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