# Tagged Questions

**6**

votes

**0**answers

71 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

62 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

327 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

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

**4**

votes

**1**answer

183 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

415 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

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

**4**

votes

**1**answer

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

**6**

votes

**0**answers

157 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

480 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

266 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

157 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

111 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

323 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

497 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

200 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

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

**16**

votes

**3**answers

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

**11**

votes

**3**answers

602 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

295 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

273 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

248 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

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

**5**

votes

**1**answer

171 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

194 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

195 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

430 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

195 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

154 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

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

**10**

votes

**1**answer

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

**1**

vote

**2**answers

182 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

323 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

261 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

160 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

182 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

338 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

299 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

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

**7**

votes

**1**answer

526 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

131 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

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

**6**

votes

**1**answer

211 views

### Contractibility of the space of collars

I'm looking for a reference or a proof of the following statement :
Let $M$ be a compact smooth manifold with boundary. Then the space of embeddings $\partial M\times[0,1]\to M$ inducing the ...

**19**

votes

**0**answers

411 views

### The oriented homeomorphism problem for Haken 3-manifolds

Haken famously described an algorithm to solve the homeomorphism problem for the 3-manifolds that bear his name (fleshed out by many others, including Hemion and Matveev who fixed some gaps). But ...

**13**

votes

**1**answer

323 views

### Is $\partial X$ a sphere for $X$ a complete CAT$(0)$ space?

Let $X$ be a complete CAT$(0)$ metric space, and $\partial X$ its boundary.
One way to define $\partial X$ is as the equivalence class of geodesic rays
$\gamma(t), \gamma'(t)$
that remain within a ...

**1**

vote

**1**answer

212 views

### Hopf reference sought

For a vector $w$, let $T_{w}$ be the translation by $w$.
I was told that the following observation about subsets of the plane was due to H. Hopf:
Let $X$ be a compact, path-connected subset of the ...

**13**

votes

**0**answers

206 views

### Shortest Casson tower containing a slice disk for the attaching curve

A Casson tower is obtained as follows: Start with a properly immersed disk in $\mathbb{B}^4$ - a regular neighborhood of such a disk is called a kinky handle. The boundary of the core disk ...

**11**

votes

**1**answer

1k views

### Kervaire invariant: Why dimension 126 especially difficult?

Is there any resource that might help non-experts gains some understanding of why
the Kervaire invariant problem remains open now only in dimension $126$? ($126 =2^7-2=2^{j+1}-2$;
whether ...

**1**

vote

**0**answers

248 views

### Transversality and isolated degenerate critical points

Maybe some of the following statements are not precise. Please correct them.
Let $M$ be a compact smooth manifold. Let $f: M \to {\mathbb R}$ be a Morse function. Then a generic Riemannian metric $g$ ...