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)

3
votes
0answers
80 views

How do we check if a covering of an orbifold is a manifold?

Let $X$ be an orbifold and suppose it is "good", i.e. its universal covering orbifold $\widetilde{X}$ has a trivial orbifold structure (it is "just" a manifold). It may be the case that some ...
1
vote
1answer
287 views

Immersing punctured torus

I am looking for a proof (as elementary as possible) of the fact that punctured n-dimensional torus admits an immersion to $\mathbb{R}^n$. The 2-dimensional case seems to be evident, but I haven't got ...
4
votes
1answer
255 views

Representation of (co)homology classes of $3$-manifolds by embedded surfaces

Let $M$ be a closed oriented $3$-manifold. Theorems in algebraic topology allow us to identify $$H_2(M) \ \cong \ H^1(M) \ \cong \ \langle M,S^1\rangle$$ where (co)homology is meant with integer ...
5
votes
1answer
116 views

Embedding manifolds of constant curvature in manifolds of other curvatures

I know that there is no complete surface embedded in $\mathbb{R}^3$ of constant curvature -$k$ for any $k$. But you can clearly embed the hyperbolic plane (curvature -1) into hyperbolic 3-space ...
4
votes
1answer
167 views

Covering spaces of Lens spaces

Let $L(p,q)$ be the Lens space with composite $p$, say $p=ab$. What is the cyclic covering space of $L(p,q)$ induced from the quotient group homomorphism from $\mathbb{Z}/p$ to $\mathbb{Z}/a$?
0
votes
1answer
264 views

Submanifolds of Orientable Manifolds With Boundary

Let $(M, \partial M)$ be an orientable $n$-dimensional topological manifold with boundary. Suppose that $(N, \partial N)$ is an $n$-dimensional topological manifold with boundary and $N \subset M$. ...
11
votes
1answer
171 views

Equivalence of definitions of $S^\infty$

Consider the following two definitions of the infinity-sphere $S^\infty$. Why do they define homeomorphic spaces? $1)$ The set of points in $\mathbb R^\infty$ with distance $1$ from the origin. $2)$ ...
1
vote
1answer
209 views

Simple Sphere Suspension Question

I have heard it said that the suspension of an $n$-sphere is an $n+1$-sphere. This is stated without proof in chapter 0 of Hatcher's book on algebraic topology. More generally, it seems that the ...
6
votes
2answers
397 views

How does Thurston's geometrisation conjecture imply Poincaré's conjecture?

I ran into the geometrisation conjecture a few days ago, and I started wondering how to prove Poincaré's conjecture. Let $M$ be a compact, simply connected, $3$-manifold. Clearly it is irreducible ...
7
votes
1answer
1k views

Can someone give an example of a non-differentiable manifold?

A topological space $M$ is a manifold of dimension $n\geq 1$ iff it is a second countable space that is locally homeomorphic to the Euclidean space $R^n$. So if $M$ is a manifold there exists a map ...
3
votes
2answers
573 views

Smooth embeddings that are homeomorphisms but not diffeomorphisms

I'm looking for examples of smooth proper embeddings between connected compact manifolds of the same dimension that are not diffeomorphisms. I remember having seen an example with $S^7$ in ...
11
votes
1answer
367 views

Space of homeomorphisms Homeo$(S^1)$ of $S^1$ deformation retracts onto $O(2)$

How can we prove that the space of homeomorphisms Homeo$(S^1)$ of $S^1$ (strong) deformation retracts onto the orthogonal group $O(2)$? I know that this result is proved by Hellmuth Kneser in his ...
3
votes
0answers
278 views

Combinatorial surfaces and manifolds

Before we can start some basic definitions to come into the topic: Suppose $T$ is the standard closed triangles, the convex hull of the three basic vectors inside $\Bbb{R}^3$. Consider $T$ is the ...
5
votes
1answer
217 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 ...
1
vote
1answer
200 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 ...
1
vote
1answer
350 views

