**2**

votes

**0**answers

24 views

### Maximal TB number and slice genus relation of a knot in any 3-manifold

Lisca-Stipsicz say that if a knot $K\subset{S^{3}}$ satisfies $g_{s}(K)>{0}$ and $TB(K)=2g_{s}(K)-1$ then $S^{3}_r(K)$ carries positive, tight contact structures
for every ...

**8**

votes

**0**answers

79 views

### Is the restriction map for embeddings of manifolds with boundary a fibration?

Let $M$ and $W$ be smooth manifolds (possibly with boundary) and $V\subseteq W$ a submanifold. We have a map between embedding spaces
$$Emb(W,M)\rightarrow Emb(V,M)$$ given by restriction.
Richard ...

**9**

votes

**2**answers

266 views

### Stable homotopy groups of $RP^{\infty}$

Are the stable homotopy groups $\pi^s_i(\mathbb R P^{\infty})$ known for small $i$? In particular, I would be interested in the values for $i = 5,6$. A quick Internet search did not lead to anything.

**3**

votes

**0**answers

119 views

### A generalized ellipse

We know that an ellipse is the locus of all point $z$ in the plane with $$|z-a|+|z-b|=\lambda$$
where $a,b$ are two given points in the plane and $\lambda$ is a constant.
Now we consider the ...

**3**

votes

**1**answer

160 views

### Local product structure of determinantal variety

The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...

**7**

votes

**1**answer

108 views

### Admissibility in Heegaard Floer, especially with torsion Spin^c structures

I'm confused about the relationship between strong admissibility and weak admissibility for pointed diagrams in Heegaard Floer theory. For reference, here are Ozsváth-Szàbo's original definitions:
...

**7**

votes

**1**answer

124 views

### Simply connected noncompact surfaces

Is there a theorem saying that any noncompact, simply connected topological surface is homeomorphic to the plane ? There seems to be many well-known results about the classification of compact ...

**3**

votes

**0**answers

90 views

### Intersection patterns of loops on surfaces

Let $a,b$ be to simple closed loops on a surface $S$ with homologically trivial intersection (more generally I'm also interested in the case when $b$ is 1-codimensional). Denote their intersection on ...

**9**

votes

**3**answers

228 views

### Random links and $3$-manifolds

In Jeffrey Weeks book "The Shape of Space" he explaines at the end of Chapter 18 (on page 255) the following about the geometrization conjecture:
A non-trivial connected sum $M_1\# M_2$ admits a ...

**0**

votes

**0**answers

16 views

### Connected sum of two “same” Kleins bottles [migrated]

If I have two surfaces of Klein's bottle, K, given by edge words [a b- a- b-] and [a- b a b] what space do I get when I identify same edges. In other words, i have two same Klein's bottles that are ...

**0**

votes

**0**answers

37 views

**12**

votes

**1**answer

236 views

### Hyperbolic 3-manifold groups acting on the plane

Can the fundamental group of a closed hyperbolic 3-manifold act freely on the plane by homeomorphisms? Freely and cocompactly? Freely, cocompactly, and preserving orientation?

**-4**

votes

**1**answer

144 views

### Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]

Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)?
If so, please show me how to construct it.

**5**

votes

**1**answer

64 views

### stabilization of Legendrian knots

There are two ways to stabilize a Legendrian knot $k$ in standard contact sphere $(S^3,\xi_{st})$ i.e. adding right cusps or left cusps, let's call these two stabilized Legendrian knots $k_R$ and ...

**13**

votes

**0**answers

305 views

### pizza lemma (topology)

given six real-analytic arcs in the unit disk $D$, each of which
connects the origin to a boundary point, and no two arcs meet anywhere except
at the origin, and the arcs meet at equal (60 degree) ...

**1**

vote

**0**answers

131 views

### Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?

**1**

vote

**1**answer

85 views

### Existence of non-negative extensions of smooth functions on axes

I am struggling to solve an extension problem of smooth functions, and I would like someone to help me.
The setting is as follows:
Let $X_1$, $X_2$, and $T$ be either the real lines $\mathbb R$ or ...

**4**

votes

**1**answer

218 views

### Construction of invariants of 4-manifolds with the Kirby calculus

I'm an undergraduate student, interested in the low dimensional topology, in particular, the 4-manifold theory.
I have a question.
In the knot theory, the Reidemeister moves play fundamental roles.
...

**2**

votes

**0**answers

96 views

### Extra large spherical joins

If $X$ and $Y$ are piecewise spherical complexes, then their spherical join $X * Y$ is CAT(1) if and only of $X$ and $Y$ are CAT(1) (see the appendix of the first Charney-Davis paper below). One of ...

**0**

votes

**1**answer

159 views

### group actions on fibre bundles

