Topology of cell complexes and manifolds, classification of manifolds (e.g. smoothing, surgery), low dimensional topology (e.g. knot theory, invariants of 4-manifolds), embedding theory, combinatorial and PL topology, geometric group theory, infinite dimensional topology (e.g. Hilbert cube ...

learn more… | top users | synonyms (1)

0
votes
0answers
25 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 ...
2
votes
0answers
17 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 $ (*) $ $$ ...
0
votes
0answers
11 views

Are all transversely oriented 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 ...
2
votes
1answer
184 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 ...
5
votes
3answers
121 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 ...
3
votes
0answers
51 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 ...
7
votes
2answers
262 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
0answers
39 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 ...
3
votes
1answer
110 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
1answer
84 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$ ...
9
votes
0answers
147 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 ...
4
votes
2answers
159 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?
2
votes
1answer
124 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 ...
4
votes
3answers
186 views

Parameterizing rotations of a cube [closed]

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
1answer
88 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
0answers
81 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 ...
17
votes
0answers
155 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 ...
7
votes
1answer
127 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 ...
4
votes
1answer
69 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 ...
16
votes
0answers
180 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
0answers
120 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
0answers
70 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 ...
1
vote
0answers
34 views

A questions related to the Markus conjecture for special affine manifolds

An affine manifold $M$ is called special if there is a parallel volume form $\omega$ on $M$, and a nowhere vanishing vector field $\mathcal{V}.$ Here we need to point out that any affine manifold of ...
13
votes
3answers
656 views

Simply-connected rational homology spheres

Every simply-connected rational homology sphere is, in fact, the usual sphere in dimensions $2, 3.$ Is this true in dimension 4? Where are the first counterexamples? (I know there are some in ...
12
votes
0answers
125 views

$p$-Adic or arithmetic variants of Khovanskii's “low complexity $\Rightarrow$ tame topology” theory

This question is prompted by a remark I made in a comment to Is every polynomial a factor of a trinomial?, which was that Descartes's observation (cf. his rule of signs, etc.), that the number of real ...
7
votes
1answer
107 views

Determine if an $n$-dimensional mesh of simplices is a non-manifold

In an $n$-dimensional space I have a set of simplices where each simplex consists of facets. Some of the simplices are 'connected' by sharing facets. Each facet is made up on edges, each consisting ...
6
votes
1answer
225 views

Four-dimensional vector bundles over $S^4$, intuition?

I know that $\pi_3(SO(4)) = \mathbb{Z} \oplus \mathbb{Z}$. We can choose an explicit identification as follows: given $(i, j) \in \mathbb{Z}$, we have a map $\phi: S^3 \to SO(4)$ which sends a unit ...
3
votes
0answers
71 views

What is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration? [migrated]

As the question suggests, what is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration? I not a topologist by trade and I find the concept kind of hard to understand... Thanks ...
12
votes
0answers
261 views

Is Rasmussen's s-invariant of a knot an invariant of a 4-manifold?

Let $K$ be a knot in the 3-sphere $S^3$. Here we denote by $s(K)$ Rasmussen's s-invariant for $K$, and by $X_{K}(n)$ the 4-manifold obtained from the standard 4-ball $B^4$ by attaching a ...
3
votes
1answer
208 views

Example of a triangulable topological manifold which does not admit a PL structure

I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...
3
votes
1answer
225 views

coproduct of the homology of iterated loop space on spheres

Let $\Omega^{n+1}S^{n+1}$ be the base-pointed $(n+1)$-iterated loop space on the $(n+1)$-sphere. In the paper The homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, Lecture notes in ...
3
votes
1answer
186 views

Constructing a homology class of degree $d(d-1)/2$ in $H_3(S^3)$

There is a nice construction of a class of degree $d^2$ in $H_3(S^3)$. Take a class $h$ of degree $d$ in $H_1(S^1)$, and then take its join with itself: $h*h$ is degree $d^2$ in $H_3(S^1*S^1)$, and ...
2
votes
1answer
47 views

Shrinkable decompositions with uncountably many non-degenerate elements?

Let $\mathcal D$ be an upper semicontinuous decomposition of $\mathbb S^n$ and let $\mathcal D'\subset\mathcal D$ be the set of non-singletons. The decomposition space $^{\mathbb S^n}/_{\mathcal D}$ ...
2
votes
0answers
116 views

the homology of configuration spaces [closed]

In the paper ON THE HOMOLOGY OF CONFIGURATION SPACES, Section 5.4, Why $C(M\times \mathbb{R};X)\simeq \Omega C(M; SX)$? Does this hold for $X$ not connected?
1
vote
0answers
81 views

When Max(R) is Hausdorff space? [duplicate]

Let $R$ be reduce commutative ring with identity (a commutative ring such that $a^n$=0 ($a\in R$) implise $a=0$) and $Max(R)$ be the set of all maximal ideals of $R$. The hull-kernel (or Zariski ...
2
votes
2answers
224 views

Hausdorff Dimensions of Limit set of subgroups of SL(2,Z)

In a recent paper by Bourgain, Sarnak, Gamburd [1] talks about subgroups of $SL(2,\mathbb{Z})$. Let $\Lambda$ be a finitely generated non-elementary subgroup of $SL(2,\mathbb{Z})$ with Hausdorff ...
5
votes
3answers
174 views

Surgery along an arc connecting the components of a $2$-component link gives the unknot

Math Overflow seems to have a dearth of low dimensional topology, but this seems like an interesting question. Let $L$ be a $2$-component link in $S^3$. Suppose that there is a framed arc joining the ...
2
votes
0answers
87 views

cross-sections of a sphere bundle

Let $M$ be a $m$-manifold and $M_0$ a submanifold of $M$. Let $X$ be a pointed topological space. In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, ...
6
votes
1answer
220 views

Is every nonabelian finite simple group a quotient of a triangle group $(a,b,c)$ with $a,b,c$ coprime?

Here by triangle group $(a,b,c)$ I mean the group with presentation $$\langle x,y \;|\; x^a = y^b = (xy)^c = 1\rangle$$ In other words, for every finite simple nonabelian group $G$, do there exist ...
8
votes
1answer
330 views

Relation between moduli spaces and classifying spaces

I hope this question is suitable to be posted here on MO. I wonder if there is a systematic relation between the notation of a classifying space, and the notion of a moduli space. I don't consider ...
1
vote
0answers
82 views

How close (Homology-wise) can we approximate a topological manifold with a PL or smooth one?

Sorry if this question is to naive or badly phrased. I am curious about the following problem, given a manifold $M$, how "close" can we find a smooth or PL manifold, $N$, with a map $f:N\to M$. The ...
4
votes
1answer
120 views

Counterexample to high dimensional Nielsen realization problem

Can someone give me an example of a closed smooth oriented manifold $M$ and an orientation preserving diffeomorphism $f:M\rightarrow M$ such that $f^k$ is isotopic to the identity for some $k\geq 1$, ...
17
votes
0answers
171 views

Metrics on the 3-sphere with knotted geodesics

According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic ...
5
votes
1answer
338 views

Homeomorphism of closed manifold

Suppose that we have two closed n-manifold $M$ and $N$ such that the topological group of homeomorphisms $Homeo(M)$ is homotopy equivalent to $Homeo(N)$ (maybe as topological groups if needed), can ...
2
votes
0answers
63 views

section spaces related to configuration spaces

In the paper Configuration spaces of positive and negative particles, Dusa McDuff, a section space $\Gamma(M)$ is constructed: And in the paper ON THE HOMOLOGY OF CONFIGURATION SPACES. C.-F. ...
3
votes
0answers
45 views

Determinant twist and $Pin _{\pm}$ structure on $4k$-dimensional bundles [Reference request]

Consider the automorphism $\varphi$ of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$. The induced map in cohomology $H^*(BO(2n))$ sends $w_2$ to $w_2+(n+1)w_1^2$ (a proof is given at the end of the ...
3
votes
2answers
138 views

Brieskorn homology spheres

We know that a Brieskorn homology 3-spheres $\Sigma(p,q,r)$ admit a free $S^1$-action, which makes it a Seifert fibered spaces with three singular fibers: $M(b;r_1,r_2,r_3)$. How should one get from ...
2
votes
0answers
97 views

homotopy equivalence between configuration spaces on non-homeomorphic spaces

(1). Let $D^m$ be the closed $m$-disc in $\mathbb{R}^m$. For each $k$, does the $k$-th configuration space on $D^m$ homotopy equivalent to the $k$-th configuration space on $\mathbb{R}^m$ $$ ...
9
votes
0answers
131 views

Why should we regard $PL(M)$ as a simplicial group?

Let $M$ be a manifold. If $M$ is smooth, it is clear what $\text{Diff}(M)$ should be, namely it should be the set of diffeomorphisms of $M$ equipped with the topology in which a sequence of ...
11
votes
1answer
314 views

Homology spheres and fundamental group

I have a curiosity about homology spheres: I was wondering if they were uniquely characterized by their fundamental group. I.e. given two $n-$dimensional (integral) homology spheres with isomorphic ...