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
73 views

Homeomorphisms of product spaces: an example [duplicate]

In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to ...
1
vote
1answer
116 views

About generalized Schoenflies problem in the smooth category

Reading some books and comparing with Wikipedia I found some different statements about how the smooth Schoenflies problem is solved in high dimension, and I wanted to know which one is the correct ...
1
vote
1answer
102 views

Number of connected components of this complement

Let $X$ be a locally finite simplicial complex and let $K$ be a finite subcomplex of $X$. Why is the number of connected components of the complement $X-K$ finite?
2
votes
0answers
71 views

Why is this a group action?

Let $G$ be a group and let $H$ be an infinite cyclic normal subgroup of $G$ of finite index. Let $K$ be the centralizer of $H$ in G, $$K=C_G(H)$$ and suppose that the index of $K$ in $G$ is 2. Let $E$ ...
3
votes
2answers
131 views

About two notions of holonomy

I have found something called "holonomy" in two apparently different contexts: Let $M$ be a smooth manifold, $E\to M$ a vector bundle and $\nabla $ a connection on $E$. Then you have a notion of ...
2
votes
0answers
42 views

Notation and shorthand of cobordism G=O, SO, U

This is really a basic question: From Wikipedia: "The basic examples are G = O for unoriented cobordism, G = SO for oriented cobordism, and G = U for complex cobordism using stably complex ...
11
votes
1answer
155 views

Is the E8 manifold homeomorphic to a CW complex?

Is the E8 manifold homeomorphic to a CW complex? (I know that it is not triangulable) Edit: The E8 manifold is the unique compact (without boundary), simply connected topological 4-manifold, whose ...
7
votes
2answers
377 views

Does the Euler characteristic of a manifold depend upon the field of coefficients?

Define the Euler characteristic of a space $X$ to be $$\chi(X)= \sum_i \dim H_i(X, \mathbb Q)$$ This is obviously not necessarily well-defined for an arbitrary space $X$, so let $X$ be a manifold ...
4
votes
2answers
264 views

High-Dimensional Topology vs. Low-Dimensional Topology: What are the hard questions in the former?

This is a somewhat vague/non-technical question. I've heard a lot about how the topology of manifolds (smooth or otherwise) is simpler in dimension at least 5, due to the applicability of surgery ...
0
votes
1answer
92 views

Confusion about difference between homotopy, topology and isotopy

Please clear my confusion about difference between homotopy, topology and isotopy. The first question is: Is it true two objects are isotopic implies they are topologically equivalent and ...
1
vote
0answers
137 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 ...
3
votes
0answers
68 views

Actual Definition of the term: Hopf Band?

Sorry if this is too trivial: I need an actual working definition of the term: Hopf band. I see references to it in many searches, but never an actual precise definition. All I know so far is that ...
5
votes
1answer
95 views

Why are the total spaces of two Serre fibrations equivalent when the bases and the fibers are equivalent?

Suppose $B$ is a pointed space and suppose $f\colon E\to B$ and $f\colon E'\to B$ are two Serre fibrations. Let moreover a map $g\colon E\to E'$ be given such that $f=f'\circ g$ which is a weak ...
7
votes
1answer
363 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}$$ ...
2
votes
0answers
104 views

Why is surgery along a framed link well defined?

Let $L=L_1 \cup L_2 \cup \cdots \cup L_n $ be a framed link in $ S^3 $. I want to perform the surgery along $L$ to get a new manifold $M$. By definition, to perform this surgery, I must perform the ...
3
votes
0answers
36 views

Are there closed manifolds that can be given multiple geometric structures of constant curvature

For example, is there a closed differentiable manifold that can be given both a Euclidean structure and a Hyperbolic structure? If not, is there a reasonably easy proof that no such manifold exists?
1
vote
1answer
72 views

Projection onto a convex closed set

H, If $K$ is a non-empty convex and closed subset of a uniformly convex Banach space $X$ (Hilbert for example) and $v \notin K$, we know that there exists a unique $k_0\in K$ such that ...
7
votes
1answer
93 views

When $f\colon M\to N\times N$ satisfies that $f^{-1}(\Delta)$ is a ball?

