# Tagged Questions

**4**

votes

**1**answer

298 views

### Punctured 3-manifold

Suppose we have a closed 3-manifold $M$, not necessarily simply connected.
What can I say about the homotopy groups of $M \setminus \text{pt}$? ($M$ punctured by one point)
In particular, what ...

**5**

votes

**1**answer

254 views

### Is there a Riemann existence theorem for orbifolds?

For smooth algebraic varieties $X$ over $\mathbb{C}$, the Riemann existence theorem establishes an equivalence of categories between the category of finite etale covers of $X$ and finite unramified ...

**1**

vote

**0**answers

195 views

### On matrix rank inequality

Let $A$ be a $\{0,1\}$ square matrix.
Let $J$ be all $1$ matrix.
Let $\bar{A}=J-A$.
Is it possible for $rk_+(A)\geq c\cdot rk_+(\bar{A})^d-1$ and $rk_+(\bar{A})\geq c\cdot rk_+({A})^d-1$ for some ...

**4**

votes

**1**answer

361 views

### Cap product à la Poincaré

Recently, it became apparent to me that I was not the only one who always first thought in terms of cap product before actually computing a cup product. There is no denying this is evil, but I found ...

**8**

votes

**2**answers

195 views

### Intersection Cohomology and $L^2$ cohomology

In the study of singular spaces, topological methods like intersection cohomology have played an important role. They have led to the development of technology like perverse sheaves and these find ...

**9**

votes

**4**answers

706 views

### Geometry of the space of circles in the Euclidean plane

We know that Mobius transformations, $z\to\frac{az+b}{cz+d}$, permutes circles and lines in the Euclidean plane, $(\mathbb{R}^2, dx^2 + dy^2 )$.
It may even be possible to write an explicit formula ...

**0**

votes

**1**answer

121 views

### Symplectic Submanifolds of Contact Manifolds and Contact Submanifolds of Symplectic Manifolds

We know every contact manifold admits a symplectic submanifold, e.g., by Giroux's bijection : if $\omega$ is a contact form for a 3-manifold $M^3$ , then $d \omega$ is symplectic on the fibers of the ...

**5**

votes

**1**answer

93 views

### Continuity of taking collapse maps

Let $U$ and $V$ be open subsets of $\mathbb R^n$ and let $\mathrm{OEmb}(U,V)$ denote the space of open embeddings of $U$ into $V$ with the compact-opent topology. Let $\bar{U},\bar{V}$ denote their ...

**0**

votes

**1**answer

178 views

### Principal bundle associated to a fiber bundle

Let $\pi : E\to B$ be a fiber bundle with fiber $F$ over a finite complex $B$ whose structure group is a compact Lie group $G$. How can we determine the principal $G$-bundle associated to $\pi$? For ...

**5**

votes

**1**answer

119 views

### Does there always exist a sequence of handle moves between handle decompositions that does not increase index? (+ ref. request)

Reference request: Firstly, I'm looking for a proof of the following well-known result about handle decompositions:
($\ast$) Given two handle decompositions of a smooth $n$-manifold $M$, there ...

**3**

votes

**1**answer

396 views

### What is wrong with the “naive” proof of the Hauptvermutung?

The Hauptvermutung is the statement that any two PL structures on a topological space have a common refinement. It is false in general, but (I think) true for some low dimensional manifolds.
The ...

**0**

votes

**0**answers

62 views

### Upper bound on number of cells created by varieties of co-dimension 1

Say I have polynomials $p_1,p_2,\dots,p_m$ in $\mathbb{R}^n$ (ie. over $n$ variables), each of degree $d$. Is there an upper bound on the number of "regions" created by the surfaces $p_i = 0$? Let's ...

**6**

votes

**0**answers

125 views

### Do commuting homeomorphisms of the $2$-disk have a common fixed point?

Problem 2.20 (attributed to Lima) in Kirby's list of unsolved problems in low-dimensional topology asks:
Are there commuting homeomorphisms of the $2$-ball $B^2$ without a
common fixed point?
...

**13**

votes

**1**answer

535 views

### Is any connected fibre of a fibration of a sphere also a sphere?

Is it known whether, for any fibration of a sphere with connected fibres, the fibre has to be a sphere? $S^1$, $S^3$ or $S^7$?

**3**

votes

**1**answer

261 views

### Generalization of Giroux's Theorem for Higher Dimensions?

Just wanted to know if Giroux's theorem for 3-dimensional contact manifolds can be generalized:
In contact geometry for manifolds of dimension 3 , we have Giroux's theorem , stating that for any ...

**2**

votes

**1**answer

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

**2**

votes

**0**answers

126 views

### Jones Polynomial as an Equivariant Index

