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)

2
votes
0answers
105 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
62 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$ ...
4
votes
0answers
110 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
231 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
120 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)$ ...
40
votes
0answers
2k 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 ...
4
votes
0answers
135 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
41 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
68 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
300 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
85 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
42 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
96 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
197 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
112 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
0answers
138 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
75 views

Curvature on topological spaces

On what subsets of the category of topological spaces are different notions of curvature defined?
4
votes
1answer
353 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
34 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
135 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
57 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 ...
0
votes
1answer
196 views

Higher homotopy groups!

How would you show that $\pi_n, n>1$ of the Klein bottle is the trivial group? I was thinking Seifert-Van Kampen could be applicable?
5
votes
0answers
81 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
161 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 ...
1
vote
2answers
140 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
106 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 ...
3
votes
0answers
171 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
172 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
0answers
69 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 ...
4
votes
1answer
142 views

Prime decomposition of 3-manifolds

Let $H_g$ be a three dimensional handlebody bounded by a genus $g$ surface. Let $M_g$ be a manifold obtained by gluing two copies of $H_g$ via an orientation reversing homeomorphism of the surface of ...
8
votes
0answers
200 views

When are maps between topological manifolds automatically surjective?

Take an injective (continuous) map $T:\mathbb{S}_1\to\mathbb{S}_1$. It's an obvious fact (though I can only prove it with nontrivial facts about homotopy) that $T$ is automatically surjective. I have ...
4
votes
1answer
85 views

Gluing axiom of a TQFT

In the book, Lectures on tensor categories and modular functors by Bakalov and Kirillov they construct a TQFT. When they come to prove the gluing axiom, they just mention that "...This statement is ...
7
votes
3answers
461 views

Embedding compact (boundaryless?) n-manifolds in n-dimensional real space

I know the embedding theorems that allow you to embed $n$-manifolds into $\mathbb{R}^k$, provided $k$ is chosen large enough. Here I'm interested in the possibility of taking $k=n$ in the case of ...
3
votes
2answers
232 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 ...
1
vote
0answers
46 views

ENR spaces which group of homeomorphisms is not locally contractable

Siebenmann on page 1 of his manuscript gives an example of an ENR space (euclidean neighborhood retract) whose group of homeomorphisms is not locally contactable. Take the sphere ...
3
votes
2answers
409 views

Homotopy Question Help?

Let $X$ be a topological space and suppose $X_1$ and $X_2$ are spaces obtained by attaching an n-cell to $X$ via homotopic attaching maps. Show that $X_1$ and $X_2$ are homotopy equivalent. Proof: ...
2
votes
2answers
1k views

Retraction of the Moebius strip to its boundary

Prove that there is no retraction (i.e. continuous function constant on the codomain) $r: M \rightarrow S^1 = \partial M$ where $M$ is the Moebius strip. I've tried to find a contradiction using ...
2
votes
1answer
52 views

Nonhomeomorphic CW-complexes that are stably homeomorphic

Can one find two finite CW-complexes $X$ and $Y$ such that $X \times I$ is homeomorphic to $Y \times I$, where $I = [0, 1]$, but $X$ is not homeomorphic to $Y$? I know how to find such topological ...
3
votes
1answer
388 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 ...
1
vote
1answer
92 views

a question about connected sum

I know this probably has a really straightforward answer, specially if it is as standard as it is entuitive to visualize. Still, because i'm not experienced at all on working with this objects and im ...
2
votes
1answer
114 views

Could a surface bundle over a circle have free fundamental group?

Specifically, I was wondering if the surface was non-compact with infinitely generated free fundamental group, could the surface bundle itself have infinitely generated free fundamental group. In this ...
10
votes
2answers
390 views

$\{(x,y)\!\in\!\mathbb{B}^n; -\varepsilon\leq-\|x\|^2\!+\!\|y\|^2\leq\varepsilon\}\approx\mathbb{B}^k\!\times\!\mathbb{B}^{n-k}$

The question is motivated by the notion of handle attachment, Morse theory, critical points of index $k$, Morse lemma, sublevel sets, etc. For $0\!\leq\!k\!\leq\!n$ and ...
4
votes
0answers
201 views

Partitioning a triangulated 2-sphere into two triangulated discs

Take a triangulation of the 2-sphere, $S^2$. Let the triangulation be denoted $T$. The Euler characteristic tells you that the number of triangles in $T$ is even. Since triangulations of the ...
1
vote
1answer
62 views

Why can we consider only torus switch rather than arbitrary Dehn filling in Lickorish theorem?

I understand that any orientable $3$-manifold can be obtained by doing Dehn surgery on $S^3$ along a set of circles sitting in it; but why can we further assume the slop to be $0$, i.e. we can obtain ...
1
vote
1answer
163 views

Given lattice G; parameters of torus R^2/G?

This should be a simple, known result, but I can't seem to find it. Given a lattice $\Gamma = m\mathbb{Z} \times n\mathbb{Z}$, $\mathbb{R}^2/\Gamma$ is topologically a torus. For suitable $m$ and ...
5
votes
2answers
133 views

Are bounded open regions in $\mathbb{R}^n$ determined by their boundary?

Let $U$ and $V$ be two bounded open regions in $\mathbb{R}^n$, and let us further assume that their topological boundaries are nice enough that they are homeomorphic to finite simplicial complexes. ...
0
votes
0answers
44 views

Spinning construction

The p-spinning construction works as follows: You start with $A$ an $n$-ball embedded in an $m$-ball $B$ such that $\partial A \subset \partial B$ and $A^\circ \subset B^\circ$. The $p$-spin of ...
2
votes
1answer
117 views

Morton Brown's theorem

Suppose that a topological space $X$ is the union of an increasing sequence of open subsets $U_i$c each of which is homeomorphic to the Euclidean space $\mathbb{R}^n$. How does one show that $X$ is ...
4
votes
1answer
101 views

Isotopy to the identity on disk

Let $D^2 \subset \mathbb{R}^2$ the unit disk and $f: D^2 \rightarrow D^2$ a homeomorphism with the property that $f$ restricted to the boundary $\partial D^2$ is the identity. Then $f$ is ambient ...
0
votes
1answer
60 views

A knot which intersects $S^2$ transversely once in 3-connected manifold

I am reading the paper,ON ATTACHING 3-HANDLES TO A 1-CONNECTED 4-MANIFOLD by BRUCE TRACE here.He says in this paper that we need only construct a knot $K\subset \partial W^4$ which meets $Σ ^2$ ...