Correspondence between complex and real subalgebras
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Let $mathfrak g$ be a real Lie algebra and let $mathfrak g^mathbb C$ be its complexification. Is every complex subalgebra of $mathfrak g^mathbb C$ a complexification of some subalgebra of $mathfrak g$? If not, what is a counterexample?
lie-algebras
add a comment |Â
up vote
1
down vote
favorite
Let $mathfrak g$ be a real Lie algebra and let $mathfrak g^mathbb C$ be its complexification. Is every complex subalgebra of $mathfrak g^mathbb C$ a complexification of some subalgebra of $mathfrak g$? If not, what is a counterexample?
lie-algebras
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Let $mathfrak g$ be a real Lie algebra and let $mathfrak g^mathbb C$ be its complexification. Is every complex subalgebra of $mathfrak g^mathbb C$ a complexification of some subalgebra of $mathfrak g$? If not, what is a counterexample?
lie-algebras
Let $mathfrak g$ be a real Lie algebra and let $mathfrak g^mathbb C$ be its complexification. Is every complex subalgebra of $mathfrak g^mathbb C$ a complexification of some subalgebra of $mathfrak g$? If not, what is a counterexample?
lie-algebras
asked Jul 17 at 22:27
Ronald
1,5391821
1,5391821
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
Counterexample:
$$mathfrakg = mathfraksu_2 =lbrace pmatrixai & b+ci\ -b+ci & -ai : a,b,c in Bbb R rbrace$$
$$mathfrakg_Bbb C simeq mathfraksl_2(Bbb C) = lbrace pmatrixx & y\ z & -x : x,y,z in Bbb C rbrace$$
Then the subalgebra $mathfrakb :=lbrace pmatrixx & y\ 0 & -x : x,y,z in Bbb C rbrace subsetneq mathfrakg_Bbb C$ does not come from a subalgebra of $mathfrakg$. (In general, many real forms of semisimple Lie algebras do not contain subalgebras which become Borel subalgebras after complexification; only the so-called quasi-split ones do. There's certainly tons of other examples for other classes of Lie algebras.)
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
Counterexample:
$$mathfrakg = mathfraksu_2 =lbrace pmatrixai & b+ci\ -b+ci & -ai : a,b,c in Bbb R rbrace$$
$$mathfrakg_Bbb C simeq mathfraksl_2(Bbb C) = lbrace pmatrixx & y\ z & -x : x,y,z in Bbb C rbrace$$
Then the subalgebra $mathfrakb :=lbrace pmatrixx & y\ 0 & -x : x,y,z in Bbb C rbrace subsetneq mathfrakg_Bbb C$ does not come from a subalgebra of $mathfrakg$. (In general, many real forms of semisimple Lie algebras do not contain subalgebras which become Borel subalgebras after complexification; only the so-called quasi-split ones do. There's certainly tons of other examples for other classes of Lie algebras.)
add a comment |Â
up vote
1
down vote
accepted
Counterexample:
$$mathfrakg = mathfraksu_2 =lbrace pmatrixai & b+ci\ -b+ci & -ai : a,b,c in Bbb R rbrace$$
$$mathfrakg_Bbb C simeq mathfraksl_2(Bbb C) = lbrace pmatrixx & y\ z & -x : x,y,z in Bbb C rbrace$$
Then the subalgebra $mathfrakb :=lbrace pmatrixx & y\ 0 & -x : x,y,z in Bbb C rbrace subsetneq mathfrakg_Bbb C$ does not come from a subalgebra of $mathfrakg$. (In general, many real forms of semisimple Lie algebras do not contain subalgebras which become Borel subalgebras after complexification; only the so-called quasi-split ones do. There's certainly tons of other examples for other classes of Lie algebras.)
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Counterexample:
$$mathfrakg = mathfraksu_2 =lbrace pmatrixai & b+ci\ -b+ci & -ai : a,b,c in Bbb R rbrace$$
$$mathfrakg_Bbb C simeq mathfraksl_2(Bbb C) = lbrace pmatrixx & y\ z & -x : x,y,z in Bbb C rbrace$$
Then the subalgebra $mathfrakb :=lbrace pmatrixx & y\ 0 & -x : x,y,z in Bbb C rbrace subsetneq mathfrakg_Bbb C$ does not come from a subalgebra of $mathfrakg$. (In general, many real forms of semisimple Lie algebras do not contain subalgebras which become Borel subalgebras after complexification; only the so-called quasi-split ones do. There's certainly tons of other examples for other classes of Lie algebras.)
Counterexample:
$$mathfrakg = mathfraksu_2 =lbrace pmatrixai & b+ci\ -b+ci & -ai : a,b,c in Bbb R rbrace$$
$$mathfrakg_Bbb C simeq mathfraksl_2(Bbb C) = lbrace pmatrixx & y\ z & -x : x,y,z in Bbb C rbrace$$
Then the subalgebra $mathfrakb :=lbrace pmatrixx & y\ 0 & -x : x,y,z in Bbb C rbrace subsetneq mathfrakg_Bbb C$ does not come from a subalgebra of $mathfrakg$. (In general, many real forms of semisimple Lie algebras do not contain subalgebras which become Borel subalgebras after complexification; only the so-called quasi-split ones do. There's certainly tons of other examples for other classes of Lie algebras.)
answered Jul 17 at 23:59
Torsten Schoeneberg
2,6021732
2,6021732
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2854989%2fcorrespondence-between-complex-and-real-subalgebras%23new-answer', 'question_page');
);
Post as a guest
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
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
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