Topology of cell complexes and manifolds, classification of manifolds (e.g. smoothing, surgery), low dimensional topology (e.g. knot theory, invariants of 4-manifolds), embedding theory, combinatorial and PL topology, geometric group theory, infinite dimensional topology (e.g. Hilbert cube ...

learn more… | top users | synonyms (1)

1
vote
0answers
72 views

Injectivity of the Dehn-Nielsen-Baer map?

If $S$ is a closed hyperbolic surface, is there an easy proof of the injectivity of the Dehn-Nielsen-Baer map from $\mathrm{Mod}(S)$ to $\mathrm{Out}(\pi_1(S))$, taking an element of the mapping class ...
0
votes
0answers
32 views

Is every $C^1$-domain which is homeomorphic to the unit ball in $\mathbb{R}^d$ Lipschitz equivalent to the unit ball?

Suppose we have a domain $\Omega\subset \mathbb{R}^n$ which is homeomorrphic to the unit ball $B(0,1)\subset \mathbb{R}^n$ and such that $\partial \Omega$ is of class $C^1$ (technically, this means ...
5
votes
1answer
236 views

Simply connected CW-complex with only finitely many nontrivial homotopy and homology groups

Let $X$ be a simply connected CW-complex such that all but finitely many of its homotopy groups and its homology groups (with $\mathbb Z$ coefficients) are 0. Is $X$ then necessarily contractible? I ...
3
votes
2answers
302 views

How to show whether a given knot and its mirror image are the same or not?

The title says it all: How can I show that a knot $K$ is distinct from its mirror image? May be I have to try different knot invariants. Not sure, I am new in this area.
3
votes
1answer
129 views

Which automorphisms on $H_{1}(M^{3})$ are induced by homotopy equivalences?

Let $M^{3}$ be a closed orientable 3-manifold, and $\phi:H_{1}(M;\mathbb{Z})\to H_{1}(M;\mathbb{Z})$ be an automorphism of abelian groups. My question is: Is there any characterization of $\phi$ ...
0
votes
1answer
80 views

Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all: Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...
9
votes
1answer
203 views

Alexander duality for non-manifolds

Let $X$ be a CW complex and $A$ a subcomplex. I will assume that both are compact, and that $X$ is $n$-dimensional. Furthermore, assume that the local homology of $X$ is that of a manifold in a ...
2
votes
1answer
102 views

Perturb a given smooth function to a Morse function relative to fixed level sets, which are already fine

This question was not answered on math.stackexchange. Let $M$ be a manifold (not necessarily compact) , for the sake of clearness embedded in $\mathbb{R^n}$ and $f\colon M\rightarrow \mathbb{R}$ a ...
-1
votes
0answers
35 views

Which spaces admit bump functions? [migrated]

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 ...
3
votes
1answer
140 views

Fixed point property for intersection of spaces which are homeomorphic to a disk

The following question is question 9.8 from Miller's paper ``Some interesting problems '': Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every $n\in \omega, ...
9
votes
2answers
191 views

Question about the Weeks Manifold

I am wondering about the existence of incompressible surfaces in the Weeks manifold. Is this space a Haken manifold?
11
votes
2answers
225 views

When is it possible to “shrink” a polyhedron?

Let $P$ be a (not necessarily convex or simply-connected) polyhedron, and $\gamma(t)$ a homotopy of $P$, i.e. a continuous displacement of the vertices of $P$ that keeps its faces planar. I call ...
8
votes
0answers
99 views

Doubly slice knots and an embedding of 4-manifold

It is well-known that the existence of topologically slice knot which is not smoothly slice implies the existence of exotic $\mathbb{R}^4$. For example, see the answer of K. Davis. To prove the above ...
-1
votes
1answer
84 views

unordered configuration space of pointed space

Let $(X,*)$ be a pointed topological space. Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid x_i\neq x_j, i\neq j\}$. Let $F(X,k)/S_k$ be the $k$-th unordered configuration space. Is there an inclusion ...
5
votes
1answer
139 views

Triangulations of submanifolds of smooth manifolds

Every smooth manifold $M$ has a PL structure, and therefore a triangulation. Given a submanifold $N$ of $M$, does anyone know some nice conditions for $N$ to be the subcomplex of some triangulation of ...
2
votes
1answer
89 views

Thickening graphs to get honest actions

Let $X$ be a finite graph. Its fundamental group is the free group $F_n$ on (say) $n$ generators. Let further an automorphism $\phi$ of $F_n$ be given. It is not true in general that this ...
8
votes
0answers
75 views

Kernel of “Hat to Plus” in Heegaard Floer Homology

Given a 3-manifold $M$, there is a map of Heegaard Floer groups $$f:\widehat{HF}(M) \to HF^+(M)$$ induced by the inclusion $$\widehat{CF}(M) \to CF^+(M)$$ of the respective chain complexes. Given a ...
4
votes
1answer
150 views

A question about simple closed curves in finite dimensional Euclidean spaces

Let n be a positive integer not less than 2. Does anyone know of a theorem stating that- for each n- there exists a simple closed curve c(n), which (1) is a subset of n-dimensional Euclidean space ...
6
votes
1answer
239 views

3-manifolds with isomorphic fundamental groups

There are many non-homeomorphic 3-manifolds with isomorphic fundamental groups, for example the lens spaces $L(p,q_1)$ and $L(p,q_2)$ with $q_1 \ne \pm q_2^{\pm 1}\mod p$. Also, Seifert fibered spaces ...
25
votes
1answer
998 views

Combinatorics of K(Z,2)?

Anybody knows a semi-simplicial model for $K(Z,2)$ having finite number of simplexes in any dimension? With some regular description? I have heard about big activity on triangulating $CP^n$ but this ...
2
votes
1answer
135 views

A basic question of Khovanov-Rozansky Homology

thank you for spending time on the following question. In [1] Khovanov and Rozansky categorifized $sl_n$ version of HOMFLY Polynomial, in page 11, they mention that what they defined in [1] is ...
4
votes
1answer
237 views

When are principal bundles preserved by colimits?

Let $G$ be a topological group and consider a family $$G\rightarrow E_i\rightarrow B_i$$ of $G$-principal bundles indexed over the natural numbers. Suppose we have $G$-bundle morphisms (equivariant ...
1
vote
0answers
142 views

Surgery to unlink $S^p$ and $S^q$ in $S^d$

We know that $S^p$ and $S^q$ can be linked in $S^d$ if $p+q<d$. Let us consider the simplest case where both $S^p$ and $S^q$ are un-knotted spheres. I am looking for a surgery to unlink $S^p$ and ...
5
votes
1answer
121 views

Embedded spheres in the K3 surface

Using the Seiberg-Witten theory, we know that every (smoothly) embedded $S^{2}$ in $K3$ with trivial normal bundle is null-homologous. We know we have a lot of interesting knotted $S^{2}$ inside ...
1
vote
1answer
218 views

Limit Group decomposition

I would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel. First recall that a limit group is a finitely ...
1
vote
0answers
85 views

Canonical metric of toric Kahler manifolds

Let $X$ be non-compact toric Kahler manifold associated to a Delzant polygon $P$ and $g$ be the canonical Kahler metric constructed by Guillemin. Is it true that the real part of $g$, as a ...
2
votes
0answers
94 views

McDuff's classification of symplectic manifolds

According to a theorem of McDuff, if $(X,\omega)$ is a closed symplectic 4-manifold, which contains a symplectic sphere of self-intersection +1, then $X$ is symplectomorphic to $CP^2$ blown up a few ...
8
votes
2answers
206 views

Obtain 4-manifolds by repeating surgeries of submanifolds in $S^4$

In his paper QFT and Jones Polynomials, Witten states: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) by repeated ...
14
votes
1answer
164 views

$(n-1)$-dimensional sphere in $S^n$ such that the closure of a component of complement is not contractible

Let $f:S^{n-1} \rightarrow S^n$ be a topological embedding and let $A_f$ and $B_f$ be the components of $S^n \setminus f(S^{n-1})$. If $\overline{A}_f$ and $\overline{B}_f$ are manifolds with ...
9
votes
1answer
121 views

bi-Lipschitz gluing

Let $H$ be the Heisenberg group with left invariant sub-Riemannian metric and $\varepsilon>0$ is small. Let us denote by $|x-y|_H$ the distance from $x$ to $y$ in $H$. I have a bi-Lipschitz ...
1
vote
1answer
124 views

Chern classes of three (two) dimensional complex vector bundles

Let $M$ be a manifold. Let $F(M,3)=\{(m_1,m_2,m_3)\mid m_1, m_2, m_3\in M, m_i\neq m_j, \text{ for any } i\neq j\}$. Let $S_3$ be the symmetric group of order $3$. Let $S_3$ act on $F(M,3)$ by ...
3
votes
1answer
120 views

Hopf link from analytic geometry

I am a condensed matter physicist, and want to understand the Hopf link from analytic point of view. My question is as follows. We have two sets of equations, and each set of equations describes a ...
2
votes
2answers
170 views

A Jordan Separation Theorem for Polyhedral Surfaces

Let me begin by defining what a polyhedral surface is. A path-connected subset $ P $ of $ \mathbb{R}^{3} $ is called a polyhedral surface iff it is the union of a finite collection $ \mathcal{C} $ of ...
0
votes
1answer
257 views

Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question. Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$). I'm interested in the topological ...
4
votes
2answers
374 views

