Connected Sum Surgery
Is there any relationship between the connected sum operation and surgery theory? Is it possible to use surgery theory to "sew" two manifolds together and if so how is doing it by that approach different from the connected sum?
algebraic-topology manifolds surgery-theory
add a comment |
Is there any relationship between the connected sum operation and surgery theory? Is it possible to use surgery theory to "sew" two manifolds together and if so how is doing it by that approach different from the connected sum?
algebraic-topology manifolds surgery-theory
add a comment |
Is there any relationship between the connected sum operation and surgery theory? Is it possible to use surgery theory to "sew" two manifolds together and if so how is doing it by that approach different from the connected sum?
algebraic-topology manifolds surgery-theory
Is there any relationship between the connected sum operation and surgery theory? Is it possible to use surgery theory to "sew" two manifolds together and if so how is doing it by that approach different from the connected sum?
algebraic-topology manifolds surgery-theory
algebraic-topology manifolds surgery-theory
edited Dec 3 '18 at 23:56
Michael Albanese
63.1k1598303
63.1k1598303
asked Dec 3 '18 at 20:53
Canonical Momenta
233
233
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
If the manifolds involved are smooth, one has to be careful when doing connected sums and surgeries - I will not be so careful. These details are carried out in full in Kosinski's Differential Manifolds.
Let $M$ be an $n$-dimensional manifold and suppose there is an embedded $S^ktimes D^{n-k}$. Note that $Msetminus (S^ktimes D^{n-k})$ is an $n$-dimensional manifold with boundary $S^ktimes S^{n-k-1}$, as is $D^{k+1}times S^{n-k-1}$. We can glue these two together along their boundary to form a new $n$-manifold
$$M' := (Msetminus(S^ktimes D^{n-k-1}))cup_{S^ktimes S^{n-k-1}}(D^{k+1}times S^{n-k-1}).$$
We say that $M'$ is obtained from $M$ by a $k$-surgery.
The connected sum operation is just a special type of $0$-surgery. Let $X$ and $Y$ be connected $n$-dimensional manifolds, and consider the manifold $M := X sqcup Y$. We can find an embedded $S^0times D^n = D^nsqcup D^n$ in $M$ by choosing an open disc in $X$ and an open disc in $Y$. Doing a $0$-surgery on this embedded $S^0times D^n$ means removing those discs and gluing in $D^1times S^{n-1} = [0, 1]times S^{n-1}$ (i.e. a cylinder) to join the resulting boundaries; this is exactly the connected sum of $X$ and $Y$.
Note, if we had chosen an embedding of $S^0times D^n = D^nsqcup D^n$ such that both discs are in either $X$ or $Y$, the result of the $0$-surgery would not be a connected sum. A $0$-surgery where both discs lie in $X$ would correspond to adding a one-handle to $X$, so the resulting manifold would be $X#(S^1times S^{n-1}) sqcup Y$.
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%2f3024652%2fconnected-sum-surgery%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
If the manifolds involved are smooth, one has to be careful when doing connected sums and surgeries - I will not be so careful. These details are carried out in full in Kosinski's Differential Manifolds.
Let $M$ be an $n$-dimensional manifold and suppose there is an embedded $S^ktimes D^{n-k}$. Note that $Msetminus (S^ktimes D^{n-k})$ is an $n$-dimensional manifold with boundary $S^ktimes S^{n-k-1}$, as is $D^{k+1}times S^{n-k-1}$. We can glue these two together along their boundary to form a new $n$-manifold
$$M' := (Msetminus(S^ktimes D^{n-k-1}))cup_{S^ktimes S^{n-k-1}}(D^{k+1}times S^{n-k-1}).$$
We say that $M'$ is obtained from $M$ by a $k$-surgery.
The connected sum operation is just a special type of $0$-surgery. Let $X$ and $Y$ be connected $n$-dimensional manifolds, and consider the manifold $M := X sqcup Y$. We can find an embedded $S^0times D^n = D^nsqcup D^n$ in $M$ by choosing an open disc in $X$ and an open disc in $Y$. Doing a $0$-surgery on this embedded $S^0times D^n$ means removing those discs and gluing in $D^1times S^{n-1} = [0, 1]times S^{n-1}$ (i.e. a cylinder) to join the resulting boundaries; this is exactly the connected sum of $X$ and $Y$.
Note, if we had chosen an embedding of $S^0times D^n = D^nsqcup D^n$ such that both discs are in either $X$ or $Y$, the result of the $0$-surgery would not be a connected sum. A $0$-surgery where both discs lie in $X$ would correspond to adding a one-handle to $X$, so the resulting manifold would be $X#(S^1times S^{n-1}) sqcup Y$.
add a comment |
If the manifolds involved are smooth, one has to be careful when doing connected sums and surgeries - I will not be so careful. These details are carried out in full in Kosinski's Differential Manifolds.
Let $M$ be an $n$-dimensional manifold and suppose there is an embedded $S^ktimes D^{n-k}$. Note that $Msetminus (S^ktimes D^{n-k})$ is an $n$-dimensional manifold with boundary $S^ktimes S^{n-k-1}$, as is $D^{k+1}times S^{n-k-1}$. We can glue these two together along their boundary to form a new $n$-manifold
$$M' := (Msetminus(S^ktimes D^{n-k-1}))cup_{S^ktimes S^{n-k-1}}(D^{k+1}times S^{n-k-1}).$$
We say that $M'$ is obtained from $M$ by a $k$-surgery.
The connected sum operation is just a special type of $0$-surgery. Let $X$ and $Y$ be connected $n$-dimensional manifolds, and consider the manifold $M := X sqcup Y$. We can find an embedded $S^0times D^n = D^nsqcup D^n$ in $M$ by choosing an open disc in $X$ and an open disc in $Y$. Doing a $0$-surgery on this embedded $S^0times D^n$ means removing those discs and gluing in $D^1times S^{n-1} = [0, 1]times S^{n-1}$ (i.e. a cylinder) to join the resulting boundaries; this is exactly the connected sum of $X$ and $Y$.
Note, if we had chosen an embedding of $S^0times D^n = D^nsqcup D^n$ such that both discs are in either $X$ or $Y$, the result of the $0$-surgery would not be a connected sum. A $0$-surgery where both discs lie in $X$ would correspond to adding a one-handle to $X$, so the resulting manifold would be $X#(S^1times S^{n-1}) sqcup Y$.
add a comment |
If the manifolds involved are smooth, one has to be careful when doing connected sums and surgeries - I will not be so careful. These details are carried out in full in Kosinski's Differential Manifolds.
Let $M$ be an $n$-dimensional manifold and suppose there is an embedded $S^ktimes D^{n-k}$. Note that $Msetminus (S^ktimes D^{n-k})$ is an $n$-dimensional manifold with boundary $S^ktimes S^{n-k-1}$, as is $D^{k+1}times S^{n-k-1}$. We can glue these two together along their boundary to form a new $n$-manifold
$$M' := (Msetminus(S^ktimes D^{n-k-1}))cup_{S^ktimes S^{n-k-1}}(D^{k+1}times S^{n-k-1}).$$
We say that $M'$ is obtained from $M$ by a $k$-surgery.
The connected sum operation is just a special type of $0$-surgery. Let $X$ and $Y$ be connected $n$-dimensional manifolds, and consider the manifold $M := X sqcup Y$. We can find an embedded $S^0times D^n = D^nsqcup D^n$ in $M$ by choosing an open disc in $X$ and an open disc in $Y$. Doing a $0$-surgery on this embedded $S^0times D^n$ means removing those discs and gluing in $D^1times S^{n-1} = [0, 1]times S^{n-1}$ (i.e. a cylinder) to join the resulting boundaries; this is exactly the connected sum of $X$ and $Y$.
Note, if we had chosen an embedding of $S^0times D^n = D^nsqcup D^n$ such that both discs are in either $X$ or $Y$, the result of the $0$-surgery would not be a connected sum. A $0$-surgery where both discs lie in $X$ would correspond to adding a one-handle to $X$, so the resulting manifold would be $X#(S^1times S^{n-1}) sqcup Y$.
If the manifolds involved are smooth, one has to be careful when doing connected sums and surgeries - I will not be so careful. These details are carried out in full in Kosinski's Differential Manifolds.
Let $M$ be an $n$-dimensional manifold and suppose there is an embedded $S^ktimes D^{n-k}$. Note that $Msetminus (S^ktimes D^{n-k})$ is an $n$-dimensional manifold with boundary $S^ktimes S^{n-k-1}$, as is $D^{k+1}times S^{n-k-1}$. We can glue these two together along their boundary to form a new $n$-manifold
$$M' := (Msetminus(S^ktimes D^{n-k-1}))cup_{S^ktimes S^{n-k-1}}(D^{k+1}times S^{n-k-1}).$$
We say that $M'$ is obtained from $M$ by a $k$-surgery.
The connected sum operation is just a special type of $0$-surgery. Let $X$ and $Y$ be connected $n$-dimensional manifolds, and consider the manifold $M := X sqcup Y$. We can find an embedded $S^0times D^n = D^nsqcup D^n$ in $M$ by choosing an open disc in $X$ and an open disc in $Y$. Doing a $0$-surgery on this embedded $S^0times D^n$ means removing those discs and gluing in $D^1times S^{n-1} = [0, 1]times S^{n-1}$ (i.e. a cylinder) to join the resulting boundaries; this is exactly the connected sum of $X$ and $Y$.
Note, if we had chosen an embedding of $S^0times D^n = D^nsqcup D^n$ such that both discs are in either $X$ or $Y$, the result of the $0$-surgery would not be a connected sum. A $0$-surgery where both discs lie in $X$ would correspond to adding a one-handle to $X$, so the resulting manifold would be $X#(S^1times S^{n-1}) sqcup Y$.
answered Dec 3 '18 at 23:52
Michael Albanese
63.1k1598303
63.1k1598303
add a comment |
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3024652%2fconnected-sum-surgery%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