SL(2, C)-representation of a knot












8












$begingroup$


When studying knot theory I often encounter $SL(2, mathbb{C})$-representation of knots (of the knot group) or the $SL(2, mathbb{C})$ character variety of a knot group. But I just don't seem to understand what this is all about and when the special linear group comes into play.
Can anyone recommend me literature that covers the basics to this topic and where to start? Perhaps a nice gentle introduction preferably with examples?










share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    Are you familiar with the theory of hyperbolic structures on knot complements? Thurston's notes is a good place to start, especially Ch 4 library.msri.org/books/gt3m
    $endgroup$
    – Neal
    Feb 12 at 17:02






  • 1




    $begingroup$
    Thurston's work is a very natural generalization of perhaps the "first" way of studying knots: compute the fundamental group of the knot exterior. But then how do you know your knot is non-trivial? Find a representation to some non-abelian matrix group.
    $endgroup$
    – Ryan Budney
    Feb 14 at 16:18
















8












$begingroup$


When studying knot theory I often encounter $SL(2, mathbb{C})$-representation of knots (of the knot group) or the $SL(2, mathbb{C})$ character variety of a knot group. But I just don't seem to understand what this is all about and when the special linear group comes into play.
Can anyone recommend me literature that covers the basics to this topic and where to start? Perhaps a nice gentle introduction preferably with examples?










share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    Are you familiar with the theory of hyperbolic structures on knot complements? Thurston's notes is a good place to start, especially Ch 4 library.msri.org/books/gt3m
    $endgroup$
    – Neal
    Feb 12 at 17:02






  • 1




    $begingroup$
    Thurston's work is a very natural generalization of perhaps the "first" way of studying knots: compute the fundamental group of the knot exterior. But then how do you know your knot is non-trivial? Find a representation to some non-abelian matrix group.
    $endgroup$
    – Ryan Budney
    Feb 14 at 16:18














8












8








8


2



$begingroup$


When studying knot theory I often encounter $SL(2, mathbb{C})$-representation of knots (of the knot group) or the $SL(2, mathbb{C})$ character variety of a knot group. But I just don't seem to understand what this is all about and when the special linear group comes into play.
Can anyone recommend me literature that covers the basics to this topic and where to start? Perhaps a nice gentle introduction preferably with examples?










share|cite|improve this question











$endgroup$




When studying knot theory I often encounter $SL(2, mathbb{C})$-representation of knots (of the knot group) or the $SL(2, mathbb{C})$ character variety of a knot group. But I just don't seem to understand what this is all about and when the special linear group comes into play.
Can anyone recommend me literature that covers the basics to this topic and where to start? Perhaps a nice gentle introduction preferably with examples?







rt.representation-theory gt.geometric-topology knot-theory character-varieties






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 14 at 13:40









Sean Lawton

4,40922551




4,40922551










asked Feb 12 at 16:43









Jake B.Jake B.

590211




590211








  • 2




    $begingroup$
    Are you familiar with the theory of hyperbolic structures on knot complements? Thurston's notes is a good place to start, especially Ch 4 library.msri.org/books/gt3m
    $endgroup$
    – Neal
    Feb 12 at 17:02






  • 1




    $begingroup$
    Thurston's work is a very natural generalization of perhaps the "first" way of studying knots: compute the fundamental group of the knot exterior. But then how do you know your knot is non-trivial? Find a representation to some non-abelian matrix group.
    $endgroup$
    – Ryan Budney
    Feb 14 at 16:18














  • 2




    $begingroup$
    Are you familiar with the theory of hyperbolic structures on knot complements? Thurston's notes is a good place to start, especially Ch 4 library.msri.org/books/gt3m
    $endgroup$
    – Neal
    Feb 12 at 17:02






  • 1




    $begingroup$
    Thurston's work is a very natural generalization of perhaps the "first" way of studying knots: compute the fundamental group of the knot exterior. But then how do you know your knot is non-trivial? Find a representation to some non-abelian matrix group.
    $endgroup$
    – Ryan Budney
    Feb 14 at 16:18








