**5**

votes

**0**answers

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

**0**

votes

**0**answers

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

**7**

votes

**1**answer

113 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

**1**answer

221 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

**1**answer

104 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

**0**answers

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

**5**

votes

**2**answers

86 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

**0**answers

121 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

**2**answers

326 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

**1**answer

222 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

**2**answers

496 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

**1**answer

104 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

**1**answer

114 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

**0**answers

141 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

**1**answer

249 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

**0**answers

149 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

**1**answer

472 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

**1**answer

141 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

**0**answers

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

**0**answers

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

**4**

votes

**1**answer

118 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

**0**answers

122 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

**0**answers

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

**1**answer

204 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

**0**answers

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

**2**

votes

**0**answers

206 views

### Fundamental group of a Cayley graph [migrated]

Could someone please indicate the proof of the following fact (I believe strongly, but I am not sure, that this is true). Let $F$ be a free group of finite rank, $N<F$ a normal subgroup and ...

**5**

votes

**1**answer

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

**1**answer

353 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

**0**answers

82 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

**0**answers

66 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

**1**answer

214 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

**0**answers

109 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

**1**answer

68 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

**0**answers

94 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

**1**answer

99 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

**0**answers

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

**0**answers

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

**1**answer

142 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

**2**answers

396 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

**1**answer

109 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

**0**answers

138 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

**2**answers

79 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

**2**answers

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

**4**

votes

**1**answer

182 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

**0**answers

155 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

**1**answer

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

**2**

votes

**1**answer

89 views

### Ray-Singer torsion of compact 3-manifolds with finite abelian fundamental group

Is the Ray-Singer analytic torsion for an arbitrary compact 3-manifold with finite Abelian fundamental group equivalent to the Ray-Singer analytic torsion of S^3 mod some direct product of Z_N's? It ...

**6**

votes

**0**answers

107 views

### Does the shortest path between two braids pass through string links?

One of the fundamental facts underlying the application of braid theory to knot theory is that braids inject into string links.
This means that braids $B_1$ and $B_2$, considered inside a cube $I^3$, ...

**1**

vote

**0**answers

74 views

### PL or projective PL map on the links of a PL manifold

Let $M$ be a PL manifold and $f: M\rightarrow M$ be a PL homeomorphism. Suppose that $f(x)=x$ for some vertex $x$. Is the restriction map of $f$ on the links of $x$ also PL? Someone claims that this ...

**8**

votes

**1**answer

157 views

### Virtual fibering conjecture for cusped hyperbolic manifolds

I am interested in understanding if the Virtual Fibering Theorem holds in the non-compact case.
Agol proved that every closed hyperbolic $3$-manifold has a finite index cover which fibers over the ...