All Questions
Tagged with gt.geometric-topology kirby-calculus
23 questions
4
votes
1
answer
154
views
Kirby diagram of the complement of a subhandlebody of a smooth closed 4-manifold
Let $X$ be a smooth closed connected 4-manifold. It admits a handlebody structure, having a unique 0- and a unique 4-handle. We can express the handlebody structure as a Kirby diagram (https://en....
- 213
5
votes
1
answer
342
views
Kirby diagrams of Mazur manifolds
In the 1980's, Fintushel-Stern and Fickle independently proved that Brieskorn spheres $\Sigma(2,3,25)$ and $\Sigma(3,5,19)$ bound some Mazur type contractible 4-manifolds with a single $0$-, $1$, and $...
- 51
6
votes
0
answers
181
views
Kirby diagram of Enriques surface (as the "(1/2) K3 surface")
Not to be confused with $E(1)\cong\mathbb{C}P^2\#9\overline{\mathbb{C}P^2}$, which is also known as a $\frac{1}{2}K3$ surface (in the sense that removing a neighbourhood of a regular torus fiber in $E(...
- 159
10
votes
3
answers
684
views
Doubles of 2-handlebodies
Let $X$ denote a $4$-manifold with boundary obtained by adding $k_1$ $1$-handles to $B^4$ and $k_2$ many $2$-handles to the resulting manifold i.e. $X$ is an arbitrary $4$-dimensional $2$-handlebody. ...
- 1,174
3
votes
1
answer
298
views
A Mazur manifold bounded by $\Sigma(2,3,13)$
Using Kirby calculus, Akbulut and Kirby first analyzed that the Brieskorn sphere $\Sigma(2,3,13)$ is diffeomorphic to the following link in their famous paper:
Then they switched the circles when ...
- 606
3
votes
1
answer
212
views
Picturing twisting of strands explicitly after blow downs
In order to simplify Kirby calculus proofs, one can use a box notation which indicates a number of full twists up to sign. In the scenario of two strands with twist boxes, it is straightforward to ...
- 213
9
votes
2
answers
457
views
A knot in the solid torus and a Mazur manifold
Part 1: The following picture is from Saveliev's book Lectures on Topology of 3-manifolds, page 130:
He indicates that the knot drawn in the solid torus $S^1 \times D^2$ is homologous to $S^1 \times \...
- 213
5
votes
1
answer
783
views
Kirby diagrams: sliding 1-handles over 1-handles and ribbon disks
Consider the Kirby diagram $ D$ given by a 2-component unlink, both dotted circles.
In general, when performing a 1-handle slide over another 1-handle, the band chosen must not link any dotted circle,...
- 2,533
8
votes
2
answers
629
views
Presentations of exotic 4-manifolds
TLDR I want to see more examples of exotic $4$-manifold (hopefully connected, simply connected, oriented, and closed).
Are there known presentations of $4$-manifolds $M$ with exotic structures, ...
- 5,230
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
1
answer
736
views
Inverse Kirby knot
Given an (oriented framed) knot $K$ in the 3-sphere $S^3$, we can perform a surgery along $K$ to get another 3-manifold $M$. From $M$, we can perform the inverse surgery back to $S^3$.
However, the ...
- 5,230
2
votes
0
answers
201
views
The Kirby diagram of a manifold glued along the lens space $L(p,1)$
Suppose $K$ is a knot in $S^3$ with any framing and $m=m_0$ is its meridian with $-1$ framing. Suppose $m_1,\dots,m_{p-1}$ are unknots with framings $-2$, such that $m_{i-1}$ and $m_i$ are linked as a ...
- 673
6
votes
1
answer
559
views
Akbulut's cork involution
Akbulut's cork is the Mazur manifold $W$ shown in the picture below,
This manifold carries an involution of it's boundary $f:\partial W\to \partial W$ that exchanges a meridian of the 0-framed curve ...
- 2,533
12
votes
2
answers
1k
views
Cobordism and Kirby calculus
It may be a simple question but I wonder to ask:
Is it possible to draw a homology cobordism between $3$-manifolds by using the techniques of Kirby calculus?
At least, for instance, Brieskorn ...
user150450
10
votes
1
answer
416
views
Kirby calculus on Mazur manifolds
I have questions about Akbulut and Kirby's paper Mazur manifolds.
I couldn't figure out the following equality passages:
Any help will be appreciated.
user150450
2
votes
0
answers
542
views
Tubular neighbourhoods are unique up to ambient isotopy?
Let $M$ be a closed smooth submanifold of $N$. It is well known that tubular neigbourhoods of $M$ are diffeomorphic to the normal bundle of $M$ in $N$ and therefore to each other. Are they smoothly ...
- 313
3
votes
1
answer
301
views
Obtaining the bounding 4-manifold from the Heegaard diagram
It is well known that any orientable closed 3-manifold $M$ admits an Heegaard splitting $M = H_1\cup H_2$ where $H_i$ is an handlebody of genus $g$. It is also well known that such an $M$ is the ...
- 2,533
6
votes
1
answer
375
views
Framings for 2-surgeries on 4-manifolds
I'm interested in doing $2$-surgeries to $\sharp^k S^1 \times S^3$. That is to the manifold obtained from applying $1$-surgeries to $S^4$.
Since $\pi_1(O(3)) = \mathbb{Z}_2$, there are two possible ...
- 313
4
votes
2
answers
715
views
Are there Kirby diagrams with 3-handles?
Let $M\colon \partial_- M \to \partial_+ M$ be an oriented, compact cobordism. Assume that there is a handle decomposition with at most one 0-handle, and denote the handle bodies by $M_i, i \in \{0,\...
- 5,565
14
votes
2
answers
1k
views
Construction of invariants of 4-manifolds with the Kirby calculus
I'm an undergraduate student, interested in the low dimensional topology, in particular, the 4-manifold theory.
I have a question.
In the knot theory, the Reidemeister moves play fundamental roles.
...
17
votes
1
answer
2k
views
Proofs of Rohlin's theorem (an oriented 4-manifold with zero signature bounds a 5-manifold)
A celebrated theorem of Rohlin states the following
An oriented closed 4-manifold $M^4$ bounds an oriented 5-manifold if and only if the signature of $M^4$ is zero.
Simple homological arguments ...
- 10.5k
55
votes
3
answers
6k
views
Kirby calculus and local moves
Every orientable 3-manifold can be obtained from the 3-sphere by doing surgery along a framed link. Kirby's theorem says that the surgery along two framed links gives homeomorphic manifolds if and ...
- 23.5k