# Tagged Questions

**4**

votes

**0**answers

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

**1**

vote

**1**answer

115 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

576 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

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

**4**

votes

**1**answer

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

**10**

votes

**1**answer

303 views

### Did Milnor and Thurston write anything else about characteristic numbers for 3-manifolds?

In Characteristic numbers for 3-manifolds Milnor and Thurston define a characteristic number and this is cited in ch. 6 of Thurston's notes when discussing the Gromov approach to Mostow rigidity.
The ...

**2**

votes

**1**answer

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

**7**

votes

**0**answers

100 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

**0**answers

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

**8**

votes

**2**answers

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

**5**

votes

**1**answer

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

**5**

votes

**1**answer

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

**7**

votes

**1**answer

451 views

### Is this knot invariant already treated somewhere in the literature?

Fix a knot type $K \subset S^3$, and consider the set $$Y_K = \{ \mbox{Diagrams of }K \} / \mbox{planar isotopy}.$$
We can turn $Y_K$ into a metric space by considering the distance induced by ...

**0**

votes

**1**answer

148 views

### Torelli group of a punctured elliptic curve

Let $T_{g,n}$ be the Torelli group of a $n$-punctured surface $S=\overline{S}\setminus\{x_1,\ldots,x_n\}$, with $\overline S$ orientable, closed and of genus $g$. By definition, $T_{g,n}$ is the ...

**5**

votes

**1**answer

192 views

### Relation between Milnor ring and middle dimensional homology of hypersurface

I have suspected that the following is well-known:
If $P$ is a homogeneous polynomial of degree $d$ in $n$ variables (for example, Fermat quintic $x_1^5 + \cdots + x_5^5$). The Milnor ring is ...

**7**

votes

**0**answers

173 views

### Reference Request: Topological h-cobordism theorem in higher dimensions

I think this question on math.stackexchange is more appropriate on mathoverflow. Correct me, if you don't think so.
The h-cobordism theorem is true in the topological and in the smooth category in ...

**6**

votes

**2**answers

489 views

### All mapping space between CW complexes is a CW complex?

Let $\mathrm{Map}(X,Y)$ denote the (unbased) cellular mapping space from $X$ to $Y$.
If $X$ and $Y$ are finite CW complexes, is $\mathrm{Map}(X,Y)$ a CW complex?
Can we know the cell structure of ...

**4**

votes

**2**answers

274 views

### Who first used the cross-ratio to describe shapes in hyperbolic geometry?

I was reading this Wikipedia article today:https://en.wikipedia.org/wiki/Shape#Similarity_classes
and I realized that it strongly resembles the use of coss-ratios as "shape parameters" in hyperbolic ...

**23**

votes

**8**answers

2k views

### Are there some other notions of “curvature” which measure how space curves?

I am learning differential geometry and have a few questions on curvature. -- Background:
Gauss invented "Gauss curvature" to measure how surface curves.
Riemann gives an ingenious generalization ...

**7**

votes

**1**answer

164 views

### Is there a combinatorial version of PL ambient isotopy in dimension $>3$?

The classical PL Reidemeister Theorem reads:
Reidemeister Theorem: Two knots in $S^3$ are PL ambient isotopic if and only if any diagram of one can be transformed into a diagram of the other by ...

**6**

votes

**0**answers

121 views

### Is there an analogue of Mostow-Palais equivariant embedding theorem for noncompact groups

Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to ...

**6**

votes

**1**answer

331 views

### consequence of Novikov conjecture

Novikov conjeture is a famous open problem in Geometric topology.It predicts that higher signature is oriented-homotopy invariant.
http://en.wikipedia.org/wiki/Novikov_conjecture
I am a student ...

**9**

votes

**1**answer

505 views

### moduli spaces are kahler?

I often heard from experts that "moduli spaces are Kahler". This sounds as a meta-theorem asserting that every time one defines reasonable moduli spaces, then there is a standard strategy to see ...

**9**

votes

**1**answer

213 views

### Is there a reasonable definition of TQFTs for n-cobordisms with connected inputs/outputs?

A question that's been on my mind for a while is whether any precise statement to the effect of "Heegaard Floer homology is a TQFT," for some reasonable definition of TQFT, can be made.
Of course, a ...

**6**

votes

**1**answer

204 views

### Characterisation of Q-rank 1

I'm looking for a reference and/or the original source for the following fact:
An irreducible non-uniform lattice in a semisimple Lie group without compact factor has Q-rank 1 if and only if it does ...

**15**

votes

**3**answers

543 views

### What is the state of the art for algorithmic knot simplification?

