**2**

votes

**1**answer

68 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

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

**13**

votes

**0**answers

183 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

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

**3**

votes

**1**answer

154 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

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

**2**

votes

**1**answer

91 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

219 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

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

**5**

votes

**1**answer

122 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

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

**12**

votes

**1**answer

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

**4**

votes

**2**answers

291 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

95 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

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

**2**

votes

**1**answer

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

**17**

votes

**1**answer

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

**3**

votes

**0**answers

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

**1**

vote

**1**answer

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

**4**

votes

**1**answer

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

**4**

votes

**1**answer

219 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

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

**13**

votes

**0**answers

359 views

### What is the determinant of Poincare 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 ...

**5**

votes

**0**answers

181 views

### Some questions about geodesic lamination

I'm learning geodesic laminations on surfaces. Here are some questions I thought a lot but could not understand well.
We consider a complete finite area hyperbolic surface $S$ w/o geodesic boundary. ...

**23**

votes

**1**answer

256 views

### The Jones polynomial at specific values of $t$.

I've been calculating some Jones polynomials lately and I was just curious if there was a physical meaning to evaluating the Jones polynomial at a particular value of $t$.
For example, if I take the ...

**4**

votes

**1**answer

309 views

### Manifolds such that every homeomorphism of a submanifold to itself extends to the full manifold

Let manifold $S$ (connected, without boundary) have next property: for every submanifold $D \subset S$ (connected, compact, without boundary), every homeomorphism $f:D \to D$ extends to a ...

**10**

votes

**1**answer

270 views

### Representation varieties of 3-manifold groups in SL(n,C)

I am looking at the variety of representations of the fundamental group of a hyperbolic 3-manifold into $SL(n,C)$:
$$Hom(\pi_1M, SL(n,{\mathbb C}))$$
It is known that volume and Chern-Simons ...

**7**

votes

**1**answer

469 views

### Do all combinatorially distinct fundamental polygons correspond to surfaces?

The topology of a closed surface can be constructed
by identifying edges of a fundamental polygon of an
even number $2n$ of edges.
Labeling the edges and using $\pm 1$ exponents to indicate
direction,
...

**4**

votes

**0**answers

94 views

### Centralizers and intersections in the Gromov-boundary of the mapping class group

The mapping class group of a punctured surface $\Sigma$ is weakly relatively hyperbolic (see below), hence it is well defined the Gromov-boundary with respect to the relative metric.
First question: ...

**0**

votes

**1**answer

168 views

### Compact Lie groups with only 3 dimensional cohomology generators

Let $M$ be a compact connected semi-simple Lie group. Then by Hopf's Theorem $H^*(M;\mathbb Q)=\Lambda[\omega_1,...,\omega_s]$ where $\omega_i\in H^i(M;\mathbb Q)$ , $i\ge 3$ is odd.
For which $M$, ...

**3**

votes

**1**answer

206 views

### Lower dimensional Pin cobordisms

I'm studying Pin cobordism groups of a point for some low dimensions. I found a general result by Anderson, Brown, Peterson in Theorem 5.1 of their paper "Pin cobordism and related topics" ...

**4**

votes

**1**answer

360 views

### On the fundamental group of closed 3-manifolds

I know that every finitely presented group can be realized as the fundamental group of a compact, connected, smooth manifold of dimension 4 (or higher). In dimension 2 there are strong restriction on ...

**8**

votes

**0**answers

174 views

### Consequences of Zeeman's conjecture

Recall the Zeeman's conjecture: if $K$ is a contractible polyhedron of dimension 2, then $K\times I$ has a collapsible subdivision.
Zeeman showed that this implies the Poincaré conjecture in ...

**2**

votes

**0**answers

248 views

### Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed 4-manifolds. Are there any closed 4-manifolds with uncountably many ...

**7**

votes

**1**answer

268 views

### What is a metaboliser?

What is a "metaboliser" for a linking form? This term appears in a recent paper on the Hopf link and I cannot find any definition on the net or in any texts.
I am a professional topologist trying to ...

