**6**

votes

**1**answer

167 views

### cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$.
Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$.
Let $\rho: ...

**9**

votes

**3**answers

374 views

### Quotient of the hyperbolic plane with respect to commutator group of $\pi_1(\Sigma_g)$

Let $\Sigma_g$ be a Riemann surface of genus $g\geq 2$ and $G=\pi_1(\Sigma_g)$.
Let $\pi\colon \mathbb{H}\to \Sigma_g$ be the universal covering map. What kind of surface is $\mathbb{H}/[G,G]$?
...

**0**

votes

**0**answers

76 views

### Normal Form of Homotopy Pure Braids?

It is well known that a pure braid has a normal form (also called the combed form). Namely, let $P_n$ be the set of pure braids of $n$ strands and let $d_i:P_n\to P_{n-1}$ be the $i$th "forgetting ...

**37**

votes

**2**answers

1k views

### Can knot diagrams be monotonically simplified using under moves?

It is well known that knot diagrams cannot be monotonically simplified using Reidemeister moves. For instance, the Goeritz unknot cannot be directly simplified. On the other hand, there is a stronger ...

**1**

vote

**0**answers

211 views

### Is this a “new” terminology in homology/cohomology theory?

I have the following question. For our research purpose, we have introduced the following concept:
Let $f:X\to Y$ be a continuous, disrecte and open mapping between two locally compact metric spaces. ...

**7**

votes

**0**answers

112 views

### Topological restrictions from mean curvature bounds

