Show that $(mu, walpha) leq 0$.











up vote
3
down vote

favorite
1












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$?










share|cite|improve this question

















This question has an open bounty worth +50
reputation from Croos ending in 6 days.


This question has not received enough attention.




















    up vote
    3
    down vote

    favorite
    1












    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$?










    share|cite|improve this question

















    This question has an open bounty worth +50
    reputation from Croos ending in 6 days.


    This question has not received enough attention.


















      up vote
      3
      down vote

      favorite
      1









      up vote
      3
      down vote

      favorite
      1






      1





      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$?










      share|cite|improve this question















      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






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      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.
























          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.$$






          share|cite|improve this answer





















            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',
            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
            });


            }
            });














             

            draft saved


            draft discarded


















            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
































            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.$$






            share|cite|improve this answer

























              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.$$






              share|cite|improve this answer























                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.$$






                share|cite|improve this answer












                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.$$







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 14 hours ago









                Stephen

                10.3k12237




                10.3k12237






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    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




















































































                    Popular posts from this blog

                    How to change which sound is reproduced for terminal bell?

                    Can I use Tabulator js library in my java Spring + Thymeleaf project?

                    Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents