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.

Filter by
Sorted by
Tagged with
4
votes
0answers
54 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 ...
6
votes
1answer
195 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 ...
2
votes
0answers
174 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
votes
0answers
212 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 ...
5
votes
0answers
113 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 ...
7
votes
3answers
209 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?
0
votes
0answers
54 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 ...
1
vote
0answers
95 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. ...
5
votes
1answer
138 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 $...
7
votes
0answers
206 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 ...
10
votes
0answers
163 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 ...
5
votes
2answers
219 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
vote
1answer
231 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 ...
1
vote
0answers
112 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-...
7
votes
3answers
495 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, ...
5
votes
2answers
247 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 ...
9
votes
1answer
238 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
votes
0answers
75 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 ...
4
votes
0answers
133 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_{\...
6
votes
1answer
143 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 ...
3
votes
1answer
197 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
votes
1answer
392 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^...
4
votes
2answers
214 views

Chirality and Anti-Chirality of links in 3 and in 5 dimensions

We know there is a chiral knot which is a knot that is not equivalent to its mirror image. It is well known in the mathematical field of knot theory: https://en.wikipedia.org/wiki/Chiral_knot My ...
3
votes
0answers
256 views

A user guide to the theory on Corks

I am trying to digest the meanings of the corks from the both: algebraic topology and geometry topology perspectives. Studying corks is important for understanding the exotic phenomenon of 4-...
3
votes
0answers
77 views

Quartic link in a 5-sphere

In this post I would like to propose a quartic link in a 5-sphere. Let us start with the following gluing into a 5-sphere: $$S^5=(D^2_{} \times T^3_{}) \cup_{T^4} ({S^5 \smallsetminus D^2 \times T^3})...
2
votes
0answers
166 views

Triple link in a 5-sphere — Proposal

In this post I would like to propose a triple link in a 5-sphere. Let us start with the following gluing into a 5-sphere: $$S^5=(D^2_{} \times T^3_{}) \cup_{T^4} ({S^5 \smallsetminus D^2 \times T^3})$...
6
votes
0answers
138 views

Cell structures of simply-connected 5-manifolds (classified by Barden's 1965 paper)

In Barden's 1965 paper: Simply-connected five manifolds, Barden gave a complete list of diffeomorphism classes of simply-connected 5-manifolds: $$X_{j,k_1,\dots,k_n}=X_j\#M_{k_1}\#\cdots\#M_{k_n}$$ ...
9
votes
2answers
402 views

Künneth formulas/theorem for bordism groups and cobordisms?

We are familiar with Künneth theorem: The Kunneth formula is given by $R$ as a ring, $M,M'$ as the R-modules, $X,X'$ are some chain complex. The Kunneth formula shows the cohomology of a chain ...
6
votes
0answers
110 views

What is the monoid of skew-symmetric trilinear forms on finite abelian groups?

I am interested in triple cup product operations on the cohomology ring $H^*(Y;\Bbb Z/p^r)$ of 3-manifolds. Trying to extract the algebra, I am led to the following question. Let's fix a prime power $...
6
votes
0answers
171 views

Regarding a proof in the surgery theorem by Gromov and Lawson

I have a question regarding a proof in the article The classification of simply connected manifolds of positive scalar curvature written by Gromov and Lawson. The precise reference is: Gromov, ...
2
votes
0answers
116 views

Surgery and Curvature on Foliation

Let $X$ be an oriented closed smooth $4$-manifold. Suppose that $TM$ admits a foliation $\mathcal F$ of dimension two, and admits a positvescalar curvature. Q: If we do the surgery on $X$ to reduce ...
18
votes
1answer
504 views

A search for a sequence of $6$-manifolds

How to construct closed, orientable, smooth, simply-connected $6$-manifolds such that $H^{*}(M,\mathbb{Z}) \cong \mathbb{Z}[a]/(a^{4})$ (Where $a$ is a generator of degree 2) satisfying $p_{1}(M) = n ...
7
votes
0answers
336 views

Making diffeomorphism of submanifolds boring

This is probably very well known in surgery theory... I'm looking for a modern reference on the following questions (the only one I know is Browder's "Diffeomorphism of 1-connected manifolds"...
9
votes
0answers
235 views

Building examples of elements of $\Omega_4(\xi)$ via surgery theory: how to do it?

When computing special bordism groups, I often need to determine existence of (singular) smooth $4$-manifolds with fixed fundamental group and certain properties like the spin behaviour (i.e. being ...
2
votes
0answers
98 views

Compare two topologies: Three 2-tori inside $S^3 \times S^1 \# S^2 \times S^2$ glued from two different diffeomorphisms

We like to ask for the comparison of two topologies of three 2-tori inside the same 4-manifolds glued from two different diffeomorphisms (see the end). Given an embedded torus $T$ with trivial normal ...
23
votes
2answers
669 views

Vanishing of characteristic numbers vs vanishing of characteristic classes

A famous result by Thom states that Oriented Bordism classes are determined by characteristic numbers; specifically, two closed manifolds are orientedly bordant if and only if they have the same ...
2
votes
1answer
154 views

What is the most symmetric configuration of four 2-surfaces linked in $S^4$?

What are some of the most symmetric configurations of four 2-surfaces linked in the 4-dimensional sphere $S^4$? To make a lower-dimensional analogy, recall that in 3-dimensional sphere $S^3$, we can ...
3
votes
0answers
92 views

A link of four 2-tori $T^2$ in $S^2 \times S^2$

Step 1: We glue two sets of complement space of $D^2\times T^2$ out of the 4-sphere $S^4$, through their $T^3$ boundary with their three $S^1$ boundaries of $T^3$ cyclic permuted to obtain a new 4-...
3
votes
0answers
96 views

A link of four 2-tori $T^2$ in $S^3 \times S^1 \# S^2 \times S^2 \# S^2 \times S^2$

Step 1: We glue two sets of complement space of $D^2\times T^2$ out of the 4-sphere $S^4$, through their $T^3$ boundary to obtain a new 4-manifold: $$(S^4 \smallsetminus D^2\times T^2) \cup (S^4 \...
7
votes
0answers
156 views

Partial converse to Novikov's conjecture

In Jim Davis's paper "Manifold aspects of the Novikov conjecture" (Surveys on surgery theory, vol 1, pages 195-224) he writes down (Theorem 6.5) a sort-of converse to the Novikov conjecture. He writes:...
6
votes
0answers
80 views

Surgery on $M\times S^1$

I've encountered such a question and I don't know if it's trivial or not. Given a simply connected closed $n$-manifold $M$ ($n\geq 4$), $\pi_1(M\times S^1)\cong\mathbb{Z}$ and it can be killed by ...
8
votes
2answers
316 views

How to compute $[CP^2, G/PL]$?

Let $E^4$ be the two stage Postnikov space appearing in the homotopy type of the classifying space $G/PL$. One of its properties is that it only has two nontrivial homotopy groups $\pi_2(E)=Z/2Z$ and $...
3
votes
1answer
497 views

Manifolds whose diffeomorphism group has the homotopy type of a manifold itself

I have a very stupid question. Let $M$ be a closed smooth manifold. In particular cases the homotopy type of the diffeomorphism group $Diff(M)$ can be very pathological. For example, in the case of $M=...
23
votes
2answers
689 views

Classification of fake (quaternionic, octonionic) projective spaces

If $X$ is a closed $n$-manifold, a fake $X$ is another closed manifold homotopy equivalent to $X$. There is some interest in classifying manifolds (up to, say, homeomorphism) homotopy equivalent to a ...
1
vote
0answers
68 views

Does a homotopy sphere that bounds a highly connected manifold also bound a parallelizable manifold?

Suppose that the homotopy sphere $\Sigma^{n}$ can be realized as the boundary of a smooth $(n+1)$-dimensional cobordism that is $(n-1)/2$-connected for $n$ odd (respectively, $(n-2)/2$-connected for $...
10
votes
1answer
519 views

Elements of infinite order in the topological mapping class group

Let $M$ be a closed topological manifold, and let $\operatorname{MCG}(M):=\operatorname{Homeo}(M)/\operatorname{Homeo}_0(M)$ denote the topological mapping class group of $M$ ($\operatorname{Homeo}_0(...
3
votes
4answers
766 views

Surgery of $S^3$

I have been troubled by this seemingly simple question recently. How do we easily visualize the statement: Surgery of $S^3$ over a trivial unknot gives $S^1 \times S^2$? All I can think of for ...
8
votes
3answers
591 views

Any PL-homology-manifold is homotopy equivalent to a manifold

Is it true that any compact piecewise linear homology manifold is homotopically equivalent to a (smooth?) manifold of the same dimension? Let me say bit more since my question was wrongly understood. ...
22
votes
1answer
822 views

Mapping class groups in high dimension

$\DeclareMathOperator\MCG{MCG}\DeclareMathOperator\Diff{Diff}\DeclareMathOperator\Homeo{Homeo}$Let $M$ be a $1$-connected, closed, smooth manifold with $\dim(M)>4$ and let us set $\MCG(M)=\pi_0(\...
3
votes
0answers
184 views

Surgery to unlink $S^p$ and $S^q$ in $S^d$

We know that $S^p$ and $S^q$ can be linked in $S^d$ if $p+q<d$. Let us consider the simplest case where both $S^p$ and $S^q$ are un-knotted spheres. I am looking for a surgery to unlink $S^p$ and $...