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
41 views

Reference for low-dimensional topology

I have read topology and algebraic topology by Munkres and I want to start low-dimensional topology. What is a good reference for stating low-dimensional topology?
8
votes
0answers
132 views

Prerequisites for studying Perelman's proof of the Geometrization Conjecture

I want to set a course toward understanding Perelman's proof of the Geometrization Conjecture. I realize this will be a lengthy undertaking, but hopefully only on the order of one to two years. I am ...
6
votes
0answers
172 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
135 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
166 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
34 views

Space of $G$-connections; respecting a spin structure

If I want to have a space of $G$-connections on a Riemann surface, I can take the fundamental group on the surface, represent its generators on $G$ and take (up to conjugation) those representation ...
4
votes
0answers
129 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
313 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
100 views

A(nother ignorant) question on phantom maps

My last question (Is such a map always null-homotopic?) is quite similar. If you do not care about my motivation for these questions, you can skip to the last line. I asked if some assumptions were ...
3
votes
0answers
85 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
71 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 ...
3
votes
0answers
80 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
249 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
35 views

Platonic Hopf. Given the vertices of a tetrahedron circumscribed by unit sphere, find the stereographic projection of inverse Hopf fibers

I am trying to find the equations in $\mathbb{R}^3$ for the fibers of the four vertices of the tetrahedron circumscribed by the unit sphere. I want to find $s\circ h^{-1}$, where $s$ is the ...
2
votes
0answers
36 views

Example of a doubly degenerate Kleinian group which does not come from a mapping torus

Doubly degenerate Kleinian groups are discrete subgroups of $PSL(2,\mathbb{C})$ whose limit set is all of $S^2$, the boundary of $\mathbb{H}^3$. A standard example of such a group is given as ...
2
votes
0answers
35 views

Euler Integral of a self-overlapping tube with a cusp singularity

I am studying in depth the following paper on Euler calculus applied to target enumeration: https://www.math.upenn.edu/~ghrist/preprints/eulerenumerationpart1.pdf Within this paper there is an ...
2
votes
0answers
50 views

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)$ ...
2
votes
0answers
23 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 ...
2
votes
0answers
41 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
31 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
128 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
33 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 ...
2
votes
0answers
81 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
146 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 ...
1
vote
0answers
22 views

Homeomorphic surfaces embedded in 4-space

A surface-knot is a closed connected surface embedded in the Euclidean 4-space $\mathbb{R}^4$. We consider the projection of the surface-knot into $\mathbb{R}^3$ with the singularity set contains of ...
1
vote
0answers
35 views

Plane curves admitting several ways to seal it up by the disc

Let $\gamma:S^1\to\mathbb R^2$ be an immersed closed curve with only isolated transversal self-intersections. Say that $\gamma$ is sealed by the disc if there is an immersion $f:D^2\to\mathbb R^2$ ...
1
vote
0answers
28 views

Reducible Heegaard splittings can be written as connected sums

Recall that a Heegaard splitting is a decomposition of a three manifold into a triple $(V,W,S)$ where V and W are solid handlebodies meeting along their common boundary S. A Heegaard splitting is ...
1
vote
0answers
49 views

The Developing Map

I am looking for resources to learn about the developing map, but the only source I know is Thurston's book. Could anyone direct me to other sources? Lecture notes, articles, books, etc? Thanks in ...
1
vote
0answers
39 views

Covering maps between Seifert fibered manifolds

Let $M$ and $\widetilde{M}$ be two Seifert fibered three manifolds. Suppose that there exists a covering projection $p: \widetilde{M} \to M$ preserving the Seifert structure. What is the relation ...
1
vote
0answers
27 views

theorem relating the genus of a surface to the Euler characteristic

One of the most basic facts of the theory of surfaces is $$ \chi = 2-2g $$ where $$ \chi \triangleq V - E + F $$ for orientables surfaces. Does this result have a name? I am also after a proof or a ...
1
vote
0answers
47 views

Gluing 3 dimensional tetrahedra with orientation reversing edge

I am not sure how to proceed on exercise 3.2.3 in Thurston's book "Three Dimensional Geometry and Topology". The wording is as follows: "In a gluing of three dimensional simplices, each edge enters ...
1
vote
0answers
35 views

Alexander polynomial of sums

A standard argument of knot theory reveals that the Alexander polynomial of the sum of two knots $K= K_1 \# K_2$ is equal to the product of the Alexander polynomial of the two summands $K_1$ and ...
1
vote
0answers
41 views

Does pushing point along a loop on a surface induce a homotopy from identity to a homeomorphism of the surface?

Suppose $S$ is a closed surface (assume $\chi(S)\leq 0$ if necessary). Let $p$ be a fixed point on the surface $S$, and $\beta$ be an oriented loop based at $p$. Intuitively, I can put finger on $p$ ...
1
vote
0answers
36 views

What is the underlying geometry of the space in this advertisement

There is this really intriguing new ad by a large Japanase car manufacturer: Here. The universe in the ad looks to be an orbifold with a cone-axis of order 6, but this is not the math I am comfortable ...
1
vote
0answers
19 views

Visualization of the fact that the integers defining lens spaces must be coprime

This is related to this question I asked: Visualization of Lens Spaces and is also related to this question by @Earthliŋ: Why are the integers appearing in lens spaces coprime? I understand the ...
1
vote
0answers
69 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
30 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
32 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
70 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
70 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
20 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
55 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
126 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
135 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
80 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
65 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
137 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
81 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
15 views

two-holed torus mapping class

Are the following two elements in the mapping class group of the two-holed torus equivalent? $\phi=ac^3ac^5bd$ and $\psi=(ab)^{11}d$ where letters denote positive Dehn twists about the curves in the ...
0
votes
0answers
35 views

on branched covers

Consider a branched cover $f:M\to N$ with branch set $A\subset M$ and $B\subset N$. In Rolfsen's book Knots and Links, it is assumed as part of the definition of a branched cover that the dimension ...