Question about the diffeomorphism group of a Lie group.












0












$begingroup$


I was reading about the diffeomorphism group of varying Lie groups. Wikipedia states that:




When M = G is a Lie group, there is a natural inclusion of G in its
own diffeomorphism group via left-translation. Let Diff(G) denote the
diffeomorphism group of G, then there is a splitting Diff(G) ≃ G ×
Diff(G, e), where Diff(G, e) is the subgroup of Diff(G) that fixes the
identity element of the group.




I'm pretty new to this and not sure how to interpret that statement. Specifically the group Diff(G,e), my brain wants to interpret this by saying that the group G with the identity e fixed is like the group of isometries of G but that isn't right. Can someone steer me in the right direction?



For example, suppose I'm considering the group $R^{3,1}$. Then the group $Diff(R^{3,1})backsimeq R^{3,1}xDiff(R^{3,1},e)$ my intuition (probably wrong) is to say that the identity fixed here leads to the group of isometries (which is the Poincare group for R^{3,1}. This would leave us with something like:



$$Diff(R^{3,1})backsimeq R^{3,1}XDiff(Poincare)$$



However, I think I'm missing something here, but I'm trying to learn this on my own










share|cite|improve this question











$endgroup$

















    0












    $begingroup$


    I was reading about the diffeomorphism group of varying Lie groups. Wikipedia states that:




    When M = G is a Lie group, there is a natural inclusion of G in its
    own diffeomorphism group via left-translation. Let Diff(G) denote the
    diffeomorphism group of G, then there is a splitting Diff(G) ≃ G ×
    Diff(G, e), where Diff(G, e) is the subgroup of Diff(G) that fixes the
    identity element of the group.




    I'm pretty new to this and not sure how to interpret that statement. Specifically the group Diff(G,e), my brain wants to interpret this by saying that the group G with the identity e fixed is like the group of isometries of G but that isn't right. Can someone steer me in the right direction?



    For example, suppose I'm considering the group $R^{3,1}$. Then the group $Diff(R^{3,1})backsimeq R^{3,1}xDiff(R^{3,1},e)$ my intuition (probably wrong) is to say that the identity fixed here leads to the group of isometries (which is the Poincare group for R^{3,1}. This would leave us with something like:



    $$Diff(R^{3,1})backsimeq R^{3,1}XDiff(Poincare)$$



    However, I think I'm missing something here, but I'm trying to learn this on my own










    share|cite|improve this question











    $endgroup$















      0












      0








      0





      $begingroup$


      I was reading about the diffeomorphism group of varying Lie groups. Wikipedia states that:




      When M = G is a Lie group, there is a natural inclusion of G in its
      own diffeomorphism group via left-translation. Let Diff(G) denote the
      diffeomorphism group of G, then there is a splitting Diff(G) ≃ G ×
      Diff(G, e), where Diff(G, e) is the subgroup of Diff(G) that fixes the
      identity element of the group.




      I'm pretty new to this and not sure how to interpret that statement. Specifically the group Diff(G,e), my brain wants to interpret this by saying that the group G with the identity e fixed is like the group of isometries of G but that isn't right. Can someone steer me in the right direction?



      For example, suppose I'm considering the group $R^{3,1}$. Then the group $Diff(R^{3,1})backsimeq R^{3,1}xDiff(R^{3,1},e)$ my intuition (probably wrong) is to say that the identity fixed here leads to the group of isometries (which is the Poincare group for R^{3,1}. This would leave us with something like:



      $$Diff(R^{3,1})backsimeq R^{3,1}XDiff(Poincare)$$



      However, I think I'm missing something here, but I'm trying to learn this on my own










      share|cite|improve this question











      $endgroup$




      I was reading about the diffeomorphism group of varying Lie groups. Wikipedia states that:




      When M = G is a Lie group, there is a natural inclusion of G in its
      own diffeomorphism group via left-translation. Let Diff(G) denote the
      diffeomorphism group of G, then there is a splitting Diff(G) ≃ G ×
      Diff(G, e), where Diff(G, e) is the subgroup of Diff(G) that fixes the
      identity element of the group.




      I'm pretty new to this and not sure how to interpret that statement. Specifically the group Diff(G,e), my brain wants to interpret this by saying that the group G with the identity e fixed is like the group of isometries of G but that isn't right. Can someone steer me in the right direction?



      For example, suppose I'm considering the group $R^{3,1}$. Then the group $Diff(R^{3,1})backsimeq R^{3,1}xDiff(R^{3,1},e)$ my intuition (probably wrong) is to say that the identity fixed here leads to the group of isometries (which is the Poincare group for R^{3,1}. This would leave us with something like:



      $$Diff(R^{3,1})backsimeq R^{3,1}XDiff(Poincare)$$



      However, I think I'm missing something here, but I'm trying to learn this on my own







      lie-groups lie-algebras diffeomorphism






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 14 '18 at 1:56







      R. Rankin

















      asked Dec 13 '18 at 23:19









      R. RankinR. Rankin

      333213




      333213






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          The group of diffeomorphisms fixing a point is not signifcantly simpler or smaller than the diffeomorphism group itself. Given any manifold $M$ and a point $x_0in M$, you get a map $Diff(M)to M$ by sending a diffeomorphism $f$ to $f(x_0)in M$. Assuming for exmaple that $M$ is connected, this map is surjective, and the preimage of ${x_0}$ is the subgroup of all diffeomorphisms fixing the point $x_0$. This is still infinite dimensional and shares many properties with the full diffeomorphism group.



          In the special case of a Lie group, it is natural to choose $x_0=e$ and you get a natural map $Gto Diff(G)$ splitting the evaluation at $e$ by sending $g$ to left translation $lambda_g$ by $g$. The splitting you refer to, then simply sends a diffeomorphism $f$ to $(f(e),lambda_{f(e)^{-1}}circ f)$ and you can easily compute what the multiplication looks like in this picture. (You get a structure of a semi-direct product, but that's not very illuminating.)



          Your example sounds a bit strange. If you want to view $mathbb R^{3,1}$ as a goup, you have to take addition as a operation. Then the statment boils down to the fact that any diffeomorphism of $mathbb R^{3,1}$ can be written as a composition of a translation and a diffeomorphism fixing the origin. But as far as I am aware of, there is no relation to isometries.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
            $endgroup$
            – R. Rankin
            Dec 16 '18 at 12:38











          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',
          autoActivateHeartbeat: false,
          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%2f3038724%2fquestion-about-the-diffeomorphism-group-of-a-lie-group%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          The group of diffeomorphisms fixing a point is not signifcantly simpler or smaller than the diffeomorphism group itself. Given any manifold $M$ and a point $x_0in M$, you get a map $Diff(M)to M$ by sending a diffeomorphism $f$ to $f(x_0)in M$. Assuming for exmaple that $M$ is connected, this map is surjective, and the preimage of ${x_0}$ is the subgroup of all diffeomorphisms fixing the point $x_0$. This is still infinite dimensional and shares many properties with the full diffeomorphism group.



          In the special case of a Lie group, it is natural to choose $x_0=e$ and you get a natural map $Gto Diff(G)$ splitting the evaluation at $e$ by sending $g$ to left translation $lambda_g$ by $g$. The splitting you refer to, then simply sends a diffeomorphism $f$ to $(f(e),lambda_{f(e)^{-1}}circ f)$ and you can easily compute what the multiplication looks like in this picture. (You get a structure of a semi-direct product, but that's not very illuminating.)



          Your example sounds a bit strange. If you want to view $mathbb R^{3,1}$ as a goup, you have to take addition as a operation. Then the statment boils down to the fact that any diffeomorphism of $mathbb R^{3,1}$ can be written as a composition of a translation and a diffeomorphism fixing the origin. But as far as I am aware of, there is no relation to isometries.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
            $endgroup$
            – R. Rankin
            Dec 16 '18 at 12:38
















          1












          $begingroup$

          The group of diffeomorphisms fixing a point is not signifcantly simpler or smaller than the diffeomorphism group itself. Given any manifold $M$ and a point $x_0in M$, you get a map $Diff(M)to M$ by sending a diffeomorphism $f$ to $f(x_0)in M$. Assuming for exmaple that $M$ is connected, this map is surjective, and the preimage of ${x_0}$ is the subgroup of all diffeomorphisms fixing the point $x_0$. This is still infinite dimensional and shares many properties with the full diffeomorphism group.



          In the special case of a Lie group, it is natural to choose $x_0=e$ and you get a natural map $Gto Diff(G)$ splitting the evaluation at $e$ by sending $g$ to left translation $lambda_g$ by $g$. The splitting you refer to, then simply sends a diffeomorphism $f$ to $(f(e),lambda_{f(e)^{-1}}circ f)$ and you can easily compute what the multiplication looks like in this picture. (You get a structure of a semi-direct product, but that's not very illuminating.)



          Your example sounds a bit strange. If you want to view $mathbb R^{3,1}$ as a goup, you have to take addition as a operation. Then the statment boils down to the fact that any diffeomorphism of $mathbb R^{3,1}$ can be written as a composition of a translation and a diffeomorphism fixing the origin. But as far as I am aware of, there is no relation to isometries.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
            $endgroup$
            – R. Rankin
            Dec 16 '18 at 12:38














          1












          1








          1





          $begingroup$

          The group of diffeomorphisms fixing a point is not signifcantly simpler or smaller than the diffeomorphism group itself. Given any manifold $M$ and a point $x_0in M$, you get a map $Diff(M)to M$ by sending a diffeomorphism $f$ to $f(x_0)in M$. Assuming for exmaple that $M$ is connected, this map is surjective, and the preimage of ${x_0}$ is the subgroup of all diffeomorphisms fixing the point $x_0$. This is still infinite dimensional and shares many properties with the full diffeomorphism group.



          In the special case of a Lie group, it is natural to choose $x_0=e$ and you get a natural map $Gto Diff(G)$ splitting the evaluation at $e$ by sending $g$ to left translation $lambda_g$ by $g$. The splitting you refer to, then simply sends a diffeomorphism $f$ to $(f(e),lambda_{f(e)^{-1}}circ f)$ and you can easily compute what the multiplication looks like in this picture. (You get a structure of a semi-direct product, but that's not very illuminating.)



          Your example sounds a bit strange. If you want to view $mathbb R^{3,1}$ as a goup, you have to take addition as a operation. Then the statment boils down to the fact that any diffeomorphism of $mathbb R^{3,1}$ can be written as a composition of a translation and a diffeomorphism fixing the origin. But as far as I am aware of, there is no relation to isometries.






          share|cite|improve this answer









          $endgroup$



          The group of diffeomorphisms fixing a point is not signifcantly simpler or smaller than the diffeomorphism group itself. Given any manifold $M$ and a point $x_0in M$, you get a map $Diff(M)to M$ by sending a diffeomorphism $f$ to $f(x_0)in M$. Assuming for exmaple that $M$ is connected, this map is surjective, and the preimage of ${x_0}$ is the subgroup of all diffeomorphisms fixing the point $x_0$. This is still infinite dimensional and shares many properties with the full diffeomorphism group.



          In the special case of a Lie group, it is natural to choose $x_0=e$ and you get a natural map $Gto Diff(G)$ splitting the evaluation at $e$ by sending $g$ to left translation $lambda_g$ by $g$. The splitting you refer to, then simply sends a diffeomorphism $f$ to $(f(e),lambda_{f(e)^{-1}}circ f)$ and you can easily compute what the multiplication looks like in this picture. (You get a structure of a semi-direct product, but that's not very illuminating.)



          Your example sounds a bit strange. If you want to view $mathbb R^{3,1}$ as a goup, you have to take addition as a operation. Then the statment boils down to the fact that any diffeomorphism of $mathbb R^{3,1}$ can be written as a composition of a translation and a diffeomorphism fixing the origin. But as far as I am aware of, there is no relation to isometries.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 16 '18 at 12:04









          Andreas CapAndreas Cap

          11.2k923




          11.2k923












          • $begingroup$
            Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
            $endgroup$
            – R. Rankin
            Dec 16 '18 at 12:38


















          • $begingroup$
            Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
            $endgroup$
            – R. Rankin
            Dec 16 '18 at 12:38
















          $begingroup$
          Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
          $endgroup$
          – R. Rankin
          Dec 16 '18 at 12:38




          $begingroup$
          Thank you very much! In truth I am interested in the manifold $SU(2)XU(1)$ In the context of being a spacetime manifold. So it would go $SU(2)XU(1)XDiff(SU(2)XU(1), e)$
          $endgroup$
          – R. Rankin
          Dec 16 '18 at 12:38


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038724%2fquestion-about-the-diffeomorphism-group-of-a-lie-group%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Plaza Victoria

          Puebla de Zaragoza

          Musa