How many metrics of constant curvature exist on a Riemannian surface?

I have been trying to determine the number of metrics of constant curvature on a surface of genus $n$, say $\Sigma$. For low values, the answer is clear, the moduli space is a point for the sphere, ...
3
votes
2answers
121 views

Teichmuller distance between isospectral riemann surfaces

Let $S$ be a surface of negative Euler characteristic (for simplicity let's assume $S$ to be closed), and let $\mathcal{M}(S)$ denote the moduli space of hyperbolic surfaces homeomorphic to $S$. ...
5
votes
2answers
309 views

Topological $n$-manifolds have the homotopy type of $n$-dimensional CW-complexes

I search for a chain of clean references, which lead the fact of topological manifolds of dimension $n$ having the homotopy type of a CW of dimension $n$. Milnor's On spaces having the homotopy type ...
2
votes
1answer
193 views

Ehresmann fibration theorem for manifolds with boundary

All manifolds in consideration may have nonempty boundary and may be disconnected. Let me fix a definition first. A map between smooth manifolds $M\rightarrow N$ is a fiber bundle, iff it's locally ...
20
votes
0answers
313 views

Nilpotence of the stable Hopf map via framed cobordism

The Pontryagin-Thom construction shows that the stable homotopy groups of spheres are the same as the groups of stably framed manifolds up to cobordism. Specifically the Hopf map corresponds to the ...
0
votes
0answers
73 views

rational cohomology of finite dimensional real grassmannian

Let $G_k(R^n)$, $n>k$, be the finite dimensional real grassmannian. What is the rational cohomology algebra $H^*(G_k(R^n);Q)$? I have searched out that $H^*(BO_k;Q)=Q[p_1,p_2,...,p_[k/2]]$ is the ...
1
vote
3answers
260 views

orbit space of $\mathbb{Z}_p$ action over complex projective space by permuting the homogeneous coordinates

$Z_p$:=cyclic group of order $p$. I want to understnd $H_\ast(\mathbb{C} P^{n}/Z_{n+1};Z)$ with $(n+1)$ being a prime number,and the action is given by permuting the homogeneous coordinates. For ...
6
votes
0answers
190 views

Schoenflies and symplectic topology

The final report from a workshop on Morse theory in low-dimensional and symplectic topology includes the following question, posed by Michael Hutchings: Can we apply symplectic geometry to solve the ...
-6
votes
1answer
186 views

Stiefel-Whitney class of complex projective spaces [closed]

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
1answer
97 views

Are normal deformations of an embedding open in the $C^{\infty}$-space of embeddings of a compact smooth manifold`

Let $M$ be a compact smooth manifold (closed, for simplicity), $n\in\mathbb{N}$ and equip the space of embeddings $Emb(M,\mathbb{R^n})$ wih the Whitney-$C^{\infty}$-topology. (The weak and the strong ...
4
votes
1answer
119 views

arc length of a knot in the solid torus

As motivation, consider the knot in the solid torus in the first (left) picture below. Put a metric on the torus -- for concreteness, let's assume it's induced by the standard euclidean metric on ...
2
votes
1answer
118 views

rational cohomology of finite real grassmannian

Let $p_j$ to be the $j$-th Pontryagin class of the universal $n$-plane bundle $E_n(\mathbb{R}^\infty)\to G_n(\mathbb{R}^\infty)$. Then according to Theorem 1.6, The Cohomology of BSO n and BO n with ...
5
votes
2answers
177 views

Illumination of a convex body

If $\mathbf{K}$ is a compact, convex set with nonempty interior in $d$-dimensional Euclidean space $\mathbb{E}^d$, and $\mathbf{p}$ is an exterior point outside of $\mathbf{K}$, we say that ...
12
votes
4answers
404 views

Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...
4
votes
1answer
263 views

$K_0$ of integral group ring of cyclic group $\mathbb{Z}/p\mathbb{Z}$

Is there a table for the computation of $K_0(\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}])$? These groups are also known as ideal class group in number theory.In topology,they are the home of some important ...
21
votes
1answer
955 views

Homeomorphism historically: When did it reach its modern formulation?

Q. When did the notion of homeomorphism reach its modern formulation as a bicontinuous bijection, i.e., a continuous bijection between topological spaces whose inverse is also continuous? ...