Show that $(mu, walpha) leq 0$.
up vote
3
down vote
favorite
Let $Phi$ a root system and $W$ the Weyl group relative to basis $Delta$. Let $mu in overline{C(Delta)}$, where $C(Delta)$ is the Weyl chamber fundamental, $w in W$ and $alpha in Delta$ such that $walpha prec 0$. Show that $(mu, walpha) leq 0$.
Comments:
I need this to understand a demonstration of the Lemma 10.3B of book J.E. Humphreys - Introduction to Lie algebras and representation theory. He states that this fact occurs because $mu in overline{C(Delta)}$. But I can not see why.
I'm assuming that $(mu, walpha) > 0$. If $mu in C(Delta)$ then $walpha in Delta Rightarrow w alpha succ 0$ a contradiction.
I can not solve the case where $mu in overline{C(Delta)} setminus C(Delta)$.
Another way is as follows: $(mu, w alpha) leq 0 Leftrightarrow -(mu, w alpha) geq 0 Leftrightarrow (mu, w(- alpha)) geq 0 Leftrightarrow w(- alpha) in Delta$. Knowing that $alpha in Delta$ and $walpha prec 0$
I can conclude that $w(-alpha) in Delta$?
abstract-algebra lie-algebras
This question has an open bounty worth +50
reputation from Croos ending in 6 days.
This question has not received enough attention.
add a comment |
up vote
3
down vote
favorite
Let $Phi$ a root system and $W$ the Weyl group relative to basis $Delta$. Let $mu in overline{C(Delta)}$, where $C(Delta)$ is the Weyl chamber fundamental, $w in W$ and $alpha in Delta$ such that $walpha prec 0$. Show that $(mu, walpha) leq 0$.
Comments:
I need this to understand a demonstration of the Lemma 10.3B of book J.E. Humphreys - Introduction to Lie algebras and representation theory. He states that this fact occurs because $mu in overline{C(Delta)}$. But I can not see why.
I'm assuming that $(mu, walpha) > 0$. If $mu in C(Delta)$ then $walpha in Delta Rightarrow w alpha succ 0$ a contradiction.
I can not solve the case where $mu in overline{C(Delta)} setminus C(Delta)$.
Another way is as follows: $(mu, w alpha) leq 0 Leftrightarrow -(mu, w alpha) geq 0 Leftrightarrow (mu, w(- alpha)) geq 0 Leftrightarrow w(- alpha) in Delta$. Knowing that $alpha in Delta$ and $walpha prec 0$
I can conclude that $w(-alpha) in Delta$?
abstract-algebra lie-algebras
This question has an open bounty worth +50
reputation from Croos ending in 6 days.
This question has not received enough attention.
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Let $Phi$ a root system and $W$ the Weyl group relative to basis $Delta$. Let $mu in overline{C(Delta)}$, where $C(Delta)$ is the Weyl chamber fundamental, $w in W$ and $alpha in Delta$ such that $walpha prec 0$. Show that $(mu, walpha) leq 0$.
Comments:
I need this to understand a demonstration of the Lemma 10.3B of book J.E. Humphreys - Introduction to Lie algebras and representation theory. He states that this fact occurs because $mu in overline{C(Delta)}$. But I can not see why.
I'm assuming that $(mu, walpha) > 0$. If $mu in C(Delta)$ then $walpha in Delta Rightarrow w alpha succ 0$ a contradiction.
I can not solve the case where $mu in overline{C(Delta)} setminus C(Delta)$.
Another way is as follows: $(mu, w alpha) leq 0 Leftrightarrow -(mu, w alpha) geq 0 Leftrightarrow (mu, w(- alpha)) geq 0 Leftrightarrow w(- alpha) in Delta$. Knowing that $alpha in Delta$ and $walpha prec 0$
I can conclude that $w(-alpha) in Delta$?
abstract-algebra lie-algebras
Let $Phi$ a root system and $W$ the Weyl group relative to basis $Delta$. Let $mu in overline{C(Delta)}$, where $C(Delta)$ is the Weyl chamber fundamental, $w in W$ and $alpha in Delta$ such that $walpha prec 0$. Show that $(mu, walpha) leq 0$.
Comments:
I need this to understand a demonstration of the Lemma 10.3B of book J.E. Humphreys - Introduction to Lie algebras and representation theory. He states that this fact occurs because $mu in overline{C(Delta)}$. But I can not see why.
I'm assuming that $(mu, walpha) > 0$. If $mu in C(Delta)$ then $walpha in Delta Rightarrow w alpha succ 0$ a contradiction.
I can not solve the case where $mu in overline{C(Delta)} setminus C(Delta)$.
Another way is as follows: $(mu, w alpha) leq 0 Leftrightarrow -(mu, w alpha) geq 0 Leftrightarrow (mu, w(- alpha)) geq 0 Leftrightarrow w(- alpha) in Delta$. Knowing that $alpha in Delta$ and $walpha prec 0$
I can conclude that $w(-alpha) in Delta$?
abstract-algebra lie-algebras
abstract-algebra lie-algebras
edited 12 hours ago
asked Nov 9 at 22:28
Croos
775516
775516
This question has an open bounty worth +50
reputation from Croos ending in 6 days.
This question has not received enough attention.
This question has an open bounty worth +50
reputation from Croos ending in 6 days.
This question has not received enough attention.
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
Write $alpha_1,dots,alpha_n$ for the given choice of simple roots. Suppose $beta$ is a root with $beta prec 0$, that is
$$beta=sum_{i=1}^n k_i alpha_i,$$ with $k_i leq 0$. We must show that $(beta,mu)$ is non-positive for all $mu$ in the closure of the fundamental chamber. But this is an immediate consequence of the definition, which we now recall.
The fundamental chamber $C(Delta)$ is defined by
$$C(Delta)={v in mathfrak{h} | (alpha,v) > 0 quad hbox{for all positive roots $alpha$} }$$ and its closure is
$$overline{C(Delta)}={v in mathfrak{h} | (alpha,v) geq 0 quad hbox{for all positive roots $alpha$} }.$$ Therefore by definition, for any $mu in overline{C(Delta)}$,
$$(beta,mu)=sum_{i=1}^n k_i (alpha_i,mu) leq 0.$$
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
Write $alpha_1,dots,alpha_n$ for the given choice of simple roots. Suppose $beta$ is a root with $beta prec 0$, that is
$$beta=sum_{i=1}^n k_i alpha_i,$$ with $k_i leq 0$. We must show that $(beta,mu)$ is non-positive for all $mu$ in the closure of the fundamental chamber. But this is an immediate consequence of the definition, which we now recall.
The fundamental chamber $C(Delta)$ is defined by
$$C(Delta)={v in mathfrak{h} | (alpha,v) > 0 quad hbox{for all positive roots $alpha$} }$$ and its closure is
$$overline{C(Delta)}={v in mathfrak{h} | (alpha,v) geq 0 quad hbox{for all positive roots $alpha$} }.$$ Therefore by definition, for any $mu in overline{C(Delta)}$,
$$(beta,mu)=sum_{i=1}^n k_i (alpha_i,mu) leq 0.$$
add a comment |
up vote
1
down vote
accepted
Write $alpha_1,dots,alpha_n$ for the given choice of simple roots. Suppose $beta$ is a root with $beta prec 0$, that is
$$beta=sum_{i=1}^n k_i alpha_i,$$ with $k_i leq 0$. We must show that $(beta,mu)$ is non-positive for all $mu$ in the closure of the fundamental chamber. But this is an immediate consequence of the definition, which we now recall.
The fundamental chamber $C(Delta)$ is defined by
$$C(Delta)={v in mathfrak{h} | (alpha,v) > 0 quad hbox{for all positive roots $alpha$} }$$ and its closure is
$$overline{C(Delta)}={v in mathfrak{h} | (alpha,v) geq 0 quad hbox{for all positive roots $alpha$} }.$$ Therefore by definition, for any $mu in overline{C(Delta)}$,
$$(beta,mu)=sum_{i=1}^n k_i (alpha_i,mu) leq 0.$$
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Write $alpha_1,dots,alpha_n$ for the given choice of simple roots. Suppose $beta$ is a root with $beta prec 0$, that is
$$beta=sum_{i=1}^n k_i alpha_i,$$ with $k_i leq 0$. We must show that $(beta,mu)$ is non-positive for all $mu$ in the closure of the fundamental chamber. But this is an immediate consequence of the definition, which we now recall.
The fundamental chamber $C(Delta)$ is defined by
$$C(Delta)={v in mathfrak{h} | (alpha,v) > 0 quad hbox{for all positive roots $alpha$} }$$ and its closure is
$$overline{C(Delta)}={v in mathfrak{h} | (alpha,v) geq 0 quad hbox{for all positive roots $alpha$} }.$$ Therefore by definition, for any $mu in overline{C(Delta)}$,
$$(beta,mu)=sum_{i=1}^n k_i (alpha_i,mu) leq 0.$$
Write $alpha_1,dots,alpha_n$ for the given choice of simple roots. Suppose $beta$ is a root with $beta prec 0$, that is
$$beta=sum_{i=1}^n k_i alpha_i,$$ with $k_i leq 0$. We must show that $(beta,mu)$ is non-positive for all $mu$ in the closure of the fundamental chamber. But this is an immediate consequence of the definition, which we now recall.
The fundamental chamber $C(Delta)$ is defined by
$$C(Delta)={v in mathfrak{h} | (alpha,v) > 0 quad hbox{for all positive roots $alpha$} }$$ and its closure is
$$overline{C(Delta)}={v in mathfrak{h} | (alpha,v) geq 0 quad hbox{for all positive roots $alpha$} }.$$ Therefore by definition, for any $mu in overline{C(Delta)}$,
$$(beta,mu)=sum_{i=1}^n k_i (alpha_i,mu) leq 0.$$
answered 14 hours ago
Stephen
10.3k12237
10.3k12237
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%2f2992022%2fshow-that-mu-w-alpha-leq-0%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