Non-equivalent metrics on $PSL_2(mathbb{R})$












3












$begingroup$


I am reading a paper on continued fractions and it uses the following result on Lie Groups:




Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...




This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,



$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$



each with $ad-bc=1$, what is the appropriate notion of distance here?



Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?



If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$



These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors





related




  • Expression of the Hyperbolic Distance in the Upper Half Plane

  • Description of SU(1, 1)

  • What are elements in $SU(1, 1)$?






There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.




  • Example of equivalent but not strongly equivalent metrics


  • Understanding equivalent metric spaces



Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).



My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.





Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
    $endgroup$
    – Daniel McLaury
    Jan 14 '16 at 23:30
















3












$begingroup$


I am reading a paper on continued fractions and it uses the following result on Lie Groups:




Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...




This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,



$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$



each with $ad-bc=1$, what is the appropriate notion of distance here?



Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?



If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$



These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors





related




  • Expression of the Hyperbolic Distance in the Upper Half Plane

  • Description of SU(1, 1)

  • What are elements in $SU(1, 1)$?






There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.




  • Example of equivalent but not strongly equivalent metrics


  • Understanding equivalent metric spaces



Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).



My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.





Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
    $endgroup$
    – Daniel McLaury
    Jan 14 '16 at 23:30














3












3








3





$begingroup$


I am reading a paper on continued fractions and it uses the following result on Lie Groups:




Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...




This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,



$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$



each with $ad-bc=1$, what is the appropriate notion of distance here?



Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?



If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$



These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors





related




  • Expression of the Hyperbolic Distance in the Upper Half Plane

  • Description of SU(1, 1)

  • What are elements in $SU(1, 1)$?






There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.




  • Example of equivalent but not strongly equivalent metrics


  • Understanding equivalent metric spaces



Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).



My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.





Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?










share|cite|improve this question











$endgroup$




I am reading a paper on continued fractions and it uses the following result on Lie Groups:




Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...




This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,



$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$



each with $ad-bc=1$, what is the appropriate notion of distance here?



Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?



If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$



These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors





related




  • Expression of the Hyperbolic Distance in the Upper Half Plane

  • Description of SU(1, 1)

  • What are elements in $SU(1, 1)$?






There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.




  • Example of equivalent but not strongly equivalent metrics


  • Understanding equivalent metric spaces



Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).



My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.





Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?







lie-groups hyperbolic-geometry






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 12 '18 at 21:18







cactus314

















asked Jan 14 '16 at 16:48









cactus314cactus314

15.4k42269




15.4k42269












  • $begingroup$
    Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
    $endgroup$
    – Daniel McLaury
    Jan 14 '16 at 23:30


















  • $begingroup$
    Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
    $endgroup$
    – Daniel McLaury
    Jan 14 '16 at 23:30
















$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30




$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30










1 Answer
1






active

oldest

votes


















1












$begingroup$

You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.






share|cite|improve this answer









$endgroup$













    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%2f1612261%2fnon-equivalent-metrics-on-psl-2-mathbbr%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$

    You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.






        share|cite|improve this answer









        $endgroup$



        You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 15 '16 at 15:34









        Lee MosherLee Mosher

        49.1k33685




        49.1k33685






























            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%2f1612261%2fnon-equivalent-metrics-on-psl-2-mathbbr%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

            Tonle Sap (See)

            I get strange results when I access the Sqlitedatabase with Unity C# via XAMPP

            Guatemaltekische Davis-Cup-Mannschaft