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

learn more… | top users | synonyms

3
votes
1answer
74 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
1answer
133 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
144 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
63 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 ...
5
votes
0answers
123 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
142 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 ...
5
votes
0answers
137 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
114 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
300 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 ...
3
votes
0answers
72 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 ...
3
votes
0answers
69 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
191 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 ...
2
votes
0answers
25 views

Reeb orbit and open books

Weinstein conjecture is about existence of a closed orbit of the Reeb vector field on every contact manifold. On the other hand, we know every contact 3-manifold admits a compatible open book, which ...
2
votes
0answers
22 views

Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
2
votes
0answers
91 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
77 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
58 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
92 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
52 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
45 views

Convention of a continued fraction presentation of a lens space

I want to clarify the following two conventions on a surgery description of a lens space. Let $p$ and $q$ are relatively prime integers. Express $$ ...
1
vote
0answers
14 views

Introduction to Euler structures

I am looking for a basic text on Euler structures, in particular smooth Euler structures, and the relation to combinatorial Euler structures; It is known that given a combinatorial Euler structure on ...
1
vote
0answers
20 views

existence of a 1-form

Suppose $L$ is a fibered link in $S^3$ and consider the fibration $f:S^3-L\to S^1$. Is it possible to write down the 1-form $df$ in the form $df=md\mu+ld\lambda$ near each component of $L$, for which ...
1
vote
0answers
20 views

Surface groups as 3-manifold groups

From studiosus' answer to A 3-manifold with fundamental group isomorphic to a surface group. a closed 3-manifold cannot have a fundamental group isomorphic to that of a closed surface of genus $\geq ...
1
vote
0answers
22 views

Lens Space Orientation Reversing Homeomorphism

I am thinking of an example where the connected sum of two three Manifolds depends on the chosen orientation. Hempel gives in his book "3-Manifolds" an example, namely lens spaces. He shows that two ...
1
vote
0answers
58 views

Classification of compact 3-delta-complexes made of a single simplex

With a single 3-simplex (by identifying its faces in couples) it is possible to make 39 compact delta-complexes that can be grouped in 8 classes of complexes having the same homology groups (see ...
1
vote
0answers
30 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
17 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
39 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
123 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
80 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
65 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
62 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
93 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
74 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
17 views

characteristic foliation on a page of an open book

I cannot figure out the mistake in the following argument: The characteristic foliation on a page of a compatible open book on a three manifold (intersection of the contact planes with the page), is ...
0
votes
0answers
20 views

Legendrian isotopy

I think the definition of Legendrian isotopy is that you can find an isotopy of the ambient manifold such that it takes a Legendrian knot to another through Legendrian knots. What I cannot figure out ...
0
votes
0answers
27 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
66 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
124 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 ...