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
1
vote
3 answers

Can a region of the $xy$ plane be infinite in area and topologically closed?

Is it possible to create a region in the $xy$ plane that has infinite area but contains all of its boundary points? In other words, if I am introducing a theorem that begins: "Let R be a closed region in the $xy$ plane", do I need to also specify…
1
vote
1 answer

"Folding" a 3-sphere (4D ball's surface) onto 3 dimensions

A map of a sphere (as in, e.g. the map of the Earth) is a projection/folding out of the surface area of a 3-dimensional ball onto a 2-dimensional plane. Do we have images that visualize the equivalent for a 4-dimensional ball? Ideally the "texture…
user56834
  • 12,925
1
vote
0 answers

Non-uniquness of spheres in the prime decomposition up to isotopy

Peter Scott, in his survey "The Geometries of 3-Manifolds", states that the family of spheres defining the decomposition of a given 3-manifold $M$ into primes is not unique up to isotopy even when $M$ is orientable. Can someone give an example for…
Mustafa
  • 305
1
vote
1 answer

Presentation of Fundamental Group for a Seifert Fibred Space

I am trying to understand how to make sense of the presentation for a seifert fibred space geometrically. I understand that for each exceptional fibre (with index a/b) you get a generator with torsion for the fund grp s.t. the index corresponds to…
math111
  • 11
1
vote
0 answers

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 $\mu$ and $\lambda$ are standard meridian and…
7779052
  • 963
1
vote
0 answers

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 2$. What about genus 1? I wonder if there exist a…
RRR
  • 11
0
votes
1 answer

what are the most interesting long standing problems in low-dimensional topology?

What are the problem most interesting problems that people who do research in low dimensional topology have been working on in the past decade.
0
votes
0 answers

Algorithm for standardizing curves

Let $F$ be a surface of genus $g$ that is decorated with $g-$many $\alpha$ curves (in red) and $g-$many $\beta$ curves (in blue). If we like, we can take each curve to be non-separating. Now suppose that $\alpha'$ is an entirely different collection…
J. Moeller
  • 2,934
0
votes
1 answer

Let $f$ be a map from the real projective plane to the torus. Show that $f$ must be homotopic to a constant map.

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.
0
votes
1 answer

Proof of half sets covering the set and containing a point

I am trying to prove or disprove the following. Let $\mathcal{C}$ be a lower dimensional subset in $\mathbb{R}^n$. In addition, let $\mathcal{M}^{(i)}=\{\mathcal{M}^{(i)}_{1},\mathcal{M}^{(i)}_{2}\}$ be two subsets of $\mathcal{C}$ such…
1
2