**10**

votes

**0**answers

199 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

193 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

128 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

173 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

267 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

168 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

663 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

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

**3**

votes

**1**answer

265 views

### Connections to physics, geometry, geometric probability theory of Euler's beta integral (function)

Euler"s integral for the beta function $B(s,\alpha) = $ (with $x = 1$)
$$ \frac{(s-1)!(\alpha-1)!}{(s+\alpha-1)!} x^{s+\alpha-1} = \int_0^\infty t^{s-1}\; H(x-t) \; (x-t)^{\alpha-1} dt = \int_0^x ...

**15**

votes

**2**answers

549 views

### formula for Eta invariant

Hirzebruch's signature formula is not valid for manifolds with boundary.
An error term is introduced by Atiyah-Patodi-Singer to fix it.More precisely:
$$sign (M)=L(M)[M]+\eta(\partial M)$$
Yet ...

**4**

votes

**0**answers

88 views

### Sharp isoperimetry in the discrete Heisenberg group

The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case?
More ...

**2**

votes

**1**answer

75 views

### distinct multiple points in a space with at least one point lying in a subspace

Let $X$ be a topological space and $A$ a subspace of $X$. Given $k\geq 2$, let the unordered configuration space be
$$
B(X,k)=\{(x_1,x_2,\cdots,x_k)\in X^k\mid x_i\neq x_j \text{ for any } i\neq j\}
...

**6**

votes

**1**answer

204 views

### Can one twist fibred knots and still get fibred knots?

Suppose we have a fibred knot $K$ with a fiber surface $F$ and let $c$ be an unknot disjoint from $F$ (but not homotopically trivial in the complement of $F$). Is it possible that every twist along ...

**6**

votes

**0**answers

378 views

### Prerequisites for reading Gregory Perelman's work

What are the prerequisites for understanding the work of Perelman concerning the Poincaré conjecture?
I am referring to the last three papers here.

**5**

votes

**0**answers

93 views

### Heegaard diagrams of prime 3-manifolds

