**1**

vote

**0**answers

124 views

### Surgery to unlink $S^p$ and $S^q$ in $S^d$

We know that $S^p$ and $S^q$ can be linked in $S^d$ if $p+q<d$. Let us consider the simplest case where both $S^p$ and $S^q$ are un-knotted spheres.
I am looking for a surgery to unlink $S^p$ and ...

**-2**

votes

**0**answers

30 views

### Decomposition of ball in Banach Tarski paradox and covering a soccer ball [on hold]

These are 2 separate questions but both related to ball. In both parts, let's use the unit ball (radius = 1) for simplification.
Banach Tarski paradox says that it's possible to decompose a ball in ...

**2**

votes

**0**answers

40 views

### When are principal bundles preserved by colimits?

Let $G$ be a topological group and consider a family $$G\rightarrow E_i\rightarrow B_i$$ of $G$-principal bundles indexed over the natural numbers. Suppose we have $G$-bundle morphisms ...

**0**

votes

**0**answers

159 views

### Limit Group decomposition

I would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel.
First recall that a limit group is a finitely ...

**2**

votes

**2**answers

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

**5**

votes

**0**answers

76 views

### Embedded spheres in the K3 surface

Using the Seiberg-Witten theory, we know that every (smoothly) embedded $S^{2}$ in $K3$ with trivial normal bundle is null-homologous. We know we have a lot of interesting knotted $S^{2}$ inside ...

**-4**

votes

**0**answers

63 views

### Graph theory and topology [closed]

I have related topological ideals with vertex magic totallabeling in graph theory. Is there any possibility to relate vertex magic totallabeling with generalized topology in a very interesting way? ...

**2**

votes

**0**answers

137 views

### Volume of a complex manifold

Is there a theorem which states the following?
Let $\mathcal{M}$ be a $k$ -dimensional complex submanifold of $\mathbb{C}^n, \ 1 \le k \le n$. Let $V \subset M$ be open, relatively compact in $M$, so ...

**1**

vote

**0**answers

76 views

### Canonical metric of toric Kahler manifolds

Let $X$ be non-compact toric Kahler manifold associated to a Delzant polygon $P$
and $g$ be the canonical Kahler metric constructed by Guillemin. Is it true that
the real part of $g$, as a ...

**8**

votes

**2**answers

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

**2**

votes

**0**answers

75 views

### McDuff's classification of symplectic manifolds

According to a theorem of McDuff, if $(X,\omega)$ is a closed symplectic 4-manifold, which contains a symplectic sphere of self-intersection +1, then $X$ is symplectomorphic to $CP^2$ blown up a few ...

**19**

votes

**0**answers

558 views

### Do there exist exotic 4-tori?

More precisely: are there known manifolds which are homeomorphic, but not diffeomorphic to the standard 4-torus? Are there any nice invariants distinguishing such manifolds?
Related: if such a ...

**2**

votes

**2**answers

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

**9**

votes

**1**answer

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

**40**

votes

**1**answer

4k views

### Open map D⁴ → S²

Is it possible to construct an embedding $D^4\hookrightarrow S^2\times
\mathbb R^2$
such that the projection $D^4\to S^2$ is an open map?
Here $D^n$ denotes closed $n$-ball.
An open map D⁴ → S².
It ...

**14**

votes

**1**answer

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

**3**

votes

**1**answer

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

**4**

votes

**2**answers

919 views

### A question about Marsden-Weinstein reduction theory

Let $G$ be a compact Lie group and $\frak g$ be its Lie algebra. Then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J \colon M\to \frak g^*$ be its moment map then the ...

**1**

vote

**1**answer

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

**0**

votes

**1**answer

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

**8**

votes

**2**answers

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

**4**

votes

**2**answers

358 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

**2**answers

117 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

**2**answers

292 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

**1**answer

174 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

**0**answers

302 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

**0**answers

71 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

**3**answers

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

**1**

vote

**1**answer

101 views

### Is there a straightforward way to define a differentiable structure on a localic manifold?

I'd ideally like a categorical definition of differentiability that can then be trivially translated into locales. Barring this, I'm still interested in whether the notion make sense for locales.

**12**

votes

**4**answers

394 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) ...

**1**

vote

**1**answer

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

**10**

votes

**1**answer

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

**5**

votes

**0**answers

174 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

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**2**answers

608 views

### How big can the Hausdorff dimension of a function graph get?

This question is inspired by How kinky can a Jordan curve get?
What is the least upper bound for the Hausdorff dimension of the graph of a real-valued, continuous function on an interval? Is the ...

**3**

votes

**1**answer

101 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

**1**answer

112 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

**2**answers

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

**5**

votes

**2**answers

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

**4**

votes

**1**answer

250 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

**1**answer

920 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?
...

**2**

votes

**1**answer

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

**12**

votes

**1**answer

230 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

**2**answers

180 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

**1**answer

194 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

**2**answers

125 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?

**26**

votes

**2**answers

626 views

### good covers of manifolds

It is well-known and easy to prove (see for instance this post) that every smooth manifold admits a "good cover", i.e. a locally finite cover by open balls such that all nonempty intersections of the ...

**3**

votes

**0**answers

111 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

**1**answer

92 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) ...