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 ...

learn more… | top users | synonyms (1)

18
votes
1answer
406 views

Decomposition of a manifold

As a kind of aside to this question, where one of the answers assumed that if $S^n=X \times Y$ then we can assume that $X$ and $Y$ are manifolds. If we have a manifold $M$, such that $M$ is ...
14
votes
2answers
402 views

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

How to Classify $2$-Plane Bundles over $S^2$?

I'm curious how one can classify the bundles over a given manifold. I recently read this paper on classifying $2$-sphere bundles over compact surfaces. A lot of the concepts went over my head since ...
7
votes
1answer
110 views

Playing with the torus and semisimplicial sets (prove that $\phi$ and $\psi$ are not homotopic)

Recall that we can express the torus $|X.| \cong T$ as a square with edges $e$ and $f$, diagonal $g$, faces $T_1$ and $T_2$, and a single vertex $v$, and appropriate identifications. Let $Y.$ be the ...
3
votes
1answer
309 views

How does handle attachment work in Morse Theory

I am reading R.E.Gompf and A.I. Stipsicz, 4-Manifolds and Kirby Calculus. I can't understand the 2nd-paragraph of p.101, where they explain framings on the attaching sphere. In particular I cannot ...
2
votes
2answers
69 views

the knot surgery - from a $6^3_2$ knot to a $3_1$ trefoil knot

It is intuitive that one can simply doing a cut-gluing surgery to make a $6^3_2$ to a $3_1$ trefoil knot: e.g. from to All one needs to do it to cut the three intersections at the angle of ...
5
votes
1answer
196 views

Question on “up to isotopy” when attaching two spaces

Let $M$, $N$, $A$, $B$ be topological spaces (or manifold) such that $A$ and $B$ are subspaces in $M$, $N$ respectively. Let $f: A \to B$ and $g:A \to B$ be homeomorphism and assume that $f$ and $g$ ...
7
votes
1answer
150 views

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 ...
12
votes
1answer
521 views

Gluing a solid torus to a solid torus with annulus inside.

I was thinking the fact that if two genus $1$ handlebodies (solid tori) are glued via an orientation preserving homeomorphism of boundaries, the resulting manifold depends only on (up to isotopy) ...
3
votes
1answer
340 views

The Join of Two Copies of $S^1$

So I know the fact that the join of $S^1$ and $S^1$ is homeomorphic to the 3-sphere, but I'm having trouble "seeing" this. I'd prefer something that appeals to geometric intuition, but more formal ...
5
votes
2answers
459 views

Which mapping tori are Seifert manifolds?

According to Orlik's lecture notes on Seifert manifolds (and the Wikipedia page on Seifert fiber spaces), a mapping torus over a 2-torus is a Seifert manifold if and only if it is the mapping torus of ...
3
votes
2answers
214 views

line equidistant from two sets in the plane

Suppose $A$ and $B$ are disjoint subsets of the plane, both closed, nonempty, and connected. Define $E(A, B)$ as the set of points in the plane equidistant from $A$ and $B$. For example, if $A$ is a ...
3
votes
3answers
422 views

Orientation reversing diffeomorphism

Why each sphere admits an orientation reversing diffeomorphism onto itself? (For even dimensional ones can we take conjugation map?) And why complex projective spaces do not admit? Is there a ...
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 ...
5
votes
3answers
129 views

when is the region bounded by a Jordan curve “skinny”?

How can I formalize and prove the following intuition?: Picture a very skinny rectangle, one with base length 1 and sides length $\epsilon$. Or imagine a very flattened ellipse. The interiors of ...
4
votes
2answers
165 views

What is smoothness needed for?

We can either define a knot to be (1) a smooth embedding $S^1 \hookrightarrow \mathbb R^3$ or (2) a piecewise linear, simple closed curve in $\mathbb R^3$ Then these two definitions are ...
3
votes
1answer
171 views

Topological shape of sphere-like equations with complex radius

For fixed complex number $s≠0$, what 4-dim shape is given by complex solutions $z,w$ of $z^2+w^2=s^2$ and higher dimensional version 2N-dim shapes of $z_1^2+z_2^2+...+z_N^2=s^2$ ?
3
votes
1answer
436 views

the restriction of a homeomorphism on a subset

Let $X$ be a topological space and $f:X\to X$ be a homeomorphism. Then the induced map $f_1:\pi_1(X,x)\to\pi_1(X,fx)(\cong \pi_1(X,x))$ is an isomorphism (automorphism up to conjugate). In the ...
1
vote
0answers
63 views

Homeomorphic or Homotopic

Q1: Are the Fig (a) and (b), the equivalence "=" is Homeomorphic or Homotopic? ps. for details of the figures see Ref here. I learned that "The characterization of a homeomorphism often ...
1
vote
2answers
138 views

intersection of decreasing path-connected spaces

If we have path-connected spaces $A_0 \supseteq A_1 \supseteq A_2 \supseteq \ldots$, is $\bigcap^\infty A_i$ path-connected? I was thinking that if we take $A_i$ to be a $1/i$-neighborhood of the ...
1
vote
1answer
188 views

Pinched torus generalization

The pinched torus is homeomorphic to a sphere with two (different) points identified.           What is the name and topological structure of the ...
1
vote
2answers
182 views

When does an embedded $2$-torus bound a solid torus in $3$-manifolds?

This is a simple version of the question asked here. Let $M$ be a compact 3-manifold without boundary, $\mathbb{T}^2$ be the standard 2-torus, and $i:\mathbb{T}^2\to M$ be an embedding. (*) Assume ...