**1**

vote

**1**answer

114 views

### Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...

**5**

votes

**0**answers

69 views

### Complements of unknotted tori (higher dimensions)

It is weil-known that an unknotted 2-torus in $S^3$ provides the standard Heegaard splitting, in particular its complement consists of two solid tori.
It is also known that an unknotted 3-torus in ...

**5**

votes

**1**answer

186 views

### Hyperbolic knot complement groups and relative dimension

Let $G$ be a the fundamental group of a hyperbolic knot complement.
Then $G$ is hyperbolic relative to a subgroup $P\cong \mathbb Z \oplus \mathbb Z$.
The knot complement has a $2$-dimensional spine ...

**5**

votes

**0**answers

177 views

### How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence
$\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...

**7**

votes

**2**answers

189 views

### What is the easiest way to compute Ozsváth-Szabó tau invariant of a knot?

Suppose that we have a knot $K$ with 40 crossings which is not a cable knot or an alternating knot.
Then, what is the easiest way to compute Ozsváth-Szabó's invariant $\tau(K)$?
Are there any ...

**7**

votes

**1**answer

201 views

### Can a 3-ball divide a standard 4-ball into two exotic 4-balls?

Let $B^n$ denote the unit ball in $\mathbb{R}^n$ (wrt the standard euclidean metric) and $\bar{B}^n$ denote the unit closed ball. Suppose that $\Sigma$ is a a smooth embedded hypersurface with ...

**3**

votes

**1**answer

89 views

### Involution on the set of isomorphism classes of 2n-dimensional vector bundles induced by an involution of $O(2n)$

Denote by $\varphi$ the automorphism of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$.This induces a self-map $B\varphi$ of $BO(n)$, so it induces a self-map (actually an involution)
$B\varphi ^*$ on ...

**5**

votes

**1**answer

181 views

### Can a homology $n-1$-sphere divide $\mathbb{S}^{n}$ into non-contractible components?

This is a follow-up to my earlier question.
Let $\Sigma\subset \mathbb{S}^{n}$ be a hypersurface -- here $\mathbb{S}^{n}$ is a smooth sphere (possibly exotic ... if this makes a difference). If ...

**4**

votes

**1**answer

166 views

### Topology of hypersurface of sphere fixed by homeomorphic involution

I'm not an topologist, so I apologize in advance if this is a silly question.
I have the following situation, let $\mathbb{S}^n$ (for $n\geq 3$) be the standard (smooth if it matters) $n$-sphere and ...

**8**

votes

**0**answers

177 views

### Simplices and cubes

Question: What is the first appearance in the literature of one of the
following statements:
The result of intersecting a simplex with a cell of the dual
subdivision is a cube
There ...

**5**

votes

**0**answers

104 views

### Framed singular knots

I've recently run across what one might (and I suspect people probably do) call framed singular knots, or maybe singular ribbon knots. Regardless of the name, what I mean is the following: Let $D$ be ...

**4**

votes

**2**answers

186 views

### Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology

Let $M,N,X$ be smooth manifolds. Equip the space of smooth functions between two manifolds with the (strong) Whitney- $\mathcal{C}^\infty$-topology.
The evaluation map $$ev\colon ...

**7**

votes

**1**answer

294 views

### Z/p action on finite contractible complex

Let $p$ be a prime and $X$ a finite contractible CW-complex. Assume $\mathbb Z/p$ acts on $X$. Then it is easy to see that there has to be a fixed point. (E.g. use Lefschetz's fixed point theorem or ...

**6**

votes

**1**answer

95 views

### Reference for a PL flat torus embedding in $\mathbb{R}^3$

A piecewise linear flat torus embedded in $\mathbb{R}^3$ is shown at http://www.mathcurve.com/polyedres/toreplat/toreplat.shtml.
It is flat in the sense that the angle defect at the vertices is zero.
...

**3**

votes

**1**answer

245 views

### Simple proof for property R conjecture

Gabai's property R theorem is:
If the 0-surgery manifold of a knot $K$ is homeomorphic to $S^1\times S^2$, then $K$ is the unknot.
Recently, 3-manifold topology has been developed rapidly by Agol, ...

**0**

votes

**0**answers

86 views

### Codimension one embeddings

For smooth knots in $S^3$ "isotopy" and "ambient isotopy" are equivalent (although this is not true in the topological category). I guess that therefore also for tori in $S^3$ "isotopy" and "ambient ...

**13**

votes

**1**answer

174 views

### Three-manifolds having a Reebless foliation but not a taut one

A straightforward argument reveals that a taut foliation is Reebless, and of course there are many examples of Reebless foliations that are not taut. I guess that there are many examples of ...

**7**

votes

**2**answers

197 views

### Automorphism of genus 2 surface with 5 fixed points

Is there a self-homeomorphism of a genus 2 (closed, orientable) surface, which has finite order and exactly 5 fixed points?
Of course, the same question can be asked replacing 2 by $g$ and $5$ by any ...

**36**

votes

**0**answers

397 views

### Topological cobordisms between smooth manifolds

Wall has calculated enough about the cobordism ring of oriented smooth manifolds that we know that two oriented smooth manifolds are oriented cobordant if and only if they have the same ...

**4**

votes

**1**answer

294 views

### Cone structures on $\mathbb R^n$

We know that we can put two different structures on $\mathbb R^5$ in the topological category. First is $C(S^{4})$ and second is $C(\Sigma X^3)$, where $X^3$ is a homology sphere and $C(\cdot)$ stands ...

**0**

votes

**0**answers

88 views

### Mapping theorem in higher dimensions

The Riemann mapping theorem states that given any two simply connected open domains $A$ and $B$ of $\mathbb C$ that are neither empty nor equal to $\mathbb C$, there exists a unique (up to ...

**6**

votes

**1**answer

336 views

### Introductory article of knot Heegaard Floer Homology

I am looking for some article that gives an introduction to Heegaard Floer homology of knot.
I heard that it is very useful to determine the unknotting number of a knot, but I couldn't find any ...

**0**

votes

**0**answers

117 views

### There is no quasiregular diffeomorphism from punctured ball into ring (on the plane)

The idea is to use l2 cohomology as a quasiregular map invariant.
It is easy to see that there are closed 1-forms on the ring which are not exact, but it occures that every closed l2-form
$f_1(x,y)dx ...

**4**

votes

**0**answers

136 views

### Contractibility of regular CW sphere minus open star

Let $S$ be any regular CW decomposition of (a space homeomorphic to) the $n$-sphere, and consider a cell $\sigma$ of dimension $d \in \{0,\ldots,n\}$. Let $S'$ be the regular CW complex which remains ...

**1**

vote

**0**answers

42 views

### Symmetry conjecture for minimal dilatation pseudo Anosov mapping classes

The conjecture is something like the following:
The minimal dilatation among pseudo-Anosov mapping classes on a surface $S_{g,n}$ is realized by $\rho\circ\omega$ where $\omega$ is supported on a ...

**2**

votes

**0**answers

103 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

**0**answers

39 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 ...

**6**

votes

**1**answer

291 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 ...

**5**

votes

**3**answers

408 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

137 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

112 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

227 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

182 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 ...

**3**

votes

**1**answer

220 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

227 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

241 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 ...

**9**

votes

**0**answers

139 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 ...

**0**

votes

**1**answer

99 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

157 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 ...

**3**

votes

**1**answer

105 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 ...

**9**

votes

**0**answers

105 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

158 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 ...

**7**

votes

**1**answer

270 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

1k 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

183 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

244 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

147 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

137 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

238 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

94 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 ...