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

learn more… | top users | synonyms (1)

2
votes
1answer
25 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
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 ...
12
votes
9answers
2k views

Orbifold fundamental group in terms of loops?

In chapter 13 in his notes on 3-manifolds, Thurston defines the orbifold fundamental group to be the group of deck transformations of the universal cover of the orbifold. He also makes a statement ...
7
votes
0answers
146 views

Translation of Haken's paper “Theorie der Normalflächen”

Haken's paper "Theorie der Normalflächen" is one of the formative papers in the development of normal surface theory and provides an algorithm for detecting the unknot. While there are now a variety ...
0
votes
0answers
23 views
12
votes
1answer
227 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
1answer
140 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.
1
vote
1answer
82 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 ...
3
votes
1answer
121 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 ...
5
votes
1answer
58 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
0answers
299 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
128 views
4
votes
1answer
212 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. ...
8
votes
2answers
188 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 ...
2
votes
0answers
241 views

Fixed points of self maps

Given $m$ points on $S^n$, is there an explicit polynomial self $1-1$ map of minimum degree $f:S^n\rightarrow S^n$ that fixes only these $m$ points? Can we say something about symmetry group of $f$ if ...
2
votes
0answers
80 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
150 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
0answers
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
1answer
316 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 ...
7
votes
1answer
395 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 ...
3
votes
0answers
135 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 ...
7
votes
1answer
143 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 ...
10
votes
3answers
359 views

When a compact topological manifold with boundary is a ball?

Let $X$ be a compact topological manifold with boundary. Suppose its interior is homeomorphic to $\mathbb{R}^n$. Is $X$ homeomorphic to a (closed) ball? Context: I want to show that a certain ...
1
vote
0answers
77 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
1answer
105 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 ...
13
votes
3answers
581 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 ...
4
votes
2answers
1k views

A question about Marsden-Weinstein reduction theory

Let $G$ be a compact Lie group and $\frak g$ be its Lie algebra. Then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J \colon M\to \frak g^*$ be its moment map then the ...
3
votes
1answer
122 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 ...
5
votes
0answers
68 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 ...
28
votes
1answer
4k views

Math and Wormholes

Hopefully, MathOverflow is the correct place for this. I had a student approach me and ask me what kinds of mathematics goes into the study of wormholes. She specifically asked whether there is any ...
6
votes
2answers
442 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. $$ ...
10
votes
3answers
488 views

Algorithm for detecting ribbon or slice links?

A link in $S^3$ is said to be slice if it bounds a collection of flat disks into the $4$-ball. Here "flat," means that there is a (locally) trivial normal bundle. This condition can be strengthened to ...
9
votes
1answer
176 views

Inducing up the group homomorphism between mapping class groups

There are many ways to embed the braid group into the mapping class group of a surface. To describe one of them, let ${C}_{2g+2}(\mathbb{D}^2)$ be the configuration of unordered $2g+2$ points in the ...
2
votes
1answer
197 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 ...
4
votes
2answers
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 ...
7
votes
1answer
172 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 ...
9
votes
1answer
262 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 ...
8
votes
1answer
223 views

A forked plane continuum

I came up with this question while trying to solve the following MO one: Does every connected set that is not a line segment cross some dyadic square? Suppose $C$ is a plane continuum (i.e. a ...
5
votes
1answer
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
1answer
225 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?
112
votes
27answers
46k views

Intuitive crutches for higher dimensional thinking

I once heard a joke (not a great one I'll admit...) about higher dimensional thinking that went as follows- An engineer, a physicist, and a mathematician are discussing how to visualise four ...
1
vote
0answers
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
2answers
328 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
1answer
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 ...
20
votes
2answers
2k views

Does this approach for the Poincaré conjecture work?

Several months ago a paper was posted at http://arxiv.org/abs/1001.4164 called "Another way of answering Henri Poincaré's fundamental question." The author gave a talk on it today at my institution. ...
10
votes
1answer
261 views

Growth of Poincaré duality groups

Can one prove that Poincaré duality groups cannot have intermediate growth?
16
votes
0answers
445 views

What is the determinant of Poincaré duality?

For a complex $C^{\bullet}$ of finite dimensional vector spaces, one has a determinant $$|C^\bullet|:= \bigotimes \left(\Lambda^{top} C^i\right)^{(-1)^i}$$ functorial with respect to ...
9
votes
4answers
1k views

Poincaré dodecahedron space

The Poincaré homology sphere $X$ is constructed by identifying opposite faces of a dodecahedron by a (clockwise) twist of 36 degree. Many books say its fundamental group $\pi_1(X)$ is the binary ...
3
votes
2answers
1k views

Poincare duality

I am reading the proof of Theorem Poincaré duality in "principles in AG" of Griffith. They constructed "dual cell decomposition" of a polyhedra decomposition of manifold $M$ and the cochain complex ...
2
votes
1answer
908 views

Thom's result and Poincaré duality

I am interested in singularity theory by topology. I want to understand following results. $f$ is a smooth map of a closed surface $M$ which has only fold points and cusps as its singularities. ...