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)

2
votes
1answer
66 views

Obtain 4-manifolds by repeating surgeries of submanifolds in $S^4$

In his paper QFT and Jones Polynomials, Witten states: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) by repeated ...
12
votes
1answer
149 views

$(n-1)$-dimensional sphere in $S^n$ such that the closure of a component of complement is not contractible

Let $f:S^{n-1} \rightarrow S^n$ be a topological embedding and let $A_f$ and $B_f$ be the components of $S^n \setminus f(S^{n-1})$. If $\overline{A}_f$ and $\overline{B}_f$ are manifolds with ...
8
votes
1answer
101 views

bi-Lipschitz gluing

Let $H$ be the Heisenberg group with left invariant sub-Riemannian metric and $\varepsilon>0$ is small. Let us denote by $|x-y|_H$ the distance from $x$ to $y$ in $H$. I have a bi-Lipschitz ...
1
vote
1answer
116 views

Chern classes of three (two) dimensional complex vector bundles

Let $M$ be a manifold. Let $F(M,3)=\{(m_1,m_2,m_3)\mid m_1, m_2, m_3\in M, m_i\neq m_j, \text{ for any } i\neq j\}$. Let $S_3$ be the symmetric group of order $3$. Let $S_3$ act on $F(M,3)$ by ...
3
votes
1answer
104 views

Hopf link from analytic geometry

I am a condensed matter physicist, and want to understand the Hopf link from analytic point of view. My question is as follows. We have two sets of equations, and each set of equations describes a ...
2
votes
1answer
70 views

A Jordan Separation Theorem for Polyhedral Surfaces

Let me begin by defining what a polyhedral surface is. A path-connected subset $ P $ of $ \mathbb{R}^{3} $ is called a polyhedral surface iff it is the union of a finite collection $ \mathcal{C} $ of ...
0
votes
1answer
213 views

Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question. Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$). I'm interested in the topological ...
4
votes
2answers
348 views

How many metrics of constant curvature exist on a Riemannian surface?

I have been trying to determine the number of metrics of constant curvature on a surface of genus $n$, say $\Sigma$. For low values, the answer is clear, the moduli space is a point for the sphere, ...
3
votes
2answers
111 views

Teichmuller distance between isospectral riemann surfaces

