**0**

votes

**0**answers

27 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

**1**answer

204 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

**2**answers

282 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

**1**answer

119 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

**1**answer

74 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

**1**answer

189 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

**1**answer

97 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

**0**answers

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

**1**answer

138 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

**2**answers

190 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

**2**answers

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

**0**answers

97 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

**1**answer

82 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

**1**answer

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

**1**answer

88 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

**0**answers

71 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

**1**answer

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

**1**answer

237 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

**1**answer

992 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

**1**answer

134 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

**1**answer

236 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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

84 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

**0**answers

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

**2**answers

205 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

**1**answer

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

**1**answer

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

**1**answer

123 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

**1**answer

117 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

**2**answers

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

**1**answer

256 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

**2**answers

373 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

**2**answers

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

**2**answers

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

**1**answer

190 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

**0**answers

310 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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

185 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

**1**answer

96 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

**1**answer

118 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

**1**answer

116 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

**2**answers

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

**4**answers

402 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

**1**answer

262 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

**1**answer

954 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?
...

**3**

votes

**1**answer

134 views

### Chern-Simons invariants of 2-bridge knots

2-bridge links $L(p/q)$ are described by the continuous fraction expansion $\frac{p}{q}=\left[a_1,a_2,\ldots,a_n\right]$, where the $a_i$ are the numbers of twists in the boxes below:
Looking at ...