**3**

votes

**2**answers

132 views

### equivariant embeddings from the k-th configuration space to the k+1-th configuration space

Let $S$ be a closed, orientable surface in $\mathbb{R}^3$ and $S'$ be the manifold $S\setminus\text{one point}$. Let $F(S',k)$ be the $k$-th (ordered) configuration space on $S'$. It is claimed in ...

**5**

votes

**0**answers

70 views

### How to obtain a faithful representation of $\pi_{1}(\Sigma_{2})$ into ${\rm PSL}(2,\mathbb{Z}[i])$?

Does there exist such a representation? In the title, $\Sigma_{2}$ means the closed orientable surface of genus 2.
I once heard of this or something like it, but not quite sure. Thanks to everyone!

**10**

votes

**3**answers

371 views

### When a compact topological manifold with boundary is a ball?

Let $X$ be a compact topological manifold with boundary. Suppose its interior is homeomorphic to $\mathbb{R}^n$. Is $X$ homeomorphic to a (closed) ball?
Context: I want to show that a certain ...

**6**

votes

**2**answers

317 views

### 3-manifolds homotopy equivalent to a surface

I have heard that an open, orientable 3-manifold $X$ (non-compact, without-boundary) that is homotopy equivalent to an orientable surface $S_g$ must itself already be homemorphic to $S_g \times ...

**3**

votes

**1**answer

210 views

### the “Kahn-Priddy map” and “multiplicative $p$-local equivalence”

The following is a part of a paper that I need to understand
I totally do not know the argument. Could you explain? Thanks.
Let $\Sigma_n$ be the $n$-th symmetric group and $\Sigma_\infty$ be the ...

**0**

votes

**0**answers

96 views

### Does anyone know any applications of CW-complexes in graph theory?

As everyone knows :P, a graph is a CW-complex of dimension 1. Knowing that, are there any interesting results in graph theory that arise from working with CW-complexes? And more specifically, in ...

**0**

votes

**0**answers

120 views

### when is “fibering” preserved under homotopy equivalence

Suppose I have an oriented $F$ bundle over $B$ with total space $E$ (all of the three are closed manifolds) and i have a closed manifold $E'$ which is homotopy equivalent to $E$.Is there any condition ...

**1**

vote

**0**answers

88 views

### Homology of spherical braid groups

By the spherical braid group, I mean the fundamental group of the configuration space of distinct unordered points in $S^2$. I am wondering what is known about the group homology of the spherical ...

**4**

votes

**1**answer

150 views

### Homology 3-sphere with a unique Stein-fillable contact structure

Are there any known examples of oriented integer homology 3-spheres $Y$ (besides $S^3$) which have exactly one Stein-fillable contact structure up to isotopy? Failing that, what are the known examples ...

**1**

vote

**3**answers

199 views

### reference on complex dynamics

Please someone suggest me some reference on the topic "Complex Dynamics". I want a brief geometric treatment from the root level. I have graduate level background on complex analysis, riemannian ...

**2**

votes

**2**answers

249 views

### Is the following 3-manifold irreducible?

We start with product manifold $ X := S_g \times (0,1)$, where $S_g$ is a closed, orientable surface of genus $g \geq 1$. Since this has $\mathbb R^3$ as its universal cover, $X$ is irreducible. Now ...

**6**

votes

**1**answer

164 views

### homotopy groups of an orbifold

The isometry group of the 3-dimensional hyperbolic space $\mathbb{H}^{3}$ is $PSL(2,\mathbf{C})$. What are the homotopy groups of the quotient space $\mathbb{H}^{3}/PSL(2,\mathbf{Z})$ ?

**7**

votes

**3**answers

158 views

### Cyclic groups acting on balls, and interior fixed points

Let a finite cyclic group $G = \mathbb Z/n$ act continuously on an open $d$-ball $B^d$. Suppose further that this action extends to the closed ball $\overline{B^d}$. Is there necessarily a fixed point ...

**3**

votes

**1**answer

190 views

### Status of Zeeman's collapsability Conjecture

Zeeman's conjecture in topological combinatorics states that if K is a contractible polyhedron of dimension 2, then K×I has a collapsible subdivision.
What is the status of this conjecture ...

**3**

votes

**0**answers

79 views

### When closed subsets have finitely many connected componenets

Let $X$ be topological space such that every its closed subset has finitely many connected componenets. Is there any charactrization for such topological space?

**2**

votes

**1**answer

100 views

### Why simple closed curves are dense in $\mathcal{PML}_0(S)$?

I have another question about laminations on surfaces. As usual let $\mathcal{S}$ be the set of homotopy classes of simple closed curves in $S$ and $\mathcal{PML}_0(S)$ be the set of projective ...

**3**

votes

**1**answer

121 views

### Why is $\mathcal{PML}_0(S)$ compact?

I'm starting to study geodesic laminations on hyperbolic surfaces and in particular I'm focusing my attention on $\mathcal{PML}_0(S)$, the space of projective classes of measured geodesic laminations ...