Alexandrov's Theorem says that a compact constant mean curvature hypersurface embedded in $\mathbb{R}^{n+1}$ must be a round sphere.
What happens when the mean curvature is small, or bounded? (For ...

**5**

votes

**0**answers

171 views

### Is there a connection between |roots| $\rightarrow$ 1 and Gromov's waist theorem?

Recent questions showed that roots of a random polynomial tend to lie on the
unit circle ("Why do roots of polynomials tend to have absolute value close to 1?"; "Distribution of roots of complex ...

**8**

votes

**2**answers

534 views

### Are there nontrivial involutions of $S^7\times S^7$ with fixed point set homeo to $S^7$?

The group $\mathbb{Z}_2$ acts on $S^7\times S^7$ by switching the coordinates with fixed point set $\Delta(S^7\times S^7)\cong S^7$. I want to know whether there are some other $\mathbb{Z}_2$ actions ...

**1**

vote

**1**answer

239 views

### Does every hypersurface in the projective plane contain a projective line?

Consider $P^{2}(\mathbb{C})$, the space of all lines through the origin in $\mathbb{C}^{3}$ (or $\mathbb{R}^3$ if that works better). Let $X\subset P^{2}(\mathbb{C})$ be a (nonempty) hypersurface ...

**3**

votes

**1**answer

86 views

### Wide cylinders on half-translation surfaces

Take a collection of pairwise disjoint, simple polygons in the plane. Identify pairs of sides between polygons by either a translation in the plane, or, a translation composed with a rotation by ...

**3**

votes

**1**answer

80 views

### cartesian product rigidity for the punctured open disc

Q1: Let $D^n$ ($n\geq 1$) be the n-dimensional open disk. If $D^n-\{0\}$ is homeomorphic to $X\times (0,1)$, for some topological space $X$, does it necessarily follow that $X$ is homeomorphic to ...

**6**

votes

**0**answers

259 views

### Presentation of Homotopy Pure Braid Group?

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

**8**

votes

**0**answers

129 views

### Excluding exotic PL structures on S^4

Suppose you have a finite group $G<SO(5)$ such that $S^4/G$ is homeomorphic to $S^4$ and such that $S^4/G$ is a PL manifold with respect to a PL structure induced by a standard structure on $S^4$. ...

**2**

votes

**1**answer

182 views

### Is the centralizer $Z_G(A)=\{g\in G| a g= g a\}$ of a finite $A\subset G$ connected for a connected compact Lie group?

Let $G$ be a connected compact Lie group, consider the left/right action on itself.
For any finite $A\subset G$, consider the centralizer
$Z_G(A):=\{g\in G| a g= g a\}$.
Q: is $Z_G(A)$ a connected ...

**1**

vote

**1**answer

186 views

### Basics on lattice in classical groups

as a beginner,I am not sure whether this question is too basic to post here./-\。
Many textbook will talk about the prototypical example SL(n,Z)\SL(n,R), which can be identified with the space of ...

**2**

votes

**1**answer

95 views

### Is barycentric subdivision of a collapsible, regular CW complex collapsible (non-evasive)?

Let $X$ be a finite, regular CW complex, and let $X'$ be its barycentric subdivision (i.e. the order complex of the face poset of $X$). Assume $X$ is collapsible.
Is $X'$ collapsible?
Is $X'$ ...

**1**

vote

**1**answer

110 views

### On the realization of a compact surface as a leaf of an analytic foliation

Let $S$ be a compact orientable surface of genus $g \geq 2$. Is there any transversely real (or complex) analytic codimension one foliation $\mathcal{F}$ such that $\mathcal{F}$ has $S$ as a leaf with ...

**5**

votes

**3**answers

268 views

### Contractibility of space of embeddings of a disc

I'm pretty sure that both of the following spaces are contractible. However, I can't seem to find a proof or a reference. Can anyone provide one? Let $D^2$ be the unit disc in $\mathbb{R}^2$.
The ...

**3**

votes

**0**answers

100 views

### The Klee Trick for subsets of $\mathbb{R}^3$

I asked the question Is dimension given by the Klee trick ever sharp?
That question remains unanswered, so I thought I might ask a slightly more concrete question along those lines.
Given a metric ...

**5**

votes

**2**answers

231 views

### Using Discrete Morse Theory to represent hom classes

In "vanilla" Morse theory, you can construct cycles representing integral homology classes of a smooth manifold from a Morse function on the manifold (by looking at the flow into/out of the critical ...

**1**

vote

**0**answers

52 views

### square tiled surfaces: Counting Saddle Connections vs Counting Square-Tiled Surfaces

I am reading Prime arithmetic Teichmuller discs in H(2) where they discuss the Siegel-Veech constant in a stratum $\mathcal{H}(2)$ of surfaces. However I see two definitions of Siegel-Veech constant:
...

**1**

vote

**0**answers

72 views

### Decomposition of Lefschetz fibrations into surface bundles and Lefschetz fibrations over spheres

Assume that $M$ is a Lefschetz fibration with fiber genus $g$ over a base of genus $h>0$ (with at least one singular fiber). What obstructions exist to decomposing $M$ into a surface bundle $S$ of ...

**8**

votes

**1**answer

266 views

### Software for computing Thurston's unit ball

Is there any software which can be used for computing Thurston's unit ball(for second homology of 3-manifolds) of link complements? In particular can I do that with SnapPy?
PS: even a table for ...

**7**

votes

**0**answers

132 views

### Real laminations on a 4-punctured sphere

Fix a triangulation $T$ of the 4-punctured sphere. (Formally, an ideal triangulation, but taking a combinatorial viewpoint, we may as well just fix a triangulation of the sphere with 4 vertices and ...

**4**

votes

**1**answer

190 views

### Ends of Coxeter Groups

It is known after Stallings that a group can have 0, 1, 2 or infinitely many ends. Are there known results on the space of ends of a Coxeter group?

**2**

votes

**0**answers

123 views

### Definition of the dual spider number and the formula for the first chern class of the triangle

In the process of trying to understand various maps in Heegaard Floer homology I got stuck on the definition of the dual spider number, which, it seems to me, has a combinatorial definition directly ...

**6**

votes

**1**answer

313 views

### Proving that the Jones polynomial is q-holonomic

The Jones polynomial is known to have many different interpretations or definitions, by now. There are connections with QFT, quantum groups, Hilbert schemes, Cherednik algebras, etc.
My question is ...

**3**

votes

**1**answer

79 views

### Quandle colorings under Reidemeister moves

Let $D$ be a knot diagram and $Q$ a quandle. We use $c$ to denote a fixed coloring of $D$ with $Q$. If $D'$ is another knot diagram of the same knot, and $R_1$ is a sequence of Reidemeister moves ...

**2**

votes

**2**answers

153 views

### Quasi-isometry and left invariant orderability for groups

Is the property of left invariant orderability for finitely generated groups preserved by quasi-isometrics? More precisely, if $G$ is a left orderable (finitely generated) group and $H$ is a ...

**19**

votes

**0**answers

249 views

### Topological description of inverting a knot

The first figure shows an offset overhand knot. To tie it, you simply bring the two cords together and make an overhand knot in them. It's more secure than it looks, and several climbers have been ...

**3**

votes

**5**answers

275 views

### Existence of orientation preserving, finite order self homeomorphism on a genus 2 surface without fixed point

Let $M$ be a compact 2-manifold of genus 2. Does there exist an orientation preserving homeomorphism $f:M\to M$, so that $f^n=id$ for some integer $n$, and $f$ doesn't have fixed points?
Using ...

**1**

vote

**0**answers

77 views

### Disks in Flat Embeddings of Graphs in $\mathbb{R}^3$

Robertson, Seymour and Thomas proved that any linkless graph $G$ has a flat embedding in $\mathbb{R}^3$ (see for example A survey of linkless embeddings). An embedding of $G$ is flat if for any cycle ...

**5**

votes

**1**answer

178 views

### (Smooth) Borel Conjecture for 4-dimensional torus

Given an aspherical 4-dimensional closed manifold $M$ with fundamental group $\mathbb{Z}^4$, it is homotopy-equivalent to $T^4 = S^1 \times \ldots S^1$, the 4-dimensional torus.
Question 1: Since I ...

**4**

votes

**2**answers

102 views

### Which criteria guarantee an orthogonal circuit in $\mathbb R^3$ to be rigid?

For $n\ge4$, define an orthogonal circuit or O-circuit as a closed circuit of $n$ unit segments in $\mathbb R^3$ such that any two neighboring segments form a right angle. (Physically this could be ...

**3**

votes

**0**answers

64 views

### Different definitions of linkless graphs

Robertson, Seymour and Thomas defined linkless embeddings of graphs as follows:
An embedding of $G$ is linkless if every pair of disjoint circuits of $G$ have zero linking number (see here). However ...

**1**

vote

**1**answer

100 views

### Difference between straight and piecewise linear and continuous embeddings of graphs / complexes in d-dimensional space?

Here is my main question: what is the difference between "straight" and "piecewise linear" and "continuous" embeddings of graphs/complexes in d-dimensional space?
Moreover I would like to know if any ...

**12**

votes

**1**answer

258 views

### Is a generic closed orientable hyperbolic 3-manifold Haken?

My question is as follows:
"Is a generic closed orientable hyperbolic 3-manifold Haken?"
Of course the word 'generic' can be interpreted in many ways, and the answer might depend on the way how one ...

**8**

votes

**1**answer

220 views

### Second homology of mapping class group of genus 3

In a survey paper of Korkmaz it is stated that $H_2(\mathrm{Mod}_3)$ is either $\Bbb Z$ or $\Bbb Z \oplus \Bbb Z_2$, but I was not able to find out a precise computation of this group (resolving the ...

**2**

votes

**0**answers

38 views

### Any results on rayless simplicial complexes?

We define a closed ray in a topological space $X$ to be its closed subset homeomorphic to the real half-line $[0,\infty)\subseteq \mathbb{R}$. Call a topological space $X$ rayless if it does not ...

**2**

votes

**1**answer

93 views

### Criteria for abstract polytopes to be convex polytope

Suppose I have an abstract polytope defined by a poset. Are there any methods for determining whether the abstract polytope can be geometrically realized as convex-hull on its set of vertices?

**0**

votes

**0**answers

67 views

### Condensation points of orbits of roots of unity

For a fixed $n\in \mathbb{N}$ we consider the set of $n$-roots of unity $R(n)=\{z\in S^1; z^n=1\}$. It splits into mutually disjoint orbits. Let $R=\bigcup_{n=0}^{\infty} R(2^n-1)$. For each orbit in ...

**2**

votes

**0**answers

169 views

### Bott's Formula for Grassmannians

Bott's Formula gives the dimension of the cohomology $H^{q}(\mathbb{P}^{n}, \Omega_{\mathbb{P}^{n}}^{p}(k))$ of the $k$-twisted sheaf of $p$-differential forms on the projective space ...

**16**

votes

**2**answers

319 views

### Classification of tangles?

Has anybody done any work on making a classification of low-complexity tangles, analogous to the work for knots and links? I expect most of the small ones to be rational, and those that aren't ...

**1**

vote

**1**answer

111 views

### Singular leaf of Strebel differential

Let $R$ be a Riemann surface.Let $\gamma$ be a loop which is non-trivial in $H_{1}(R,\mathbb{Z})$. By the Jenkins–Strebel Theorem we know the following: there exists a holomorphic quadratic ...

**9**

votes

**2**answers

297 views

### Heegaard genera of arithmetic 3-manifolds

UPDATE: Because I was hoping that state the question as concisely as
possible, the original post did not include a precise definition of
arithmetic 3-manifold only a reference to Maclachlan and ...

**2**

votes

**1**answer

67 views

### Characterization of the medial axis of a surface

I would like to know if the following "characterization" of the medial axis of a surface is correct, and if so, how to prove it.
Let $S$ be a continuous, piecewise smooth, compact surface embedded in ...

**3**

votes

**2**answers

243 views

### Pseudo-manifolds and homology

Is there a good reference for the proof that the cobordism group of pseudo-manifolds is isomorphic to the singular homology group?
I was looking for a more geometrical definition of homology and ...

**12**

votes

**0**answers

174 views

### What do tangles teach us about braids?

A braid is a smooth level-preserving embedding $f\colon\, \{1,2,\ldots,n\}\times[0,1]\hookrightarrow \mathbb{R}^2 \times [0,1]$ such that $f(k,0)=(k,0)$ and $f(k,1) \in \{1,2,\ldots,n\} \times ...

**2**

votes

**1**answer

188 views

### Map from homotopy sphere with lifting property induces surjections on homotopy groups. Is it weak equivalence?

Let $E$ be homotopy equivalent to a $k$-sphere. Let $q\colon E\to X$ be a map such that given any continuous $f\colon C\to X$ from a compact space $C$, there exists (a non-unique) $\tilde{f}\colon ...

**3**

votes

**1**answer

148 views

### laminations and branched surfaces

I am looking for a reference for this question: given a branched surface in a 3-manifold, how we can construct a lamination fully carried by that branched surface.
any comments would be appreciated.
...