Are all Lie groups with a (linear) representation a matrix Lie group?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite












I am self studying quantum field theories and as many of you know this can not be properly done without at least some knowledge of Lie groups and the corresponding algebra.



I am reading the QFT text by Michele Maggiore “A modern introduction to quantum field theory”. In his chapter on Lie groups (I know, a single chapter is far from enough) he defines a representation of the Lie group as an operation that assigns a linear operator to each element within the Lie group.



My question is, does all Lie groups has such a (linear) representation? Or is Michele Maggiore restricting his discussion on Lie groups to that of matrix Lie groups without explicitly stating so?



This might be trivial question, but I am new to Lie groups and is just seeking some clarification on the topic.







share|cite|improve this question
















  • 1




    You can always define the adjoint representation on the associated Lie algebra.
    – David Hill
    Aug 7 at 22:43














up vote
2
down vote

favorite












I am self studying quantum field theories and as many of you know this can not be properly done without at least some knowledge of Lie groups and the corresponding algebra.



I am reading the QFT text by Michele Maggiore “A modern introduction to quantum field theory”. In his chapter on Lie groups (I know, a single chapter is far from enough) he defines a representation of the Lie group as an operation that assigns a linear operator to each element within the Lie group.



My question is, does all Lie groups has such a (linear) representation? Or is Michele Maggiore restricting his discussion on Lie groups to that of matrix Lie groups without explicitly stating so?



This might be trivial question, but I am new to Lie groups and is just seeking some clarification on the topic.







share|cite|improve this question
















  • 1




    You can always define the adjoint representation on the associated Lie algebra.
    – David Hill
    Aug 7 at 22:43












up vote
2
down vote

favorite









up vote
2
down vote

favorite











I am self studying quantum field theories and as many of you know this can not be properly done without at least some knowledge of Lie groups and the corresponding algebra.



I am reading the QFT text by Michele Maggiore “A modern introduction to quantum field theory”. In his chapter on Lie groups (I know, a single chapter is far from enough) he defines a representation of the Lie group as an operation that assigns a linear operator to each element within the Lie group.



My question is, does all Lie groups has such a (linear) representation? Or is Michele Maggiore restricting his discussion on Lie groups to that of matrix Lie groups without explicitly stating so?



This might be trivial question, but I am new to Lie groups and is just seeking some clarification on the topic.







share|cite|improve this question












I am self studying quantum field theories and as many of you know this can not be properly done without at least some knowledge of Lie groups and the corresponding algebra.



I am reading the QFT text by Michele Maggiore “A modern introduction to quantum field theory”. In his chapter on Lie groups (I know, a single chapter is far from enough) he defines a representation of the Lie group as an operation that assigns a linear operator to each element within the Lie group.



My question is, does all Lie groups has such a (linear) representation? Or is Michele Maggiore restricting his discussion on Lie groups to that of matrix Lie groups without explicitly stating so?



This might be trivial question, but I am new to Lie groups and is just seeking some clarification on the topic.









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 7 at 22:34









Wuberdall

716




716







  • 1




    You can always define the adjoint representation on the associated Lie algebra.
    – David Hill
    Aug 7 at 22:43












  • 1




    You can always define the adjoint representation on the associated Lie algebra.
    – David Hill
    Aug 7 at 22:43







1




1




You can always define the adjoint representation on the associated Lie algebra.
– David Hill
Aug 7 at 22:43




You can always define the adjoint representation on the associated Lie algebra.
– David Hill
Aug 7 at 22:43










3 Answers
3






active

oldest

votes

















up vote
3
down vote













For any Lie group $G$ and any vector space $V$, there is a representation of $G$ which sends every element of $G$ to the identity operator on $V$. So, every Lie group has a representation.



In any case, though, I think you are kind of missing the point. We aren't interested in "groups which have a representation". Rather, we are interested in studying the many different representations which a single group may have. So even though a matrix Lie group "comes with" a canonical representation (since every element already is a matrix), we are still interested in other representations of such a group.