Let $M$, $N$ be smooth manifolds of dimension $m+n$ and $n$, respectively. Suppose that $f\colon M\to N\times N$ is a smooth map and $f$ is transversal to the diagonal $\Delta=\{(x,x)\in N\times ...
1
vote
1answer
93 views

Hausdorff distance and union of sets

Let $X$ be a metric space; $A_1$, $A_2$, $B_1$, $B_2$ be non-empty subsets in $X$. Let $d(\cdot,\cdot)$ be the Hausdorff distance between sets in $X$. Then $$ d (A_1 \cup A_2 , B_1 \cup B_2) \leq \max ...
2
votes
2answers
98 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 ...
3
votes
1answer
76 views

John Hempel's proof of residual finiteness of surface groups

John Hempel proved that fundamental groups of $2$-manifolds are residually finite. I want to understand this proof so I have some questions: Why if we have $S(f)=\emptyset$ then $f$ represents ...
1
vote
1answer
39 views

Rotation orientations in n-dimensions

I'm doing a change of variables that involves doing simple rotations on the standard basis vectors in R^n, and I'm wondering what the standard orientations are in n dimensions are and why. For ...
1
vote
1answer
145 views

Extending homeomorphism of unit circle to unit disk

What is the best best way to prove that any homeomorphism of the unit circle onto itself can be extended to a homeomophism of the closure of the unit disk onto itself?
3
votes
1answer
229 views

A 3-manifold with fundamental group isomorphic to a surface group.

Let $M$ be a 3-manifold (the case I am interested is $M$ closed orientable connected hyperbolic); suppose $\pi_1 (M)$ is isomorphic to the fundamental group of a (closed orientable connected) surface ...
3
votes
0answers
77 views

handle moves: proof

In several 4-manifold textbooks, when handle moves (creation, cancellation, sliding) are discussed, they are explained using very helpful drawings. However, I would like to know if there is a ...
2
votes
0answers
45 views

Open Book Decompositions of 3-manifold and Associated Heegard Splittings

In page 13 of the paper: http://arxiv.org/pdf/math/0510639v1.pdf It is stated that "An open book decomposition (S,h, K) , gives rise to a special Heegard decomposition of M ". Here, S is a surface , ...
0
votes
1answer
138 views

Manifolds Resulting from Gluing Tori

I'm trying to show that if solid tori $T_1, T_2; T_i=S^1 \times D^2$ ,are glued by homeomorphisms between their respective boundaries, then the homeomorphism type of the identification space depends ...
2
votes
2answers
121 views

Fundamental group of a Cayley graph

Could someone please indicate the proof of the following fact (I believe strongly, but I am not sure, that this is true). Let $F$ be a free group of finite rank, $N<F$ a normal subgroup and ...
3
votes
1answer
88 views

Why are there cubics in a Calabi-Yau manifold?

I heard from a recent talk that the "number of $n$-degree curves" in a Calabi-Yau manifold is an invariant of the space. But what does that mean? (Specifically I would like to ask the following.) ...
2
votes
1answer
46 views

Cancelling Handle Attachments

Let $(W, \partial W)$ be an $n$-dimensional manifold with boundary. Suppose that $(W', \partial W')$ is obtained from $(W, \partial W)$ by attaching a $k$-handle via an embedding $\phi: S^{k-1}\times ...
1
vote
0answers
70 views

Number of fixed order elements in the mapping class group of a closed surface

Let $S_g$ be a closed surface of genus $g\geq 2$. Given $r \in \mathbb{N}$, what is the number of elements of order $r$ in the mapping class group? Is it finite or infinite? If it is infinite is ...
5
votes
3answers
400 views

Framing Integer associated with a Framed Knot/Link

I have been looking for a clear definition of the n-framing of a knot unsuccessfully. A framing here refers to a choice of homeomorphism between a solid torus neighborhood (a.k.a, tubular ...
0
votes
1answer
43 views

Another question about the classification of 1-Manifolds

I've been seeking for a proof of the classification of 1-Manifolds with very little success. In this case, a manifold is a Hausdorff, second countable, locally euclidean space. I know that every ...
1
vote
1answer
178 views

Is there any connected n-manifold such that $H_n(X,Z)=Z\times Z$?

I think the question is equal to whether a n-manifold has a n-submanifold which is compact in n-manifold. I feel there is not such manifold, but I don't know how to prove it. In fact, I just need some ...
14
votes
1answer
297 views

Is the torus the union of two connected, simply-connected open sets?

Is the torus the union of two connected, simply-connected open sets? A routine computation with the Mayer-Vietoris sequence shows that if so, then their intersection must have exactly three ...
1
vote
1answer
69 views

Definition of “Representing” a Handlebody (Lefschetz Fibration)?

Sorry, I could not find a clear explanation of the meaning of the word represented in the following:"any 4-dimensional 2-handlebody W can be represented by a topological (achiral) Lefschetz fibration ...
3
votes
2answers
53 views

Identification Space and Isotopy

Original Question: Let $X$ and $Y$ be topological spaces and let $f:X \to Y$ and $g:X \to Y$ be isotopic embeddings. Is it true that $X \cup_f Y$ is homeomorphic to $X \cup_g Y$? Edit: I meant to ...
4
votes
1answer
95 views

What's the difference between “crumpled cube” and “3-ball”?

Warning: My level of understanding of topology is very low. Small words would be appreciated. :) Browsing Wikipedia, I came to crumpled cube, defined as "a 2-sphere together with its interior". ...
3
votes
1answer
2k views

Understanding the Equation of a Möbius Strip

I am in HL Math and trying to finish my IA. My topic is the Möbius band. The only problem is, I do not understand the formula that defines it and everywhere I have looked has just given me a ...
2
votes
2answers
105 views

Homologous surfaces in three-manifolds

Let M be a 3-manifold. Let $S$ and $T$ be properly embedded surfaces in $M$ such that $[S] = [T] \in H_2(M, N(\partial S)) $. Is it true that we can isotope $\partial S$ so that it coincides with ...
1
vote
1answer
112 views

Torsion Subgroup of Mapping class group.

What is the cardinality of finite order elements in Mapping class group of a surface $S_{g,n}$ of genus g and n boundary components. 1) If it is infinite then how can I generate a collection of ...
2
votes
2answers
114 views

