5
votes
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
3answers
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
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 ...
6
votes
7answers
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
1answer
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
0answers
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
3answers
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
1answer
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
0answers
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
3answers
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
3answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
1answer
197 views

Growth of Poincare duality groups

Can one prove that Poincare duality groups cannot have intermediate growth?
1
vote
1answer
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 ...