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 manifolds,...

learn more… | top users | synonyms (1)

3
votes
0answers
106 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 $...
0
votes
0answers
34 views

Approximation of a volume-preserving Hölder homeomorphism by diffeomorphisms?

Is it known whether a volume-preserving Hölder homeomorphism of an arbitrary manifold can be approximated by a volume-preserving diffeomorphism? The answer is clearly no if the volume-preserving ...
10
votes
3answers
302 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
0answers
45 views

Asymptotic dimension of Bicombable groups

Do Bicombable Groups have finite asymptotic dimension?
12
votes
1answer
261 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?
-3
votes
1answer
175 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
1answer
92 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 $k_{...
14
votes
0answers
327 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
0answers
139 views

Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?
2
votes
1answer
109 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 ...
6
votes
1answer
286 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
0answers
172 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
1answer
169 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, i.e....
3
votes
0answers
119 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 ...
10
votes
1answer
336 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
0answers
148 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
0answers
100 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 in:http://arxiv.org/pdf/...
5
votes
1answer
139 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
1answer
170 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
2answers
227 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
3answers
680 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 ...
6
votes
0answers
93 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
1answer
146 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 \tau(S^m)\...
6
votes
2answers
518 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
2answers
255 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 $\{0\}\times(0,1)^{...
2
votes
1answer
206 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 [0,1]\...
9
votes
1answer
272 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
1answer
181 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
1answer
120 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 \, ...
12
votes
1answer
234 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
0answers
108 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
2answers
376 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. $S^1$....
1
vote
1answer
161 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
1answer
91 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 E(...
3
votes
0answers
130 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
1answer
53 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 from a ...
3
votes
1answer
128 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
2answers
213 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 ...
4
votes
1answer
163 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
1answer
115 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
0answers
69 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 ...
24
votes
2answers
535 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
1answer
430 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 on $...
19
votes
0answers
213 views

“High-concept” explanation for proof of a theorem of Ochanine?

See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here. Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...
4
votes
2answers
206 views

Is the following 3-manifold always a trivial I-bundle over a surface?

Let $M$ be a compact, orientable and irreducible 3-manifold with with boundary consisting of two incompressible components $N_0,N_1$, with $N_i \stackrel{f_i}{\cong} S_g$ for some diffeomorphism $f_i:...
13
votes
1answer
288 views

Exotic line arrangements

I would like to discuss the following problem. Hopefully, you will suggest to me some ideas and bibliography. At first I will provide some basic definitions to set up the notation. Let us consider ...
3
votes
2answers
131 views

f vectors of simplicial complexes homeomorphic to n dimensional spheres

In dimension 2, the euler poincare formula restricts the incidence properties of edges in a triangulation of a surface. Are there analogous generalizations for higher dimensions, like elaborations ...
4
votes
2answers
430 views

Thurston geometries---the geometry of the universal cover of $SL(2, \mathbb{R})$

In one of the eight Thurston geometries there is the geometry of the universal cover of $SL(2, \mathbb{R})$. But from the algebraic point of view $PSL(2,\mathbb{R})$ is sufficient for building 3-...
6
votes
1answer
312 views

Parameterization of a knotted surface?

I'm looking for a parameterization $(x_1(u,v),x_2(u,v),x_3(u,v),x_4(u,v))$ of a knotted sphere in $\mathbb R^4$. How might one go about finding such a parameterization?
21
votes
3answers
843 views

What are the implications of the simple loop conjecture?

Drew Zemke recently posted a preprint on arXiv proving the Simple Loop Conjecture for 3-manifolds modeled on Sol. Simple Loop Conjecture: Consider a 2-sided immersion $F\colon\, \Sigma\rightarrow M$...