Question: Given a `hard' diagram of a knot, with over a hundred crossings, what is the best algorithm and software tool to simplify it? Will it also simplify virtual knot diagrams, tangle diagrams, ...

**10**

votes

**3**answers

647 views

### Is the class of n-dimensional manifolds essentially small?

Question: Consider the proper class of all $n$-dimensional smooth manifolds. If we take the equivalence classes where two manifolds are identified if there exists a diffeomorphism between them, is ...

**7**

votes

**1**answer

305 views

### Analogues of the curve complex for Out(F)

Let $F$ be a finitely generated free group.
Question: Is there an authoritative survey of analogues of the curve complex for $\mathrm{Out}(F)$? If not, as seems likely, would a passing expert be ...

**1**

vote

**2**answers

284 views

### Commutativity in the Fundamental Group and Knot Theory

Let $M$ be a connected $3$-manifold and let $\alpha$ and $\beta$ be elements in $\pi_1(M)$. Then $\alpha$ and $\beta$ can be represented by two knots $a$ and $b$ in $M$. We may further require that ...

**3**

votes

**1**answer

266 views

### Geometrization & JSJ decomposition with boundary

Is there any paper where I can find a good explanation of the JSJ decomposition, the geometrization theorem and the relations between them when the manifold has nonempty (and non necessarily toroidal) ...

**7**

votes

**3**answers

253 views

### A version of Lusternik–Schnirelmann category for good open covers

Recall that the Lusternik–Schnirelmann category (or LS-category) of a space is the integer $n$ such that there is an open cover by $n+1$ open sets which have nullhomotopic inclusions, and no such ...

**8**

votes

**3**answers

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

**4**

votes

**0**answers

197 views

### Is there an “exponential law” for differentiable maps between smooth manifolds?

Although it seems like a textbook question, I was not able to find a textbook or even a research article answering the following question:
Let $M$, $N$ and $P$ be finite-dimensional smooth manifolds ...

**2**

votes

**1**answer

209 views

### Surgery diagram for the Seifert-Weber space

In every reference I see, the Seifert-Weber space is presented as an identification space (specifically identify opposite faces of a dodecahedron by a 3/10ths twist).
What I can't seem to find is a ...

**2**

votes

**3**answers

489 views

### A simple and good reference on surgery theory

Can anyone help me to find a simple and good reference (a book, lecture notes or a website) for learning the surgery theory and its applications? I seek a reference together with many examples and ...

**8**

votes

**1**answer

208 views

### Fold-and-cut problem in three dimensions

The fold-and-cut theory states that "Any shape with straight sides can be cut from a single (idealized) sheet of paper by folding it flat and making a single straight complete cut. Such shapes include ...

**5**

votes

**1**answer

160 views

### Reference for a theorem on crossing changes of links

I've recently stumbled upon a paper of Scharlemann on crossing changes:
link text
In particular I am interested in understanding Theorem 2.2 (page 6):
"Theorem: If links A and B
are related by a ...

**2**

votes

**1**answer

130 views

### Is every quasipositive knot strongly quasipositive?

A link is called quasipositive if it has a special braid diagram, namely a product of conjugates of the positive standard generators of the braid group. If this product only contains words of the form ...

**11**

votes

**1**answer

543 views

### Strong Whitney embedding theorem for non-compact manifolds

$\newcommand{\RR}{\mathbb{R}}$The present question arises from some confusion on my part regarding the precise statement of the strong Whitney embedding theorem for non-compact manifolds.
The strong ...

**2**

votes

**2**answers

223 views

### What are these compact sets called?

I'm wondering if a compact set $A\subset\mathbb{C}$ satisfying the properties that
• $A$ and its complement have finitely many connected components
• every connected component of $\partial A$ is the ...

**4**

votes

**2**answers

333 views

### Homotopy equivalences preserving structure

Suppose I have $X=X_1\cup X_2\cup…\cup X_n$ and $f:X \to Y$ where $Y$ has a similar decomposition.
Suppose I know that
$f | X_{i_1}\cap…\cap X_{i_r} \to Y_{i_1}\cap…\cap Y_{i_r}$ is a homotopy ...

**0**

votes

**1**answer

264 views

### Homotopy classes of maps

This is a reference request.
A theorem of Hurewicz (unfortunately published in the hard-to-get journal Proc.Akad. Wetensch. Amsterdam 1936) asserts $\left[X,Y\right]=Hom(\pi_1X,\pi_1Y)/Inn(\pi_1Y)$ ...

**7**

votes

**2**answers

165 views

### is there an anyon structure analogous to spin structure for rank 2 bundle?

A spin structure on a Riemannian bundle of rank >2 is the lift of the structure group from $\text{SO}(n)$ to its universal cover $\text{Spin}(n).$ It may also be defined in the case $n=2$ as the lift ...

**6**

votes

**0**answers

187 views

### What is the state of the art in 4-manfold 2-types?

In an old answer to an old question of mine, Peter Teichner commented that it is an open problem to determine which homotopy 2-types arise from 4-manifolds. In some instances we know that a 4-manifold ...

**3**

votes

**1**answer

346 views

### Any map of a contractible complex to itself has a fixed point

Reading Lovasz's lecture notes on evasive graph properties, I encountered the following extension of Brouwer's fixed point theorem:
Any continues map from a contractible [finite] simplicial complex ...

**10**

votes

**1**answer

314 views

### Explicit Computations of Examples in Spin Geometry

I have been trying to learn about spin geometry, Dirac operators, and index theory by reading Lawson/Michelson's "Spin Geometry" and Friedrich's "Dirac Operators in Riemannian Geometry." Both are ...

**4**

votes

**1**answer

463 views

### Relation of SW and Donaldson Invariant

My question is:
I am request for the reference that Is there any relationship between the Seiberg-Witten Invariant and Donaldson's Invariant? Or the relationship between Seiberg-Witten Moduli Space ...

**8**

votes

**1**answer

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

**7**

votes

**0**answers

134 views

### PL surface projections - is there a theory of folds and cusps?

For smooth surfaces, the generic singularities of a map of one surface to another are folds and cusps (Whitney). It is a standard result in singularity theory that the generic isotopy of such a map is ...

**6**

votes

**1**answer

375 views

### Which Abelian Group sequences arise as the Homology of Embedded CW Complexes?

Background
Let $\mathcal{A} = \lbrace A_0, \ldots, A_M \rbrace$ be an arbitrary sequence of finitely generated Abelian groups. It is well-known that a finite CW complex $X_\mathcal{A}$ may be ...