Mixing
Are link (non-splittable) quandles complete invariant up to orientation?
$begingroup$
I am reading knot quandles. I read that knot quandles are complete knot invariant upto orientation from thesis of David joyce, An Algebraic Approach to Symmetry with Applications to Knot Theory, page no. $53$. In the proof it is used that in case of knot, the knot group act transitively on the knot quandle. While reading the book "Surface-Knots in 4-Space: An Introduction" by Seiichi Kamada, on page no.$152$ it is mentioned in the comment $22$: "A similar result holds when $K$ and $K'$ are non-splittable oriented links.
I am not able to prove it, because in case of links with more that one component, the action of link group on link quandle is not transitive.
Can someone help me? Any suggestions or hints would be helpful.
knot-theory knot-invariants
asked Jan 18 at 11:33
eypeyp
375
$endgroup$
add a comment |
$begingroup$
I am reading knot quandles. I read that knot quandles are complete knot invariant upto orientation from thesis of David joyce, An Algebraic Approach to Symmetry with Applications to Knot Theory, page no. $53$. In the proof it is used that in case of knot, the knot group act transitively on the knot quandle. While reading the book "Surface-Knots in 4-Space: An Introduction" by Seiichi Kamada, on page no.$152$ it is mentioned in the comment $22$: "A similar result holds when $K$ and $K'$ are non-splittable oriented links.
I am not able to prove it, because in case of links with more that one component, the action of link group on link quandle is not transitive.
Can someone help me? Any suggestions or hints would be helpful.
knot-theory knot-invariants
asked Jan 18 at 11:33
eypeyp
375
$endgroup$
add a comment |
$begingroup$
I am reading knot quandles. I read that knot quandles are complete knot invariant upto orientation from thesis of David joyce, An Algebraic Approach to Symmetry with Applications to Knot Theory, page no. $53$. In the proof it is used that in case of knot, the knot group act transitively on the knot quandle. While reading the book "Surface-Knots in 4-Space: An Introduction" by Seiichi Kamada, on page no.$152$ it is mentioned in the comment $22$: "A similar result holds when $K$ and $K'$ are non-splittable oriented links.
I am not able to prove it, because in case of links with more that one component, the action of link group on link quandle is not transitive.
Can someone help me? Any suggestions or hints would be helpful.
knot-theory knot-invariants
asked Jan 18 at 11:33
eypeyp
375
$endgroup$
I am reading knot quandles. I read that knot quandles are complete knot invariant upto orientation from thesis of David joyce, An Algebraic Approach to Symmetry with Applications to Knot Theory, page no. $53$. In the proof it is used that in case of knot, the knot group act transitively on the knot quandle. While reading the book "Surface-Knots in 4-Space: An Introduction" by Seiichi Kamada, on page no.$152$ it is mentioned in the comment $22$: "A similar result holds when $K$ and $K'$ are non-splittable oriented links.
I am not able to prove it, because in case of links with more that one component, the action of link group on link quandle is not transitive.
Can someone help me? Any suggestions or hints would be helpful.
knot-theory knot-invariants
knot-theory knot-invariants
asked Jan 18 at 11:33
eypeyp
375
asked Jan 18 at 11:33
eypeyp
375
asked Jan 18 at 11:33
eypeyp
375
asked Jan 18 at 11:33
eypeyp
375
asked Jan 18 at 11:33
eypeyp
375
375
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let me review here a definition of quandles and how the proof goes that they are a complete invariant of unoriented knots up to mirror image.
The link quandle $Q(L,*)$ of an oriented link $Lsubset S^3$ with basepoint $*in S^3-nu(L)$ is the collection of all homotopy classes of paths from $*$ to $partialnu(L)$ (where $nu(L)$ is a tubular neighborhood, and where the homotopies allow the end to slide along $partialnu(L)$), along with
A function $lambda:Q(L,*)to pi_1(S^3-nu(L),*)$ given by $pmapsto p; overline{mu_{p(1)}}; overline{p}$, where $mu_{p(1)}$ is some meridian loop in $nu(L)$ at $p(1)$ having $+1$ linking number with $L$. (Note: this requires knowing $Lsubset S^3$ and cannot in general be recovered from $S^3-nu (L)$). This is the loop corresponding to a path, hence $lambda$.
A group action of $pi_1(S^3-nu(L),*)$ on $Q(L,*)$ by $gcdot p=gp$ (concatenation).
These form a quandle (sometimes called an enriched quandle) in the following sense:
$glambda_p g^{-1}=lambda_{gp}$ for all $gin pi_1(S^3-nu(L))$ and $pin Q(L)$.
$lambda_pp=p$ for all $pin Q(L)$.
If you substitute in $g=lambda_q$, you can get $lambda_qlambda_pr=lambda_{lambda_q p}lambda_q r$, which with $ytriangleright x:=lambda_xy$ renders as $(rtriangleright p)triangleright q=(rtriangleright q)triangleright(ptriangleright q)$. The second renders as $ptriangleright p=p$.
A note about $lambda$: the image $lambda(Q(L))$ is a union of conjugacy classes of $pi_1(S^3-nu(L))$, due to $glambda_p g^{-1}=lambda_{gp}$. In particular, through the construction each conjugacy class corresponds to the free homotopy class of some meridian --- one class per link component --- so the quandle is certainly not transitive for links of more than one component. It's worth knowing that $lambda(Q(L))$ generates $pi_1(S^3-nu(L))$, with a quick reason being from the Wirtinger presentation.
Another note about it: $lambda$ is functorial in the sense that if there is a quandle homomorphism $f:Q(L)to Q(L')$, then there is an induced homomorphism $f_*:pi_1(S^3-nu(L))to pi_1(S^3-nu(L'))$ compatible with $lambda$. (In a way, this induced homomorphism is part of the definition of the (enriched) quandle homomorphism, so this is just putting different terminology on the concept.)
Theorem 1. For an oriented knot $K$, $Q(K)$ is a complete invariant of the knot, up to orientation reversal and mirror image.
Proof. Fix an element $pin Q(K)$, which represents a particular choice of meridian for $K$. Let $G=pi_1(S^3-nu(K))$ and $H=operatorname{Stab}_G(p)$.
For $gin pi_1(partialnu(K),p(1))$, $(pgoverline{p})psim p$ in $Q(K)$, hence $ppi_1(partialnu(K),p(1))overline{p}subseteq H$.
For $gin H$, since $gpsim p$, we can take the edge of this homotopy to get a path $h$ from $gp(1)$ to $p(1)$ in $partialnu(K)$. We can write $g=poverline{h}overline{p}$, which is in $ppi_1(partialnu(K),p(1))overline{p}$.
Thus, $H=ppi_1(partialnu(K),p(1))overline{p}$. That is, we can recover a peripheral subgroup and a meridian. Suppose there is an oriented knot $K'$ with $Q(K)cong Q(K')$, and let $p'$ be the image of $p$ in $Q(K')$. By functoriality, there is an isomorphism $Gcong G'=pi_1(S^3-nu K')$, and it carries $H$ to $H'=operatorname{Stab}_{G'}(p')$, which by the above argument is a peripheral subgroup. Since knot complements are Haken manifolds with connected boundaries, Waldhausen '68 applies and there is a homeomorphism $S^3-nu (K)cong S^3-nu (K')$. This map might be orientation reversing, and this can affect the orientations of both longitudes and meridians. In any case, the meridians allow us to glue solid tori into the knot complements uniquely and in a way that the homeomorphism extends to all of $S^3$, and it follows that either $K$ and $pm K'$ or $K$ and $pm mK'$ are isotopic since there are only two isotopy classes of homeomorphisms $S^3to S^3$. Q.E.D.
Theorem 2. For a nonsplit oriented link $L$, $Q(L)$ is a complete invariant of the link, up to total orientation reversal and mirror image.
Proof. Let $L$ be a nonsplit link having components $L_1,dots,L_k$, and choose an element $p_iin Q(L)$ for each component, with $p_i(1)inpartialnu(L_i)$. With $H_i=operatorname{Stab}_{G}(p_i)$, as before we get peripheral subgroups $H_i=p_ipi_1(partialnu(L_i),p_i(1))overline{p_i}$. Since $L$ is nonsplit, then $S^3-nu(L)$ is a Haken manifold, and again by Waldhausen (though I can't find a reference for this...) we get from the isomorphism $Gcong G'$ that carries each $H_i$ to $H_i'$ a homeomorphism $S^3-nu(L)cong S^3-nu(L')$ when $L'$ is another nonsplit link with $Q(L)cong Q(L')$. By a similar argument as before using the meridians implied by the $p_i$'s, either $L$ and $pm L'$ or $L$ and $pm mL'$ are isotopic. Q.E.D.
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
$endgroup$
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
1
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3078128%2fare-link-non-splittable-quandles-complete-invariant-up-to-orientation%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
$begingroup$
Let me review here a definition of quandles and how the proof goes that they are a complete invariant of unoriented knots up to mirror image.
The link quandle $Q(L,*)$ of an oriented link $Lsubset S^3$ with basepoint $*in S^3-nu(L)$ is the collection of all homotopy classes of paths from $*$ to $partialnu(L)$ (where $nu(L)$ is a tubular neighborhood, and where the homotopies allow the end to slide along $partialnu(L)$), along with
A function $lambda:Q(L,*)to pi_1(S^3-nu(L),*)$ given by $pmapsto p; overline{mu_{p(1)}}; overline{p}$, where $mu_{p(1)}$ is some meridian loop in $nu(L)$ at $p(1)$ having $+1$ linking number with $L$. (Note: this requires knowing $Lsubset S^3$ and cannot in general be recovered from $S^3-nu (L)$). This is the loop corresponding to a path, hence $lambda$.
A group action of $pi_1(S^3-nu(L),*)$ on $Q(L,*)$ by $gcdot p=gp$ (concatenation).
These form a quandle (sometimes called an enriched quandle) in the following sense:
$glambda_p g^{-1}=lambda_{gp}$ for all $gin pi_1(S^3-nu(L))$ and $pin Q(L)$.
$lambda_pp=p$ for all $pin Q(L)$.
If you substitute in $g=lambda_q$, you can get $lambda_qlambda_pr=lambda_{lambda_q p}lambda_q r$, which with $ytriangleright x:=lambda_xy$ renders as $(rtriangleright p)triangleright q=(rtriangleright q)triangleright(ptriangleright q)$. The second renders as $ptriangleright p=p$.
A note about $lambda$: the image $lambda(Q(L))$ is a union of conjugacy classes of $pi_1(S^3-nu(L))$, due to $glambda_p g^{-1}=lambda_{gp}$. In particular, through the construction each conjugacy class corresponds to the free homotopy class of some meridian --- one class per link component --- so the quandle is certainly not transitive for links of more than one component. It's worth knowing that $lambda(Q(L))$ generates $pi_1(S^3-nu(L))$, with a quick reason being from the Wirtinger presentation.
Another note about it: $lambda$ is functorial in the sense that if there is a quandle homomorphism $f:Q(L)to Q(L')$, then there is an induced homomorphism $f_*:pi_1(S^3-nu(L))to pi_1(S^3-nu(L'))$ compatible with $lambda$. (In a way, this induced homomorphism is part of the definition of the (enriched) quandle homomorphism, so this is just putting different terminology on the concept.)
Theorem 1. For an oriented knot $K$, $Q(K)$ is a complete invariant of the knot, up to orientation reversal and mirror image.
Proof. Fix an element $pin Q(K)$, which represents a particular choice of meridian for $K$. Let $G=pi_1(S^3-nu(K))$ and $H=operatorname{Stab}_G(p)$.
For $gin pi_1(partialnu(K),p(1))$, $(pgoverline{p})psim p$ in $Q(K)$, hence $ppi_1(partialnu(K),p(1))overline{p}subseteq H$.
For $gin H$, since $gpsim p$, we can take the edge of this homotopy to get a path $h$ from $gp(1)$ to $p(1)$ in $partialnu(K)$. We can write $g=poverline{h}overline{p}$, which is in $ppi_1(partialnu(K),p(1))overline{p}$.
Thus, $H=ppi_1(partialnu(K),p(1))overline{p}$. That is, we can recover a peripheral subgroup and a meridian. Suppose there is an oriented knot $K'$ with $Q(K)cong Q(K')$, and let $p'$ be the image of $p$ in $Q(K')$. By functoriality, there is an isomorphism $Gcong G'=pi_1(S^3-nu K')$, and it carries $H$ to $H'=operatorname{Stab}_{G'}(p')$, which by the above argument is a peripheral subgroup. Since knot complements are Haken manifolds with connected boundaries, Waldhausen '68 applies and there is a homeomorphism $S^3-nu (K)cong S^3-nu (K')$. This map might be orientation reversing, and this can affect the orientations of both longitudes and meridians. In any case, the meridians allow us to glue solid tori into the knot complements uniquely and in a way that the homeomorphism extends to all of $S^3$, and it follows that either $K$ and $pm K'$ or $K$ and $pm mK'$ are isotopic since there are only two isotopy classes of homeomorphisms $S^3to S^3$. Q.E.D.
Theorem 2. For a nonsplit oriented link $L$, $Q(L)$ is a complete invariant of the link, up to total orientation reversal and mirror image.
Proof. Let $L$ be a nonsplit link having components $L_1,dots,L_k$, and choose an element $p_iin Q(L)$ for each component, with $p_i(1)inpartialnu(L_i)$. With $H_i=operatorname{Stab}_{G}(p_i)$, as before we get peripheral subgroups $H_i=p_ipi_1(partialnu(L_i),p_i(1))overline{p_i}$. Since $L$ is nonsplit, then $S^3-nu(L)$ is a Haken manifold, and again by Waldhausen (though I can't find a reference for this...) we get from the isomorphism $Gcong G'$ that carries each $H_i$ to $H_i'$ a homeomorphism $S^3-nu(L)cong S^3-nu(L')$ when $L'$ is another nonsplit link with $Q(L)cong Q(L')$. By a similar argument as before using the meridians implied by the $p_i$'s, either $L$ and $pm L'$ or $L$ and $pm mL'$ are isotopic. Q.E.D.
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
$endgroup$
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
1
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
add a comment |
$begingroup$
Let me review here a definition of quandles and how the proof goes that they are a complete invariant of unoriented knots up to mirror image.
The link quandle $Q(L,*)$ of an oriented link $Lsubset S^3$ with basepoint $*in S^3-nu(L)$ is the collection of all homotopy classes of paths from $*$ to $partialnu(L)$ (where $nu(L)$ is a tubular neighborhood, and where the homotopies allow the end to slide along $partialnu(L)$), along with
A function $lambda:Q(L,*)to pi_1(S^3-nu(L),*)$ given by $pmapsto p; overline{mu_{p(1)}}; overline{p}$, where $mu_{p(1)}$ is some meridian loop in $nu(L)$ at $p(1)$ having $+1$ linking number with $L$. (Note: this requires knowing $Lsubset S^3$ and cannot in general be recovered from $S^3-nu (L)$). This is the loop corresponding to a path, hence $lambda$.
A group action of $pi_1(S^3-nu(L),*)$ on $Q(L,*)$ by $gcdot p=gp$ (concatenation).
These form a quandle (sometimes called an enriched quandle) in the following sense:
$glambda_p g^{-1}=lambda_{gp}$ for all $gin pi_1(S^3-nu(L))$ and $pin Q(L)$.
$lambda_pp=p$ for all $pin Q(L)$.
If you substitute in $g=lambda_q$, you can get $lambda_qlambda_pr=lambda_{lambda_q p}lambda_q r$, which with $ytriangleright x:=lambda_xy$ renders as $(rtriangleright p)triangleright q=(rtriangleright q)triangleright(ptriangleright q)$. The second renders as $ptriangleright p=p$.
A note about $lambda$: the image $lambda(Q(L))$ is a union of conjugacy classes of $pi_1(S^3-nu(L))$, due to $glambda_p g^{-1}=lambda_{gp}$. In particular, through the construction each conjugacy class corresponds to the free homotopy class of some meridian --- one class per link component --- so the quandle is certainly not transitive for links of more than one component. It's worth knowing that $lambda(Q(L))$ generates $pi_1(S^3-nu(L))$, with a quick reason being from the Wirtinger presentation.
Another note about it: $lambda$ is functorial in the sense that if there is a quandle homomorphism $f:Q(L)to Q(L')$, then there is an induced homomorphism $f_*:pi_1(S^3-nu(L))to pi_1(S^3-nu(L'))$ compatible with $lambda$. (In a way, this induced homomorphism is part of the definition of the (enriched) quandle homomorphism, so this is just putting different terminology on the concept.)
Theorem 1. For an oriented knot $K$, $Q(K)$ is a complete invariant of the knot, up to orientation reversal and mirror image.
Proof. Fix an element $pin Q(K)$, which represents a particular choice of meridian for $K$. Let $G=pi_1(S^3-nu(K))$ and $H=operatorname{Stab}_G(p)$.
For $gin pi_1(partialnu(K),p(1))$, $(pgoverline{p})psim p$ in $Q(K)$, hence $ppi_1(partialnu(K),p(1))overline{p}subseteq H$.
For $gin H$, since $gpsim p$, we can take the edge of this homotopy to get a path $h$ from $gp(1)$ to $p(1)$ in $partialnu(K)$. We can write $g=poverline{h}overline{p}$, which is in $ppi_1(partialnu(K),p(1))overline{p}$.
Thus, $H=ppi_1(partialnu(K),p(1))overline{p}$. That is, we can recover a peripheral subgroup and a meridian. Suppose there is an oriented knot $K'$ with $Q(K)cong Q(K')$, and let $p'$ be the image of $p$ in $Q(K')$. By functoriality, there is an isomorphism $Gcong G'=pi_1(S^3-nu K')$, and it carries $H$ to $H'=operatorname{Stab}_{G'}(p')$, which by the above argument is a peripheral subgroup. Since knot complements are Haken manifolds with connected boundaries, Waldhausen '68 applies and there is a homeomorphism $S^3-nu (K)cong S^3-nu (K')$. This map might be orientation reversing, and this can affect the orientations of both longitudes and meridians. In any case, the meridians allow us to glue solid tori into the knot complements uniquely and in a way that the homeomorphism extends to all of $S^3$, and it follows that either $K$ and $pm K'$ or $K$ and $pm mK'$ are isotopic since there are only two isotopy classes of homeomorphisms $S^3to S^3$. Q.E.D.
Theorem 2. For a nonsplit oriented link $L$, $Q(L)$ is a complete invariant of the link, up to total orientation reversal and mirror image.
Proof. Let $L$ be a nonsplit link having components $L_1,dots,L_k$, and choose an element $p_iin Q(L)$ for each component, with $p_i(1)inpartialnu(L_i)$. With $H_i=operatorname{Stab}_{G}(p_i)$, as before we get peripheral subgroups $H_i=p_ipi_1(partialnu(L_i),p_i(1))overline{p_i}$. Since $L$ is nonsplit, then $S^3-nu(L)$ is a Haken manifold, and again by Waldhausen (though I can't find a reference for this...) we get from the isomorphism $Gcong G'$ that carries each $H_i$ to $H_i'$ a homeomorphism $S^3-nu(L)cong S^3-nu(L')$ when $L'$ is another nonsplit link with $Q(L)cong Q(L')$. By a similar argument as before using the meridians implied by the $p_i$'s, either $L$ and $pm L'$ or $L$ and $pm mL'$ are isotopic. Q.E.D.
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
$endgroup$
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
1
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
add a comment |
$begingroup$
Let me review here a definition of quandles and how the proof goes that they are a complete invariant of unoriented knots up to mirror image.
The link quandle $Q(L,*)$ of an oriented link $Lsubset S^3$ with basepoint $*in S^3-nu(L)$ is the collection of all homotopy classes of paths from $*$ to $partialnu(L)$ (where $nu(L)$ is a tubular neighborhood, and where the homotopies allow the end to slide along $partialnu(L)$), along with
A function $lambda:Q(L,*)to pi_1(S^3-nu(L),*)$ given by $pmapsto p; overline{mu_{p(1)}}; overline{p}$, where $mu_{p(1)}$ is some meridian loop in $nu(L)$ at $p(1)$ having $+1$ linking number with $L$. (Note: this requires knowing $Lsubset S^3$ and cannot in general be recovered from $S^3-nu (L)$). This is the loop corresponding to a path, hence $lambda$.
A group action of $pi_1(S^3-nu(L),*)$ on $Q(L,*)$ by $gcdot p=gp$ (concatenation).
These form a quandle (sometimes called an enriched quandle) in the following sense:
$glambda_p g^{-1}=lambda_{gp}$ for all $gin pi_1(S^3-nu(L))$ and $pin Q(L)$.
$lambda_pp=p$ for all $pin Q(L)$.
If you substitute in $g=lambda_q$, you can get $lambda_qlambda_pr=lambda_{lambda_q p}lambda_q r$, which with $ytriangleright x:=lambda_xy$ renders as $(rtriangleright p)triangleright q=(rtriangleright q)triangleright(ptriangleright q)$. The second renders as $ptriangleright p=p$.
A note about $lambda$: the image $lambda(Q(L))$ is a union of conjugacy classes of $pi_1(S^3-nu(L))$, due to $glambda_p g^{-1}=lambda_{gp}$. In particular, through the construction each conjugacy class corresponds to the free homotopy class of some meridian --- one class per link component --- so the quandle is certainly not transitive for links of more than one component. It's worth knowing that $lambda(Q(L))$ generates $pi_1(S^3-nu(L))$, with a quick reason being from the Wirtinger presentation.
Another note about it: $lambda$ is functorial in the sense that if there is a quandle homomorphism $f:Q(L)to Q(L')$, then there is an induced homomorphism $f_*:pi_1(S^3-nu(L))to pi_1(S^3-nu(L'))$ compatible with $lambda$. (In a way, this induced homomorphism is part of the definition of the (enriched) quandle homomorphism, so this is just putting different terminology on the concept.)
Theorem 1. For an oriented knot $K$, $Q(K)$ is a complete invariant of the knot, up to orientation reversal and mirror image.
Proof. Fix an element $pin Q(K)$, which represents a particular choice of meridian for $K$. Let $G=pi_1(S^3-nu(K))$ and $H=operatorname{Stab}_G(p)$.
For $gin pi_1(partialnu(K),p(1))$, $(pgoverline{p})psim p$ in $Q(K)$, hence $ppi_1(partialnu(K),p(1))overline{p}subseteq H$.
For $gin H$, since $gpsim p$, we can take the edge of this homotopy to get a path $h$ from $gp(1)$ to $p(1)$ in $partialnu(K)$. We can write $g=poverline{h}overline{p}$, which is in $ppi_1(partialnu(K),p(1))overline{p}$.
Thus, $H=ppi_1(partialnu(K),p(1))overline{p}$. That is, we can recover a peripheral subgroup and a meridian. Suppose there is an oriented knot $K'$ with $Q(K)cong Q(K')$, and let $p'$ be the image of $p$ in $Q(K')$. By functoriality, there is an isomorphism $Gcong G'=pi_1(S^3-nu K')$, and it carries $H$ to $H'=operatorname{Stab}_{G'}(p')$, which by the above argument is a peripheral subgroup. Since knot complements are Haken manifolds with connected boundaries, Waldhausen '68 applies and there is a homeomorphism $S^3-nu (K)cong S^3-nu (K')$. This map might be orientation reversing, and this can affect the orientations of both longitudes and meridians. In any case, the meridians allow us to glue solid tori into the knot complements uniquely and in a way that the homeomorphism extends to all of $S^3$, and it follows that either $K$ and $pm K'$ or $K$ and $pm mK'$ are isotopic since there are only two isotopy classes of homeomorphisms $S^3to S^3$. Q.E.D.
Theorem 2. For a nonsplit oriented link $L$, $Q(L)$ is a complete invariant of the link, up to total orientation reversal and mirror image.
Proof. Let $L$ be a nonsplit link having components $L_1,dots,L_k$, and choose an element $p_iin Q(L)$ for each component, with $p_i(1)inpartialnu(L_i)$. With $H_i=operatorname{Stab}_{G}(p_i)$, as before we get peripheral subgroups $H_i=p_ipi_1(partialnu(L_i),p_i(1))overline{p_i}$. Since $L$ is nonsplit, then $S^3-nu(L)$ is a Haken manifold, and again by Waldhausen (though I can't find a reference for this...) we get from the isomorphism $Gcong G'$ that carries each $H_i$ to $H_i'$ a homeomorphism $S^3-nu(L)cong S^3-nu(L')$ when $L'$ is another nonsplit link with $Q(L)cong Q(L')$. By a similar argument as before using the meridians implied by the $p_i$'s, either $L$ and $pm L'$ or $L$ and $pm mL'$ are isotopic. Q.E.D.
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
$endgroup$
Let me review here a definition of quandles and how the proof goes that they are a complete invariant of unoriented knots up to mirror image.
The link quandle $Q(L,*)$ of an oriented link $Lsubset S^3$ with basepoint $*in S^3-nu(L)$ is the collection of all homotopy classes of paths from $*$ to $partialnu(L)$ (where $nu(L)$ is a tubular neighborhood, and where the homotopies allow the end to slide along $partialnu(L)$), along with
A function $lambda:Q(L,*)to pi_1(S^3-nu(L),*)$ given by $pmapsto p; overline{mu_{p(1)}}; overline{p}$, where $mu_{p(1)}$ is some meridian loop in $nu(L)$ at $p(1)$ having $+1$ linking number with $L$. (Note: this requires knowing $Lsubset S^3$ and cannot in general be recovered from $S^3-nu (L)$). This is the loop corresponding to a path, hence $lambda$.
A group action of $pi_1(S^3-nu(L),*)$ on $Q(L,*)$ by $gcdot p=gp$ (concatenation).
These form a quandle (sometimes called an enriched quandle) in the following sense:
$glambda_p g^{-1}=lambda_{gp}$ for all $gin pi_1(S^3-nu(L))$ and $pin Q(L)$.
$lambda_pp=p$ for all $pin Q(L)$.
If you substitute in $g=lambda_q$, you can get $lambda_qlambda_pr=lambda_{lambda_q p}lambda_q r$, which with $ytriangleright x:=lambda_xy$ renders as $(rtriangleright p)triangleright q=(rtriangleright q)triangleright(ptriangleright q)$. The second renders as $ptriangleright p=p$.
A note about $lambda$: the image $lambda(Q(L))$ is a union of conjugacy classes of $pi_1(S^3-nu(L))$, due to $glambda_p g^{-1}=lambda_{gp}$. In particular, through the construction each conjugacy class corresponds to the free homotopy class of some meridian --- one class per link component --- so the quandle is certainly not transitive for links of more than one component. It's worth knowing that $lambda(Q(L))$ generates $pi_1(S^3-nu(L))$, with a quick reason being from the Wirtinger presentation.
Another note about it: $lambda$ is functorial in the sense that if there is a quandle homomorphism $f:Q(L)to Q(L')$, then there is an induced homomorphism $f_*:pi_1(S^3-nu(L))to pi_1(S^3-nu(L'))$ compatible with $lambda$. (In a way, this induced homomorphism is part of the definition of the (enriched) quandle homomorphism, so this is just putting different terminology on the concept.)
Theorem 1. For an oriented knot $K$, $Q(K)$ is a complete invariant of the knot, up to orientation reversal and mirror image.
Proof. Fix an element $pin Q(K)$, which represents a particular choice of meridian for $K$. Let $G=pi_1(S^3-nu(K))$ and $H=operatorname{Stab}_G(p)$.
For $gin pi_1(partialnu(K),p(1))$, $(pgoverline{p})psim p$ in $Q(K)$, hence $ppi_1(partialnu(K),p(1))overline{p}subseteq H$.
For $gin H$, since $gpsim p$, we can take the edge of this homotopy to get a path $h$ from $gp(1)$ to $p(1)$ in $partialnu(K)$. We can write $g=poverline{h}overline{p}$, which is in $ppi_1(partialnu(K),p(1))overline{p}$.
Thus, $H=ppi_1(partialnu(K),p(1))overline{p}$. That is, we can recover a peripheral subgroup and a meridian. Suppose there is an oriented knot $K'$ with $Q(K)cong Q(K')$, and let $p'$ be the image of $p$ in $Q(K')$. By functoriality, there is an isomorphism $Gcong G'=pi_1(S^3-nu K')$, and it carries $H$ to $H'=operatorname{Stab}_{G'}(p')$, which by the above argument is a peripheral subgroup. Since knot complements are Haken manifolds with connected boundaries, Waldhausen '68 applies and there is a homeomorphism $S^3-nu (K)cong S^3-nu (K')$. This map might be orientation reversing, and this can affect the orientations of both longitudes and meridians. In any case, the meridians allow us to glue solid tori into the knot complements uniquely and in a way that the homeomorphism extends to all of $S^3$, and it follows that either $K$ and $pm K'$ or $K$ and $pm mK'$ are isotopic since there are only two isotopy classes of homeomorphisms $S^3to S^3$. Q.E.D.
Theorem 2. For a nonsplit oriented link $L$, $Q(L)$ is a complete invariant of the link, up to total orientation reversal and mirror image.
Proof. Let $L$ be a nonsplit link having components $L_1,dots,L_k$, and choose an element $p_iin Q(L)$ for each component, with $p_i(1)inpartialnu(L_i)$. With $H_i=operatorname{Stab}_{G}(p_i)$, as before we get peripheral subgroups $H_i=p_ipi_1(partialnu(L_i),p_i(1))overline{p_i}$. Since $L$ is nonsplit, then $S^3-nu(L)$ is a Haken manifold, and again by Waldhausen (though I can't find a reference for this...) we get from the isomorphism $Gcong G'$ that carries each $H_i$ to $H_i'$ a homeomorphism $S^3-nu(L)cong S^3-nu(L')$ when $L'$ is another nonsplit link with $Q(L)cong Q(L')$. By a similar argument as before using the meridians implied by the $p_i$'s, either $L$ and $pm L'$ or $L$ and $pm mL'$ are isotopic. Q.E.D.
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
edited Jan 19 at 8:05
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
answered Jan 18 at 21:07
Kyle MillerKyle Miller
9,123929
9,123929
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
1
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
add a comment |
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
1
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
$begingroup$
@Miller: So the proof of Theorem $2$ implies that a non-splittable link is completely classified by its link group and peripheral systems. Am I right?
$endgroup$
– eyp
Jan 21 at 8:36
1
1
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
$begingroup$
@eyp Yes, up to mirror image. See chapter 13 of Hempel's 3-Manifolds ($pi_2(S^3-L)=0$ for non-splittable links, so all homomorphisms are induced by continuous maps, and 13.8 says the map can be boundary preserving. 13.7 says this map is homotopic to a homeomorphism, where the special case for link complements is just a Hopf link, I believe.) With split links, there are homomorphisms corresponding to mirror imaging only part of the link.
$endgroup$
– Kyle Miller
Jan 21 at 21:40
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3078128%2fare-link-non-splittable-quandles-complete-invariant-up-to-orientation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