2




2




$begingroup$
Are you familiar with the theory of hyperbolic structures on knot complements? Thurston's notes is a good place to start, especially Ch 4 library.msri.org/books/gt3m
$endgroup$
– Neal
Feb 12 at 17:02




$begingroup$
Are you familiar with the theory of hyperbolic structures on knot complements? Thurston's notes is a good place to start, especially Ch 4 library.msri.org/books/gt3m
$endgroup$
– Neal
Feb 12 at 17:02




1




1




$begingroup$
Thurston's work is a very natural generalization of perhaps the "first" way of studying knots: compute the fundamental group of the knot exterior. But then how do you know your knot is non-trivial? Find a representation to some non-abelian matrix group.
$endgroup$
– Ryan Budney
Feb 14 at 16:18




$begingroup$
Thurston's work is a very natural generalization of perhaps the "first" way of studying knots: compute the fundamental group of the knot exterior. But then how do you know your knot is non-trivial? Find a representation to some non-abelian matrix group.
$endgroup$
– Ryan Budney
Feb 14 at 16:18










3 Answers
3






active

oldest

votes


















11












$begingroup$

$(P)SL(2, mathbb{C})$ is the isometry group of $mathbb{H}^3,$ so $SL(2, mathbb{C})$ representations are the natural generalization of hyperbolic structures on knot complements.There is a vast literature on the subject, but you might want to look at some of the foundational work:



Morgan, John W.; Shalen, Peter B., Valuations, trees, and degenerations of hyperbolic structures. I, Ann. Math. (2) 120, 401-476 (1984). ZBL0583.57005.






share|cite|improve this answer