Suppose that we have a group $G$ acting on the spaces $E$ and $B$. Suppose moreover that we have fibre bundles $\xi$ and $\eta$ in the following commutative diagram
If $\xi$ is a trivial bundle, ...

**3**

votes

**0**answers

92 views

### Uniform continuity of length function on geodesic currents

I'm starting to study geodesic currents and I have a question concerning uniform continuity.
Let's take $S$ a closed surface of genus $g$ and $GC(S)$ the space of geodesic currents on $S$ (as it is ...

**9**

votes

**1**answer

318 views

### Wild half-line in a Euclidean space

Is there an $m$-dimensional simplicial complex $S$ with the following properties:
The cone over $S$ is homeomorphic to $\mathbb{E}^{m+1}$. Here $\mathbb{E}^{m+1}$ denoes the $(m+1)$-dimensional ...

**3**

votes

**0**answers

136 views

### Are all finitely generated subgroups of SL2 LERF? [closed]

Let $H \leq \mathrm{SL}_2(\mathbb{R})$ be a finitely generated
subgroup. Must $H$ be LERF?
A group $H$ is said to be LERF (locally extended residually finite), or subgroup separable, if its ...

**1**

vote

**0**answers

78 views

### contact structure on double branched covers of $S^3$

We can assign a natural contact structure to double branched cover of a transverse knot $k$ in the $3$-sphere with its standard contact structure $(S^3,\xi_{st})$, as described ...

**5**

votes

**1**answer

108 views

### lower bound for Perron-Frobenius degree of a Perron number

A Perron number is an algebraic number which is greater than one in absolute value and is greater than all of its Galois conjugates in absolute value as well. Lind's theorem states that any Perron ...

**7**

votes

**1**answer

145 views

### Subgroups of the mapping class group of a surface generated by Dehn twists

Let $G$ be the mapping class group of a surface of genus $g > 1$. Is it known for which positive integer $k$ one can find a subgroup $H$ of $G$ generated by a finite number of Dehn twists and a ...

**8**

votes

**2**answers

193 views

### Quasi-isometric rigidity of Nil

Let $Nil$ be the unique simply connected non-abelian three-dimensional nilpotent Lie group, i.e. the group of upper triangular matrices with all the eigenvalues equal to 1 (this group is also known as ...

**13**

votes

**3**answers

588 views

### Classification of knots by geometrization theorem

I read this interview with Ian Agol, where he says:
"...I learned that Thurston’s geometrization theorem allowed a complete and practical classification of knots."
My question is:
How does ...

**5**

votes

**0**answers

70 views

### Survey of known results on equivariant transversality

Most basic differential topology theorems carry over to the equivariant case with mild modifications; see for instance Wasserman's paper. One thing that fails (more or less obviously) is equivariant ...

**3**

votes

**1**answer

127 views

### cohomology module of unit tangent vector bundles over spheres

Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration
$$
S^{m-1}\longrightarrow ...

**6**

votes

**2**answers

450 views

### quotient space of Eilenberg-MacLane space

Let $\pi$ be a group and $K(\pi,1)$ the Eilenberg-MacLane space. Let $G$ be a finite group acting on $K(\pi,1)$ such that the following is a covering map
$$
K(\pi,1)\longrightarrow K(\pi,1)/G.
$$
...

**4**

votes

**2**answers

239 views

### homotopy equivalence between configuration spaces

Let $M$ be a $m$-dimensional compact manifold without boundary and $W(M)$ the non-compact $CW$-complex obtained by glueing $[0,1)\times (0,1)^{m-1}$ to $M$, identifying the boundary ...

**2**

votes

**1**answer

198 views

### isotopy equivalence (topological meaning) between $CW$-complexes

Let $M$ and $N$ be $CW$-complexes.
Definition. (different from the isotopy notion in geometry of submanifolds). A (topological) isotopy is a fibre-wise continuous map
$$
F: M\times ...

**9**

votes

**1**answer

263 views

### embedding of quaternionic projective spaces

Let $\mathbb{H}P^m$ be the $m$-th quaternionic projective space. What is the smallest integer $N$ such that there exists an embedding
$$
\mathbb{H}P^2\longrightarrow \mathbb{R}^N?
$$
Are there any ...

**7**

votes

**1**answer

173 views

### homological 2 dimensional groups

In a Commentarii Mathematici Helvetici paper by Benno Eckman and Heinz Müller in 1980 (volume 50, pages 510-520) proved that poincaré Duality Groups of dimension 2 with positive first ...

**5**

votes

**1**answer

110 views

### Ascending surfaces in the 4-ball

Let the standard symplectic structure on $B^4$ (viewed in $\mathbb{R}^4$ or $\mathbb{C}^2$) be given by $\omega=(1/2) d \eta$, for
\begin{align*}
\eta &:=
x_1 \, dy_1 - y_1 \, dx_1 + x_2 \, ...

**13**

votes

**1**answer

226 views

### Which compact 3-manifolds with boundary embed in $\mathbb{S}^3.$

This is a more sensible (IMHO) restatement of this question:
Which Compact $3$-manifolds with boundaries embed in $\mathbb{S}^3?$ Is there any hope of a characterization?

**1**

vote

**0**answers

105 views

### cohomology ring of compact submanifolds of Euclidean spaces

Suppose we have a compact $m$-dimensional submanifold $M$ of $\mathbb{R}^N$ and we want to know the cohomology ring $H^*(M;\mathbb{Z})$.
Let $\epsilon>0$ and a $m$-dimensional finite simplicial ...

**14**

votes

**2**answers

330 views

### Can an oriented closed $n(\geq 2)$-dimensional manifold be embedded in $\mathbb{R^{2n-1}}$

Can anyone provide me an example of an orientable closed manifold $M$ of dimension $n\geq 2$, which cannot be embedded in $\mathbb R^{2n-1}$?
I know this is certainly not true when $n=1$, i.e. ...

**1**

vote

**1**answer

145 views

### torsion part of the cohomology module of configuration spaces of manifolds

Let $M$ be a manifold and $C_n(M)$ the $n$-th unordered configuration space consisting of unordered $n$-tuples of distinct points in $M$. The mod $p$ homology module, $p$ prime, and the rational ...

**3**

votes

**1**answer

84 views

### self-Whitney sum of the canonical vector bundle on Grassmannians

Let $G_{k}(\mathbb{R}^N)$ be the Grassmannian manifold consisting of $k$-subspaces in $\mathbb{R}^N$. There is a canonical $k$-dimensional vector bundle
$$
\gamma_{k,N}: \mathbb{R}^k\longrightarrow ...

**3**

votes

**0**answers

124 views

### Finiteness for 2-dimensional contractible complexes

While thinking about graph-complex and related operadic stuff, I found a quite interesting (at least for me) question. However, I'm a novice in the algebraic topology, so I'm unable to resolve it by ...

**2**

votes

**1**answer

50 views

### Complexity of recognizing equivalent translation surfaces

"A translation surface is a union of polygons with pairs of parallel edges identified by translation, up to cut and paste equivalence."
I take that succinct (and not fully precise) definition ...

**3**

votes

**0**answers

98 views

### Constructing a “nice” cobordism

Denote by $\Sigma_g$ the closed, orientable surface of genus $g$. I want to construct a cobordism $M_g$ between $\Sigma_g$ and $\Sigma_{g+1}$ with the following two nice properties:
1) $M_g$ is an ...

