# Tagged Questions

**-2**

votes

**0**answers

23 views

### Determining the inside and outside of planar graphs by means of ray shooting [on hold]

Consider an embedding of a circle in the plane $\mathbb{R}^2$ splitting the plane into an outside and inside region (Jordan-Brouwer). Consider next a point $p$ in the plane.
A standard procedure for ...

**4**

votes

**0**answers

40 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

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

**0**

votes

**0**answers

53 views

### tessellation of an arbitrary shape

Is there any shapes that we can tessellate any plane shapes (with arbitrary shapes) by them? i.e. if I generate a random shape, how can I tessellate by some shapes?

**5**

votes

**0**answers

137 views

+50

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

**5**

votes

**2**answers

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

**0**

votes

**0**answers

204 views

### Whitehead group [closed]

Whitehead group (WG) is known for some groups (e.g. free abelian group, cyclic group, Braid group etc).
For example:
The Whitehead group of the trivial group is trivial.
The Whitehead group of a ...

**5**

votes

**1**answer

166 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

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

149 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

157 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

92 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

163 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

284 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

88 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

206 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

76 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

159 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

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

**35**

votes

**0**answers

364 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

293 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

82 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

290 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

116 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

131 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

39 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

96 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

38 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

275 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

387 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

134 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

100 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

219 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

142 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

208 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

211 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

233 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

117 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

91 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

151 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

100 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

89 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

157 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

255 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

178 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

240 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

146 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

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