**1**

vote

**1**answer

118 views

### triviality of a $2$-sheeted covering map and the triviality of the associated vector bundle

Let $ X$ be a space with a (free and properly discontinuous) $\mathbb{Z}/2$-action and $$p: X\to X/(\mathbb{Z}/2) $$ be a $2$-sheeted covering map. Then we have an associated vector bundle
$$
\xi: ...

**3**

votes

**1**answer

200 views

### geometric conditions on maps between manifolds inducing monomorphisms on cohomology

Let $M,N$ be manifolds whose dimensions may be different. Let $f: M\longrightarrow N$ be a smooth map. What geometric conditions on $f$ can we impose such that the induced homomorphism
$$
f^*: ...

**5**

votes

**0**answers

109 views

### Connectedness of cones in the boundary of a 1-ended hyperbolic group

Let $G$ be a one-ended hyperbolic group. We can think of the boundary of $G$ as consisting of geodesic rays originating at the identity in some Cayley graph, modulo the relationship of being ...

**12**

votes

**1**answer

423 views

### Realizing symmetric groups by diffeomorphisms

Let $M$ be a (closed, smooth) manifold of dimension $d$. For $n$ a positive integer, fix $n$ points $x_1, \dots, x_n \in M$. The group of diffeomorphisms of $M$ that permutes the points $x_i$ surjects ...

**4**

votes

**0**answers

85 views

### Weakest topology on curves of $R^2$ that makes length a continuous function

We know that the length of curves is not semi-continuous for certain topologies, and is for some others. A natural question I asked myself recently is "what do we need to make length continuous", ...

**17**

votes

**1**answer

384 views

### Vector field on a K3 surface with 24 zeroes

In http://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...

**1**

vote

**0**answers

59 views

### Characterization of certain families of functions

For $R$ equal $\mathbb{R}$ or $\mathbb{Z}$, let $D^+_R:=\{(x,y)\in R^2\colon x<y\}$. For each natural $n$, let $F_{n,R}$ denote the set of all Borel-measurable functions $f\colon ...

**1**

vote

**0**answers

70 views

### Existence of polytope

Does there exist a polytope in dimensional d consisting of $k>d+1$ faces satisfying that every d faces intersect? I tried 3 dimensional cases, and it seems negative. But is it all negative for any ...

**2**

votes

**1**answer

108 views

### positions of regular cubes in Euclidean space with all its vertices without distinction

Let $P$ be the standard regular cube, centered at the origin of $\mathbb{R}^3$ with all its vertices on the unit sphere.
If the vertices are labelled by $1,2,3,4,5,6,7,8$, then the collection of ...

**8**

votes

**1**answer

214 views

### references for Stiefel-Whitney class of Stiefel manifolds and Grassmannians

Let $M$ be a manifold. The total Stiefel-Whitney class of $M$ is defined to be the Stiefel-Whitney class of the tangent bundle $TM$
$$
w(M)=1+w_1(TM)+w_2(TM)+\cdots
$$
I want to find references for
$$
...

**6**

votes

**0**answers

172 views

### A tangential fixed point property for manifolds embedded in Euclidean spaces

Assume that $M$ is a compact orientable manifold which is embedded in some Euclidean space $\mathbb{R}^{N}$
We say that $M\subset \mathbb{R}^{N}$ has the tangential fixed point property if for ...

**7**

votes

**1**answer

163 views

### Conditions on the hierarchy for Thurston's hyperbolization theorem

From my understanding the proof of Thurston's hyperbolization theorem for Haken $3$--manifolds consists of cutting the manifold along a hierarchy (collection of incompressible, ...

**3**

votes

**0**answers

121 views

### Is $C^\infty(M,\mathbb{R})$ an ind-(smooth manifold)?

Let $\mathrm{Man}$ be the category of smooth manifolds (2nd countable, Hausdorff, no boundary, not necessarily compact) and smooth maps, and let $M$ be an object thereof. Is the presheaf $S \mapsto ...

**4**

votes

**1**answer

115 views

### Is the signature of inverse images of diffeomorphic submanifolds (along a homotopy equivalence) the same?

Suppose it is given an orientation preserving homotopy equivalence $h:N→M$ between closed oriented connected manifolds. Let $X,Y\subset M$ be diffeomorphic submanifolds, and assume $h$ to be ...

**6**

votes

**1**answer

252 views

### vector bundles associated to a covering space

Let $M$ be a $m$-dimensional manifold whose cohomology ring and cell structure are well-understood, such that there is a free action of the symmetric group $S_n$ on $M$. Then we have a $n!$-sheeted ...

**6**

votes

**1**answer

187 views

### Fundamental class in $KO[1/2]$

Let $M^m$ be an oriented Riemannian manifold.
The signature operator associates to $M$ a class $\Delta_M\in KO_m(M)[1/2]$.
I have two questions about this class $\Delta_M$:
Rationally, $\Delta_M$ is ...

**23**

votes

**6**answers

2k views