Quasi-isometric embedding and Quasi-isometry

Let $X$ and $Y$ be geodesic metric spaces. Suppose there are quasi-isometric embeddings $f:X \rightarrow Y$, $g:Y \rightarrow X$. Then, can we say there is a quasi-isometry from $X$ to $Y$? I tried to ...
1
vote
1answer
41 views

Why is the dividing set nonempty when a convex surface has Legendrian boundary?

I am an undergrad and curious about the following question. Let (Y,ξ) be a contact manifold, and L⊂(Y,ξ) be a Legendrian knot which is the boundary of a convex surface Σ embedded properly in Y. Why ...
1
vote
2answers
131 views

Frame bundle of orthonormal frames orthogonal to a submanifold.

Suppose we have a smooth manifold $M$ of dimension $m$ with a Riemannian metric and a connected submanifold $N$ of dimension $n$ in $M$ with $n<m-1$. Let $n\le k<m-1$ and consider the bundle ...
17
votes
1answer
346 views

The kernel of free group map to surface group

$G$ is a surface group of genus $g\geq 2$ (the fundamental group of closed orientable surface of genus g). $F$ is a free group of rank $2g$ with basis $\{x_1,\dots,x_{2g}\}$. $\phi$ is a surjective ...
2
votes
0answers
23 views

Edges and genus in graphs

For a planar graph $G = (V, E)$ there is the well known bound $|E| \leq 3|V| - 6$. If instead of $S^2$ $G$ embeds in the orientable surface $S_g$ of genus $2 - 2g$ with minimal $g$, what can be said ...
0
votes
1answer
48 views

The deficiency of surface group

Let $G$ be the fundamental group of a closed surface of genus $g$. We know $G$ has a presentation $$\langle a_1,b_1,a_2,b_2,\dots,a_g,b_g \mid [a_1,b_1][a_2,b_2]\dots[a_g,b_g]=1 \rangle.$$ The ...
3
votes
0answers
164 views

Is such an infinite dimensional metric space, weakly contractible?

We counteract this answer by adding the rigidity assumption: Is there still a counterexample? Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that: ...
1
vote
1answer
56 views

How to enclose a ball more than once with a surface homeomorphic to $S^2$? In 3D.

In 3 dimensional space, how to enclose a monopole (either point-like or ball-like, both types exist.) more than once with a surface homeomorphic to $S^2$?
2
votes
1answer
130 views

The image of homomorphism of fundamental group of closed surface

$\phi: \pi_1(S)\to \pi_1(S)$ is a homomorphism of fundamental group of closed orientable surface $S$ of genus $\geq 2$. If $\phi$ is not an epimorphism, can we find a non-surjective self map $f: S\to ...