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)

3
votes
1answer
62 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 ...
5
votes
0answers
133 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. ...
7
votes
0answers
105 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
1answer
167 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
1answer
148 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
1answer
73 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'$ ...
0
votes
1answer
89 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
3answers
231 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
0answers
86 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
2answers
221 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
0answers
46 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
0answers
55 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 ...
7
votes
1answer
235 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 ...
3
votes
0answers
79 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
1answer
172 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
0answers
53 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 ...
5
votes
1answer
233 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 ...
2
votes
1answer
65 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
2answers
140 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
0answers
223 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
5answers
237 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
0answers
71 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
1answer
170 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
2answers
94 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
0answers
58 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
1answer
87 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
1answer
235 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
1answer
211 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
0answers
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
1answer
86 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
0answers
64 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
0answers
159 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
2answers
297 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
0answers
74 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
2answers
261 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
1answer
64 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
2answers
231 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
0answers
154 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
1answer
184 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
1answer
140 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. ...
5
votes
0answers
216 views

Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let $q: D^k \to D^r$ be a map and $r \leq k$. Let $$W = S^k \sqcup D^r/\sim$$ where ...
2
votes
1answer
83 views

Going Back-and-Forth Between Different Expressions/“Representations” for Open Books.

I am trying to have a better understanding of how one goes , "travels" between the different formats/layouts of open books for a fixed given 3-manifold M; between the abstract type and the "actual" ...
4
votes
1answer
134 views

Most Regularity of a Polygon

Conseider $n$ electrons in an empty sphere. What structure do they make? This question have two cases: (i) if electrons should be sit on the boundry of sphere (one can suppose that the boundry of ...
11
votes
1answer
152 views

Max flow, min cut on manifolds

If a graph has some half edges marked "input" and some half edges marked "output", it is well known that the smallest number of edges which must be cut to disconnect input from output is equal to the ...
5
votes
1answer
98 views

In the definition of the Heegard Floer surgery exact triangle, what exactly is the correspondence between Whitney triangles and periodic domains?

I'm reading Osváth-Szabó's notes on Heegard Floer homology, in particular about the surgery exact triangle. On page 14 (numbered 42 on the document), they describe an isomorphism between the space of ...
3
votes
2answers
209 views

Is the hypersurface satisfying $\langle x-x_0,\nu\rangle>0$ diffeomorphic to sphere?

Let $p:M\to \mathbb{R}^{n+1}$ be the closed immersed hypersurface. Is the following thing right? If there exists a point $x_0$ in $\mathbb{R}^{n+1}$ such that $\langle x(p)-x_0,\nu(p)\rangle>0$ ...
12
votes
1answer
321 views

Why are Witten-Reshetikhin-Turaev invariants expected to be integral?

A Witten-Reshetikhin-Turaev (WRT) Invariant $\tau_{M,L}^G(\xi)\in\mathbb{C}$ is an invariant of closed oriented 3-manifold $M$ containing a framed link $L$, where $G$ is a simple Lie group, and $\xi$ ...
4
votes
2answers
247 views

A question about Dehn surgery and Brieskorn homology 3-spheres

I have been learning about Brieskorn homology 3-spheres $\Sigma(a_1,...,a_n)$ and Seifert manifolds. My reference is the first few pages of Saveliev's "Invariants of Homology 3-spheres." If I ...
4
votes
2answers
78 views

Is it known which links have Seifert fibered complements?

I believe many such links can be constructed by looking at a foliation similar to the hopf fibration, but the wrapping leaves replaced with $(p,q)$ torus knots. However, I'm interested in particular ...
5
votes
2answers
218 views

What 3-manifolds can be obtained by gluing $ S^1 \times P $ and two copies of $S^1 \times D^2$

Let P denote the pair of pants e.g. a sphere minus three small discs $D_1$,$D_2$,$D_3$ about marked points $x_1,x_2,x_3$. I then consider $P \times S^1$. We have boundary components $T_1$,$T_2$,$T_3$. ...