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

                    Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

                    ComboBox Display Member on multiple fields

                    Is it possible to collect Nectar points via Trainline?