Center of subgroups of Lie groups
up vote
2
down vote
favorite
In this question it was shown that the simply connected compact Lie group of type $E_6$ the subgroup $Gamma$ of maximal rank of type $A_2^3$ given by Borel-de Siebenthal theory (see the question) is isomorphic to $SU(3)^3/H$ where $H$ is a finite group of order $3$. This was proved by computing the order of the center of $Gamma$ (it turned out to be $9$).
My question is the following: which subgroup of $SU(3)^3$ is $H$? And what is the center of $E_6$ (it is isomorphic to $mu_3$) inside $SU(3)/H$?
The most canonical choice for $H$ seems to be ${(a,b,c)inmu_3^3:abc=1}$, and the most canonical choice for the center seems ${(a,a,a):ain mu_3}$, but this are not compatible, because I am not killing anything when I go to the adjoint form of $E_6$.
But maybe one of the three copies of $SU(3)$ -the one generated by the highest root and a simple root- is distinguished, so that the situation is not really symmetric... I feel terrible because I have no idea how to check any of these things...
group-theory lie-groups lie-algebras
add a comment |
up vote
2
down vote
favorite
In this question it was shown that the simply connected compact Lie group of type $E_6$ the subgroup $Gamma$ of maximal rank of type $A_2^3$ given by Borel-de Siebenthal theory (see the question) is isomorphic to $SU(3)^3/H$ where $H$ is a finite group of order $3$. This was proved by computing the order of the center of $Gamma$ (it turned out to be $9$).
My question is the following: which subgroup of $SU(3)^3$ is $H$? And what is the center of $E_6$ (it is isomorphic to $mu_3$) inside $SU(3)/H$?
The most canonical choice for $H$ seems to be ${(a,b,c)inmu_3^3:abc=1}$, and the most canonical choice for the center seems ${(a,a,a):ain mu_3}$, but this are not compatible, because I am not killing anything when I go to the adjoint form of $E_6$.
But maybe one of the three copies of $SU(3)$ -the one generated by the highest root and a simple root- is distinguished, so that the situation is not really symmetric... I feel terrible because I have no idea how to check any of these things...
group-theory lie-groups lie-algebras
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
In this question it was shown that the simply connected compact Lie group of type $E_6$ the subgroup $Gamma$ of maximal rank of type $A_2^3$ given by Borel-de Siebenthal theory (see the question) is isomorphic to $SU(3)^3/H$ where $H$ is a finite group of order $3$. This was proved by computing the order of the center of $Gamma$ (it turned out to be $9$).
My question is the following: which subgroup of $SU(3)^3$ is $H$? And what is the center of $E_6$ (it is isomorphic to $mu_3$) inside $SU(3)/H$?
The most canonical choice for $H$ seems to be ${(a,b,c)inmu_3^3:abc=1}$, and the most canonical choice for the center seems ${(a,a,a):ain mu_3}$, but this are not compatible, because I am not killing anything when I go to the adjoint form of $E_6$.
But maybe one of the three copies of $SU(3)$ -the one generated by the highest root and a simple root- is distinguished, so that the situation is not really symmetric... I feel terrible because I have no idea how to check any of these things...
group-theory lie-groups lie-algebras
In this question it was shown that the simply connected compact Lie group of type $E_6$ the subgroup $Gamma$ of maximal rank of type $A_2^3$ given by Borel-de Siebenthal theory (see the question) is isomorphic to $SU(3)^3/H$ where $H$ is a finite group of order $3$. This was proved by computing the order of the center of $Gamma$ (it turned out to be $9$).
My question is the following: which subgroup of $SU(3)^3$ is $H$? And what is the center of $E_6$ (it is isomorphic to $mu_3$) inside $SU(3)/H$?
The most canonical choice for $H$ seems to be ${(a,b,c)inmu_3^3:abc=1}$, and the most canonical choice for the center seems ${(a,a,a):ain mu_3}$, but this are not compatible, because I am not killing anything when I go to the adjoint form of $E_6$.
But maybe one of the three copies of $SU(3)$ -the one generated by the highest root and a simple root- is distinguished, so that the situation is not really symmetric... I feel terrible because I have no idea how to check any of these things...
group-theory lie-groups lie-algebras
group-theory lie-groups lie-algebras
asked Nov 21 at 17:08
Cehiju
364
364
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3008030%2fcenter-of-subgroups-of-lie-groups%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