Are there some known results which give a classification of closed prime 3-manifolds up to their Heegaard diagrams? (That is, providing a collection of Heegaard diagrams which exhausts all prime ...

**9**

votes

**1**answer

217 views

### Diameter of hyperbolic 3-manifolds

Is there a good method to estimate the diameter of a closed hyperbolic 3-manifold?
I am particularly interested in know the diameter of the Weeks manifold.

**13**

votes

**1**answer

307 views

### Fundamental group of the space of immersions of the 2-sphere in 3-space modulo diffeomorphisms of the first

In a previous Mathoverflow question, we saw that the fundamental group of the space $Imm(S^2,\mathbb{R}^3)$ of immersions the 2-sphere in ordinary 3-space is isomorphic to $\mathbb{Z}/2 \times ...

**11**

votes

**1**answer

221 views

### Homotopies with prescribed regular values

Let $M_1$ and $M_2$ be connected smooth manifolds and let $f_0,f_1:M_1 \rightarrow M_2$ be homotopic smooth maps such that some fixed point $p \in M_2$ is a regular value for both $f_0$ and $f_1$. ...

**0**

votes

**1**answer

108 views

### cohomology ring of the fundamental group of unordered configuration space

From the lecture notes INTRODUCTION TO CONFIGURATION SPACES AND THEIR
APPLICATIONS, p. 18, I find:
Os it possible to derive the cohomology ring $H^*(Conf(S,k)/\Sigma_k;\mathbb{Z}_2)$ from the above ...

**2**

votes

**0**answers

51 views

### Stiefel manifolds and “simplicial complex chromated Sitefel manifolds”

Let $K$ be a simplicial complex whose vertices are labelled by $1,2,\cdots,k$. I want to define a variant concept of the open Stiefel manifolds
$$
...

**29**

votes

**1**answer

584 views

### Classifiying sphere eversions

For a year I have been giving lectures on a (probalby) new way to present an explicit sphere eversion. These lectures include a review of many other explicit eversions that have been described, as ...

**2**

votes

**0**answers

140 views

### A question of braid words

Let $(W,S)$ be a Coxeter group, let $B(W,S)$ be the corresponding braid or Artin-Tits group. Set $S=\{s_1,\dots, s_n\}$ and denote by $\bf{S}=\{\sigma_1,\dots, \sigma_n\}$ the corresponding generators ...

**1**

vote

**0**answers

40 views

### Thomsen Blaschke condition

I am reading a paper (Paper 1: https://ideas.repec.org/p/cwl/cwldpp/76.html, that cites another paper ( Paper 2) for its proof.
Paper 1, page 1, line 10 says : Consider the topological image G of a ...

**3**

votes

**1**answer

480 views

### characteristic classes of homotopy equivalent manifolds

Let $M,N$ be two manifolds of different dimensions. Suppose $M\simeq N$, i.e. $M$ is homotopy equivalent to $N$. Do the Stiefel-Whitney classes of the tangent bundles of $M$ and $N$ equal
$$
...

**3**

votes

**1**answer

133 views

### cohomology ring of infinite iterated loop space

What is the cohomology ring
$$
H^*(\Omega^\infty \Sigma^\infty (S^m\vee S^n);\mathbb{Z}_2)?
$$
I already write out the graded-vector-space basis using Dyer-Lashof operations, but I do not know how to ...

**4**

votes

**1**answer

177 views

### Current status of the linearity of mapping class group

In the paper A faithful linear-categorical action of the mapping class group of a surface with boundary it is claimed that it was (as of 2014) still unknown that mapping class group is linear, but the ...

**3**

votes

**1**answer

103 views

### unordered configuration space over spheres and Euclidean spaces

For a topological space $X$, let $B(X,k)$ be the $k$-th unordered configuration space. Then
$$
B(\mathbb{R}^n,2)\simeq \mathbb{R}P^{n-1},
$$
$$
B(S^n,2)\simeq \mathbb{R}P^n.
$$
Hence
$
(*)
$
$$
...

**5**

votes

**1**answer

195 views

### Are all transversely oriented, transversely measured foliations given by closed forms?

This paper, "AF-algebras and topology of 3-manifolds" seems to claim on page 5 that a [transversely] oriented measured foliation on a compact surface is given by a closed form. On the other hand, the ...

**5**

votes

**2**answers

335 views

### Is there a nonabelian free group inside a group of positive rank gradient?

Let $G$ be a finitely generated residually finite group with positive
rank gradient, and let $F_2$ be the free group on $2$ elements. Must
there be an embedding $i \colon F_2 \to G$ ?
A group ...

**6**

votes

**3**answers

173 views

### Probability of random geodesics on the half-sphere intersecting

4 end points (a,b,c,d say) are chosen uniformly randomly and connected a to b and c to d by two geodesics on the 2-dim half-sphere. Here, uniform means that, probability that a point lies on a surface ...

**4**

votes

**1**answer

170 views

### Anosov representations and boundaries of (harmonic) maps

Let $\Sigma_g$ be a closed hyperbolic surface and $\rho\colon\pi_1\Sigma_g\to G$ an Anosov representation into a suitable Lie group. By definition of Anosovness, one has a $\rho$-equivariant ...

**9**

votes

**2**answers

343 views

### For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature?
An obvious case is when $Y$ ...

**2**

votes

**0**answers

50 views

### When do positively invariant subset contain a given set?

Non-triviality of the Conley index for an isolating neighborhood $N$ and a flow $\varphi$ can be used to prove non-emptyness of the related isolated invariant set. In particular, if $N$ doesn't ...

**4**

votes

**1**answer

127 views

### Why almost every geodesic arc is generic？

In his paper "Geodesic laminations on surfaces", Bonahon gave the definition of generic arc and a property as following.
An arc $k$ is generic (with respect to simple geodesics) if it is transverse ...

**3**

votes

**1**answer

114 views

### Existence of tubular neighborohoods of locally flat topological embeddings

Suppose $X$ is a topological manifold and $Y \subset X$ is a locally flat submanifold. We know that $Y$ doesn't necessarily have a tubular neighborhood. My definition of a tubular neighborhood of $Y$ ...

**10**

votes

**0**answers

183 views

### Do homology classes have “special” representatives?

Recall that, according to Hodge, de-Rham cohomology classes of "nice enough" manifolds have "special" representatives - namely, harmonic forms.
Now, how does one choose a "special" one among ...

**6**

votes

**2**answers

261 views

### Fibered example of topologically slice knots

Is there any known example of fibered knot which is topologically slice but not (expected to be) smoothly slice?

**3**

votes

**1**answer

146 views

### Isometry Group of real Hilbert space?

Does the isometry group of a real separable infinite-dimensional Hilbert space have two connected components? Or, conversely, is the there even a Kuiper's theorem in the real case?
How does the ...

**7**

votes

**3**answers

441 views

### Parameterizing rotations of a cube

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...

**3**

votes

**1**answer

143 views

### Calculating Homology of the Boundary of a Handlebody

Given a manifold $M$ with boundary $W = \partial M$, I know that having a handle decomposition of $M$ allows one to compute its homology, at least in nice cases, by - for example - using the Morse ...

**1**

vote

**0**answers

96 views

### Gluing two diffeomorphisms and then smoothing

This question did not get an adequate answer on math.stackexchange.
Let $M_1,M_2$ be two $n$-dimensional closed manifolds and suppose that $M_i=\bar{U}_i^+\cup \bar{U}_i^-$ where $\bar{U}_i^\pm$ are ...

**21**

votes

**1**answer

416 views

### Why, in terms of quantum groups, does the knot determinant appear as an evaluation of both the Jones and Alexander polynomials?

The Jones polynomial can be computed from the representation theory of $\mathcal{U}_q(\mathfrak{sl}(2))$. The Alexander polynomial has an analogous description in terms of the representation theory of ...

**8**

votes

**1**answer

213 views

### Questions on poincare homology spheres and branched covers

I have two questions:
Question 1. Suppose that $K$ is a knot in $S^3$. Let $\Sigma(K)$ be the double branched cover of $S^3$ branched along $K$. If $\Sigma(K)=\#_{i=1}^n\Sigma(2,3,5)$, then ...

**5**

votes

**2**answers

117 views

### Immersed quasi-Fuchsian surfaces surviving Dehn fillings

In papers like, Cooper - Long - Some surface subgroups survive surgery or Li - Immersed essential surfaces in hyperbolic 3-manifolds the game is to find some quasi-Fuchsian immersed surface $Q ...

**18**

votes

**0**answers

531 views

### Concordance and homology cobordism

If two knots $K_1$ and $K_2$ in $S^3$ are smoothly concordant, then for any rational number $r$, the $r$-surgeries $S^3_r(K_1)$ and $S^3_r(K_2)$ are homology cobordant. Is the converse true? What if ...

**5**

votes

**0**answers

144 views

### Mapping the standard $(n!-1)$-simplex into $GL_n(\mathbb C)$

Let $\Delta^{n!-1}$ be the standard $(n!-1)$-simplex whose vertices are indexed by the elements of the symmetric group $S_n$, that is
\begin{equation}
\Delta^{n!-1} = \left\{ (t_\sigma)_{\sigma\in ...

**0**

votes

**0**answers

79 views

### Automorphism group of closed projective surface of negative Euler characteristic

Let $M$ be a smooth surface and $[\nabla]$ a projective structure on $M$, that is, an equivalence class of torsion-free connections on $TM$, where two such connections are called projectively ...