2
votes
1answer
118 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.) ...
6
votes
0answers
73 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
0answers
69 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
2answers
331 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
1answer
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 ...
5
votes
1answer
185 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
1answer
417 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
1answer
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
1answer
174 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
0answers
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
2answers
481 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
2answers
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
8answers
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
1answer
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
0answers
112 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
1answer
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
1answer
498 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
1answer
201 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
1answer
193 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
3answers
518 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
3answers
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
1answer
297 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
2answers
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
1answer
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
3answers
228 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
1answer
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
0answers
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
1answer
196 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
3answers
433 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
1answer
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
1answer
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
1answer
119 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
1answer
449 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
2answers
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
2answers
324 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
1answer
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
2answers
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
0answers
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
1answer
339 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
1answer
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
1answer
420 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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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 ...
14
votes
0answers
213 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
1answer
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 ...