**5**

votes

**0**answers

222 views

### Homeomorphisms of product spaces: an example

In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to ...

**6**

votes

**0**answers

105 views

### Two-relator products of cyclic groups

In "A proof of the Scott–Wiegold conjecture on free products of cyclic groups" Howie proved that every one-relator product of three cyclic groups is nontrivial. Is there a now proven theorem that says ...

**13**

votes

**0**answers

188 views

### Approximating homeomorphisms of 2-disk by diffeomorphisms

Any homeomorphism of a compact surface can be approximated by diffeomorphisms.
Is there a parametrized version of this result, where the parameter space is an $n$-disk?
In other words, if $S$ is a ...

**-2**

votes

**1**answer

292 views

### Do homeomorphic complements give homotopic knots?

Maybe this question is too trivial for a research site but there are so many notions of equivalence of knots that I am lost in literature. The question that interests me is the following.
A knot is a ...

**4**

votes

**1**answer

141 views

### CW complex with generalized cells

In the definition of CW complexes, all cells are homeomorphic to closed balls.
I search for a generalized notion of CW complexes. In my application, the complexes are in fact finite.
Is there a ...

**6**

votes

**1**answer

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

**7**

votes

**1**answer

468 views

### Geometric interpretation for fourth coeficient of the polynomial for Hirzebruch–Riemann–Roch theorem

Hey guys :) I have a question on a theorem which is known as Tian-Yau-Zelditch theorem now. If there is some reference for following question, please let me know
Let $(M,\omega)$ be a compact ...

**1**

vote

**1**answer

165 views

### When $\frac{\text{Aut}(G/P,L)}{S^1}$ is discrete?

Let $(M,\omega)$ be a Kähler manifold with a pre-quantum Line bundle $L$ and
$\text {Aut}(M,L)$ means the group biholomorphisms of $M$ which lift to holomorphic bundles maps $L\to L$. My question is ...

**7**

votes

**0**answers

129 views

### The homology of the braid group with coefficients in the Burau representation

Let $B_n$ denote the braid group with $n$ braids. The Burau representation $B_n\to GL_n(\mathbb{Z}[t^{\pm1}])$ makes $(\mathbb{Q}[t^{\pm1}])^n$ a $B_n$-module. I am curious in knowing what $H_i(B_n, ...

**4**

votes

**1**answer

138 views

### Construction of a Bott manifold

I have been searching the literature for a construction of a simply connected spin manifold of dimension 8 with A-genus 1. I am not sure, but I think this is called a Bott manifold.
Can anybody help ...

**13**

votes

**2**answers

372 views

### Homotopy groups of spaces of embeddings

Let $\mathrm{Emb}(M, N)$ be the space of smooth embeddings of a closed manifold $M$ into a manifold $N$ equipped with smooth compact-open topology.
Question 1. Are there conditions ensuring that ...

**3**

votes

**1**answer

140 views

### Does every canonical decomposition of the intersection form come from a canonical homology basis?

Take a closed surface $X$ of genus $n$. By a canonical homology basis, I will mean a set of $2n$ homologically independent simple closed curves $\{\alpha_1,\ldots,\alpha_n,\beta_1,\ldots,\beta_n\}$, ...

**1**

vote

**1**answer

116 views

### Structures on open surfaces

Let $\phi\in PSL(2,R)$ be hyperbolic and $\varphi\in PSL(2,R)$ be elliptic.
Is it possible to find a local homeomorphism $f:H^2\rightarrow H^2$ such that
$f(\phi(x))=\varphi(f(x))$ for all $x\in H^2$ ...

**3**

votes

**2**answers

178 views

### Extending homotopy equivalence between manifolds with boundary

Let $f:N_1\to N_2$ be a homotopy equivalence between two simply connected manifolds with boundary of the same dimension. Can it be extended to a homotopy equivalence between closed manifolds $f:M_1\to ...

**2**

votes

**3**answers

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