Questions tagged [geometric-topology]

The corpus of tools and results that arose from studying manifold theory using non-algebraic techniques, that is, as opposed to (algebraic-topology). The focus of the field tends to be on special objects/manifolds/complexes and the topological characterisation and classification thereof. A key example is the literature surrounding the Poincaré Conjecture.

The terminology "geometric topology" is fairly recent.

The words used by topologists to describe their areas have had a fair bit of flux over the years. Before the mid-'40s, algebraic topology was called combinatorial topology. The urge to use the phrase "geometric topology" began sometime after the advent of the h-cobordism theorem, and the observation that high-dimensional manifold theory, via a rather elaborate formulation can be largely turned into elaborate algebraic problems.

So there was a desire to have a term that held together all the aspects of topology where these techniques either don't apply, or were not used (or at least, not predominantly used). Thus a big chunk of "geometric topology" is concerned with 2, 3 and 4-dimensional manifold theory. But of course, even if high-dimensional manifold theory in principle reduces to algebra, that doesn't necessarily mean that the reduction is the right tool to use -- it may be too complicated to be useful. These higher-order type high-dimensional manifold theory problems that don't fit the traditional reductions -- like say Vassiliev's work on spaces of knots -- also end up under the banner of geometric topology.

Defining a subject by what it's not is kind of strange and artificial, but so is taxonomy in general. To again compare it with algebraic topology, note that algebraic topology tends to be more focused on a broad set of tools. Geometric topology, on the other hand, is focused more on the goals, things like the Poincare conjecture(s) and such. So the latter tends to have a more example-oriented culture.

2280 questions
112
votes
3 answers

Grothendieck 's question - any update?

I was reading Barry Mazur's biography and come across this part: Grothendieck was exceptionally patient with me, for when we first met I knew next to nothing about algebra. In one of his first conversations with me, he raised the question (asked of…
Bombyx mori
  • 20,152
82
votes
1 answer

In $n>5$, topology = algebra

During the study of the surgery theory I faced following sentence: Surgery theory works best for $n > 5$, when "topology = algebra". I don't know what is the meaning of topology=algebra. Can someone clear the sentence to me?
58
votes
1 answer

Trigonometric sums related to the Verlinde formula

Original question (see also the revised, possibly simpler, version below): Let $g > 1, r > 1$ be integers. Playing around with the Verlinde formula (see below), I came across the expression $$\sum_{n=1}^{r-1} \sin(\pi n/r)^{2-2g} (e^{2\pi i…
49
votes
2 answers

The "Easiest" non-smoothable manifold

In 1960, Kervaire found the first example of a PL-manifold which does not admit a smooth structure. Since then, I understand that there are many examples of non-smoothable manifolds that can be built. My question is: Which is the "easiest"…
48
votes
4 answers

Why is the Jordan Curve Theorem not "obvious"?

I am horribly confused about Jordan's Curve Theorem (henceforth JCT). Could you give me some reason why should the validity of this theorem be in doubt? I mean for anyone who trusts the eye theorem is obvious. Therefore answers like "do not trust…
43
votes
4 answers

Does every bijection of $\mathbb{Z}^2$ extend to a homeomorphism of $\mathbb{R}^2$?

Given a bijection $f\colon \mathbb{Z}^2 \to \mathbb{Z}^2$, does there always exist a homeomorphism $h\colon\mathbb{R}^2\to\mathbb{R}^2$ that agrees with $f$ on $\mathbb{Z}^2$? I don't see any immediate obstruction, but there are certain bijections…
Jim Belk
  • 50,794
41
votes
6 answers

Is the complement of countably many disjoint closed disks path connected?

Let $\{D_n\}_{n=1}^\infty$ be a family of pairwise disjoint closed disks in $\mathbb{R}^2$. Is the complement $$ \mathbb{R}^2 -\bigcup_{n=1}^\infty D_n $$ always path connected? Here “disk” means a round, geometric disk. (As shown below,…
34
votes
4 answers

How can a mug and a torus be equivalent if the mug is chiral?

I don't know much about topology, but the other day I was thinking about the (classic?) coffee cup - donut topological equivalence. I realised that a cylinder with one open end and a handle on the side (a mug) is a chiral object in 3D space, whereas…
33
votes
3 answers

Verifying 'standup maths' homeomorphism claim

In his newest video, Matt Parker claims that a sphere with three holes (a pair of trousers) and a torus with one hole (a pair of trousers with the legs sewn) are homeomorphic. I assume he meant removing closed discs, since he wanted them to be…
31
votes
4 answers

Showing that stereographic projection is a homeomorphism

For any $n\geq 0$, the unit $n$-sphere is the space $S^{n}\subset \mathbb{R}^{n+1}$ defined by $$ S^{n}=S^{n}(1) := \left\{ (x_{1}, \dots, x_{n+1}) \;\middle\vert\; \sum_{i=1}^{n+1} x_{i}^{2} = 1 \right\} $$ with the subspace topology. The point…
30
votes
2 answers

Equivalence of Definitions of Principal $G$-bundle

I've finally gotten around to learning about principal $G$-bundles. In the literature, I've encountered (more than) four different definitions. Since I'm still a beginner, it's unclear to me whether these definitions are equivalent or not. I would…
29
votes
2 answers

Intuition behind Khinchin's constant

Khinchin proved that For almost all reals $r$ with continued fraction representation $[a_o; a_1, a_2, \dots ]$ the sequence $K_n = \left(\prod_{i=1}^{n} a_i\right)^{1/n}$ converges to a constant $K$ (Khinchin's constant) independent of…
25
votes
0 answers

Finite-Dimensional Homogeneous Contractible Spaces

Suppose that $X \subset \mathbb{R}^n$ is compact, homogeneous and contractible (and thus connected). Does $X$ have to be a point? I couldn't think of a non-trivial example, and there isn't a counterexample in the plane. The homogeneous planar…
25
votes
1 answer

Can one cancel $\mathbb R$ in a bi-Lipschitz embedding?

Let $X$ be a metric space. Suppose that the product $X\times\mathbb R$ admits a bi-Lipschitz embedding into $\mathbb R^{n}$. Does it follow that $X$ admits a bi-Lipschitz embedding into $\mathbb R^{n-1}$? Definitions and comments: A map $F\colon…
user31373
25
votes
3 answers

What closed 3-manifolds have fundamental group $\Bbb Z$?

For certain small groups, it is easy (and desirable) to classify closed (and orientable if necessary) 3-manifolds with that group as their fundamental group. (Essentially due to Waldhausen is that for "large" 3-manifold groups, indecomposable under…
user98602
1
2 3
99 100