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
1
vote
1answer
194 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
98 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-...
5
votes
1answer
187 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
181 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
214 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
71 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
117 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
135 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
185 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
296 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
187 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
239 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
76 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
165 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
136 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
361 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
99 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
159 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
110 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
447 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
321 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
229 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
92 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 ...
19
votes
2answers
511 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
152 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
87 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
91 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
151 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:...
5
votes
0answers
75 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
313 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
473 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
625 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
67 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
505 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
566 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
563 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. ...
19
votes
1answer
535 views

Mapping class groups in high dimension

Let $M$ be a $1$-connected, closed, smooth manifold with $dim(M)>4$ and let us set $MCG(M)=\pi_0(Diff(M))$. Dennis Sullivan proved that $MCG(M)$ is commensurable to an arithmetic group. I was ...
3
votes
0answers
180 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 $...
9
votes
2answers
458 views

Obtain 4-manifolds by repeating surgeries of submanifolds in $S^4$

In his paper QFT and Jones Polynomials, Witten states: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) by repeated ...
2
votes
0answers
95 views

Why is the oriented $G$-homotopy type of a $G$-complex uniquely determined by the periodicity generator?

Say we have a periodicity generator $e \in H^k(BG)$. I can show that we then have a $(k-1)$-dimensional $G$-complex $X$ with free $G$-action. It's also not that difficult to see that it has trivial $G$...
1
vote
1answer
111 views

Connected representant of a framed cobordism class (reference needed)

Let $N^n\subseteq M^m$ be a submanifold with a framing of the normal bundle, $2n<m$. Then $N^n$ is framed cobordant (in $M^m$) to something connected. I believe it could be proved by directly ...
1
vote
0answers
293 views

The relations between some 3-components links and trefoil knots [closed]

It is intuitive to see that the 3-components links (under Alexander–Briggs notations) $6^3_1, 6^3_2, 6^3_3$ are closely related to each other; in a sense by doing a cut-gluing or sew-gluing surgery, ...
3
votes
1answer
175 views

Sullivan's $H$-space equivalence between $G/PL[1/2]$ and $BO[1/2]$

There is a theorem by Sullivan of the following form: Theorem: There is an equivalence of $H$-spaces $$ G/PL[\tfrac{1}{2}] \simeq BO_{\otimes}[ \tfrac{1}{2} ]\ . $$ It can be found for example ...
2
votes
1answer
162 views

Two links with the same signatures but unknown if they are related by Kirby moves

I am wondering if there are links $L_1, L_2$ in the sphere $S^3$ such that: the signatures of $L_1, L_2$ are known. we do not know if they are related by Kirby moves. If so, could you specify the ...
3
votes
1answer
466 views

On definition of surgery [closed]

I am a beginner in surgery theory. I have started learning with ALGEBRAIC AND GEOMETRIC SURGERY by Andrew Ranicki. On page 4 of the book he defines surgery : Denition 1.2 A surgery on an $m$-...
16
votes
1answer
560 views

Is there a notion of a chain complex with corners?

Roughly speaking, algebraic topology works by reducing questions about topological objects such as manifolds and cell to questions about chain complexes. On the topological side, although in the PL ...
6
votes
1answer
487 views

Examples of calculations of Turaev-Reshetikhin TQFT of cobordisms with boundaries have genera greater than 1

I am studying Turaev-Reshetikhin TQFT. I describe the definition of the invariant $\tau(M)$ of a cobordism $(M, \partial_{-}M, \partial_{+}M)$ in the previous question breifly. Framings in the ...
3
votes
1answer
463 views

Framings in the definition of Reshetikhin-Turaev TQFT

I posted the following question at Mathe Stack Exchange.link text But it has not yet answered. I am sorry if you check both sites but I also want people here to look at this problem. I am studying ...
6
votes
0answers
186 views

Surgering locally flat tori in 4-manifolds

Is there a locally flat torus in some not smoothable topological 4-manifold such that surgering on it produces a smoothable 4-manifold? Surgering means removing a tubular neighborhood and reattaching ...
1
vote
1answer
267 views

Does the coefficient of the meridian determine the coefficient of the longitude?(on Dehn surgery)

I'm studying Dehn surgery, and it says that the coefficient $(p,q)$ which says how the meridian curve on solid torus is attached will determine the entire resulting manifold. I'm wondering whether the ...