Let $S$ be a surface of negative Euler characteristic (for simplicity let's assume $S$ to be closed), and let $\mathcal{M}(S)$ denote the moduli space of hyperbolic surfaces homeomorphic to $S$. ...
5
votes
2answers
289 views

Topological $n$-manifolds have the homotopy type of $n$-dimensional CW-complexes

I search for a chain of clean references, which lead the fact of topological manifolds of dimension $n$ having the homotopy type of a CW of dimension $n$. Milnor's On spaces having the homotopy type ...
2
votes
1answer
171 views

Ehresmann fibration theorem for manifolds with boundary

All manifolds in consideration may have nonempty boundary and may be disconnected. Let me fix a definition first. A map between smooth manifolds $M\rightarrow N$ is a fiber bundle, iff it's locally ...
20
votes
0answers
299 views

Nilpotence of the stable Hopf map via framed cobordism

The Pontryagin-Thom construction shows that the stable homotopy groups of spheres are the same as the groups of stably framed manifolds up to cobordism. Specifically the Hopf map corresponds to the ...
0
votes
0answers
69 views

rational cohomology of finite dimensional real grassmannian

Let $G_k(R^n)$, $n>k$, be the finite dimensional real grassmannian. What is the rational cohomology algebra $H^*(G_k(R^n);Q)$? I have searched out that $H^*(BO_k;Q)=Q[p_1,p_2,...,p_[k/2]]$ is the ...
1
vote
3answers
251 views

orbit space of $\mathbb{Z}_p$ action over complex projective space by permuting the homogeneous coordinates

$Z_p$:=cyclic group of order $p$. I want to understnd $H_\ast(\mathbb{C} P^{n}/Z_{n+1};Z)$ with $(n+1)$ being a prime number,and the action is given by permuting the homogeneous coordinates. For ...
5
votes
0answers
165 views

Schoenflies and symplectic topology

The final report from a workshop on Morse theory in low-dimensional and symplectic topology includes the following question, posed by Michael Hutchings: Can we apply symplectic geometry to solve the ...
-6
votes
1answer
168 views

Stiefel-Whitney class of complex projective spaces [closed]

Let $T\mathbb{C}P^m$ be the tangent bundle of complex projective space. What is the total Stiefel-Whitney class $w(T\mathbb{C}P^m)$? Let $a_m$ be the maximal integer such that the $a_m$-th dual ...
1
vote
1answer
88 views

Are normal deformations of an embedding open in the $C^{\infty}$-space of embeddings of a compact smooth manifold`

Let $M$ be a compact smooth manifold (closed, for simplicity), $n\in\mathbb{N}$ and equip the space of embeddings $Emb(M,\mathbb{R^n})$ wih the Whitney-$C^{\infty}$-topology. (The weak and the strong ...
3
votes
1answer
99 views

arc length of a knot in the solid torus

As motivation, consider the knot in the solid torus in the first (left) picture below. Put a metric on the torus -- for concreteness, let's assume it's induced by the standard euclidean metric on ...
2
votes
1answer
111 views

rational cohomology of finite real grassmannian

Let $p_j$ to be the $j$-th Pontryagin class of the universal $n$-plane bundle $E_n(\mathbb{R}^\infty)\to G_n(\mathbb{R}^\infty)$. Then according to Theorem 1.6, The Cohomology of BSO n and BO n with ...
5
votes
2answers
175 views

Illumination of a convex body

If $\mathbf{K}$ is a compact, convex set with nonempty interior in $d$-dimensional Euclidean space $\mathbb{E}^d$, and $\mathbf{p}$ is an exterior point outside of $\mathbf{K}$, we say that ...
12
votes
4answers
384 views

Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...
4
votes
1answer
249 views

$K_0$ of integral group ring of cyclic group $\mathbb{Z}/p\mathbb{Z}$

Is there a table for the computation of $K_0(\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}])$? These groups are also known as ideal class group in number theory.In topology,they are the home of some important ...
20
votes
1answer
913 views

Homeomorphism historically: When did it reach its modern formulation?

Q. When did the notion of homeomorphism reach its modern formulation as a bicontinuous bijection, i.e., a continuous bijection between topological spaces whose inverse is also continuous? ...
3
votes
1answer
125 views

Chern-Simons invariants of 2-bridge knots

2-bridge links $L(p/q)$ are described by the continuous fraction expansion $\frac{p}{q}=\left[a_1,a_2,\ldots,a_n\right]$, where the $a_i$ are the numbers of twists in the boxes below: Looking at ...
10
votes
1answer
355 views

Pseudomanifolds and Poincaré duality

1) A $n$-dimensional homology manifold is a topological space $X$ such that for any $x\in X$, the homology groups $$H_p(X,X-x,\mathbb{Z})$$ are trivial unless $p=n$ where $$H_n(X,X-x,\mathbb{Z})\cong ...
2
votes
1answer
158 views

cohomology ring of configuration spaces

In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use ...
0
votes
0answers
34 views

Jordan curve interior and curvilinear coordinates [migrated]

One of the popular ways of evaluating areas of some plane subsets is change of variables. One classic example is the lemniscate of Bernoulli $\gamma: (x^2+y^2)^2=x^2-y^2, x>0$. Using polar ...
8
votes
2answers
656 views

Morgan Shalen compactification of $\mathbb C^2$

I'm reading the Otal's survey on the compactification of Morgan Shalen. (available here) He claims in an example (page 8) that the compactification of $\mathbb C^2$ is $S^4$, which sounds completely ...
12
votes
1answer
203 views

Geometric intersection with incompressible surfaces

Let $M$ be a oriented compact $3$-manifold, closed or with boundary. For any incompressible surface $F$, define a function $i_F$ on the set of homotopy classes of closed curves in $M$ by $$i_F ...
7
votes
2answers
178 views

What are known examples of a 3-manifold $Y$ embedded into $Y'\times I$ where $Y'$ is another 3-manifold?

The question I have is the following: Let $Y,Y'$ be two integer homology 3-spheres. Can we embed $Y'$ into $Y\times I$ such that $Y'$ separates the two boundary components apart? Do we know any ...
4
votes
1answer
191 views

Quotient of principal congruence subgroups

This is a direct follow-up to this question. What is the quotient $\Gamma(2)/\Gamma(2^n)?$ (the principal congruence subgroups are in $SL(2, \mathbb{Z}).$ It is a 2-group, but what else?
0
votes
2answers
120 views

Are there CAT(-1) spaces which are not trees whose Gromov boundary is disconnected?

Are there some examples of CAT(-1) spaces which are not trees which have disconnected Gromov boundary?
5
votes
2answers
167 views

2-bridge knots in the Rolfsen's table

2-bridge knots (aka rational knots) $K(p,q)$ are described by a rational number $\frac{p}{q}$ or likewise its continued fraction expansion $\left[a_1,a_2,\ldots,a_k\right]$. Has somebody worked out a ...
3
votes
0answers
109 views

Dimension of Birman-Murakami-Wenzl Algebra

I was reading the paper Braids, Link Polynomials and A New Algebra by J. S. Birman and H. Wenzl, and I was wondering is there a combinatorial way to compute the dimension of the algebras ...
1
vote
1answer
88 views

Why does the Gluck twist on a spun knot give the standard $S^4$?

Given a knotted arc $A \subset D^3$ (whose endpoints are, say, at $(\pm 1,0,0)$), the spun knot on this arc is $$\partial\left((D^3, A) \times D^2\right), = (\partial(D^3,A) \times D^2) \cup ((D^3,A) ...
1
vote
0answers
143 views

Geometric representatives of homology classes of manifolds

Is it true that for even dimensional differentiable manifold $M^{2n}$ all singular homology classes in dimension less than $n$ can be represented by a submanifold?
1
vote
0answers
103 views

Discontinuity of Radon-Nikodym derivative for Patterson-Sullivan measures for word metrics on Gromov hyperbolic groups

Let $\Gamma$ be a Gromov hyperbolic group coming endowed with a word metric coming from some finite generating set. Let $\nu$ be an associated Patterson-Sullivan measure (quasi-conformal density). I ...
1
vote
1answer
108 views

Boundary components of a subsurface

Consider the following situation. Suppose we have a closed oriented Riemannian surface $ \Sigma $ and a connected open subset $ \Omega \subseteq \Sigma $ with a boundary, consisting of finitely many ...
0
votes
0answers
89 views

permutation action on cohomology of configuration space

Let $F(M,n)$ be the $n$-th configuration (ordered) of manifold $M$. In the paper The Integral Cohomology Algebras of Ordered Configuration Spaces of Spheres, ...
1
vote
1answer
170 views

permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds. In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...
7
votes
2answers
115 views

Limits at infinity of fellow-travelling sequences in Teichmuller space,

I have a question concerning limits of sequences of points in Teichmuller space, and how this notion is preserved under fellow-travelling. Suppose that we have closed surface of genus $g\geq 2$, and ...
6
votes
2answers
321 views

contractible configuration spaces

Let $F(M,k)=\{(x_1,\cdots,x_k)\mid x_1\cdots,x_k\in M,x_i\neq x_j, \text{ for } i\neq j \}$. It is known that $F(\mathbb{R}^\infty,k)$ is contractible for each $k$. My question: is $F(S^\infty,k)$ ...
6
votes
0answers
177 views

When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space. Let $d$ a word metric on $\Gamma$ coming from some finite set of generators. My question is: Does there exist a ...
2
votes
2answers
181 views

boundary homomorphism in the homotopy exact seqeunce of principal $SO(9)$ bundle over $S^8$

Consider principal $SO(9)$ bundles over $S^8$.They are in 1-1 correspondence with $$[S^8,BSO(9)]\cong \pi_7(SO(9))\cong \mathbb{Z}$$ Now pick up one such bundle $\xi$,we have the long exact sequence ...
0
votes
1answer
83 views

How to minimize this sparse quadratic function?

There is a problem when I'm reading a paper. Equation: $min_p|p-p^*|^2+\alpha |R(p)|^2 + \beta |D(p)-\delta|^2$, where $p, p^*, R(p), D(p), \delta$ are all $M\times N$ matrices, and $p^*, R(), D(), ...
1
vote
1answer
109 views

configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring $$ H^*(F(\mathbb{R}P^n,k);R)$$ is obtained for any ...
2
votes
2answers
176 views

Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
1
vote
0answers
108 views

Torsion elements in the mapping class group

Let $S$ be an orientable surface of genus $g$ with $b>0$ boundary components, and let $\mathrm{Mod}(S)$ be its mapping class group, that is, the group of isotopy classes of its homeomorphisms ...
0
votes
1answer
105 views

Maps of balls with fixed value along boundary

Suppose I wish to find the homotopy classes of maps of $B^3 \rightarrow M$ which along the boundary are fixed by a (particular) map $f: S^2 \rightarrow M$. Take $M$ to be a closed orientable ...
1
vote
0answers
118 views

The fundamental group of the complement of codimension 2 submanifold

Suppose that $M^n$, $V^{n+2}$ are connected, compact smooth manifolds. Let $f\colon M^n\to V^{n+2}$ is a smooth embedding. Let $K_f$ be the kernel of the inclusion induced homomorphism ...