share|cite|improve this answer



























    up vote
    3
    down vote













    Presumably you are wondering whether every Lie group has a faithful finite-dimensional linear representation. Or in other words: is every Lie group realizable as a closed subgroup of $mathrmGL(V)$ for some finite dimensional vector space $V$?



    This is true for compact Lie groups (by the Peter-Weyl theorem) but false in general: for instance, the universal cover of $mathrmSL_2(mathbfR)$ has no faithful finite-dimensional representation.






    share|cite|improve this answer



























      up vote
      2
      down vote













      Your confusion is reasonable. First, as @DavidHill noted, we can always let a Lie group act by Adjoint on its Lie algebra, so there is at least one quite non-trivial linear representation. But, yes, this representation may map much of the Lie group to the trivial operator, if the center is large.



      A question that may be underlying your question is about faithful linear representations, that is, where the group maps injectively/one-to-one to the linear transformations on the vector space. The question of whether a given abstract Lie group admits a faithful (finite-dimensional) linear representation is subtler, and the answer is not always "yes".



      But compact Lie groups, for example, do always admit faithful linear representations, as was known already to Peter and Weyl and others almost 100 years ago.



      And, yes, matrix Lie algebras behave somewhat more predictably that more general families.






      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: false,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        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%2f2875477%2fare-all-lie-groups-with-a-linear-representation-a-matrix-lie-group%23new-answer', 'question_page');

        );

        Post as a guest






























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes








        up vote
        3
        down vote













        For any Lie group $G$ and any vector space $V$, there is a representation of $G$ which sends every element of $G$ to the identity operator on $V$. So, every Lie group has a representation.



        In any case, though, I think you are kind of missing the point. We aren't interested in "groups which have a representation". Rather, we are interested in studying the many different representations which a single group may have. So even though a matrix Lie group "comes with" a canonical representation (since every element already is a matrix), we are still interested in other representations of such a group.






        share|cite|improve this answer
























          up vote
          3
          down vote













          For any Lie group $G$ and any vector space $V$, there is a representation of $G$ which sends every element of $G$ to the identity operator on $V$. So, every Lie group has a representation.



          In any case, though, I think you are kind of missing the point. We aren't interested in "groups which have a representation". Rather, we are interested in studying the many different representations which a single group may have. So even though a matrix Lie group "comes with" a canonical representation (since every element already is a matrix), we are still interested in other representations of such a group.






          share|cite|improve this answer






















            up vote
            3
            down vote










            up vote
            3
            down vote









            For any Lie group $G$ and any vector space $V$, there is a representation of $G$ which sends every element of $G$ to the identity operator on $V$. So, every Lie group has a representation.



            In any case, though, I think you are kind of missing the point. We aren't interested in "groups which have a representation". Rather, we are interested in studying the many different representations which a single group may have. So even though a matrix Lie group "comes with" a canonical representation (since every element already is a matrix), we are still interested in other representations of such a group.






            share|cite|improve this answer












            For any Lie group $G$ and any vector space $V$, there is a representation of $G$ which sends every element of $G$ to the identity operator on $V$. So, every Lie group has a representation.



            In any case, though, I think you are kind of missing the point. We aren't interested in "groups which have a representation". Rather, we are interested in studying the many different representations which a single group may have. So even though a matrix Lie group "comes with" a canonical representation (since every element already is a matrix), we are still interested in other representations of such a group.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Aug 7 at 22:55









            Eric Wofsey

            165k12192306




            165k12192306




















                up vote
                3
                down vote













                Presumably you are wondering whether every Lie group has a faithful finite-dimensional linear representation. Or in other words: is every Lie group realizable as a closed subgroup of $mathrmGL(V)$ for some finite dimensional vector space $V$?



                This is true for compact Lie groups (by the Peter-Weyl theorem) but false in general: for instance, the universal cover of $mathrmSL_2(mathbfR)$ has no faithful finite-dimensional representation.






                share|cite|improve this answer
























                  up vote
                  3
                  down vote













                  Presumably you are wondering whether every Lie group has a faithful finite-dimensional linear representation. Or in other words: is every Lie group realizable as a closed subgroup of $mathrmGL(V)$ for some finite dimensional vector space $V$?



                  This is true for compact Lie groups (by the Peter-Weyl theorem) but false in general: for instance, the universal cover of $mathrmSL_2(mathbfR)$ has no faithful finite-dimensional representation.






                  share|cite|improve this answer






















                    up vote
                    3
                    down vote










                    up vote
                    3
                    down vote









                    Presumably you are wondering whether every Lie group has a faithful finite-dimensional linear representation. Or in other words: is every Lie group realizable as a closed subgroup of $mathrmGL(V)$ for some finite dimensional vector space $V$?



                    This is true for compact Lie groups (by the Peter-Weyl theorem) but false in general: for instance, the universal cover of $mathrmSL_2(mathbfR)$ has no faithful finite-dimensional representation.






                    share|cite|improve this answer












                    Presumably you are wondering whether every Lie group has a faithful finite-dimensional linear representation. Or in other words: is every Lie group realizable as a closed subgroup of $mathrmGL(V)$ for some finite dimensional vector space $V$?



                    This is true for compact Lie groups (by the Peter-Weyl theorem) but false in general: for instance, the universal cover of $mathrmSL_2(mathbfR)$ has no faithful finite-dimensional representation.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Aug 7 at 23:05









                    Stephen

                    10.2k12237




                    10.2k12237




















                        up vote
                        2
                        down vote













                        Your confusion is reasonable. First, as @DavidHill noted, we can always let a Lie group act by Adjoint on its Lie algebra, so there is at least one quite non-trivial linear representation. But, yes, this representation may map much of the Lie group to the trivial operator, if the center is large.



                        A question that may be underlying your question is about faithful linear representations, that is, where the group maps injectively/one-to-one to the linear transformations on the vector space. The question of whether a given abstract Lie group admits a faithful (finite-dimensional) linear representation is subtler, and the answer is not always "yes".



                        But compact Lie groups, for example, do always admit faithful linear representations, as was known already to Peter and Weyl and others almost 100 years ago.



                        And, yes, matrix Lie algebras behave somewhat more predictably that more general families.






                        share|cite|improve this answer
























                          up vote
                          2
                          down vote













                          Your confusion is reasonable. First, as @DavidHill noted, we can always let a Lie group act by Adjoint on its Lie algebra, so there is at least one quite non-trivial linear representation. But, yes, this representation may map much of the Lie group to the trivial operator, if the center is large.



                          A question that may be underlying your question is about faithful linear representations, that is, where the group maps injectively/one-to-one to the linear transformations on the vector space. The question of whether a given abstract Lie group admits a faithful (finite-dimensional) linear representation is subtler, and the answer is not always "yes".



                          But compact Lie groups, for example, do always admit faithful linear representations, as was known already to Peter and Weyl and others almost 100 years ago.



                          And, yes, matrix Lie algebras behave somewhat more predictably that more general families.






                          share|cite|improve this answer






















                            up vote
                            2
                            down vote










                            up vote
                            2
                            down vote









                            Your confusion is reasonable. First, as @DavidHill noted, we can always let a Lie group act by Adjoint on its Lie algebra, so there is at least one quite non-trivial linear representation. But, yes, this representation may map much of the Lie group to the trivial operator, if the center is large.



                            A question that may be underlying your question is about faithful linear representations, that is, where the group maps injectively/one-to-one to the linear transformations on the vector space. The question of whether a given abstract Lie group admits a faithful (finite-dimensional) linear representation is subtler, and the answer is not always "yes".



                            But compact Lie groups, for example, do always admit faithful linear representations, as was known already to Peter and Weyl and others almost 100 years ago.



                            And, yes, matrix Lie algebras behave somewhat more predictably that more general families.






                            share|cite|improve this answer












                            Your confusion is reasonable. First, as @DavidHill noted, we can always let a Lie group act by Adjoint on its Lie algebra, so there is at least one quite non-trivial linear representation. But, yes, this representation may map much of the Lie group to the trivial operator, if the center is large.



                            A question that may be underlying your question is about faithful linear representations, that is, where the group maps injectively/one-to-one to the linear transformations on the vector space. The question of whether a given abstract Lie group admits a faithful (finite-dimensional) linear representation is subtler, and the answer is not always "yes".



                            But compact Lie groups, for example, do always admit faithful linear representations, as was known already to Peter and Weyl and others almost 100 years ago.



                            And, yes, matrix Lie algebras behave somewhat more predictably that more general families.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Aug 7 at 23:06









                            paul garrett

                            30.9k360116




                            30.9k360116



























                                 

                                draft saved


                                draft discarded















































                                 


                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function ()
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2875477%2fare-all-lie-groups-with-a-linear-representation-a-matrix-lie-group%23new-answer', 'question_page');

                                );

                                Post as a guest













































































                                Comments

                                Popular posts from this blog

                                What does second last employer means? [closed]

                                List of Gilmore Girls characters

                                Confectionery