how to prove that quotient group $\mathbb{R}/\mathbb{Z}$ and the circle are diffeomorphism?

Are quotient group $\mathbb{R}/\mathbb{Z}$ and the circle are diffeomorphism? How to prove? Hope someone give me some advise or some reference documents. Thank you.
0
votes
1answer
301 views

Stereographic projection of ellipsoid

I am really new in geometry and especially in working with stereographic projection, so excuse me, please, if my question is too easy. Given is the ellipsoid: $E = \left \{ (x,y,z)\in \mathbb{R}^{3}: ...
15
votes
1answer
768 views

A simply-connected closed surface is a sphere

From the Classification Theorem for closed (i.e. compact and boundaryless) surfaces, it follows that $S^2$ is the only closed surface with trivial $\pi _1$. That's easy because the fundamental group ...
2
votes
1answer
105 views

Degree of continuous mapping via integral

Let $f \in C(S^{n},S^{n})$. If $n=1$ then the degree of $f$ coincides with index of curve $f(S^1)$ with respect to zero (winding number) and may be computed via integral $$ \deg f = \frac{1}{2\pi ...
2
votes
2answers
117 views

Compact subvarieties in $\mathbb{C}^n$

I ran across a statement, the maximum principle, which states $X\subset \mathbb{C}^n$ is compact in the Euclidean topology iff $X$ is a finite set of point. Unfortunately, a proof didn't come along ...
3
votes
0answers
118 views

Why does a circle cut a torus into an annulus?

Let $\phi : S^1 \rightarrow T^2$ be an (topological. Not necessarily smooth) imbedding of the circle in the 2-torus and let $\iota : S^1 \rightarrow T^2, \theta \mapsto (\theta,0)$ be the imbedding ...
1
vote
1answer
161 views

How to proof M is a compact connected n-manifold,if for any point $p\in M,M\backslash\{p\}\cong R^n$ then M is homeomorphic to $S^n$.

M is a compact connected n-manifold,if for any point $p\in M,M\backslash\{p\}\cong R^n$ then M is homeomorphic to $S^n$. I have the guess from ...
2
votes
0answers
132 views

Homeomorphism between simply connected, closed 3 - manifold and 3-sphere.

The Poincare conjecture states that a simply-connected, closed 3-manifold is homeomorphic to the 3-sphere. Now that the conjecture has been settled, could someone tell me what this homeomorphism is ...
2
votes
1answer
73 views

Properties of $S_2$ and the plane and $[−1,1]^2$

The question: Is the sphere $S_2$ isometric / diffeomorphic / homeomorphic to the plane? Is the sphere $S_2$ minus a point isometric / diffeomorphic / homeomorphic to the plane? Is the sphere $S_2$ ...
5
votes
0answers
136 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$. ...
9
votes
1answer
268 views

Nontrivial h-cobordism

I'm learning the h-cobordism theorem as I want to use it in a talk. I'd like to be able to give an example of an h-cobordism that isn't a cylinder, if possible by drawing a picture. What is the ...
5
votes
0answers
137 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)$ ...
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 ...
6
votes
0answers
173 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 ...
1
vote
0answers
46 views

Functionals defined on curves

I am looking for classical (real) functionals defined on rectifiable curves (neither necessarily simple nor closed) in either $\mathbb{R}^2$ or $\mathbb{R}^3$. There's length, turning number, total ...
2
votes
0answers
89 views

4D TQFT construction from a modular tensor category

I know the construction of 3D topological quantum field theory (TQFT) from a modular tensor category. I heard that we can even (mathematically) construct 4D TQFT from a modular tensor category. I ...
1
vote
3answers
440 views

Infinitely sheeted covering spaces!

I was wondering what the fundamental group of an infinitely sheeted covering space of say some surface might be? I'm thinking it should be an infinite cyclic group, but this is more intuitively, i ...
2
votes
0answers
130 views

Relationship between the Hopf Fibration and Spinors on $S^2$

The unique spin structre for $TS^2$ is given by the Hopf fibration. We can trivialize the Hopf fibration over open sets $U_1 = S^2 \setminus \{N\}, U_2 = S^2 \setminus \{S\}$ where $N$ and $S$ are the ...
2
votes
1answer
52 views

Homologous tori in 4-manifold

Let $X$ be a 4-manifold and $T$, $S$ two tori embedded in $X$. Let $m_1$, $l_1$ and $m_2$, $l_2$ be loops in $X$ generating $H_1$ of $T$ and $S$, respectively (where I am identifying the tori with ...
2
votes
1answer
104 views

Manifold geometry and Non - Euclidean geometry

What is the difference between Manifold geometry and Non-Euclidean geometry; what connection is there between them?
6
votes
1answer
227 views

Orientability of Manifolds

Given that $f \colon \mathbb R^n \rightarrow \mathbb R$ is a smooth function and if $c \in \mathbb R$ is a regular value how would I go about showing that $f^{-1} (c)$ is an orientable manifold? ...
-1
votes
1answer
116 views

Compact surfaces and Fundamental Groups

Identify the compact surfaces $X$ for which there exist a proper subgroup $G$ of $\pi_1(X)$ such that $G\cong \pi_1(X)$. EDIT: Suggestions?
3
votes
1answer
179 views

Covering spaces!

If one wanted to find all connected covering spaces of a product of two spaces, say $S^1\times RP(3)$, how would you go about it? I'm thinking finding the fundamental group of $S^1\times RP(3)$, and ...
3
votes
0answers
82 views

Curvature on topological spaces

On what subsets of the category of topological spaces are different notions of curvature defined?
9
votes
1answer
549 views

Spin structures on $S^1$ and Spin cobordism

I'm trying to understand the 2 spin structures on the circle. Since the frame bundle for the circle is just the circle itself, Spin structures on $S^1$ correspond to double covers of $S^1$. There are ...
3
votes
0answers
41 views

What is the “real osculating space” of an immersion?

In a differential geometry paper from 1979 I have come across some terminology which I have not found explained anywhere else. We have an immersion $x : S^2 \to S^n$. In the paper, it is a minimal ...
2
votes
3answers
163 views

Finding the rank of subgroups of free groups?

How do you find the rank of a subgroup(of finite index) of a free group? I was thinking of looking at the fundamental group of a graph.
2
votes
0answers
74 views

About Thom theorem (representation submanifold for $H_{n-2}(M)$)

Recall Thom theorem : If $M^n$ is a smooth orientable closed manifold then any homology class in $H_{n-2}(M)$ is represented by the fundamental class of a smooth submanifold. And in the Harper and ...
6
votes
0answers
103 views

How difficult is it to impose a differential structure on a fractal?

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply ...
1
vote
2answers
242 views

How to obtain a Morse function on a submanifold of Euclidean space

Consider a smooth $n$-dimensional submanifold $A$ in $\mathbb{R}^{n+1} \times \mathbb{R}$ and the projection $f:\mathbb{R}^{n+1} \times \mathbb{R}\rightarrow \mathbb{R}$ onto the second factor. Is it ...
2
votes
2answers
204 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
0answers
119 views

Generate coordinates for abstract triangulation

I have an abstract triangulation, which consists of nodes without coordinates and connectivity information (the triangles themselves). I also know that each link has a fixed length. For simplicity we ...
4
votes
0answers
220 views

Fundamental Group!

Say you have two surfaces of genus 2, say $X$ and $Y$ and you want to attach them via homotopy attaching maps $f$ along their waist curves. Then what will the fundamental group of the adjunction space ...
4
votes
2answers
196 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 ...
5
votes
0answers
88 views

Do we really need to use the Jordan-Schönflies Theorem to prove that every surface can be triangulated?

I have read that most proofs of the triangulability of surfaces require the use of the Jordan-Schönflies Theorem. However, is such high-tech machinery really needed? The problem is that 3-manifolds ...