In Khovanov homology the Jones polynomial of a given link is computed as the graded Euler characteristic of a certain complex associated with the link. From other side the Atiyah-Singer theorem ...

**1**

vote

**2**answers

182 views

### Handle body of 3-manifold with boundary

We know from Morse theory that smooth manifold(with or without boundary) is a handlebody.
However, I found a paper "Three-dimensional manifolds with boundary of nonnegative Ricci curvature" by Ananov, ...

**2**

votes

**1**answer

114 views

### Does $A_{j,k}$ commute with all its conjugates in homotopy braid groups?

Let $\tilde{B_n}$ be the homotopy braid group; namely, in the deformation of braids, a braid string is allowed to intersect itself. Similarly let $\tilde{P_n}$ be the homotopy pure braid group.
I am ...

**6**

votes

**2**answers

204 views

### Teichmuller geodesics vs. geodesics in the hyperbolic plane

Geodesics in $\mathbb H^2$ have the following properties:
For every two points in the plane there exists a unique geodesic joining them.
Every geodesic determines exactly two points on the ...

**2**

votes

**0**answers

184 views

### Example of symplectic 4-manifolds with no Lefschetz fibration structure?

I just read about Donaldson's result on existence of Lefschetz pencil structure on symplectic manifolds (Donaldson 1999). However, one has to blow up the base locus to get a Lefschetz fibration ...

**1**

vote

**0**answers

65 views

### Kontsevich integral for 2-bridge knots

Are there any articles that explain a formula for Kontsevich integral of 2-bridge knots?

**19**

votes

**0**answers

263 views

### Can one properly embed a differential manifold into numerical space of double dimension? [duplicate]

If $X$ is a $ C^\infty$ differential manifold of dimension $n$, then there exists an embedding $f:X\to \mathbb R^{2n+1}$.
This is a not too difficult theorem due to Whitney, proved in many textbooks.
...

**2**

votes

**1**answer

197 views

### Counting Ribbon graphs

Let $G$ be a ribbon graph (sometimes called fat graph) with $v$ vertices and $e$ edges. Furthermore each vertex is of degree $d$.
Q) What is the number of $G$ with the above properties? I mean does ...

**8**

votes

**2**answers

231 views

### Configuration space like subspace of sphere product

For $k \geq 2, n \geq 1$ let $$M^{n,k} = \{(x_1,\dots,x_k) \in S^n \times \dots \times S^n \ | \ x_1 + \dots + x_k = 0\}$$ This is a compact CW-complex and almost, but not quite, a manifold. I ...

**5**

votes

**0**answers

208 views

### Topology of the space of foliations on a 3-manifold

Denote by $\mathcal{P} (M)$ the space of smooth plane fields(oriented and transversely oriented) on a given closed and orientable 3-manifold $M$ with the $C^{\infty}$ topology, and by $\mathcal{F}(M)$ ...

**2**

votes

**3**answers

430 views

### Is true that $\left[\frac{\hat{A}(\mathbb HP^m)} { \hat{M}(\mathbb HP^m) }\right]_{4m} = 0$?

There are two questions:
How to prove that in general
$[\hat{A}(\mathbb HP^m)]_{4m} = 0$
It is possible to verify it for low values of $m$.
How to prove that in general
...

**0**

votes

**0**answers

112 views

### An integrality theorem for immersions of quaternion projective spaces in the euclidean space

There are three questions:
Please let me know your proof of the following theorem:
If $\mathbb HP^2$ can be immersed in $\mathbb R^{12}$ with an Euler class $W_{4}(\nu)$ for the normal bundle of ...

**0**

votes

**1**answer

173 views

### An integrality theorem for immersions of complex projective spaces in the euclidean space

There are three questions:
Please let me know your proof of the following theorem:
If $CP^3$ can be immersed in $R^8$ with an Euler class $W_{2}(\nu)$ for the normal bundle of $CP^3$ respect to ...

**2**

votes

**1**answer

119 views

### Open Books $( \Sigma, \Phi) $ living in Lefschetz Fibrations over the disk $D^2$

I have a question about open books and Lefschetz fibrations over the 2-disk $D^2$. Please let me set it up first, before going on.
Setup:
Say we have a Lefschetz fibration $f: W^4 \rightarrow D^2 $ ...

**5**

votes

**0**answers

216 views

### Gompf's invariant of $2$-plane fields

I am interested in low dimensional contact topology. These days I read "Handlebody construction of Stein surfaces" written by R. E. Gompf, and study an invariant $\theta (\xi)$. This invariant is ...

**3**

votes

**1**answer

187 views

### Immersed versus embedded surfaces representing a same homology class

