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)

4
votes
0answers
49 views

Rigorous definition of an embedded connected sum.

Can someone point me to a rigorous definition of a connected sum of two smooth embeddings? I know about the usual construction, the problem is that I can't find a proof that this construction is well ...
1
vote
1answer
31 views

Computation with Mayer-Vietoris and fundamental classes

Let $M$ be an $n$-dimensional closed oriented connected manifold and suppose that $\bar{U},\bar{V}\subset M$ are $n$-dimensional manifolds with boundary so that $M=\bar{U}\cup \bar{V}$ and ...
2
votes
0answers
61 views

Understanding the “shape” of a singular Riemann surface

Consider the singular Riemann surface given by the following expression: $$z^d w^d-z^d-w^d+t=0\ ,$$ where $t$ is a parameter in $(-1,1)$ and $d$ is a positive integer greater than 2. For $t\neq0$ the ...
4
votes
1answer
45 views

isotopy equivalence between manifolds

The definition below is from Encyclopaedia of Mathematics: Volume 6. Question: For any $n\geq 1$, is the $n$-dimensional closed cube $$[0,1]^n=[0,1]\times [0,1]\times\cdots \times[0,1]$$ isotopy ...
1
vote
0answers
35 views

Gluing 3 dimensional tetrahedra with orientation reversing edge

I am not sure how to proceed on exercise 3.2.3 in Thurston's book "Three Dimensional Geometry and Topology". The wording is as follows: "In a gluing of three dimensional simplices, each edge enters ...
0
votes
0answers
33 views

equivalent characterizations of manifolds such that configuration spaces are homotopy equivalent

Let $M$ and $N$ be manifolds. If $M$ is homeomorphic to $N$, then the $k$-th configuration spaces $F(M,k)$ is homeomorphic to $F(N,k)$. If $M$ is homotopy equivalent to $N$, then the $k$-th ...
1
vote
1answer
46 views

An intutive proof of 'replacing two-caps by a handle'

I am trying to understand a statement given in Polchinski Vol.1 - a torus with cross-cap can be obtained either as (g,b,c) = (0,0,3) or as (1,0,1), trading two cross-caps for a handle. Here, g is ...
2
votes
1answer
86 views

The first Kirby move and $\mathbb{C}P^2$

A surgery on a link in $S^3$ can be regared as 2-hadnle attachements to $D^4$ (resulting 4-manifold $W$ whose boundary is the result of the surgery). I would like to know how the first Kirby move ...
0
votes
0answers
32 views

Isotopy: Definition

An isotopy is a homotopy from one embedding of a manifold $M$ in $N$ to another such that at every time, it is an embedding. In this definition, I am wondering why $M$ and $N$ are required to be ...
0
votes
0answers
27 views

Is there any “Brunnian-like” braid which is not a pure braid in $B_n$ with $n\geq 3$?

A braid $\beta$ is called Brunnian if it satisfies $\beta$ is a pure braid; $\beta$ becomes a trivial braid after removing any of its strands. Obviously in $B_2$, every braid satisfies condition ...
4
votes
1answer
86 views

Fundamental group of open subsets of $\mathbb{R}^n$

Suppose that $U$ is an open subset of $\mathbb{R}^n$. What can be said about its fundamental group? I'm sure that the answer should be well known, since this is rather natural question.
2
votes
0answers
23 views

Linear vs smooth actions of finite groups on spheres, Euclidean spaces and closed disks

