Questions tagged [surgery-theory]
In geometric topology, surgery theory is used to produce one finite-dimensional manifold from another in a 'controlled' way. Originally developed for differentiable (smooth) manifolds, surgery techniques also apply to piecewise linear and topological manifolds. Surgery refers to cutting out parts of the manifold and replacing it with a part of another manifold, matching up along the cut or boundary. This is related to handlebody decompositions.
98 questions
4
votes
1
answer
243
views
On the degeneration of the elliptic surface $E(n)$
The following matter should be widely known (if true). I am sorry for my ignorance!
For the natural $n$, let $E(n)$ be the corresponding elliptic surface.
In the analytic world, there exists a well-...
- 153
7
votes
2
answers
534
views
Does there exist a Dehn filling of an irreducible 3-manifold with toroidal boundaries which is still irreducible?
Let $M$ be a compact, orientable, irreducible 3-manifold with incompressible toroidal boundary (there might be more than one boundary component). Is it always possible to choose appropriate slopes on ...
- 605
4
votes
1
answer
209
views
Dehn surgery on $RP^2 \times S^1$
A standard example of Dehn surgery is obtaining $S^3$ from $S^2 \times S^1$. Consider a unknot $L$ wrapping the non-trivial cycle $S^1$ in $S^2 \times S^1$. We drill out a tubular neighborhood $T_{L} $...
4
votes
0
answers
202
views
Possible Euler characteristics of manifolds with tangential structures
Let $p:B\to BO$ be a fibration. We say that a manifold has a $B$-structure if its stable tangent bundle lifts to $B$. I am interested in the question of whether there exists, for a given even ...
4
votes
0
answers
116
views
Finding inverses of certain elements in the set of normal invariants of a smooth manifold
Let, $V$ denote the Stiefel manifold of 2-frames $V_{10,2}$ . Consider the the map $S_\text{diff} (V) \xrightarrow{\eta} N_\text{diff} (V) $ in the surgery exact sequence of a smooth manifold. . ...
- 141
1
vote
0
answers
161
views
Higher dimensional Seifert surfaces and link numbers of higher knots
In 3-manifold topology, the notion of Seifert surface is well known. It is then used to define link numbers of knots.
Question: Consider embedding $N^n \rightarrow M^{2n+1}$ of n-dimensional manifold $...
- 593
2
votes
0
answers
55
views
Tangential normal invariant isomorphism
Recently, I was reading the paper "Finite Group Actions on Kervaire Manifold" by Crowley, Hambolton. But I am having problem understanding a definition. Here it is,
In page 15-16 they are ...
4
votes
1
answer
230
views
Gluing a manifold along its boundary, via chain complexes
Given closed oriented $n$-manifolds $M, M', M''$ and bordisms $W, W'$ with $\partial W = M \sqcup - M'$ and $\partial W' = M' \sqcup - M''$, we can collar-glue them to obtain a bordism from $M$ to $M''...
- 898
4
votes
1
answer
296
views
On the proof of the surgery step in Wall's book
This question regards a part of the proof of the so called surgery step, in Wall's book "surgery on compact manifolds", Theorem 1.1.
Setting
$M^m$ smooth manifold, $X$ CW complex, $\phi :M\...
- 2,533
6
votes
1
answer
472
views
4-manifold obtained from a ribbon disk exterior by attaching a 2-handle is simply-connected if its boundary is a homology sphere
I am reading Lemma 2.1 of this paper (https://arxiv.org/pdf/2012.12587.pdf) and I can't see why $W$ is simply-connected. Here is the situation:
Let $K$ be a ribbon knot in $S^3$; it bounds a ribbon ...
- 335
2
votes
0
answers
117
views
About connected cobordism and surgery
I need to find various ways of performing two surgeries on a collection of circles so that the resulting 2-dimensional cobordism (the trace of the surgeries) is connected.
How can I find these ? up ...
- 119
3
votes
0
answers
86
views
Integral homology $S^1\times S^2$'s smoothly bounding integral homology $S^1\times B^3$'s
Suppose we are given a compact orientable 3-manifold $M$ which is an integral homology $S^1\times S^2$. Then is there a way to determine whether $M$ bounds a smooth compact orientable 4-manifold which ...
- 335
2
votes
0
answers
130
views
Attaching a 2-handle to a once-twisted unlink in the boundary of the 4-ball
Consider the 3-sphere $S_3$ with an unlink loop $L$ whose tubular neighborhood is identified with the solid torus $B_2\times S_1$ with one twist, i.e., such that the image of $x\times S_1$ (where $x$ ...
- 3,001
2
votes
0
answers
175
views
Expository material on the Gromov-Lawson surgery theorem
I am looking for an expository text on the paper "The classification of simply connected
manifolds of positive scalar curvature" by Gromov and Lawson, in particular on the proof of Theorem A....
- 147
4
votes
0
answers
172
views
Survey or good reference of taut foliations
I am interested in the topology of foliations.
In particular, I want to understand taut foliations, or projectively Anosov flows, and Anosov flows.
I guess that
A. Candel and L. Conlon, Foliations I (...
- 73
8
votes
1
answer
528
views
Surgery along knots and connected sum
Denote $S^3_{p/q}(K)$ by performing $p/q$-surgery along a knot $K$ in $S^3$.
Let $K$ and $J$ be two arbitrary oriented non-trivial knots in $S^3$. Is there a nice relation between surgery on the ...
- 213
3
votes
1
answer
239
views
A question on the proof of Theorem 1 in Milnor's "Killing Homotopy Groups"
Theorem 1 of Milnor's paper "A procedure for killing homotopy groups of differentiable manifolds" states that two manifolds are in the same cobordism class if and only if they can be ...
- 147
8
votes
1
answer
474
views
Regarding the surgery construction in "A procedure for killing homotopy groups of differentiable manifolds" by Milnor
In the first section of "A procedure for killing homotopy groups of differentiable manifolds", Milnor gives the surgery construction as follows. Let $W$ be an $n=p+q+1$ dimensional manifold. ...
- 147
3
votes
1
answer
156
views
Kind of "associativity" of certain connected sum involving both manifolds with and without boundary
Consider two compact, oriented and connected manifolds $\mathcal{M},\mathcal{N}$ with possibly non-empty connected boundaries $\partial\mathcal{M}$ and $\partial\mathcal{N}$. Now, in some project, I ...
- 1,171
5
votes
1
answer
173
views
Is spin cobordism an invariant for surgery of codimension $q\ge3$?
Recall that a surgery of codimension $q$ on an $n$-manifold $X$ is a modification of $X$ of the following type. Let $\Sigma^{n-q}\subset X$ be a smoothly embedded $(n-q)$-sphere with a trivialized ...
- 10.5k
1
vote
0
answers
183
views
Mapping class group and surgery theory
Given a smooth manifold $M$ of dimension $n$ and a diffeomorphism $\phi: M \to M$, we can construct a smooth cobordism of dimension $(n+1)$ from $M$ to $M$ by gluing $M \times [0,1]$ with itself by $\...
- 5,230
4
votes
0
answers
377
views
Kirby's theorem for 4-manifolds
In dimension 3, we have the celebrated Kirby theorem: Let $L_1, L_2$ be two links in the 3-sphere $S^3$; then they surgeries along them produce homeomorphic 3-manifolds if and only if they are related ...
- 5,230
8
votes
0
answers
151
views
Is the number of prime factors of 3-manifolds obtained by Dehn surgery along a link with $N$ components in $S^3$ bounded from above?
For a given $N$, is the number of prime factors of 3-manifolds obtained by Dehn surgery along a link with $N$ components in $S^3$ bounded from above?
The Two Summands Conjecture states that surgery ...
- 6,962
4
votes
0
answers
249
views
Being a product - from homology to topology
The famous Kunneth formula expresses the homology of a product manifold as the tensor product of the two algebras.
Now suppose we know that a manifold $X$ has a decomposition $H_*(X) \simeq A \otimes ...
- 2,152
5
votes
0
answers
184
views
L-theory periodicity
Let $\mathcal{A}$ be an additive category. I have two questions:
Is there a conceptual explanation why $L(\mathcal{A})$ is 4-periodic, in the sense that
$L_{i}(\mathcal{A})=L_{i+4}(\mathcal{A})$ for ...
- 855
5
votes
1
answer
425
views
L-theory of additive category
Reading some articles in the field, I found the following statement:
Proposition:
Let $\mathcal{B}$ be an additive category and $\mathcal{A}$ a full additive subcategory of
$\mathcal{B}$. If $\mathcal{...
- 855
13
votes
1
answer
812
views
Roadmap for L-Theory
Background: I spent sometime reading about algebraic K-theory and started reading research papers on the subject with relative facility at least I do understand constructions, statements of the ...
- 855
3
votes
2
answers
199
views
Effect of a Lutz twist on Euler number
I already asked this question on the Math Stack Exchange but did not get an answer.
I am currently working through Geiges proof of the Martinet-Lutz theorem, which can be
found here, and am trying to ...
5
votes
0
answers
77
views
Fiber product formulae for surgery obstructions
Is there a formula for the surgery obstruction of a fiber product of maps assuming the fiber product is also a homotopy equivalence?
In more detail, suppose that $X \to Y$ and $Z \to Y$ are homotopy ...
- 1,628
6
votes
1
answer
287
views
Dehn surgery along primitive knot in 3-dimensional handlebody
I'm studying the article "An alternative proof of Lickorish–Wallace theorem" (doi link)
and I got stuck in a problem.
Let $H_g$ be a 3 dimensional handlebody of genus $g$, a primate curve in ...
- 173
2
votes
0
answers
214
views
Surgery for algebraic varieties
I have a number of vague questions that I wasn't sure whether they are suitable to ask or not, but I decided to ask!
According to this result, any two birational varieties can be constructed by a ...
- 5,901
5
votes
0
answers
350
views
Are there alternate descriptions of `elementary cobordisms'?
Let $M^d$, $N^d$ be cobordant $d$-manifolds. Then $M^d \sqcup \bar{N}^d = \partial W^{d+1}$ for some $(d+1)$-manifold $W$. This cobordism can be implemented via an elementary set of 'moves' called ...
- 545
6
votes
0
answers
184
views
Visualize how the 5d Dold manifold and Wu manifold are cobordant via a 6d manifolds with boundaries
Are there simple intuitions and arguments to visualize why the following two 5-manifolds are cobordant to each other with the oriented structures? (They can be two boundaries of 6-dimensional oriented ...
- 10.5k
7
votes
3
answers
249
views
Normal invariants
I am having a hard time finding examples of computations of normal invariants of surgery theory (or more generally the set of homotopy classes of maps $[X,G/O]$). Does anybody have good references?
- 641
0
votes
0
answers
78
views
Bipartedly slice links and their surgeries
A link L in $S^3$ is said to be strongly slice if $L=∂D$,where $D$ is a disjoint union of smoothly and properly embedded disks in $B^4$.
A link $L$ in $S^3$ is called bipartedly slice if $L = L_1 \cup ...
user160180
1
vote
0
answers
248
views
Concordance, surgery and homology cobordism
In this post, we discuss the relation between the concordance of knots in $S^3$ and the integral homology cobordism.
Following its notation, assume that knots $K_0$ and $K_1$ in $S^3$ are concordant. ...
user160180
5
votes
1
answer
433
views
Dehn surgery on $S^3$ along a Hopf link with rational surgery coefficients
Is there an exhaustive list of conditions satisfied by rational surgery coefficients assigned to the components of the Hopf link in $S^3$ such that the resulting 3-manifold by Dehn surgery acting on $...
8
votes
0
answers
445
views
Integer surgeries along links yielding lens spaces
Does there exist an integer $N$ such that any lens space $L(p,q)$ can be obtained by integer surgery from $S^3$ along a link $L$ with at most $N$ components?
EDIT:
I have worked out the comment by ...
- 1,314
11
votes
0
answers
237
views
Torus trick without surgery theory
It follows from surgery theory that in dimension $\geq 5$ every closed PL manifold homotopy equivalent to a torus has a finite cover which is PL homeomorphic to a torus. This is an important ...
- 637
5
votes
2
answers
329
views
Negative surgeries on negative knots
This question is two-fold.
The first question is rather specific: what are some small examples of negative surgeries on negative knots that give rise to the same 3-manifold? I know one class of ...
- 1,430
1
vote
1
answer
469
views
Integer surgery on $S^3$
I know that any compact orientable 3-manifold can be obtained from the three sphere $S^3$ by an integer surgery. I am not sure why the surgery operation is completely determined by Where we map ...
- 504
1
vote
0
answers
169
views
Confused about A. Kosinski's description about surgery in his book "differential manifolds"
Please excuse me, if MO is not the proper place for this question. I aksed the same question on M.SE
https://math.stackexchange.com/questions/3511134/confused-about-a-kosinskis-description-of-surgery-...
- 173
7
votes
3
answers
628
views
Generalized Schoenflies - formalizing step in proof?
[Sorry if the level here is wrong, I asked this on math.SE, but even with a bounty, it got no attention.]
I am currently reading Hatcher's 3-Manifolds notes, the part proving Alexander's theorem, ...
- 174
5
votes
2
answers
522
views
Rational surgery and attaching $2$-handles
It is well-known fact that integral Dehn surgeries on $3$-sphere $S^3$ are viewed as the result on the boundary of attaching $2$-handles $B^2 \times B^2$ to the $4$-ball $B^4$.
Is there an analogue ...
user150450
9
votes
1
answer
305
views
Topological Spin manifolds in dimension 4
In his ICM Adress at Nice (Proceedings of the International Congress of Mathematicians Nice, September, 1970, Gauthier-Villars, editeur, Paris 6 e ,1971, Volume 2, pp. 133-163.),
Robion Kirby ...
- 2,630
2
votes
0
answers
102
views
Realizing an amalgamated product of groups by splitting a closed manifold along a codimension 1 submanifold
In the paper "A splitting theorem for manifolds" by S.E. Cappell,
https://www.maths.ed.ac.uk/~v1ranick/papers/capsplit.pdf
the following "inverse" of the Seifert-van Kampen theorem for closed ...
- 21
4
votes
0
answers
181
views
Borromean Lines of three $\mathbb{R}^1$ in $\mathbb{R}^3$ and analogous Milnor link invariants
It is know that Borromean rings can be detected by Milnor invariant
$$
\bar{\mu}(\gamma_1,\gamma_2,\gamma_3)=
\# (\Sigma_1 \cap \Sigma_2 \cap \Sigma_3)-\frac{1}{2}\sum_{I,J,K}\epsilon_{IJK}
\sum_{\...
- 2,147
6
votes
1
answer
170
views
Diffeomorphism type of the added sphere in simply connected surgery
A classical result of simply connected surgery theory, is that if two normal maps $f:M_i\rightarrow X$, $i=0,1$ are normally cobordant and if the dimension of the manifolds is odd, there exists a ...
- 93
3
votes
1
answer
245
views
Wall self-intersection invariant for odd-dimensional manifolds?
I am trying to convince myself that a naïve definition of the Wall self intersection number should not work for odd-dimensional manifolds. Namely, let $X^{2n-1}$ be a smooth oriented closed manifold ...
- 5,349
7
votes
1
answer
862
views
What are these 3-manifolds from surgery?
I know that surgery on the unlink with +0 slope gives $S^2 \times S^1$ (where all the links above are embedded in $S^3$). I figured (I think) that surgery on the hopf link (with +0 on both) returns $S^...
- 187