$endgroup$





















    6












    $begingroup$

    The fundamental group of the complement of a knot in $S^3$, called a knot group, is a knot invariant (equivalent knots have the same knot group, but not conversely). To understand knot groups, understanding their representations is important (and the moduli spaces of their representations; that is, their character varieties). Representations into $mathrm{SL}(2,mathbb{C})$ have a special place among such representations since many (but perhaps not most) of the 3-manifolds that corresponds to knot complements are hyperbolic (and $mathrm{PSL}(2,mathbb{C})$ is the isometry group of real hyperbolic 3-space).



    But such representations, and the correspondence to hyperbolic geometry, is really the tip of the iceberg.



    Adam Sikora has many papers relating knot theory to $G$-character varieties (not only to $mathrm{SL}(2,mathbb{C})$-character varieties; example 1 and example 2). In particular, as a starting point, I recommend:



    On Skein Algebras And SL(2,C)-Character Varieties by Józef Przytycki and Adam Sikora.



    This paper ties together $mathrm{SL}(2,mathbb{C})$-character varieties to Kauffman bracket skein modules, the latter being an important 3-manifold invariant in knot theory (for example, the Jones polynomial can be defined in terms the Kauffman bracket).



    Another interesting connection is the A-polynomial, also defined in terms of $mathrm{SL}(2,mathbb{C})$-character varieties. See Representation Theory and the A-polynomial of a Knot, by Cooper and Long, for a nice introduction. Also, Culler has made available a census of A-polynomials here.



    I would argue that $mathrm{SL}(2,mathbb{C})$-character varieties of knot groups are prevalent in the literature for many reasons (including the relation to hyperbolic geometry), but also perhaps because they are tractable examples of moduli spaces of representations (see my recent exposition here, implemented in SnapPy here). I expect that $G$-character varieties of knot groups (these moduli space are themselves knot invariants) are at least as important (for higher rank $G$), but are less studied since they are much more difficult to work with.






    share|cite|improve this answer











    $endgroup$





















      4












      $begingroup$

      This is a good introduction:



      Shalen, Representations of 3-manifold groups. Handbook of geometric topology, 955–1044, North-Holland, Amsterdam, 2002.






      share|cite|improve this answer









      $endgroup$














        Your Answer








        StackExchange.ready(function() {
        var channelOptions = {
        tags: "".split(" "),
        id: "504"
        };
        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%2fmathoverflow.net%2fquestions%2f323075%2fsl2-c-representation-of-a-knot%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        11












        $begingroup$

        $(P)SL(2, mathbb{C})$ is the isometry group of $mathbb{H}^3,$ so $SL(2, mathbb{C})$ representations are the natural generalization of hyperbolic structures on knot complements.There is a vast literature on the subject, but you might want to look at some of the foundational work:



        Morgan, John W.; Shalen, Peter B., Valuations, trees, and degenerations of hyperbolic structures. I, Ann. Math. (2) 120, 401-476 (1984). ZBL0583.57005.






        share|cite|improve this answer









        $endgroup$


















          11












          $begingroup$

          $(P)SL(2, mathbb{C})$ is the isometry group of $mathbb{H}^3,$ so $SL(2, mathbb{C})$ representations are the natural generalization of hyperbolic structures on knot complements.There is a vast literature on the subject, but you might want to look at some of the foundational work:



          Morgan, John W.; Shalen, Peter B., Valuations, trees, and degenerations of hyperbolic structures. I, Ann. Math. (2) 120, 401-476 (1984). ZBL0583.57005.






          share|cite|improve this answer









          $endgroup$
















            11












            11








            11





            $begingroup$

            $(P)SL(2, mathbb{C})$ is the isometry group of $mathbb{H}^3,$ so $SL(2, mathbb{C})$ representations are the natural generalization of hyperbolic structures on knot complements.There is a vast literature on the subject, but you might want to look at some of the foundational work:



            Morgan, John W.; Shalen, Peter B., Valuations, trees, and degenerations of hyperbolic structures. I, Ann. Math. (2) 120, 401-476 (1984). ZBL0583.57005.






            share|cite|improve this answer









            $endgroup$



            $(P)SL(2, mathbb{C})$ is the isometry group of $mathbb{H}^3,$ so $SL(2, mathbb{C})$ representations are the natural generalization of hyperbolic structures on knot complements.There is a vast literature on the subject, but you might want to look at some of the foundational work:



            Morgan, John W.; Shalen, Peter B., Valuations, trees, and degenerations of hyperbolic structures. I, Ann. Math. (2) 120, 401-476 (1984). ZBL0583.57005.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Feb 12 at 17:01









            Igor RivinIgor Rivin

            79.8k9113310




            79.8k9113310























                6












                $begingroup$

                The fundamental group of the complement of a knot in $S^3$, called a knot group, is a knot invariant (equivalent knots have the same knot group, but not conversely). To understand knot groups, understanding their representations is important (and the moduli spaces of their representations; that is, their character varieties). Representations into $mathrm{SL}(2,mathbb{C})$ have a special place among such representations since many (but perhaps not most) of the 3-manifolds that corresponds to knot complements are hyperbolic (and $mathrm{PSL}(2,mathbb{C})$ is the isometry group of real hyperbolic 3-space).



                But such representations, and the correspondence to hyperbolic geometry, is really the tip of the iceberg.



                Adam Sikora has many papers relating knot theory to $G$-character varieties (not only to $mathrm{SL}(2,mathbb{C})$-character varieties; example 1 and example 2). In particular, as a starting point, I recommend:



                On Skein Algebras And SL(2,C)-Character Varieties by Józef Przytycki and Adam Sikora.



                This paper ties together $mathrm{SL}(2,mathbb{C})$-character varieties to Kauffman bracket skein modules, the latter being an important 3-manifold invariant in knot theory (for example, the Jones polynomial can be defined in terms the Kauffman bracket).



                Another interesting connection is the A-polynomial, also defined in terms of $mathrm{SL}(2,mathbb{C})$-character varieties. See Representation Theory and the A-polynomial of a Knot, by Cooper and Long, for a nice introduction. Also, Culler has made available a census of A-polynomials here.



                I would argue that $mathrm{SL}(2,mathbb{C})$-character varieties of knot groups are prevalent in the literature for many reasons (including the relation to hyperbolic geometry), but also perhaps because they are tractable examples of moduli spaces of representations (see my recent exposition here, implemented in SnapPy here). I expect that $G$-character varieties of knot groups (these moduli space are themselves knot invariants) are at least as important (for higher rank $G$), but are less studied since they are much more difficult to work with.






                share|cite|improve this answer











                $endgroup$


















                  6












                  $begingroup$

                  The fundamental group of the complement of a knot in $S^3$, called a knot group, is a knot invariant (equivalent knots have the same knot group, but not conversely). To understand knot groups, understanding their representations is important (and the moduli spaces of their representations; that is, their character varieties). Representations into $mathrm{SL}(2,mathbb{C})$ have a special place among such representations since many (but perhaps not most) of the 3-manifolds that corresponds to knot complements are hyperbolic (and $mathrm{PSL}(2,mathbb{C})$ is the isometry group of real hyperbolic 3-space).



                  But such representations, and the correspondence to hyperbolic geometry, is really the tip of the iceberg.



                  Adam Sikora has many papers relating knot theory to $G$-character varieties (not only to $mathrm{SL}(2,mathbb{C})$-character varieties; example 1 and example 2). In particular, as a starting point, I recommend:



                  On Skein Algebras And SL(2,C)-Character Varieties by Józef Przytycki and Adam Sikora.



                  This paper ties together $mathrm{SL}(2,mathbb{C})$-character varieties to Kauffman bracket skein modules, the latter being an important 3-manifold invariant in knot theory (for example, the Jones polynomial can be defined in terms the Kauffman bracket).



                  Another interesting connection is the A-polynomial, also defined in terms of $mathrm{SL}(2,mathbb{C})$-character varieties. See Representation Theory and the A-polynomial of a Knot, by Cooper and Long, for a nice introduction. Also, Culler has made available a census of A-polynomials here.



                  I would argue that $mathrm{SL}(2,mathbb{C})$-character varieties of knot groups are prevalent in the literature for many reasons (including the relation to hyperbolic geometry), but also perhaps because they are tractable examples of moduli spaces of representations (see my recent exposition here, implemented in SnapPy here). I expect that $G$-character varieties of knot groups (these moduli space are themselves knot invariants) are at least as important (for higher rank $G$), but are less studied since they are much more difficult to work with.






                  share|cite|improve this answer











                  $endgroup$
















                    6












                    6








                    6





                    $begingroup$

                    The fundamental group of the complement of a knot in $S^3$, called a knot group, is a knot invariant (equivalent knots have the same knot group, but not conversely). To understand knot groups, understanding their representations is important (and the moduli spaces of their representations; that is, their character varieties). Representations into $mathrm{SL}(2,mathbb{C})$ have a special place among such representations since many (but perhaps not most) of the 3-manifolds that corresponds to knot complements are hyperbolic (and $mathrm{PSL}(2,mathbb{C})$ is the isometry group of real hyperbolic 3-space).



                    But such representations, and the correspondence to hyperbolic geometry, is really the tip of the iceberg.



                    Adam Sikora has many papers relating knot theory to $G$-character varieties (not only to $mathrm{SL}(2,mathbb{C})$-character varieties; example 1 and example 2). In particular, as a starting point, I recommend:



                    On Skein Algebras And SL(2,C)-Character Varieties by Józef Przytycki and Adam Sikora.



                    This paper ties together $mathrm{SL}(2,mathbb{C})$-character varieties to Kauffman bracket skein modules, the latter being an important 3-manifold invariant in knot theory (for example, the Jones polynomial can be defined in terms the Kauffman bracket).



                    Another interesting connection is the A-polynomial, also defined in terms of $mathrm{SL}(2,mathbb{C})$-character varieties. See Representation Theory and the A-polynomial of a Knot, by Cooper and Long, for a nice introduction. Also, Culler has made available a census of A-polynomials here.



                    I would argue that $mathrm{SL}(2,mathbb{C})$-character varieties of knot groups are prevalent in the literature for many reasons (including the relation to hyperbolic geometry), but also perhaps because they are tractable examples of moduli spaces of representations (see my recent exposition here, implemented in SnapPy here). I expect that $G$-character varieties of knot groups (these moduli space are themselves knot invariants) are at least as important (for higher rank $G$), but are less studied since they are much more difficult to work with.






                    share|cite|improve this answer











                    $endgroup$



                    The fundamental group of the complement of a knot in $S^3$, called a knot group, is a knot invariant (equivalent knots have the same knot group, but not conversely). To understand knot groups, understanding their representations is important (and the moduli spaces of their representations; that is, their character varieties). Representations into $mathrm{SL}(2,mathbb{C})$ have a special place among such representations since many (but perhaps not most) of the 3-manifolds that corresponds to knot complements are hyperbolic (and $mathrm{PSL}(2,mathbb{C})$ is the isometry group of real hyperbolic 3-space).



                    But such representations, and the correspondence to hyperbolic geometry, is really the tip of the iceberg.



                    Adam Sikora has many papers relating knot theory to $G$-character varieties (not only to $mathrm{SL}(2,mathbb{C})$-character varieties; example 1 and example 2). In particular, as a starting point, I recommend:



                    On Skein Algebras And SL(2,C)-Character Varieties by Józef Przytycki and Adam Sikora.



                    This paper ties together $mathrm{SL}(2,mathbb{C})$-character varieties to Kauffman bracket skein modules, the latter being an important 3-manifold invariant in knot theory (for example, the Jones polynomial can be defined in terms the Kauffman bracket).



                    Another interesting connection is the A-polynomial, also defined in terms of $mathrm{SL}(2,mathbb{C})$-character varieties. See Representation Theory and the A-polynomial of a Knot, by Cooper and Long, for a nice introduction. Also, Culler has made available a census of A-polynomials here.



                    I would argue that $mathrm{SL}(2,mathbb{C})$-character varieties of knot groups are prevalent in the literature for many reasons (including the relation to hyperbolic geometry), but also perhaps because they are tractable examples of moduli spaces of representations (see my recent exposition here, implemented in SnapPy here). I expect that $G$-character varieties of knot groups (these moduli space are themselves knot invariants) are at least as important (for higher rank $G$), but are less studied since they are much more difficult to work with.







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Feb 20 at 23:39

























                    answered Feb 14 at 13:39









                    Sean LawtonSean Lawton

                    4,40922551




                    4,40922551























                        4












                        $begingroup$

                        This is a good introduction:



                        Shalen, Representations of 3-manifold groups. Handbook of geometric topology, 955–1044, North-Holland, Amsterdam, 2002.






                        share|cite|improve this answer









                        $endgroup$


















                          4












                          $begingroup$

                          This is a good introduction:



                          Shalen, Representations of 3-manifold groups. Handbook of geometric topology, 955–1044, North-Holland, Amsterdam, 2002.






                          share|cite|improve this answer









                          $endgroup$
















                            4












                            4








                            4





                            $begingroup$

                            This is a good introduction:



                            Shalen, Representations of 3-manifold groups. Handbook of geometric topology, 955–1044, North-Holland, Amsterdam, 2002.






                            share|cite|improve this answer









                            $endgroup$



                            This is a good introduction:



                            Shalen, Representations of 3-manifold groups. Handbook of geometric topology, 955–1044, North-Holland, Amsterdam, 2002.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Feb 14 at 19:07









                            Autumn KentAutumn Kent

                            9,60734574




                            9,60734574






























                                draft saved

                                draft discarded




















































                                Thanks for contributing an answer to MathOverflow!


                                • 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%2fmathoverflow.net%2fquestions%2f323075%2fsl2-c-representation-of-a-knot%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

                                Questions related to Moebius Transform of Characteristic Function of the Primes

                                List of scandals in India

                                Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?