### How to get convinced that there are a lot of 3-manifolds?

My question is rather philosophical : without using advanced tools as Perlman-Thurston's geometrisation, how can we get convinced that the class of closed oriented $3$-manifolds is large and that ...

**4**

votes

**0**answers

90 views

### characteristic classes of a covering space with symmetric group action

Let $S_n$ be the $n$-th symmetric group. Suppose we have a $n!$-sheeted covering space
$$
S_n\to M\to M/S_n
$$
where $M$ is a manifold. Let $\mathbb{K}$ be the real numbers $\mathbb{R}$, complex ...

**7**

votes

**2**answers

205 views

### Heegard genus of hyperbolic Haken 3-manifolds

Is there an example of a closed Haken hyperbolic 3-manifold of Heegaard genus 2?

**3**

votes

**1**answer

485 views

### What is the Euler characteristic of a mapping space?

Suppose that $A$ and $B$ are topological spaces homotopy equivalent to finite cell complexes, and let $B^A = \mathrm{maps}(A,B)$ denote the space of maps from $A$ to $B$. Is it there a formula for ...

**2**

votes

**1**answer

157 views

### A question about simple closed curves in 3-dimensional Euclidean space

Let E(3) be 3-dimensional Euclidean space. I have submitted the following question to Mathstackexchange and other mathematical websites, but have never received any responses-not even rejections on ...

**10**

votes

**1**answer

487 views

### positions of a methane molecule with carbon atom at the origin

Let $\text{CH}_4$ be the molecule of Methane:
The four hydrogen atoms form vertices of a regular tetrahedron with the carbon atom in the center of the regular tetrahedron.
Here we regard all atoms ...

**10**

votes

**0**answers

190 views

### Mapping class groups in high dimension

Let $M$ be a $1$-connected, closed, smooth manifold with $dim(M)>4$ and let us set $MCG(M)=\pi_0(Diff(M))$. Dennis Sullivan proved that $MCG(M)$ is commensurable to an arithmetic group.
I was ...

**11**

votes

**1**answer

253 views

### Reference request: sheaves on the site of d-manifolds

I believe I know how to prove the following results. I also know to whom to cite fancy-shmancy results that have these as a very special case. My question is: what are the correct citations for ...

**9**

votes

**1**answer

192 views

### Inducing up the group homomorphism between mapping class groups

There are many ways to embed the braid group into the mapping class group of a surface. To describe one of them, let ${C}_{2g+2}(\mathbb{D}^2)$ be the configuration of unordered $2g+2$ points in the ...

**12**

votes

**0**answers

126 views

### Which spherical space forms embed in $S^4$?

Is there any hope of getting a classification of which 3-dimensional spherical space forms are smoothly embeddable in $S^4$? I read that lens spaces cannot embed in $S^4$, but some other spherical ...

**8**

votes

**1**answer

171 views

### Essential Klein bottle in simply connected symplectic 4 manifolds

Consider the following question:
Let $X$ be a simply connected, symplectic 4-manifold. Does there exists a smoothly embedded Klein bottle $K\subset X$ such that the following conditions are both ...

**8**

votes

**1**answer

264 views

### Stiefel-Whitney class of fibre bundles

Let $F,E,B$ be manifolds (we may assume them to be compact, without boundary if necessary) and $$F\to E\to B$$ be a fibre bundle. Suppose $$w(F), w(B),$$ the Stiefel-Whitney class of $F$ and $B$, are ...

**5**

votes

**0**answers

89 views

### configuration space of Riemannian manifolds with a parameter on the distance of distinct points

Let $M$ be a Riemannian manifold. For any $\epsilon\geq 0$, we define the $k$-th ($k=1,2,\cdots$) "$\epsilon$-configuration space" as
$$
F(M,k,\epsilon)=\{(x_1,\cdots,x_k)\in M^k\mid d(x_i, ...

**7**

votes

**0**answers

160 views

### Translation of Haken's paper “Theorie der Normalflächen”

Haken's paper "Theorie der Normalflächen" is one of the formative papers in the development of normal surface theory and provides an algorithm for detecting the unknot.
While there are now a variety ...

**8**

votes

**0**answers

167 views

### Geometric argument for “easy” part of Jordan-Brouwer separation theorem without local flatness

Let $M^n \subset \mathbb{R}^{n+1}$ be an $n$-dimensional compact connected topological submanifold. The Jordan-Brouwer separation theorem says that $\mathbb{R}^{n+1} \setminus M^n$ contains two ...

**22**

votes

**2**answers

658 views

### SnapPea for the uninitiated

SnapPea (http://www.math.uic.edu/~t3m/SnapPy/) is a program with extensive facilities for doing various kinds of calculations with hyperbolic 3-manifolds. The official documentation assumes that the ...

**4**

votes

**1**answer

112 views

### Symmetry of a distance metric for a generating set of Topology

I was trying to prove that $\epsilon$-balls defined based on the shortest travel-time distance in a transportation network is a valid generating set for a topology of points on a transportation ...