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

learn more… | top users | synonyms

1
vote
0answers
15 views

Cohomology after Dehn surgery

A $0/1$-type Dehn surgery on a 3-manifold $M$ is to remove a solid torus from $M$ and thereafter to sew it back in $M$ such that the meridian disc goes once time along the longitude and no times along ...
0
votes
0answers
26 views

Seeking a good book or site describing the 3-sphere

would you be able to recommend a good book/chapter or a web site on visualization / structural elements / projection of the 3-sphere. I am trying to locate a good information source on this subject, ...
0
votes
1answer
22 views

Solid Ball Bearing 4 Dimensional?

Is a solid ball bearing a 4 dimensional object, but all we see is one particular level surface? When we look at a solid ball bearing, we can only see the outside of it, we cannot see inside even ...
1
vote
1answer
70 views

A 3-manifold with fundamental group isomorphic to a surface group.

Let $M$ be a 3-manifold (the case I am interested is $M$ closed orientable connected hyperbolic); suppose $\pi_1 (M)$ is isomorphic to the fundamental group of a (closed orientable connected) surface ...
2
votes
2answers
315 views

Is my understanding of space correct?

I'm learning more about dimensions in multivariable calc, and have been able to make connections by studying level curves and level surfaces. I've learned that a function of 2 variables is really a 2 ...
2
votes
0answers
50 views

handle moves: proof

In several 4-manifold textbooks, when handle moves (creation, cancellation, sliding) are discussed, they are explained using very helpful drawings. However, I would like to know if there is a ...
1
vote
2answers
32 views

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 ...
1
vote
2answers
73 views

References about 3-manifolds

I am working on a subject of geometric group theory closely related to 3-manifolds, and in order to understand these links, I am seeking a good reference about 3-manifolds, as self-contained as ...
0
votes
0answers
13 views

For any diagram of a surface-knot, what are the possible connections of edges?

The singular set of a surface-knot diagram is a disjoint union of i) a graph, which has 1- and 6-valent vertices corresponding to branch points and triple points respectively. ii) circles which has no ...
7
votes
1answer
76 views

Is there a domain in $\mathbb{R}^3$ with finite non-trivial $\pi_1$ but $H_1=0$?

The exterior of the Alexander Horned Sphere has $H_1=0$ but $\pi_1\neq 0$, in fact, $\pi_1$ is infinite. (See Hatcher p.171-172). Is there an example of a domain (connected open set) in $\mathbb{R}^3$ ...
15
votes
1answer
170 views

Is the torus the union of two connected, simply-connected open sets?

Is the torus the union of two connected, simply-connected open sets? A routine computation with the Mayer-Vietoris sequence shows that if so, then their intersection must have exactly three ...
2
votes
2answers
70 views

Self-contained text on characteristic classes

I am looking for a clear, self-contained text (either a book or lecture notes) that deals with characteristic classes, starting from the very basics (fiber bundle, principal bundle etc.), and ...
3
votes
1answer
59 views

Orbit space of S3/S1 is S2

I'm having trouble finishing this homework assignment. I did the first part by showing that the orbits are invariant: every element from the same $(S^1(z_1, z_2) \in S^3/S^1)$ is mapped to the same ...
0
votes
0answers
62 views

The Geometrical Mean of $T^2$#$RP^2=RP^2$#$RP^2$#$RP^2$

This is my homework: $T^2$#$RP^2=RP^2$#$RP^2$#$RP^2$ Below is what I have think: From the book of M.A.Armstrong, I find $RP^2$#$RP^2$#$RP^2$ is a sphere which is attached by three Mobius ...
1
vote
0answers
25 views

Coloring knot diagram obtained from colored one by applying crossing change to one crossing

Suppose $K_1$ is a knot diagram colored by a dihedral quandle $R_n$ of order $n$, By applying crossing change (exchanging over and under arcs) to one crossing in $K_1$, we obtain a new diagram let us ...
1
vote
0answers
13 views

Looking for a basic reference on propagators (in Topology)

I am looking for a basic (preferably self-contained) reference where I can read about propagators (as they appear in Topology), and in particular Morse propagators. Thanks!
1
vote
0answers
29 views

double decker set in a surface-knot

Surface-knot is an embedded surface in $\Bbb{R}^4$. Project the surface in $\Bbb{R}^3$ gives the surface diagram with set of singularity points consists of double points, triple points and branch ...
1
vote
0answers
114 views