I am working on the Gromov norm of submanifolds in the total space E of surface bundles over surfaces. So I am interested in knowing the minimal genus of a surface representing a given homology class ...

**-2**

votes

**1**answer

102 views

### Definition of Milnor exact sequence and complex-oriented generalized cohomology of $\mathbb{C}P^{\infty}$

Consider a complex-oriented multiplicative generalized cohomology theory $h^{*}(X)$. It is complex-oriented, if by the definition the following two conditions hold:
1) There exists an element $t\in ...

**4**

votes

**1**answer

201 views

### Are homotopy braid groups residually nilpotent?

A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...

**4**

votes

**0**answers

107 views

### Existence of a torus fibration with given vanishing cycles

Suppose I have a torus fibration over the disc with $n$ nodal singular fibers $F_1,\dots,F_n$ over the points $p_1,\dots,p_n$. I was specifically thinking about a Lagrangian fibration, but I'd be ...

**11**

votes

**1**answer

676 views

### Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3.
Question: How many different geometries (in the sense of Thurston) do we have in ...

**0**

votes

**1**answer

115 views

### Unseparability of two linked rings in higher dimensions [closed]

I am not familiar with topology. We know that in $R^3$, we cannot separate two "rings": two copies of $S^1$, if they are "linked".
I wonder that is there any similar results for two copies of ...

**1**

vote

**1**answer

154 views

### Topology of surfaces and mean curvature

The Gauss-Bonnet theorem characterizes topology of surfaces by their Gaussian curvature.
Do there exist results characterizing topology of surfaces embedded in $\mathbb{R}^3$ by their mean ...

**14**

votes

**3**answers

485 views

### Which mapping class group representations come from algebraic geometry?

Let $\Gamma_g$ be the mapping class group of a closed oriented surface $\Sigma$ of genus $g$. There is a natural surjection $t \colon \Gamma_g \to \mathrm{Sp}(2g,\mathbf Z)$ which sends a mapping ...

**4**

votes

**1**answer

140 views

### Classification of elements in mapping class groups

Recently I start learning mapping class group. The Nielsen-Thurston classification says that each element in mapping class group $Mod(S_{g,n}),g,n\geq 0$ is periodic, reducible, or pseudo-Anosov. Take ...

**5**

votes

**1**answer

119 views

### how to construct an oriented double cover of a lamination?

Suppose $\lambda$ is an non-orientable lamination on a closed orientable surface. How to construct an oriented double cover of $\lambda$?

**8**

votes

**1**answer

297 views

### Existence of certain “nondegenerate” function and manifold topology

Let $M$ be a smooth manifold without boundary, not necessarily compact.
Let $f$ be a real-valued smooth function on $M\times M$. We say $f$ is good if for any point $(x,y)\in M\times M$ with local ...

**9**

votes

**3**answers

422 views

### Unknotting number of knot diagrams

Define the "diagram unknotting number" of a knot diagram $D$ as the minimal number of crossings that need to be changed in $D$ in order to get a diagram of the trivial knot (the usual unknotting ...

**1**

vote

**0**answers

116 views

### Are there analogs of smooth partitions of unity and good open covers for PL-manifolds?

Smooth partitions of unity and differentiable good open covers are important technical tools in the realm of smooth manifolds.
Are there analogs of these tools for piecewise linear manifolds?
A PL ...

**12**

votes

**1**answer

268 views

### Can infinitely many alternating knots have the same Alexander polynomial?

There exist many constructions of infinite families of knots with the same Alexander polynomial. However, alternating knots seem very special. While there are also many result on restricting the form ...

**8**

votes

**2**answers

463 views

### Is more alternating always better?

While thinking about this interesting question asked by Dylan Thurston, it occured to me that in every case that I know, the closer a knot diagram is to being alternating, the better its properties. ...

**7**

votes

**0**answers

133 views

### A forked plane continuum

I came up with this question while trying to solve the following MO one:
Does every connected set that is not a line segment cross some dyadic square?
Suppose $C$ is a plane continuum (i.e. a ...

**4**

votes

**2**answers

303 views

### Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...

**2**

votes

**1**answer

76 views

### Special retraction from a metric space onto an arc

Suppose $X$ is a metric space and $A$ is a subspace of $X$ homeomorphic to $[0,1]$ with its usual topology. Let $v$ an end point of $A$, that is $v$ does not disconnect $A$. Is there a retraction $r$ ...

**0**

votes

**1**answer

121 views

### Braids, pure braids and Dehn twists

Consider the braid group with $n$ strands $B_n$. Each braid can be drawn (say) from bottom to top as $n$-intertwining strictly monotonic strands. Moreover, the group $B_n$ is generated by $n-1$ ...