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)

1
vote
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
2answers
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
3answers
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
1answer
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
4answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
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 ...
4
votes
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
125 views
26
votes
2answers
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
0answers
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
1answer
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) ...