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

5
votes
2answers
122 views

Are there infinitely many commensurable classes of finite-covolume hyperbolic Coxeter groups?

Allcock(2006) proved that there are infinitely many finite-covolume (resp. cocompact) Coxeter groups acting on hyperbolic space $H^n$ for every $n\le 19$ (resp. $n\le 6$). His main technique of ...
6
votes
2answers
304 views

Vector bundle for prescribed Stiefel-Whitney classes

I hope this is not trivial. Let $B$ be a nice topological space (paracompact, CW-complex or whatever you think is nice) For $i=1,\ldots,n$ let $x_i \in H^i(B,\mathbb{Z}_2)$ be certain cohomology ...
0
votes
0answers
84 views

Manifolds supporting finite order diffeomorphisms (a local construction?)

The following question is mainly inspired by this previous one Which manifolds admit a diffeomorphism of order $n$? and some answers given there. For $d\geq 2$, let $\mathbb{B}^d$ denote the closed ...
2
votes
1answer
125 views

Meaning of “ Open Book cannot be Stabilized Further”?

I'm going over some old notes on Giroux's theorem on the equivalence ( bijection, actually) between open books ( up to positive stabilization) for 3-manifolds and contact structures ( up to isotopy.) ...
1
vote
0answers
74 views

The relations between some 3-components links and trefoil knots

It is intuitive to see that the 3-components links (under Alexander–Briggs notations) $6^3_1, 6^3_2, 6^3_3$ are closely related to each other; in a sense by doing a cut-gluing or sew-gluing surgery, ...
6
votes
0answers
75 views

When were bordered Heegaard Floer homology's DA bimodules invented?

This is less of a strictly mathematical question and more of a reference request. In their paper "Bordered Heegaard Floer Homology (http://arxiv.org/pdf/0810.0687.pdf)," Lipshitz-Ozsvath-Thurston ...
3
votes
0answers
71 views

Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...
9
votes
1answer
193 views

Immersions of $n$-manifolds in $\mathbb{R}^n$ versus embeddings in $\mathbb{R}^{n+1}$

Let $M$ be a connected noncompact parallelisable smooth $n$-manifold. (By Hirsch-Smale theory, $M$ can be immersed into $\mathbb{R}^n$.) I am interested in the following two properties: P1: $M$ can ...
5
votes
1answer
250 views

Finite group acting on sphere

