**11**

votes

**1**answer

178 views

### Is a generic closed orientable hyperbolic 3-manifold Haken?

My question is as follows:
"Is a generic closed orientable hyperbolic 3-manifold Haken?"
Of course the word 'generic' can be interpreted in many ways, and the answer might depend on the way how one ...

**8**

votes

**1**answer

179 views

### Second homology of mapping class group of genus 3

In a survey paper of Korkmaz it is stated that $H_2(\mathrm{Mod}_3)$ is either $\Bbb Z$ or $\Bbb Z \oplus \Bbb Z_2$, but I was not able to find out a precise computation of this group (resolving the ...

**22**

votes

**1**answer

1k views

### Fake versus Exotic

Without recourse to the Disc Theorem (or its progeny), is it true that all known examples of exotic differentiable structures on 4-manifolds would be fake rather than exotic?
Terminology (perhaps ...

**2**

votes

**0**answers

35 views

### Any results on rayless simplicial complexes?

We define a closed ray in a topological space $X$ to be its closed subset homeomorphic to the real half-line $[0,\infty)\subseteq \mathbb{R}$. Call a topological space $X$ rayless if it does not ...

**2**

votes

**1**answer

79 views

### Criteria for abstract polytopes to be convex polytope

Suppose I have an abstract polytope defined by a poset. Are there any methods for determining whether the abstract polytope can be geometrically realized as convex-hull on its set of vertices?

**8**

votes

**2**answers

228 views

### Heegaard genera of arithmetic 3-manifolds

UPDATE: Because I was hoping that state the question as concisely as
possible, the original post did not include a precise definition of
arithmetic 3-manifold only a reference to Maclachlan and ...

**15**

votes

**2**answers

272 views

### Classification of tangles?

Has anybody done any work on making a classification of low-complexity tangles, analogous to the work for knots and links? I expect most of the small ones to be rational, and those that aren't ...

**0**

votes

**0**answers

64 views

### Condensation points of orbits of roots of unity

For a fixed $n\in \mathbb{N}$ we consider the set of $n$-roots of unity $R(n)=\{z\in S^1; z^n=1\}$. It splits into mutually disjoint orbits. Let $R=\bigcup_{n=0}^{\infty} R(2^n-1)$. For each orbit in ...

**2**

votes

**0**answers

151 views

### Bott's Formula for Grassmannians

Bott's Formula gives the dimension of the cohomology $H^{q}(\mathbb{P}^{n}, \Omega_{\mathbb{P}^{n}}^{p}(k))$ of the $k$-twisted sheaf of $p$-differential forms on the projective space ...

**36**

votes

**1**answer

4k views

### Open map D⁴ → S²

Is it possible to construct an embedding $D^4\hookrightarrow S^2\times
\mathbb R^2$
such that the projection $D^4\to S^2$ is an open map?
Here $D^n$ denotes closed $n$-ball.
An open map D⁴ → S².
It ...

**3**

votes

**2**answers

771 views

### What is parameterization of the trefoil knot surface in R³?

What is a parameterization, say (x(u,v),y(u,v),z(u,v)), of the trefoil knot surface in R³ whose cross-section can be circular or, in general, elliptic?
Thanks!

**1**

vote

**0**answers

72 views

### Singular leaf of Strebel differential

Let $R$ be a Riemann surface.Let $\gamma$ be a loop which is non-trivial in $H_{1}(R,\mathbb{Z})$. By the Jenkins–Strebel Theorem we know the following: there exists a holomorphic quadratic ...

**11**

votes

**2**answers

636 views

### What is the homotopy type of the space of the homeomorphisms of the n-ball such that the homeomorphism restricted to the boundary is isotopic to the identity?

Consider the set of homeomorphisms of the topological n-ball to itself with the compact open topology. Sitting inside this space of homeomorphisms are particular subspaces. The first subspace is those ...

**6**

votes

**1**answer

191 views

### cell decomposition of real homogeneous hypersurfaces

Let $f(x_1,\ldots,x_n)\in\mathbf{R}[x_1,\ldots,x_n]$ be a homogeneous polynomial
and consider the real hypersurface $H=\{(x_1,\ldots,x_n)\in\mathbf{R}^n:f(x_1,\ldots,x_n)=1\}$. Assume to simplify ...

**21**

votes

**1**answer

955 views

### Building a genus-$n$ torus from cubes

I wonder if this has been studied:
What is the fewest number of unit cubes
from which one can build an $n$-toroid?
The cubes must be glued face-to-face,
and the boundary of the resulting ...

**11**

votes

**0**answers

695 views

### Hamiltonian cycles and fundamental groups

I'm interested in the interplay between the Hamiltonian cycles of graphs and the compact surfaces they embed in. I was doing some reading on the Lovász conjecture for Cayley graphs, I started noticing ...

**3**

votes

**1**answer

124 views

### Parity of knot signatures

I recently came upon a recursive formula for the (ordinary) signatures of torus knots. The formula, which I found in Murasugi's book "Knot Theory and Applications" (Springer, 2007), originally ...

**2**

votes

**1**answer

61 views

### Characterization of the medial axis of a surface

I would like to know if the following "characterization" of the medial axis of a surface is correct, and if so, how to prove it.
Let $S$ be a continuous, piecewise smooth, compact surface embedded in ...

**3**

votes

**2**answers

216 views

### Pseudo-manifolds and homology

Is there a good reference for the proof that the cobordism group of pseudo-manifolds is isomorphic to the singular homology group?
I was looking for a more geometrical definition of homology and ...

**0**

votes

**1**answer

543 views

### Is surface $x^2+z^2=2\cdot y^2$ something of a Möbius strip?

This question is naive. My association with Möbius strip comes from not being able to smoothly extract positive solutions of the diophantine equation
$$x^2+z^2=2\cdot y^2$$
I got a parametrization ...

**12**

votes

**0**answers

152 views

### What do tangles teach us about braids?

A braid is a smooth level-preserving embedding $f\colon\, \{1,2,\ldots,n\}\times[0,1]\hookrightarrow \mathbb{R}^2 \times [0,1]$ such that $f(k,0)=(k,0)$ and $f(k,1) \in \{1,2,\ldots,n\} \times ...

**2**

votes

**1**answer

178 views

### Map from homotopy sphere with lifting property induces surjections on homotopy groups. Is it weak equivalence?

Let $E$ be homotopy equivalent to a $k$-sphere. Let $q\colon E\to X$ be a map such that given any continuous $f\colon C\to X$ from a compact space $C$, there exists (a non-unique) $\tilde{f}\colon ...

**4**

votes

**1**answer

415 views

### A question about Marsden-Weinstein reduction theory

Let $G$ ba a compat 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:M\to \frak g^*$ be its moment map then the reduced ...

**0**

votes

**1**answer

203 views

### A problem related to connectivity of analytic functions

Let $f(z)\in A(\mathbb D)$, where $A(\mathbb D)$ is the space of analytic functions on the open unit disk $\mathbb D$ and continuous on $\overline{\mathbb D}$.
Question: Is the connectivity of ...

**3**

votes

**1**answer

133 views

### laminations and branched surfaces

I am looking for a reference for this question: given a branched surface in a 3-manifold, how we can construct a lamination fully carried by that branched surface.
any comments would be appreciated.
...

**5**

votes

**0**answers

209 views

### Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let
$q: D^k \to D^r$ be a map and $r \leq k$. Let
$$W = S^k \sqcup D^r/\sim$$
where ...

**8**

votes

**3**answers

294 views

### Voronoi cells and the dual complexes in Riemannian manifolds

I would like to use some "intuitively clear" properties of Voronoi cells in general Riemannian manifolds, but I have trouble finding references.
Let $(X,d)$ be a connected Riemannian manifold and ...

**2**

votes

**1**answer

79 views

### Going Back-and-Forth Between Different Expressions/“Representations” for Open Books.

I am trying to have a better understanding of how one goes , "travels" between the different formats/layouts of open books for a fixed given 3-manifold M; between the abstract type and the "actual" ...

**4**

votes

**1**answer

129 views

### Most Regularity of a Polygon

Conseider $n$ electrons in an empty sphere. What structure do they make?
This question have two cases: (i) if electrons should be sit on the boundry of sphere (one can suppose that the boundry of ...

**11**

votes

**1**answer

148 views

### Max flow, min cut on manifolds

If a graph has some half edges marked "input" and some half edges marked "output", it is well known that the smallest number of edges which must be cut to disconnect input from output is equal to the ...

**6**

votes

**5**answers

676 views

### Symplectic structures from Lagrangians?

In Witten's paper 'Quantization of Chern-Simons Gauge Theory with Complex Gauge Group,' he makes the statement (p. 35) that the symplectic form on the moduli space of flat $G_\mathbb{C}$ connections ...

**5**

votes

**1**answer

85 views

### In the definition of the Heegard Floer surgery exact triangle, what exactly is the correspondence between Whitney triangles and periodic domains?

I'm reading Osváth-Szabó's notes on Heegard Floer homology, in particular about the surgery exact triangle.
On page 14 (numbered 42 on the document), they describe an isomorphism between the space of ...

**3**

votes

**2**answers

198 views

### Is the hypersurface satisfying $\langle x-x_0,\nu\rangle>0$ diffeomorphic to sphere?

Let $p:M\to \mathbb{R}^{n+1}$ be the closed immersed hypersurface. Is the following thing right? If there exists a point $x_0$ in $\mathbb{R}^{n+1}$ such that $\langle x(p)-x_0,\nu(p)\rangle>0$ ...

**4**

votes

**6**answers

409 views

### A convex curve inside the unit circle

Has this theorem a specific name; and I need some references for general form.
Suppose ${\gamma}$ is a convex polygon contained in the interior of the unit circle. then the length of $\gamma$ is not ...

**12**

votes

**1**answer

313 views

### Why are Witten-Reshetikhin-Turaev invariants expected to be integral?

A Witten-Reshetikhin-Turaev (WRT) Invariant $\tau_{M,L}^G(\xi)\in\mathbb{C}$ is an invariant of closed oriented 3-manifold $M$ containing a framed link $L$, where $G$ is a simple Lie group, and $\xi$ ...

**20**

votes

**1**answer

774 views

### A function composed with itself produces the identity

Let $B$ be the closed unit ball in $\mathbb R^3$ and $f: B\to B$ continuous, such that $f\circ f$ is the identity (i.e., $f\circ f=\mathbb 1_B$) and $f$ restricted on $\partial B$ is also the identity ...

**1**

vote

**1**answer

163 views

### 3-complexes not embeddable in 3-space

My question is about embeddability of 3-dimensional complexes in R^3. Do we have something like Kuratowski's theorem for complexes in 3-space which specifies a set of minors for non-embeddability?

**16**

votes

**2**answers

552 views

### Topological transversality

Warmup question:
Let us say that two continuous functions $f,g:[0,1]\to \mathbb R$ are topologically transverse if their difference $f-g$ has only finitely many zeros, and each zero separates an ...

**4**

votes

**2**answers

235 views

### A question about Dehn surgery and Brieskorn homology 3-spheres

I have been learning about Brieskorn homology 3-spheres $\Sigma(a_1,...,a_n)$ and Seifert manifolds. My reference is the first few pages of Saveliev's "Invariants of Homology 3-spheres."
If I ...

**4**

votes

**2**answers

74 views

### Is it known which links have Seifert fibered complements?

I believe many such links can be constructed by looking at a foliation similar to the hopf fibration, but the wrapping leaves replaced with $(p,q)$ torus knots. However, I'm interested in particular ...

**5**

votes

**2**answers

208 views

### What 3-manifolds can be obtained by gluing $ S^1 \times P $ and two copies of $S^1 \times D^2$

Let P denote the pair of pants e.g. a sphere minus three small discs $D_1$,$D_2$,$D_3$ about marked points $x_1,x_2,x_3$. I then consider $P \times S^1$. We have boundary components $T_1$,$T_2$,$T_3$. ...

**1**

vote

**1**answer

119 views

### Ratner theorem and dense geodesic planes in hyperbolic manifolds

Suppose we have a closed hyperbolic $3$-manifold $M$. For any $x\in M$ and plane $\pi$ in $T_xM$ we consider $P$ the geodesic plane exp$(\pi)$ originating from $\pi$. For any $p\in \pi$ we consider ...

**2**

votes

**1**answer

180 views

### Simple connectedness of $\mathbb{C}P^2$ intersected with an affine subspace

The complex projective plane $\mathbb{C}P^2$ can be thought of as the set of rank one 3-by-3 Hermitian matrices with norm one, i.e., $\mathbb{C}P^2 = \{xx^* : x \in \mathbb{C}^3, x^*x=1 \}$. As such, ...

**3**

votes

**0**answers

211 views

### Does the following object has a name in algebraic geometry?

Suppose $X$ is a projective variety and $D$ is a smooth divisor and let $L = \mathcal{O}(D)$ be the line bundle corresponding to $D$. Consider $X \times \mathbb{P}^1$ with the line bundle ...

**12**

votes

**1**answer

446 views

### Handlebody decomposition of an open 4-manifold

Let $M$ be the fake $CP^2$ (namely the closed topological 4-manifold which is homotopy equivalent but not homeomorphic to the complex projective plan). It is well-known that $M$ admits no smooth ...

**17**

votes

**1**answer

476 views

### Does there exist a surface bundle over a surface of genus at least 2 that fibers in three distinct ways?

Let
$$
\Sigma_g \to E \to \Sigma_h
$$
be a surface bundle over a surface. Unless otherwise stated, I'll assume $g, h \ge 2$. The theory of Thurston norm shows that surface bundles over $S^1$ often ...

**2**

votes

**3**answers

226 views

### Heegaard Floer Homology of double branched cover

The question is the following:
Let $K\subset S^{3}$ be a knot, consider the double branched cover $Y$ of $S^{3}$ over $K$. We know $Y$ has a unique spin structure $\mathfrak{s}$, now the question is: ...

**4**

votes

**1**answer

585 views

### solvable word problem without algorithm

Let $G$ be a finitely generated group. I wonder if there are examples where:
1) The word problem is known to be solvable in $G$ but there is no algorithm known.
2) The word problem is known to be ...

**2**

votes

**1**answer

183 views

### Knot invariants in 3-manifolds that are not $\mathbb{R}^3$ or $S^3$ or $B^3$?

This is just a reference request; I have no sharp mathematical question.
Inspired by the $(3+)$-year old MO question,
In knot theory: Benefits of working in $S^3$ instead of $\mathbb{R}^3$?,
I would ...

**2**

votes

**0**answers

82 views

### Pure braid groups of the complement of a lattice in the complex plane: generators and relations

Where can I find a presentation (by `natural' generators and relations between them)
of the pure braid groups $PB_n(S)$ (for $n>0$) of $S=\mathbb C\setminus (\mathbb Z\oplus i \mathbb Z)$?
Thanks ...