Splittings of 4 manifolds

I am wondering why a copy of $CP^2$ may be split off from $CP^2\mathbin\#9\overline{CP^2}$ to leave $\overline M_{E_8}\mathbin\#\overline{CP^2}$(«The wild world of 4-manifolds» by Alexandru Scorpan, ...
3
votes
1answer
108 views

Relation between the braid group and the mapping class group of the plane

According to the following link, page 248, the braid group modulo its center is isomorphic to the mapping class group of the $N$-times punctured plane, i.e. $B_N/Z(B_N)\cong M_N(\mathcal(R)^2)$. Could ...
1
vote
2answers
66 views

How is it possible calculate Volumes from Adding together Areas?

You can't find the volume for a $2D$ object, but by finding the area of say a square $A$ and multiply by any height $H$ you get the volume of cube with base $A$ and height $H$. Here's my question. ...
0
votes
1answer
76 views

Knot complement conjecture in solid tori

Has the knot complement conjecture been proven for knots in solid tori?
2
votes
0answers
64 views

How do you specify a link to a blind combinatorialist?

Regular projections of links look like graphs in the plane. So I'm wondering if it would be possible to specify a link up to isotopy with purely combinatorial data about this graph. If so, what kind ...
5
votes
1answer
47 views

Why are there always pairwise intersections in a Heegaard splitting?

Let $M=A\cup B$ be a Heegaard splitting, such that $\{\alpha_i\}_{i=1}^g$ is a set of boundaries for meridian disks of $A$, and $\{\beta_i\}_{i=1}^g$ is a set of boundaries for meridian disks of $B$ ...
1
vote
0answers
51 views

Set of generators of the commutator subgroup of a surface group

Good morning, I am having a hard time trying to describe the commutator subgroup of a surface group. Namely, if $S$ is a compact orientable surface and $G$ its fundamental subgroup, let's recall that ...
2
votes
1answer
91 views

The image of homomorphism of fundamental group of closed surface

$\phi: \pi_1(S)\to \pi_1(S)$ is a homomorphism of fundamental group of closed orientable surface $S$ of genus $\geq 2$. If $\phi$ is not an epimorphism, can we find a non-surjective self map $f: S\to ...
1
vote
0answers
59 views

What do we mean by $CP^2$ with reverse orientation?

$CP^2$ and $\bar{CP^2}$ are not diffeomorphic since they have non-isomorphic intersection forms. so why do we call the latter $CP^2$ with reverse orientation? it seems like we are not just reversing a ...
3
votes
2answers
78 views

Length of a Coastline

When B. Mandelbrot's typical example of measuring the length of a coastline is referenced, they mention how at every scale the length increases. In pure mathematics, I can imagine this quite well-- ...
2
votes
1answer
50 views

Intuition on the Loop Theorem

Probably the simplest statement of the Loop Theorem in 3-manifolds is as follows: Let $M$ be a 3-manifold and let $D$ be a 2-disk. If there is a map $$(D, \partial D) \rightarrow (M, \partial M)$$ ...
2
votes
0answers
45 views

intersection form

I have problem understanding the proof of this theorem on page 23 of Kirby's Topology of 4-manifolds: Two closed oriented 4-manifolds are homotopy equivalent iff they have isomorphic intersection ...
4
votes
2answers
76 views

Recommended books on knot invariants

I've been reading the books "An introduction to knot theory" by Lickorish and "Knots, Links, Braids and 3-Manifolds" by Prosolov and Sossinsky, and while both seem to me as good books, sometimes I'd ...
1
vote
1answer
58 views

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 ...
5
votes
1answer
106 views

Classification of orientable non-closed surfaces

How does the classification of closed (compact, boundaryless) surfaces imply the classification of all orientable not-necessarily-compact surfaces with boundary? It seems to be that they are all ...
2
votes
1answer
100 views

Seifert manifolds and Fuchsian group

A Fuchsian group is a discrete subgroup of $PSL(2, \mathbb{R})$. Let $M$ be a Seifert manifold (maybe with boundary) and $t \in \pi_1(M)$ the class of a regular Seifert fiber. Hempel claims in his ...
4
votes
1answer
76 views

Showing every knot has a regular projection using diff top

My question is: Can we use differential topology to prove that every smooth knot has a regular projection? Here is some background: Let $\gamma : S^1 \rightarrow \mathbb{R}^3$ be a smooth unit-speed ...
6
votes
2answers
296 views