Let $G$ be a finite abelian group (of odd order if it's significant) acting on sphere $S^2\subset\mathbb{R}^3$. So my question: is it true that $G$ has a fixed point?
3
votes
1answer
111 views

In H_2 of Sp(2g,Z), why does Meyer's signature cocycle give 4 times a generator?

Fix some $g \geq 2$, let $\Gamma_g$ be the mapping class group of a genus $g$ surface, and let $\pi : \Gamma_g \rightarrow Sp(2g,\mathbb{Z})$ be the projection. In Meyer, Werner Die Signatur von ...
1
vote
0answers
47 views

Rotation orientations in n-dimensions [migrated]

I'm doing a change of variables that involves doing simple rotations on the standard basis vectors in R^n, and I'm wondering what the standard orientations are in n dimensions are and why. For ...
6
votes
2answers
94 views

On trivalent spines of surfaces

Let $\Sigma$ be a surface with non-empty boundary labelled by finitely many points $x_i$. For our purposes a spine $s$ for $\Sigma$ is a uni-trivalent graph embedded in $\Sigma$ whose 1-vertices are ...
1
vote
0answers
126 views

Does there exist any subspace of R^n, homeomorhic to a manifold but not a C^0 submanifold of R^n?

At first I thought that if a subspace of $\mathbb{R}^n$ is homeomorphic to a manifold, then it is a $C^0$ submanifold of $\mathbb{R}^n$. But I found an asterisked exercise in the book Differential ...
8
votes
2answers
331 views

Covering the space by disjoint unit circles

Sierpinski has proved the following two interesting theorems. Theorem 1. The Euclidean plane $\mathbb{R}^2$ is not a union of nondegenerate disjoint circles. Theorem 2. The Euclidean space ...
10
votes
1answer
233 views

Are the mapping class groups of manifolds finitely presentable?

The mapping class group of a manifold is the group $\pi_0 Diff(M)$ of components of the diffeomorphism group. There are several variations: oriented manifolds and orientation preserving ...
12
votes
2answers
512 views

Low dimensional topological manifolds

There is a well known result that every one dimensional topological manifold without boundary is homeomorphic either to the circle or to the whole real line. However there is one detail hidden: ...
3
votes
1answer
114 views

Comparing Contact Structures: What do we Mean when we Say that two Contact Structures are Homotopic/Eliashbergs Class. of OT structures

Please forgive me if this is too simple for MO; most of my posts on anything contact-structure-related in Math Stack, other sites, have barely received answers (maybe because I'm not an expert in the ...
7
votes
1answer
121 views

Hakenness of Heegard splitting

This is somewhat related to this previous quesiton. Suppose I give you a Heegard splitting of $M^3$ of genus $g$ with a gluing map $\phi.$ Is there some condition on $\phi$ which would guarantee that ...
6
votes
0answers
142 views

Linked circles in R3

Two circles in 3-D are linked iff each one passes through the interior of the other. There are $N$ points in 3-D in general position (no four lie on a plane). Each triple of points defines a unique ...
8
votes
1answer
255 views

Must a closed totally path-disconnected subset of the sphere have connected complement?

This question (which is more a curiosity than a research problem) originates from these two: ...
3
votes
0answers
153 views

Transversality in Bourgeois Oancea's non-equivariant contact homology

In their paper, "AN EXACT SEQUENCE FOR CONTACT- AND SYMPLECTIC HOMOLOGY", Bourgeois and Oancea defined, whenever there is sufficient transversality, a "non-equivariant contact homology". Essentially, ...
6
votes
1answer
481 views

How can gauge theory techniques be useful to study when topological manifolds can be triangulated?

I was reading a review article arXiv:1310.7644 and it was explained there that in the last few years it was proven that there are topological manifolds of dimension greater than four that cannot be ...
2
votes
1answer
144 views

Surface curves equidistant from a simple closed geodesic

Let $S \subset \mathbb{R}^3$ be a surface embedded in $\mathbb{R}^3$, let's say (to keep it simple) of genus zero. Let $\gamma$ be a simple, closed, oriented geodesic on $S$. Because $\gamma$ is ...
0
votes
0answers
54 views

Suitable references for Zappa-Szep products of groups

Can anyone provide references for the following: isoperimetric (Dehn) functions of semi-direct products of groups and, more generally, of Zappa-Szep products of groups?
0
votes
0answers
29 views

definition of an avatar of a tree-automorphism group

Would anyone be able to show me where I can read about what the avatar of a tree-automorphism group is? This is so that I can understand Pierre-Emmanuel Caprace's article "Simple locally compact ...
5
votes
1answer
123 views

Do we get a instanton $S^{3}$ if we do $1/n$ surgery on a knot in $S^{3}$?

Consider the following question: If $K\subset S^{3}$ is a nontrivial knot. Let $Y$ be the manifold obtained by doing $1/n$-surgery ($n\geq1$). Is it possible that the instanton Floer homology of $Y$ ...
2
votes
0answers
125 views

Canonical trivialization of Stiefel-Whitney classes on the frame bundle

Let $X$ be a smooth manifold, perhaps oriented if necessary. The frame bundle $\pi:P \to X$ carries a canonical trivialization of the pullback of the tangent bundle of $X$ and thus a canonical ...
2
votes
0answers
98 views

when is an irreducible SL_2(C) representation of a cusped hyperbolic 3-manifold scheme reduced or smooth

Let $M$ be an orientable cusped hyperbolic 3-manifold. Let $\rho \in hom(\pi_1(M),SL_2(\mathbb{C}))$ be an irreducible representation. Is $\rho$ scheme reduced ? What can prevent $\rho$ from being ...
4
votes
1answer
205 views

Subgroups of Gromov's hyperbolic groups

It's known that subgroups of Gromov's hyperbolic groups are not necessarily hyperbolic. Is there any counter-example when the quotient is Abelian. More precisely, let $G$ be a Gromov's hyperbolic ...
2
votes
0answers
103 views

Cylinder isotopy relative to its bases

Is n-times twisted cylinder isotopic to 0-times twisted cylinder relative to its bases? (I hope I got the terms right) That is, is it possible to twist (stretching, bending etc. is allowed) a cylinder ...
5
votes
1answer
99 views

References to proofs of a theorem by Van Kampen-Flores

Theorem (Van Kampen-Flores 1930s) From any 7 points in four-dimensional space one can choose two disjoint triples such that the triangles with vertices at the triples intersect each other. This ...
14
votes
1answer
354 views

Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if it's commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...
0
votes
0answers
85 views

Help understanding a proof in Stallings' Triangle of Groups paper

I'm trying to understand the proof of theorem 1 in Stalling's Non-positively Curved Triangle of Groups. I have specific questions, but is there anywhere someone has written out the proof in more ...
0
votes
0answers
67 views

moduli space of equivariant holomorphic embeddings into the quintic

I'd like to understand better the following problem, whether it is mathematically well-posed, trivial, etc. Fix a non-negative integer $g$ and consider the space ...
2
votes
1answer
218 views

undergraduate handle decomposition. Reference

As the title says, I'm searching for a nice textbook for introducing the theory of handle decomposition of manifolds to undergraduate students.
3
votes
0answers
111 views

Lie Group Isomorphisms

I'm not sure of the difficulty of the question I'm about to ask. If it does not fit the criteria for this site then I apologize in advance, I'm rather new here. So here it goes: Let $G$ be a Lie ...
3
votes
1answer
69 views

Transfinite sequence of contiguous simplicial maps

Recall that two simplicial maps of (abstract) simplicial complexes $f,g\colon K\to L$ are contiguous if $f(\sigma)\cup g(\sigma)$ is a simplex of $L$ for every simplex $\sigma\in K$. Contiguous ...
4
votes
0answers
95 views

Does every null-homologous surface bound, part deux

This is a follow-up to this question, and Mark Grant's excellent answer. The answer shows that the answer is yes, but what if one were under a strange compunction to actually construct the submanifold ...
3
votes
1answer
101 views

0-homologous surface bounds

Given a map $f : S \to M^4$ from a compact closed not necessarily connected oriented surface to a compact oriented 4-manifold, such that $f_*([S])$ is zero in $H_2(M)$, is there a compact oriented ...
9
votes
0answers
89 views

Wanted: a nontrivial weakly inadmissible Heegaard diagram

This is a question asked by a student in my lecture. After drawing pictures for awhile, I thought it was a good one. I seek a nontrivial example of a pointed Heegaard diagram ...
0
votes
0answers
30 views

Finding the lift of a curve under some assumptions

Let $f:\Omega\subseteq\mathbb{R}^n\to\mathbb{R}^n$ be a Lipschitz function and $h$ be a vector in $\Omega$. Assume that $0\in\Omega$ and $f(0) = 0$. Also, let $\sigma:[0,1]\to\mathbb{R}^n$ be the ...
3
votes
1answer
147 views

Immersed Seifert surfaces of minimal genus

Let $K\subset S^3$ be a knot. We denote by $X=S^3\setminus \nu K$ the knot exterior, i.e. the complement of an open tubular neighborhood of $K$. An immersed Seifert surface for a knot $K$ is an ...
15
votes
2answers
397 views

Does a small-area sphere in a 3-manifold bound a small ball?

Let $M$ be a closed riemannian 3-manifold. I think that the following fact should be true and should have a relatively simple proof, but I cannot figure it out. For every $\varepsilon>0$ there ...
0
votes
1answer
110 views

from Dehn twists to surgery diagram [closed]

Assume the relation $(ab)^6=1$, for $a$ and $b$ Dehn twists about the meridian and the longitude of a torus. Now if we glue the two ends of $T\times I$ together by either the diffeomorphism $(ab)^6$ ...
2
votes
0answers
142 views

What kinds of manifolds admit non-vanishing vector fields defining convergent congruences?

One of the corollaries of the Poincaré–Hopf index theorem is that a closed, connected manifold $M$ admits non-vanishing vector fields iff its Euler characteristic is zero; i.e. $\chi(M) = 0$. I am ...
2
votes
2answers
85 views

Graph embedding in 3D grid minimizing edge length

I know that arbitrary graphs can be embedded trivially in $\mathbb{R^3}$ and that planar graphs can be drawn on a plane using Schnyder's grid embedding algorithm after triangulation. And then there is ...
8
votes
2answers
201 views

The boundary of a domain whose interior is diffeomorphic to the ball

We know that there are compact manifolds with diffeomorphic interiors but their boundaries are not homeomorphic (see the question Manifolds with homeomorphic interiors). My question is about a very ...
5
votes
1answer
185 views

Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...
10
votes
0answers
158 views

Fox re-imbedding theorem in dimension four

Fox re-imbedding theorem states the following: A compact 3-manifold $M$ with boundary that embeds in the three-sphere $S^3$, can be re-imbedded in $S^3$ so that its complement is a union of ...
1
vote
1answer
103 views

Clarification of Gabai's exposition of Murasugi Sums in 'the Murasugi sum is a natural geometric operation'

Gabai states that the Murasugi sum of two hopf bands yields a spanning surface of either the figure eight knot, the trefoil knot or a link of three components. Figure one shows two oppositely twisted ...