I would like to know examples (with references, if possible) of the following: (1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ but admitting no effective linear action on ...
5
votes
2answers
73 views

actions of $\mathbb{Z}_2$ on spheres

Let $S^m$ be the $m$-sphere and $$F(S^m,2)/\mathbb{Z}_2=\{(a,b)\mid a,b\in S^m, a\neq b\}/(a,b)\sim (b,a)$$ be the $2$-nd unordered configuration space on $S^m$. Why $F(S^m,2)/\mathbb{Z}_2$ is ...
1
vote
1answer
52 views

Mapping the intersection of hyperplanes/simplex to lower-dimensional unit-simplex

Suppose I have an object in $\mathbb{R}^5$ described by: $$x_1+x_2+x_3+x_4+x_5=1$$ $$x_1+2x_2+3x_3+4x_4+5x_5=6$$ $$x_1+7x_2+8x_3+9x_4+10x_5=11$$ $$x_1,x_2,x_3,x_4,x_5 \geq 0$$ Is there a way that I ...
3
votes
1answer
31 views

Thom space of unit circle

Say we embed $S^1$ into $\mathbb{R}^2$ as the unit circle. What is the Thom space $Th(i)$ associated to this embedding $i:S^1 \to \mathbb{R}^2$? By definition, the Thom space is the one point ...
7
votes
1answer
90 views

General relationship between braid groups and mapping class groups

I just finished correcting my answer on visualizing braid groups as fundamental groups of configuration spaces, and in the process became interested in the other pictorial definition of the braid ...
1
vote
1answer
15 views

Open condition given by inequality on functions

Let's say we have two functions $f,g\in C^\infty(D)$, $D$ an open domain in $\mathbb{R}^2$. The condition $f(x,y)<g(x,y)$ is an open condition on $D$? With this I mean: do the points $(x,y)\in D$ ...
1
vote
0answers
33 views

finite graphs with homeomorphic covering space that do not cover the same graph.

I came across this exercise from section 1.3 in Hatcher's "Algebric topology". Construct finite graphs $X_1$ and $X_2$ having a common finite-sheeted covering space $X_1 \cong X_2$ , but such ...
2
votes
1answer
51 views

Fuchsian group with parabolic element

I'm interested in this problem: let $\Gamma \subset PSL(2, \mathbb{R})$ a Fuchsian group (i.e. it is a discrete subgroup) which contains the trasnformation $\gamma \colon z \mapsto z+1$ then the ...
1
vote
0answers
31 views

natural map to the homotopy fibre

In the paper Homology fibrations and group completion theorem, McDuff-Segal, page 280, paragraph 4, line 2-line 3 and Configuration spaces of positive and negative particles, McDuff, page 105, line ...
4
votes
1answer
59 views

Topological information from metric tensor

Suppose I am working with a Riemannian manifold $(M,g)$, and I have a particular coordinate expression for the metric $g$. What topological information can I infer about the manifold $M$? For ...
2
votes
0answers
26 views

universal bundle of topological monoids

Let $M$ be a topological monoid. There is a classifying space $BM$ (cf. canonical map of a monoid to its classifying space). When $M$ is a group $G$, there is a principal $G$-bundle $EG\to BG$ such ...
2
votes
0answers
22 views

pontrjagin ring of the homology of iterated loop suspension

In The homology of C n+1 spaces, n>=0, F. Cohen, proof of Theorem 3.1 and proof of Theorem 3.2 (p. 228 - 243) I totally do not understand the proofs of these two theorems from page 228 to page 243 ...
8
votes
1answer
83 views

What are the 8 non-compact Euclidean 3-manifolds?

I have found several sources that mention that there are eight non-compact Euclidean 3-manifolds, with four orientable and four non-orientable. There are two standard references for this, but ...
3
votes
1answer
68 views

Is every open cover of a smooth manifold finer than a cover built from the union of disjoint open sets?

Let $M$ be a finite dimensional smooth manifold and $M=\bigcup_{i\in I}U_i$ an open cover of $M$. Does there exist a finite open cover $M=\bigcup_{k=0}^l V_k$, such that each $V_k$ is the disjoint ...
1
vote
0answers
38 views

configuration space model for classifying space of monoid

Let $M$ be a monoid and $BM$ be its classifying space. There is a model for $BM$ based on labelled configuration spaces of the line $[0,1]$. Points of the configurations are labelled by elements of ...
31
votes
6answers
543 views

Is the complement of countably many disjoint 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 ...
31
votes
3answers
424 views

Does every bijection of $\mathbb{Z}^2$ extend to a homeomorphism of $\mathbb{R}^2$?

Given a bijection $f\colon \mathbb{Z}^2 \to \mathbb{Z}^2$, does there always exist a homeomorphism $h\colon\mathbb{R}^2\to\mathbb{R}^2$ that agrees with $f$ on $\mathbb{Z}^2$? I don't see any ...
4
votes
2answers
105 views

Why the lens space L(2,1) is homeomorphic to $\mathbb{R}P^3$?

According to one definition of lens space $L(p,q)$, which is gluing two solid tori with a map $h:T^2_1 \rightarrow T^2_2$. And $h(m_1)=pl_2+qm_2$, $l_i$ means longitude and $m_i$ means meridian of the ...
4
votes
1answer
51 views

Are there compact manifolds homotopy equivalent to a wedge sum of compact manifolds?

One example given by Hatcher as an application for the cohomology ring is to distinguish $\mathbb{CP}^2$ from $S^2 \vee S^4$ up to homotopy equivalence despite their cohomology groups being the same. ...
7
votes
1answer
123 views

Equivalence of knots: ambient isotopy vs. homeomorphism

I am looking into knot theory and have found two different definitions stating that two knots $K_1$ and $K_2$ are equivalent, namely the concept of an ambient isotopy: These two knots are ambient ...
1
vote
0answers
28 views

Alexander polynomial of sums

A standard argument of knot theory reveals that the Alexander polynomial of the sum of two knots $K= K_1 \# K_2$ is equal to the product of the Alexander polynomial of the two summands $K_1$ and ...
2
votes
1answer
35 views

Definition of a rim torus

We know a torus is $S^1 \times S^1 =T^2$. We know a solid torus is $D^2 \times S^1$ whose boundary is a torus $S^1 \times S^1 =T^2$. What is the definition of a rim torus?
5
votes
1answer
80 views

Non trivial homomorphism from $SU(2)$ to the diffeomorphism group of the circle

Is there a non trivial homomorphism $f: SU(2) \to \operatorname{Diff}(S^1)$? (From the comments) By a previous question, we know that there is no nontrivial homomorphism $SU(2) \to O(2)$. Since ...
3
votes
1answer
64 views

cup product in cohomology ring of a suspension

Let $X$ be a CW-complex. Let $\Sigma$ be suspension. Let $R$ be a commutative ring. Is the cup product of $$ H^*(\Sigma X;R)$$ trivial? How to prove? Where can I find the result?
0
votes
1answer
36 views

Confused with The Transversality Theorem when all manifolds are boundaryless

In Guillemin-Pollack's book Differential Topology, the Transversality theorem states that The transversility Theorem. Suppose that $F:X \times S \to Y$ is a smooth map of manifolds, where only $X$ ...
3
votes
1answer
52 views

Remove one ring of Borromean rings in 3-sphere: linked or unlinked?

We know Borromean rings in a 3-sphere $S^3$ can be unlinked if we remove one of the three rings. Here let us consider a slight different procedure. If we remove the neighbored solid torus $B^2 \times ...
1
vote
0answers
34 views

Integral Over the N-Sphere in the framework of chains:

Integration over manifolds is commonly defined with object called chains. What about if I want to integrate the exterior derivative of a $k-form$ over the n-sphere and use Stokes theorem: ...
2
votes
0answers
82 views

Which spaces admit bump functions?

Let me first fix terminology. Let $X$ be a topological space and $A\subseteq B\subseteq X$ be subsets. Let's say X admits a bump function relative to $A\subseteq B$ if there's a continuous function ...
4
votes
1answer
80 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 ...
0
votes
1answer
58 views

What is a simply connected space and a multiply connected space?

I was reading the book Hyperspace by Michio Kaku when I read about simply connected space and multiply connected space. I just tried searching the answer using Wikipedia but I wasn't able to ...
0
votes
1answer
65 views

About the Chern class of the determinant line bundle

Is it true that the first Chern class of a rank $k$ complex line bundle is equal to the first Chern class of its determinant line bundle?
0
votes
0answers
55 views

cohomology ring of a subspace of real projective spaces

I learned $H^*(\mathbb{R}P^n;\mathbb{Z}_2)=\mathbb{Z}_2[a]/(a^{n+1})$, $|a|=1$, in topology class, when studying cell complex and cohomology. Now I want to find the cohomology ring ...
1
vote
1answer
60 views

Is my graph a tree?

Let M be a smooth connected manifold. G is a group act on M cocompactly and suppose there is a harmonic function $h$ on M with minimal energy.$h:\rightarrow [0,1]$ such that h is nonconstant and ...
4
votes
1answer
46 views

Nonorientable manifolds being a boundaries

I will say that a manifold (smooth, compact, without boundary) is itself boundary if there is some smooth compact manifold $W$ with boundary, such that $M=\partial W$. I'm interested in nontrivial ...
3
votes
1answer
46 views

Showing that gluing two knot exteriors together contains subgroups isomorphic with the knot groups.

I'm working through Rolfsen's "Knots and Links" and section 9D exercise 10 has me stumped: Let $K_1$ and $K_2$ be knots in two separate copies of $S^3$ with respective meridians $m_1$ and $m_2$ and ...
5
votes
1answer
85 views

Can a trefoil knot be stretched to look like a triangle with three knots at the vertices?

Can a trefoil knot be stretched to look like a triangle with three knots at the vertices, like in the right side of the image below, or is that transformation impossible to happen? If possible, what ...
1
vote
0answers
16 views

About Lefschetz fibration signature

Does there exists a Lefschetz fibration over $S^2$ for any given number admitting it as a signature? I think it is not possible so I need an counter example.
7
votes
1answer
114 views

Homotopic equivalence for $S^5$ without three $S^1$

Consider a standard embedding of $S^5$ in $\mathbb R^6$: $S^5: \; x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 + x_6^2 = 1.$ And consider three circles, which are sections of $S^5$ by $x_1 x_2$, $x_3 x_4$, ...
2
votes
0answers
90 views

Surgery to unlink $S^1$ and $S^2$ in $S^4$ [closed]

Let us start with a $S^1$ and a $S^2$ are linked in $S^4$. Can I unlink the $S^1$ and $S^2$ by doing some surgery (with certain constraints described below, and let us say both $S^1$ and $S^2$ ...