# Tagged Questions

**5**

votes

**1**answer

236 views

### Finite group acting on sphere

Let $G$ be a finite abelian group (of odd order if it's significant) acting on sphere $S^2\subset\mathbb{R}^3$. So my question: is it true that $G$ has a fixed point?

**3**

votes

**1**answer

109 views

### In H_2 of Sp(2g,Z), why does Meyer's signature cocycle give 4 times a generator?

Fix some $g \geq 2$, let $\Gamma_g$ be the mapping class group of a genus $g$ surface, and let $\pi : \Gamma_g \rightarrow Sp(2g,\mathbb{Z})$ be the projection. In
Meyer, Werner
Die Signatur von ...

**3**

votes

**1**answer

108 views

### Comparing Contact Structures: What do we Mean when we Say that two Contact Structures are Homotopic/Eliashbergs Class. of OT structures

Please forgive me if this is too simple for MO; most of my posts on anything contact-structure-related in Math Stack, other sites, have barely received answers (maybe because I'm not an expert in the ...

**2**

votes

**0**answers

122 views

### Canonical trivialization of Stiefel-Whitney classes on the frame bundle

Let $X$ be a smooth manifold, perhaps oriented if necessary. The frame bundle $\pi:P \to X$ carries a canonical trivialization of the pullback of the tangent bundle of $X$ and thus a canonical ...

**2**

votes

**0**answers

103 views

### Cylinder isotopy relative to its bases

Is n-times twisted cylinder isotopic to 0-times twisted cylinder relative to its bases? (I hope I got the terms right)
That is, is it possible to twist (stretching, bending etc. is allowed) a cylinder ...

**14**

votes

**1**answer

353 views

### Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if it's commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...

**3**

votes

**1**answer

69 views

### Transfinite sequence of contiguous simplicial maps

Recall that two simplicial maps of (abstract) simplicial complexes $f,g\colon K\to L$ are contiguous if $f(\sigma)\cup g(\sigma)$ is a simplex of $L$ for every simplex $\sigma\in K$. Contiguous ...

**2**

votes

**0**answers

141 views

### What kinds of manifolds admit non-vanishing vector fields defining convergent congruences?

One of the corollaries of the Poincaré–Hopf index theorem is that a closed, connected manifold $M$ admits non-vanishing vector fields iff its Euler characteristic is zero; i.e. $\chi(M) = 0$.
I am ...

**1**

vote

**0**answers

74 views

### PL or projective PL map on the links of a PL manifold

Let $M$ be a PL manifold and $f: M\rightarrow M$ be a PL homeomorphism. Suppose that $f(x)=x$ for some vertex $x$. Is the restriction map of $f$ on the links of $x$ also PL? Someone claims that this ...

**10**

votes

**3**answers

456 views

### Space of embeddings of circle in a surface

Let $S$ be a compact oriented surface of genus at least $2$ (possibly with boundary). Let $X$ be a connected component of the space of embeddings of $S^1$ into $S$.
Question : what is the ...

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

**10**

votes

**1**answer

503 views

### The mathematics of tavern puzzles

I remember seeing a paper on the arxiv this year (which I cannot now find Edit: This paper: http://arxiv.org/abs/1208.6545, found by j.c.) proposing to study the linkage of rigid bodies such as tavern ...

**4**

votes

**1**answer

228 views

### What is known about maximal free subgroups of surface groups?

Let $\Gamma_g=< a_1,...,a_g,b_1,...,b_g | \prod_{i=1}^g [a_i,b_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma_g$ for $g>1.$ (I.e. free subgroups which are not ...

**2**

votes

**0**answers

129 views

### What invariants are of great concern in the field of 3-manifolds and why? How much do we know about them? [closed]

I am curious about 3-manifolds though I know little.
Here I am trying to know what invariants people in this field are interested in.
The following are what I have known and what I particularly want ...

**6**

votes

**1**answer

186 views

### Is there “nonorientable Heegaard Floer homology”?

I have a Heegaard diagram which produces a non-orientable 3-manifold. I want to know any 3-manifold invariant which can be calculated from Heegaard diagrams for non-orientable 3-manifold. (As far as I ...

**15**

votes

**2**answers

436 views

### Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$.
What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...

**1**

vote

**0**answers

37 views

### Natural isomorphism between locally finite homology and homology of one-point compactifcation of a forward tame ANR

Let $X,Y$ be a locally compact, separable, metric ANR that is forward tame, which means that for some closed subset $V\subseteq X$ such that $\overline{X\smallsetminus V}$ is compact a proper map ...

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

**6**

votes

**7**answers

864 views

### Homotopy groups other than $\pi_1$ : what are they good for? [duplicate]

Homotopy groups $\pi_k$ were introduced before the homology groups $H_k$ in the 1st topology book I read and the 1st topology course I took. Later on $\pi_1$, $H_k$, and $H^k$ appeared in numerous ...

**1**

vote

**1**answer

175 views

### Sufficient condition for coverings between non-orientable surfaces

Let $X_k$ be the connected sum of $k$ projective planes. I am interested in necessary and sufficient conditions for the existence of a covering $\pi: X_{k'} \to X_k$, where $k$
and $k'$ are integers.
...

**6**

votes

**0**answers

227 views

### Space of embeddings of an $n$-ball into an $n$-manifold

Let $M$ be a smooth $n$-manifold without boundary, and let $B$ be the open unit ball in $\mathbb{R}^n$. I am trying to understand the space $\text{Emb}(B,M)$ of smooth embeddings of $B$ into $M$. ...

**6**

votes

**2**answers

321 views

### Simplicial replacements in smoothing theory

As far as I can tell, ever since Milnor's Microbundles and differentiable structures (1961) paper, whenever people talk about $Diff(\mathbb R^n)$ or $PL(\mathbb R^n)$ or $Homeo(\mathbb R^n)$, they ...

**8**

votes

**2**answers

195 views

### Isotopy extension theorems

I'm looking for the origins of the isotopy extension theorem in categories other than the smooth category.
Precisely, in the smooth category, the isotopy extension theorem says that if $f : [0,1] ...

**0**

votes

**1**answer

84 views

### Connecting two hypersurfaces in R^{n+1} by embedded curves

Let $M^n$ be a smooth closed embedded hupersurface in $\mathbb R^{n+1}$.
Denote by $D$ the bounded connected component of $\mathbb R^{n+1}\backslash M$.
We assume that $\mathbb R^{n+1}\backslash D$ is ...

**6**

votes

**0**answers

236 views

### Does a finitely generated aspherical group have an aspherical presentation with a finite generating set?

Let $G$ be a finitely generated group. Suppose $G$ has an aspherical presentation with a countably infinite generating set. Does $G$ have an aspherical presentation with a finite generating set?
Here ...

**1**

vote

**0**answers

167 views

### Toral decomposition

I have a couple of questions on the following theorem:
Theorem. (Jaco, Shalen)
Let $M$ be a compact, irreducible, orientable 3-manifold with incompressible boundary. There exists a collection ...

**2**

votes

**1**answer

216 views

### Covering seifert manifolds

Let $M$ be a 3-manifold with boundary. If $M$ has an orientable finite cover that is a Seifert fiber space, then is $M$ also a Seifert fiber space?

**3**

votes

**1**answer

147 views

### 3-manifolds bounded by a non-compact Riemann surface of genus 0

Suppose $S$ is a non-compact Riemann surface in $\mathbb R^3$ that has no boundary and has genus zero (i.e. its fundamental group is generated only by its ends at infinity). A typical example would be ...

**3**

votes

**0**answers

107 views

### More questions about high-dimensional knot invariants

In a question yesterday I asked about the existence of algebraic invariants for embeddings of n-manifolds into n+2-spheres. The answers in the positive dimension all made certain assumptions about ...

**9**

votes

**3**answers

289 views

### Invariants of high-dimensional knots

In the study of knots in three dimensions, it can be shown that the fundamental group together with a specification of a meridian and longitude form a complete invariant for knots. What is known about ...

**2**

votes

**1**answer

357 views

+100

### Topological razors (ball-like spaces)

Introduction
Many admire the Euclidean space, and I am not an exception. I will try to catch the topological roundness of the $n$-ball in its greatest generality. I call the resulting axiomatized ...

**4**

votes

**0**answers

119 views

### Rigidity of secondary characteristic classes

For a representation $\rho:\pi_1M\rightarrow GL(n,C)$ and the associated flat $GL(n,C)$-bundle $E_\rho\rightarrow M$ one has the Cheeger-Chern-Simons classes
$$\hat{c}_k(E_\rho)\in H^{2k-1}(M,R/Z)$$
...

**2**

votes

**1**answer

143 views

### isotopy classes of embeddings of the torus

Let's consider $S^1$-bundle $E$ over a 2-manifold $M$. How many isotopy classes of embeddings of the torus $\mathbb{T}^2$ in $E$?
For each free homotopy classes $\gamma$ of mappings of the circle ...

**14**

votes

**3**answers

543 views

### fixed point property for maps of compacts

Definition. A topological space $X$ has the Fixed Point Property (FPP) if every continuous self-map $X\to X$ has a fixed point.
Question. If $X$ and $Y$ are homotopy-equivalent compact metrizable ...

**5**

votes

**1**answer

277 views

### Universal covering map from $\mathcal{H}$ to $\mathbb{C}\setminus \mathbb{Z}\oplus i\mathbb{Z}$ (the countably punctured complex plane)

It's a consequence of the uniformization theorem for simply connected Riemann surfaces that the universal cover of $\mathbb{C}\setminus(\mathbb{Z}\oplus i\mathbb{Z})$ ($\mathbb{C}$ punctured at all ...

**14**

votes

**1**answer

587 views

### A concrete realization of the nontrivial 2-sphere bundle over the 5-sphere?

Since $\pi_4 (PU(2)) = \pi_4 (SO(3)) = {\mathbb Z}_2$, the two-element group,
we know that half of the two-sphere bundles over the 5-sphere $S^5$ are trivial
and the other half are non-trivial and ...

**4**

votes

**1**answer

235 views

### Casson invariant and signature

In W. Neumann, J. Wahl, "Casson invariant of links of singularities",
Comment. Math. Helv.,1990, Vol. 65, Issue 1, pp 58-78 some connection between the Casson invariant and the signature is ...

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

**6**

votes

**3**answers

299 views

### Are non-isomorphic covers of riemann surfaces also generally nonisomorphic as riemann surfaces?

Suppose you've got a Riemann surface $E$, and two topological covers $X,Y\rightarrow E$. Suppose $X,Y$ are nonisomorphic topological covers of $E$, then would you expect $X,Y$ as Riemann surfaces ...

**2**

votes

**1**answer

151 views

### winding number for outer-pointing normal

While trying to characterize the complexity of a closed differentiable curve (for a path planning application), I've been using a notion which is similar in spirit to the winding number of a curve. ...

**3**

votes

**0**answers

175 views

### Are there CW structures on homotopy limits of CW maps?

Consider the diagram of finite CW complexes $X \stackrel{f}\leftarrow Y$ where $f$ is a cellular map and note that its homotopy colimit is precisely the mapping cylinder
$$C_H = \frac{X \sqcup (Y ...

**6**

votes

**0**answers

112 views

### Torsion in Whitehead group

Let $\pi$ be a finite group of odd order. What do we know about the torsion subgroup of $Wh(\pi)$? I am especially interested in the $2$-primary part. Is it always trivial?

**12**

votes

**2**answers

785 views

### Converse of Poincaré-Hopf theorem

Let $M$ be a connected, compact, oriented manifold of dimension $n<7$. If any two maps $M \to M$ having equal degrees are homotopic, must $M$ be diffeomorphic to the $n$-sphere?

**3**

votes

**1**answer

304 views

### On definition of surgery [closed]

I am a beginner in surgery theory. I have started learning with ALGEBRAIC AND GEOMETRIC SURGERY by Andrew Ranicki.
On page 4 of the book he defines surgery :
Denition 1.2 A surgery on an ...

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

**7**

votes

**1**answer

254 views

### Reference request: Spin structures on surfaces and the spin mapping class group

I am looking for references on the following: Spin structures on surfaces, and particularly the spin mapping class group.
What is known about generating the spin mapping class group? Has anybody ...

**11**

votes

**1**answer

272 views

### Does a self map from the wedge sum of two spheres have either a fixed point or a point of period 2?

Let $X$ be the wedge sum of two $2$-dimensional spheres and $f$ a continuous function from $X$ into $X$. Does $f$ have either a fixed point or a periodic point of order 2?
Thanks

**4**

votes

**1**answer

113 views

### Reference for the image of the adjoint to the differential in graph cohomology (which yields STU & IHX)?

One can define cochain complexes of (combinatorial) graphs, where each term is a vector space of linear combinations of certain (isomorphism classes of) graphs, and where the differential $d$ is a ...

**10**

votes

**1**answer

197 views

### Growth of Poincare duality groups

Can one prove that Poincare duality groups cannot have intermediate growth?

**1**

vote

**1**answer

90 views

### On the simply connectedness of Symmetric products and Hilbert schemes of points

My first question is whether $m$-th symmetric product of $\mathbb{C}^{n}$ is simply connected, where $n\geq 3$.
The second question is whether $Hilb^{m}(\mathbb{C}^{n})$ is simply connected, where ...