Uniqueness of Preferred Framing of a Solid Torus in $S^3$

One way to state my question tersely is: For a homeomorphism $f : S^1 \times \mathbb{D}^2 \rightarrow S^1 \times \mathbb{D}^2$, does $f|_{S^1 \times S^1}$ determine the isotopy class of $f$? This is ...
2
votes
0answers
62 views

Intersection form on manifolds with boundary

It is a "basic fact" that the intersection form of a closed oriented 4k-dimensional manifold is unimodular. (Could anyone point me to a reference to a proof of this fact?) What can be said about the ...
2
votes
4answers
214 views

Higher Dimenional Tic Tac Toe

Here we have a problem that seems very intuitive, but is hard to define mathematically. In Tic Tac Toe, we can find an equivalent of the game in any number of dimensions, it seems. The trick is to ...
5
votes
3answers
122 views

when is the region bounded by a Jordan curve “skinny”?

How can I formalize and prove the following intuition?: Picture a very skinny rectangle, one with base length 1 and sides length $\epsilon$. Or imagine a very flattened ellipse. The interiors of ...
2
votes
1answer
76 views

Density of continuous knots in the plane transversal to some circles

This is an exercise from the book "Knots and Links" by Rolfsen (exercise 6 in section 2C) Let $\kappa : S^1 \rightarrow \mathbb{R}^2-(0,0)$ be a continuous imbedding. Let $M := \{ x \in ...
2
votes
1answer
117 views

Annulus Theorem

I'm trying to read Rolfsen's "Knots and Links" and I'm a little discouraged that I can't do one of the first and seemingly more important exercises. The question is Use the Schoenflies theorem ...
0
votes
0answers
27 views

How to visulize surface link in four dimension?

I am now facing a problem with "surface link" in four dimension. I have heard that three 2-torus can be linked in four dimension. And I have created a movie by cutting four dimensional space with ...
4
votes
1answer
62 views

How to make a $C^1$ knot into a $C^\infty$ knot

Suppose I have a $C^1$ imbedding $f: S^1 \rightarrow S^3$. From the point of view of knot theory, what's the "best" way to get a $C^\infty$ curve that "looks like" or is "equivalent to" $f$? For ...
1
vote
0answers
52 views

History of ' low-dimensional geometry '

I want to have a brief history about the low-dimensional manifolds and geometric structures on manifolds specially on low-dimensional manifolds .where I can read about thus ?
0
votes
0answers
89 views

intersection on manifold with boundary and relative long exact sequence in homology

Let $(M,\partial M)$ be a connected compact oriented 3-manifold with torus boundary. Let $j: M \to (M, \partial M)$ and $i: \partial M \to M$ be inclusions. We get a long exact sequence ...
3
votes
1answer
158 views

3-manifolds fibering over the circle and mapping tori

If $S$ is a closed connected surface and $\varphi \in \mathrm{Diff}(M)$, then we can build the mapping torus $M_\varphi = \dfrac{S \times [0,1]}{(x,0)\sim (\varphi(x),1)}$. Then we have that $ ...
4
votes
1answer
144 views

Representation of (co)homology classes of $3$-manifolds by embedded surfaces

Let $M$ be a closed oriented $3$-manifold. Theorems in algebraic topology allow us to identify $$H_2(M) \ \cong \ H^1(M) \ \cong \ \langle M,S^1\rangle$$ where (co)homology is meant with integer ...
3
votes
0answers
63 views

Classification of Bieberbach groups

Does anybody know if there exists a list of the four dimensional Bieberbach groups presented by generators and relations on the web?. I know there exists the book Crystallographic Groups of ...
2
votes
1answer
77 views

intersection form of $CP^2$

I am trying to understand why the intersection form of $CP^2$ is <1>. First we introduce {[x:y:z], x=0} as a generator of second homology and then we say that it has one intersection with {[x:y:z], ...
4
votes
2answers
189 views

How does Thurston's geometrisation conjecture imply Poincaré's conjecture?

I ran into the geometrisation conjecture a few days ago, and I started wondering how to prove Poincaré's conjecture. Let $M$ be a compact, simply connected, $3$-manifold. Clearly it is irreducible ...
0
votes
1answer
40 views

Homotopy topology question

Let f be a map from the real projective plane to the torus. Show that f must be homotopic to a constant map. This is a qual problem. Any help would be appreciated. Thank you.