**5**

votes

**2**answers

201 views

### Poisson structures on non-smooth manifolds with singularities

It's very known how we can describe a Poisson structure on a manifold $M$, where $M$ is a smooth manifold, but what about a Non-smooth manifold with singularities? In section $(2)$ of the paper The ...

**3**

votes

**1**answer

124 views

### contact surgery diagram on Brieskorn manifolds

For the Brieskorn manifold $\Sigma(p,q,r)=\{z_1^p+z_2^q+z_3^r=0\} \cap S^5 \subset C^3$, replacing zero with $\epsilon$ in the above, realizes $\Sigma$ as boundary of a Stein domain which induces a ...

**2**

votes

**1**answer

113 views

### Under which conditions is it possible to find points with same distances under bi-Lipschitz map [closed]

Given two metric spaces $(X,d_X), (Y, d_Y)$, a bi-Lipschitz map $f:X \to Y$ and a finite set of points $\{x_1, \ldots, x_n\} \in X$. Consider in addition, that $X$ is a vector space over $\mathbb{R}$, ...

**0**

votes

**0**answers

66 views

### Rigidity of lower-dimensional lattices in Euclidean groups

Informal intro / motivation:
Suppose I have an infinite set of atoms arranged in a 2D periodic crystalline "sheet". By crystalline I simply mean that it is preserved by the action of integer linear ...

**23**

votes

**2**answers

494 views

### Can one deform an immersion of a 3-manifold in $\mathbb R^4$ to an embedding in $\mathbb R^6$?

Let $M^3$ be an oriented 3-manifold, and let $f:M^3\looparrowright \mathbb R^4$ be a codimension one immersion. Is it possible to find a small deformation of the composite map
$$
M^3 \to \mathbb R^4 ...

**7**

votes

**1**answer

397 views

### A conjecture of Cheeger about intersection cohomology and $L^2$- cohomology

Let $X$ be a projective variety and let $D$ be a simple normal
crossings divisor on $X$
Does $$IH^*(X;\mathbb C)\cong H_{(2)}^*(X\setminus D;\mathbb C)$$ hold
true for each Kähler metric ...