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)

0
votes
0answers
10 views

Proof of the bigon criterion

In Farb and Margalit's A Primer on Mapping Class Groups we have the following Proposition 1.7: Two transverse simple closed curves in a surface $S$ are in minimal position iff they do not form a ...
1
vote
1answer
45 views

Connected sum of two “same” Klein bottles

If I take sphere and remove two open disks from it and on the boundary of that space I make identification like on the picture, what do I get? Are both of those objects Klein's bottles? This is what ...
0
votes
0answers
21 views

universal coefficient theorem for mod p cohomology

In the book Algebraic Topology, Allen Hatcher, p. 266, Corollary 3A.6 (b): Question: I want to rewrite the above statement into a cohomology version. If I replace all homologies with cohomologies, ...
0
votes
0answers
67 views

How to prove, no tame knot is isotopic to a non tame knot?

Please let me ask the following question. I have read in Wikipedia, quote: A polygonal knot is a knot whose image in R^3 is the union of a finite set of line segments. A tame knot is any knot ...
1
vote
3answers
36 views

What is the distance of two circles put on eachother?

If one takes two circles (lets say on a straight cilinder), and bring the circles closer and closer to eachother. Will the distance between them goes to zero, or can you say the distance is for ...
1
vote
0answers
27 views

Unbounded, closed, star-shaped set contains ray

I am trying to prove the following statement: Let $R$ be a real closed field (such as the real numbers). Let $M\subseteq R^n$ be a semi-algebraic set, i.e. a set which is defined by a Boolean ...
27
votes
4answers
2k views

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 ...
-1
votes
0answers
37 views

Topological Equivalence of Metric Spaces [closed]

Suppose we have two different metric spaces $(X,\phi)$ and $(Y,\psi)$. I need to show that the metrics $\phi$ and $\psi$ are equivalent metrics. Using a sterographic projection, I've shown that if we ...
0
votes
0answers
43 views

Compact 1-manifolds

I want to find all compact 1-manifolds. I think these will be lines, with fixed endpoints, and also the case where the endpoints meet. Hence I think all compact 1-manifolds are homeomorphic to the ...
0
votes
0answers
30 views

A. A. Markov's paper on insolubility of the homeorphy problem [duplicate]

I am aware that this has been asked before, but the paper is nowhere to be found online, the provided link in the old thread leads to nowhere, and I'm really at wits end to find this paper, can anyone ...
1
vote
1answer
62 views

Self-indexing Morse function on a torus which is a height function

A Morse function $f: \Bbb T^2\to [0,2]$ is called self-indexing if $f^{-1}(n)$ is the set of critical points of index $n$. It is relatively easy to see that on any compact manifold, any Morse function ...
0
votes
0answers
65 views

Identification space of square. Net, triangulation and surface classification

Space Z is made as an identification space of unit square $Q=${$(x,y) | 0\leq x, y \leq 1$} by making the following identifications: $ (0,y)$~$(1,y) $ for all $0\leq y\leq 1 $, $ ...
97
votes
3answers
6k views

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

Regular neighbourhoods of non-orintable surfaces in $S^4$

Suppose that $F \subset S^4$ is a non-orientable surface. Let $N \subset S^4$ be a regular neighbourhood of $F$. Clearly, the boundary of $N$ is a circle bundle over $F$. Which is its Euler number? My ...
3
votes
1answer
140 views

Stiefel-Whitney class of complex projective spaces

Let $T\mathbb{C}P^m$ be the tangent bundle of complex projective space. What is the total Stiefel-Whitney class $w(T\mathbb{C}P^m)$? Let $a_m$ be the maximal integer such that the $a_m$-th dual ...
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
36 views

Simply connected compact subsets of $\mathbb R^2$

Is every simply connected compact subset of $\mathbb R^2$ weakly contractible, i.e. all homotopy groups vanish?
48
votes
0answers
1k views

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

Components of the space of immersions 2-manifold into $\mathbb R^3$

