Questions tagged [low-dimensional-topology]

Low-dimensional topology generally refers to the study of 3 or 4 dimensional topological manifolds and knot theory.

Low dimensional topology generally refers to the study of 3 or 4 dimensional topological manifolds (which, as it turns out, is highly related to the study of knot theory: a knot is an embedding of the circle into the 3-sphere, and the property of knots can be completely classified by the topology of the 3-manifold formed from removing the knot from the 3-sphere).

That topologists are interested in low dimensional topology has largely to do with the set of tools available to them. In dimensions 1 and 2, the study of topological manifolds is completely equivalent to the study of Riemannian manifolds, and topological surfaces have long been completely classified. In dimensions 5 and higher, topological manifolds become very pliable: on the one hand this allows for a lot of pretty bad behaviour, on the other one also gets some really powerful tools (h-cobordism theorem, for example). In 3 and 4 dimensions, the study of topological manifolds becomes "just right": the manifolds are floppy enough that (Riemannian/differential) geometry doesn't completely determine topology (existence of exotic 4-manifolds; any 3 (or higher) dimensional smooth manifold admits a negative Ricci curvature metric), but rigid enough that some tools from geometry can be used (Perelman's proof of the Poincare conjecture using Ricci flow, application of Yang-Mills theory to the topology of 4-manifolds).

660 questions
6
votes
0 answers

Proof that every polyhedron admits a triangulation

Remark 3 in this text claims that every polyhedron admits a triangulation, but this is not obvious to me and I was not able to find a proof that I could understand (only some complicated computer science algorithms). Does someone know an easy…
user388557
  • 2,544
5
votes
2 answers

Pathway to low dimensional topology.

I am currently studying Artin Algebra and Topology by Munkres. I have previously studied analysis. After reading few lecture notes on knot theory, I have developed a genuine interest in Low dimensional Topology. So, I am trying to know about how…
5
votes
0 answers

Explicit immersion of $RP^3$ in $R^4$

The existence of immersions of real projective 3-space in 4 dimensional Euclidean space was proved by Hirsch (I think) in 1959. I would like to see an explicit example of such an immersion. Does anyone know of one? Ditto for immersions of…
4
votes
1 answer

Incompressible tori in 3-manifolds obtained by Dehn surgery on knots

Let $K \subset S^3$ be a knot. Given $r \in \mathbb{Q} \cup \{ \infty\}$, denote by $S^3_{r}(K)$ the 3-manifold obtained by Dehn surgery on $K$ with coefficient $r$. Is it true that: $S^3_r(K)$ contains a incompressible torus if and only if $K$ is a…
Antonio Alfieri
  • 1,555
  • 7
  • 13
3
votes
1 answer

Which manifolds have a circle as their boundary?

The boundary of a disk or of a Möbius band is a circle. Which other manifolds share that property?
2
votes
1 answer

Torus theorem for simply connected 3-manifolds

I'm trying to prove the following statement (ignoring that it follows easily from the Poincare conjecture), which is exercise 4C6 in Rolfsen's Knots and Links: If $M$ is a closed and simply connected 3-manifold and $T\subset M$ is an embedded torus,…
Tsein32
  • 530
  • 2
  • 9
2
votes
1 answer

Do the link cobordism induced maps on Khovanov homology for different diagrams commute?

I'm trying to determine the validity of a property of the morphisms on Khovanov homology that are induced by oriented link cobordisms. These maps are defined with fixed diagrams for the boundary links, but what changes when we choose different…
octocat
  • 78
2
votes
1 answer

Definition of compatible triples in Turaev's Quantum Invariants for knots and 3-manifolds

I'm currently reading Turaev's book "Quantum invariants..." and I'm struggling with the following definition on page 62. Where $A,B,C$ is one of the following crossings (up to isotopy) representing morpisms in a ribbon category and $V,W$ are objects…
Amontillado
  • 1,179
2
votes
1 answer

Applying Dehn's Lemma/The Loop Theorem to make a surface $\pi_1$-injective

While reading the paper On Scott's Core Theorem [Swarup & Rubinstein: 1990], I was stumped trying to recreate the following, which I feel ought to be very straightforward. Suppose we have a two-sided surface $S$, which forms a component of the…
Good Boy
  • 2,210
1
vote
0 answers

$L(p,q)$ diffeomorphic to $L(p,q+np)$

I'm wanting to show the two lens spaces are diffeomorphic using a Rolfsen twist. I know under this Kirby move, the resulting framing co-efficient of $\frac{p}{q}$ surgery is $\frac{p}{q+np}$, so I feel like there is some good relation here. Any help…
Bugzy
  • 11
1
vote
1 answer

Thin position of knots

Can anyone explain something in Gabai's foliations and topology of 3-manifolds III. On page 492 where he proved the existence of an essential surface, I do not understand his diagram for the compressing disk.
Hesky Cee
  • 452
1
vote
0 answers

Verify Heegaard diagrams are $S^3$

The Heegaard diagrams presented represent S^3, the 3 sphere. I would like to see how this is true. My understanding is that S^3 is the genus 0 Heegaard splitting. My question is: would adding 2 cells and 3 cells to the diagrams presented, would make…
1
vote
0 answers

Why do we thicken $\Sigma$ up when we construct a 3-manifold from a Heegaard diagram?

From a Heegaard diagram $(\Sigma, \alpha,\beta)$, the usual way to construct a 3-manifold is to look at $\Sigma \times [0,1]$ and attach 3D 2-handles to each of the beta curves in $\beta \times \{1\}$ and 3D 2-handles to the alpha curves in $\alpha…
CCC
  • 33
1
vote
1 answer

why is a loop on a flat torus unshrinkable?

I am reading Knows, Molecules, and the Universe: An Introduction to Topology. A definition of for shrinkable has been given (pg. 68, chapter 3): If a loop can be pulled in, we say the loop is shrinkable. Otherwise, we say the loop is…
mcr
  • 113
1
vote
2 answers

Is there a way to visualize an incompressible torus in a 3-manifold?

I would really like to understand how an incompressible torus looks like, but could not think of a picture of it for a long time...
ah--
  • 545
1
2