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

learn more… | top users | synonyms

8
votes
1answer
208 views

Surgery results in a cylinder

While reading a proof of a theorem about Reshetikhin Turaev topological quantum field theory, I encountered the following problem. Suppose we have several unlinked unknots $K_i$, $i=1, \dots, g$ in ...
2
votes
1answer
109 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 ...
1
vote
1answer
125 views

How is PL knot theory related to smooth knot theory?

I really want to like knot theory but the PL condition seems sort of ugly. I was hoping someone could give me a justification for secretly thinking about smooth knots as I read through a book like ...
1
vote
1answer
61 views

Why can we consider only torus switch rather than arbitrary Dehn filling in Lickorish theorem?

I understand that any orientable $3$-manifold can be obtained by doing Dehn surgery on $S^3$ along a set of circles sitting in it; but why can we further assume the slop to be $0$, i.e. we can obtain ...
0
votes
1answer
41 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.
5
votes
0answers
115 views

$\operatorname{Spin}^c(n)$ is a Lie group?

Assume that $n\geq 3$. (This implies $\pi_1(\operatorname{SO}(n))=\mathbb{Z}/2$.) Let $\rho\colon \operatorname{Spin}(n)\to \operatorname{SO}(n)$ be the 2-fold universal cover. Identify $\ker(\rho)$ ...
5
votes
0answers
116 views

Heegaard Splitting of Brieskorn homology 3-spheres

For pairwise coprime integers $(p,q,r)$, we define a Brieskorn homology 3-spheres by $\Sigma(p,q,r)=\{(z_1,z_2,z_3)\in\mathbb{C}^3 | z_1^p+z_2^q+z_3^r=0, |z_1|^2+|z_2|^2+|z_3|^2=1\}$. I want to know ...
4
votes
0answers
109 views

Problem from Hempel — surfaces in Lens spaces

This isn't a homework problem, just working through Hempel's 3-Manifolds for my own benefit. One exercise is to show that the lens space $L(2k,q)$ contains a surface of Euler characteristic $2-k$. ...
4
votes
0answers
128 views

Symmetric product of genus 2-surface

Let $\Sigma$ be the genus 2-surface. Denote $\operatorname{Sym}^2(\Sigma)=\Sigma\times \Sigma/\mathbb{Z}/2$, where $\mathbb{Z}/2$ acts on $\Sigma\times \Sigma$ by $(x,y)\mapsto (y,x)$. In the very ...
3
votes
0answers
65 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 ...
3
votes
0answers
146 views

Fundamental Group of Seifert-Fibred Space, as constructed in Hatcher

In Hatcher's notes on 3-Manifolds (available here), he constructs Seifert-fibred spaces in the following way: Let $S$ be some surface, possibly with boundary (let's say with boundary for now). Let ...
3
votes
0answers
293 views

Useful topology on space of smooth structures on $\mathbb R^4$?

Mathoverflow is intimidating, so I thought I'd ask here first (second). If I don't get any useful answers here in a few days, I'll ask there. $Q_0$: Is there any use for a topology on the (continuum ...
2
votes
0answers
55 views

How to distinguish between knots and links based on knot diagrams/projections

I'm interested in the distinction between knots and links in $\mathbb{R}^3$/$S^3$. In particular, is there an algorithmic way (as in not by sight/intuition) that we can examine the arcs and crossings ...
2
votes
0answers
61 views

Why is surgery along a framed link well defined?

Let $L=L_1 \cup L_2 \cup \cdots \cup L_n $ be a framed link in $ S^3 $. I want to perform the surgery along $L$ to get a new manifold $M$. By definition, to perform this surgery, I must perform the ...
2
votes
0answers
57 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 ...
2
votes
0answers
71 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 ...
2
votes
0answers
47 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 ...
2
votes
0answers
70 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
0answers
48 views

limit set of Kleinian grouos with closed manifolds as quotient

I'm trying to convince myself that if $M\cong\mathbb{H}^3/G$ is a closed hyperbolic 3-manifold then the limit set $\Lambda(G)$ equals the whole Riemann sphere $S_\infty^2$. My idea of the proof goes ...
1
vote
0answers
41 views

question about Hopf fibration.

Let's consider the Hopf map: $$ \eta: S^3 \longrightarrow S^2$$ $$ S^3\ni q=(a,b,c,d)=(z,w) \longmapsto \psi(q)(p)=\begin{pmatrix} a^2+b^2-c^2-d^2& \\ 2(bc+ad) & \\ 2(bd-ac)& ...
1
vote
0answers
47 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, ...
1
vote
0answers
28 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
14 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
33 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
116 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, ...
1
vote
0answers
60 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 ...
1
vote
0answers
62 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 ...
1
vote
0answers
57 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 ?
1
vote
0answers
75 views

Trivial eigenvalues

Many nonlinear manifold learning methods used for dimensional reduction (isomap, diffusion maps, local preserving projections, etc) solve the symmetric eigenvalue problem and then use the eigenvectors ...
1
vote
0answers
69 views

Relations between Kleinian groups and quotient manifolds

In some specific situation there are some nice relations between a Kleinian group and its quotient manifold. For example, if $G$ is a once-punctured-torus group (i.e. a free subgroup of ...
0
votes
0answers
19 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 ...
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 ...
0
votes
0answers
95 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 ...