Let $M$ be a $2$-sphere with $g$ handles. Consider the space of maps $M\to \mathbb R^3$, which are immersions [i.e. smooth maps with nondegenerate differential in each point $x\in M$], with ...
1
vote
1answer
55 views

Construction of Grassmann manifolds

Is there a way to construct the Grassmann manifold via block matrices? For example the upper triangular matrices stabilize the (coordinate) basis of $\mathbb R^n$.
1
vote
0answers
34 views

What is the fundamental group of a cone?

I am reading an article on orbifolds and it describes the cone as the quotient of unit 2-dim. disc by a finite cyclic group of rotations. But how is it's fundamental group finite cyclic?
32
votes
6answers
648 views

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 ...
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 ...
8
votes
2answers
508 views

Length of the main diagonal of an n-dimensional cube

Find the length of a main diagonal of an n-dimensional cube, for example the one from $(0,0,...,0)$ to $(R,R,...,R)$ I tried to use induction to prove that its $\sqrt{n}R$ but I'm stuck on writing ...
6
votes
1answer
112 views

Is $(\#^k \Bbb{RP}^2) \times I$ an $\mathbb{RP}^2$-irreducible 3-manifold?

Consider $S$ a surface homeomorphic to a connected sum of $n$ projective planes, $n \geq 2$. Can there be a two sided projective plane embedded in $[-\epsilon,\epsilon]\times S$?
2
votes
1answer
81 views

Maps from Sum of Projective Planes to Circle

this is a problem from Lee's Topological Manifolds, 11-21. It asks the following: What compact, connected surfaces $M$ admit a non-nullhomotopic map to the circle? So, we use the classification of ...
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 ...
5
votes
1answer
216 views

Cancelling 3-handles in Kirby diagrams

Recently been trying to understand the proofs of Gompf and Akbulut that certain 4-manifolds are $S^4$ (these 2 papers: Gompfs paper in Topology Vol. 30 Issue. 1, Akbulut). In which they use a clever 2 ...
4
votes
1answer
178 views

About Kirby Diagrams

I'm reading R.E. Gompf and A.I. Stipsicz, 4-Manifolds and Kirby Calculus. There is something I don't understand on page 116 (Google Books link to page 116; alternatively, here are images of page 115 ...
2
votes
0answers
77 views

Kirby diagrams for nonorientable $4$-manifolds

In http://www.math.msu.edu/~akbulut/papers/akbulut.lec.pdf, which is a (still developed) set of lecture notes on 4-manifolds by Selman Akbulut, in section 1.5 there is a way to draw a non-orientable ...
6
votes
1answer
37 views

Visualizing order 3 mapping class of genus 2 surface

Let $\Sigma_2$ be a closed genus $2$ surface. There exists an orientation-preserving diffeomorphism $f:\Sigma_2 \rightarrow \Sigma_2$ of order $3$. The diffeomorphism has $4$ fixed points (each, of ...
2
votes
1answer
61 views

what does Whitney sum of vector bundles correspond to in the k-theory KO?

Let $X$ be a $CW$-complex and $\text{Vect}^n(X)$ the collection of $n$-dimensional real vector bundles over $X$. Let $$ \text{Vect}^*(X)=\bigoplus_{n=0}^\infty \text{Vect}^n(X) $$ with addition ...
4
votes
1answer
53 views

Does every torus $T\subset S^3$ bounds a solid tours $S^1\times D^2\subset S^3$?

I want to show this by using Alexander's Theorem's proof method. So here's what I thought. As I surger $T$, I have 2 $S^2$. So one bounds $S^1$ and the other bounds $D^2$. By reversing the surgery, ...
3
votes
1answer
58 views
10
votes
2answers
196 views

Which groups act freely on $S^n$?

When $n$ is even, it is easy to classify groups which act freely on $S^n$ using degree theory: if $G$ acts on $S^n$, then associating to each element $g \in G$ the degree of the map obtained from ...
17
votes
2answers
209 views

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

Showing every knot has a regular projection using differential topology

Can we use differential topology to prove that every smooth knot has a regular projection? Here is some background: Let $\gamma : S^1 \rightarrow \mathbb{R}^3$ be a smooth unit-speed imbedding. For ...
3
votes
2answers
165 views

group actions on spheres

Let $\mathbb{Z}/2$ act on the $m$-sphere $S^m$ freely and properly discontinuously. If the action is not trivial, can we conclude that the action is homotopy equivalent to the antipodal action? That ...
3
votes
0answers
45 views

commutivity of suspension and quotient space

Let $(A,A_0)$ be a $CW$-pair such that $A_0$ is a $CW$-subcomplex of $A$. Let $\Sigma$ be the suspension. Is $\Sigma(A/A_0)$ homotopy equivalent to $\Sigma A/\Sigma A_0$ or not?
-1
votes
1answer
10 views

what are the symmetries and flags of tetrahedron?

I know that |rot(tetrahedron) | = 12 ( i know how we came up with this number ) my question what is the number of symmetries in tetrahedron ? is it 12 or 24? if is it 24 can anyone explain to me how ...
2
votes
0answers
48 views

Difference between algebraic topology and geometric topology [closed]

What are the main differences between these two areas? Does geometric topology in general, use more analytic techniques? Which one would most consider harder? Is one more general than the other?
5
votes
1answer
179 views

Non-diffeomorphic structures on the sphere

How many smooth structures are there on $S^2$, $S^3$, and $S^4$ up to diffeomorphism? I looked around and couldn't find an answer; two books I have say different things on the subject. I know one of ...
8
votes
3answers
413 views

Euler characteristic 1: Half a hole?

The Euler characteristic of a two-dimensional disk is $\chi=1$. If one blindly interprets the disk as a closed, orientable surface, then $\chi = 2 - 2g$, and the genus is $g=\frac{1}{2}$. Is there ...
7
votes
1answer
118 views

Does it follow that $Y$ is homotopy equivalent to $S^{n-1}$?

Let $M$ be a compact connected $n$-manifold (without boundary), where $n \ge 2$. Suppose that $M$ is homotopy equivalent to $\Sigma Y$ for some connected based space $Y$. Does it follow that $Y$ is ...
8
votes
1answer
519 views

Easier proof about suspension of a manifold

For what manifolds $M$ is the suspension $\Sigma M$ also a manifold? By the suspension of a topological space $X$ (not necessarily a manifold), I mean the space $$\Sigma X = (X \times [0,1])/{\sim}$$ ...
3
votes
1answer
137 views

Existence of Closed Curves around Bounded Components

I am stuck on part of a complex analysis proof that I think needs more justification than given. It's pretty purely a topological statement, but it may be that complex-analytic techniques would be ...
1
vote
1answer
57 views

Collar neighborhood theorem- Cobordism

I am studying cobordism theory and I basically follow Milnor's book, Characteristic classes. I want to prove that cobordism is a transitive relation so I need the collar neighborhood theorem. In ...
3
votes
0answers
70 views

When can a polygon with some edge identifications be embedded in $S^3$?

Let $P$ be a polygon, and therefore a topological disk. Suppose we make some identifications on its edges, possibly identifying 2 or more edges of the polygon to a single edge, to get a 2-complex $K$ ...
1
vote
1answer
41 views

embeddings of projective spaces into Euclidean spaces

Let $\mathbb{R}P^n$, $\mathbb{C}P^n$, $\mathbb{H}P^n$ be the real, complex, quaternionic projective spaces resp. I want to find all $n$ such that $\mathbb{R}P^n$ can be embedded into ...
5
votes
1answer
133 views

If $M$ is a 4-dimensional, compact, simply connected manifold with boundary, what is the topology of $\partial M$?

I know if we have a compact simply connected 3-manifold with boundary, then the boundary will be $S^2$. The argument is as following 1) $H_1(M)\simeq 0$; 2) Poincare duality $H_2(M,\partial ...