Questions tagged [3-manifolds]
A 3-manifold is a space that locally looks like Euclidean 3-dimensional space
412
questions
2
votes
1answer
127 views
Alexander duality for Homology sphere which is the Geometric realization of a finite simplicial complex
The Alexander duality Theorem is usually stated for a triangulable pair $(\mathbb S^n, Y)$ where $Y$ is a subset of the standard sphere $\mathbb S^n$. My question is: Does the duality also hold if we ...
3
votes
0answers
52 views
Smoothening pseudo-Anosov flows
A topological Anosov flow on a closed 3-manifold can be replaced by a smooth Anosov flow using an argument of Fried: use Markov partitions to find a surface of section, put in other terms, one can ...
3
votes
1answer
102 views
Maximally symmetric hyperbolic 3-manifolds with finite volume
In physics, standard cosmology is build with simple maximally symmetric 3-manifolds (spacelike time-slices of constant curvature, e.g. $S^3$ or less popular the hyperbolic space $H^3$). Since $S^3$ ...
2
votes
0answers
82 views
Totally geodesic submanifolds of SO(3) [closed]
Consider the special orthogonal group $SO(3)$ with its bi-invariant metric (or equivalently, with the metric induced by its standard embedding to the space of $3\times 3$ real matrices).
Obviously, $...
2
votes
0answers
62 views
Bounds on convergence of two orbits in the limit set of a Schottky group
Suppose we have two points in the limit set of a Schottky group, $x,y\in \Lambda(\Gamma)$. Consider the orbits of those points under a primitive subset $\Gamma'$ of $\Gamma,$ that is, one that does ...
1
vote
1answer
186 views
Integer surgery on $S^3$
I know that any compact orientable 3-manifold can be obtained from the three sphere $S^3$ by an integer surgery. I am not sure why the surgery operation is completely determined by Where we map ...
11
votes
2answers
615 views
Two Dehn fillings yielding a lens space?
Let $M$ be an oriented $3$-manifold with $\partial M$ torus. Suppose that two different Dehn fillings $M(r)$ and $M(r')$ are (oriented) homeomorphic to a lens space $L(p,q).$ Does that imply that $M$ ...
5
votes
1answer
246 views
Hyperbolic manifolds with infinite cyclic fundamental group
It is a well known fact that there is a correspondence between complete hyperbolic $n$-manifolds up to isometry and discrete subgroups of isometries of the hyperbolic space $\mathbb{H}^n$ that act ...
7
votes
1answer
232 views
Understanding fundamental group of Poincare homology sphere
I'm currently reading Knots, Links, Braids, and 3-Manifolds by V. V. Prasolov and A. B. Sossinsky. I have trouble understanding the following picture. The dashed line denotes a trefoil whose tubular ...
13
votes
3answers
417 views
Does every $SL_2\mathbb{C}$ representation of a closed oriented surface extend over a compact oriented three-manifold?
Let $F$ be a compact oriented surface and $\rho:\pi_1(F)\rightarrow SL_2\mathbb{C}$ be a representation. Does there exist a compact oriented three-manifold $M$ with $\partial M=F$ and a homomorphism $...
3
votes
0answers
69 views
Approximative extension of the autohomeomorphism of the complement of the trivial knot?
Let $S^1\subset \mathbb{R}^3$ be the unit circle and suppose $h\colon \mathbb{R}^3\setminus S^1\to \mathbb{R}^3\setminus S^1$ is a homeomorphism. Clearly it might be that $h$ cannot be extended to $S^...
4
votes
0answers
159 views
Contractibility and orientation double cover
Question. Let $M$ be a triangulated non-orientable 3-manifold with non-orientable boundary. (It is possible to assume that the boundary is the Klein bottle.) Let $\ell$ be a non-orientable loop on the ...
12
votes
2answers
802 views
Cobordism and Kirby calculus
It may be a simple question but I wonder to ask:
Is it possible to draw a homology cobordism between $3$-manifolds by using the techniques of Kirby calculus?
At least, for instance, Brieskorn ...
10
votes
1answer
228 views
Kirby calculus on Mazur manifolds
I have questions about Akbulut and Kirby's paper Mazur manifolds.
I couldn't figure out the following equality passages:
Any help will be appreciated.
3
votes
1answer
138 views
The plumbing graphs of Brieskorn spheres
Let $p,q$ and $r$ be positive integers. A Brieskorn sphere is a closed oriented $3$-manifold defined by $$\Sigma(p,q,r) = \{ x^p+y^q+z^r=0 \} \cap S^5.$$
Its fundamental group is well-known due to ...
8
votes
3answers
510 views
Heegaard splittings of Brieskorn spheres
The genus $g$ handlebodies are building blocks of $3$-manifolds. They are constructed from $3$-ball $B^3$ by adding $g$-copies of $1$-handles $B^2 \times B^1$. Their boundaries are homeomorphic to the ...
5
votes
1answer
182 views
Generalized Schoenflies - formalizing step in proof?
[Sorry if the level here is wrong, I asked this on math.SE, but even with a bounty, it got no attention.]
I am currently reading Hatcher's 3-Manifolds notes, the part proving Alexander's theorem, ...
7
votes
0answers
124 views
Long non-deformable hyperbolic fillings
The title and question have been edited in light of Ian Agol's comment. The previous question was stated in terms of the wrong notion of length to discuss deformations:
What is the longest slope $\...
7
votes
1answer
273 views
Implications of Geometrization conjecture for fundamental group
Hempel proved that Haken manifolds have residually finite fundamental groups. With the Geometrization conjecture, this now holds for any compact and orientable 3-manifold.
How exactly does the ...
2
votes
1answer
136 views
Residual Finiteness for 3-Manifolds Hempel
Hempel, in his 1987 article "Residual Finiteness for 3-Manifolds", shows that if $M$ is a compact Haken 3-manifold, then $\pi_1(M)$ is residually finite. In the proof he starts by reducing the case to ...
7
votes
1answer
179 views
Aspherical manifold with superperfect fundamental group and non-trivial center?
I am interested in knowing if there is a closed, (smooth) aspherical manifold $M$ (hyperbolic would be best) with superperfect fundamental group (that is to say, with $H_1(\pi_1(M);\mathbb{Z}) = H_2(\...
5
votes
1answer
251 views
Reconciling Sullivan's theorem with the hyperbolic structure of the Figure–8 knot complement
I am interested in the 3-manifolds with hyperbolic structures from the physics (gravity) perspective. I encounter this paper https://arxiv.org/pdf/hep-th/9812206.pdf whose Eq. (9) mentions a theorem ...
10
votes
1answer
614 views
Searching for a Thurston paper with egg / 3-manifold analogy?
I remember coming across some article of Bill Thurston’s where he describes a 3-manifold (with boundary?) as being like an egg. In my recollection the interior of the egg, the shell, and even the ...
9
votes
1answer
274 views
Genus 2 3-manifolds bounding only $X^4$ with $b_2(X^4)$ big?
The genus of a closed orientable 3-manifold $M^3$ is the minimum genus among all Heegaard splitting surfaces for $M$. Every such 3-manifold bounds a compact 4-manifold. Let $I(M)$ denote the ...
5
votes
1answer
192 views
Group of parallelizations of $M^3$ finitely generated?
Let $M^3$ be a compact orientable 3-manifold. Then $TM$ is trivial and let's go ahead and fix a trivialization $\tau : M \times \mathbb{R}^3 \to TM$. Then given a map $g : (M, \partial M) \to (SO(3),...
3
votes
0answers
92 views
Does Heegaard splitting relate topological properties of a $3$-manifold to properties of subgroups of $MCG$
In the proof of Lickorish-Wallace theorem, we use Heegaard splitting of a closed, orientable and connected $3$-manifold and obtain a surface diffeomorphism which glues the two handle-body. I wonder ...
5
votes
0answers
145 views
Two papers on surface diffeomorphisms
The following two papers appeared in the reference of a paper i was reading.It seems that neither is published formally.Is there a website where i could find them?
A. Casson, Cobordism Invariants of ...
16
votes
2answers
929 views
What's the “actual” shape of a black hole accretion disk?
[Warning: I have no expertise in general relativity, so this question might not be very rigorous]
More and more often we come across science popularization articles like this one which show beautiful ...
2
votes
0answers
180 views
Simply put Floer homology
I would like to understand what exactly Floer homology $HF_*(Y)$ for a simply connected compact 3-manifold $Y$ is. I understand there are many variants of Floer homology (and cohomology) but I would ...
11
votes
1answer
559 views
Minimum number of relations that must be added to make a group abelian
Let $G$ be a finitely generated group and let $c(G)$ denote the minimal number of relations that we must add to a presentation fro $G$ in order to make $G$ abelian. I would like to find examples of ...
4
votes
0answers
184 views
Reference request: A knot is tame if and only if it has a tubular neighbourhood
Definitions:
A knot is an embedding $\kappa:S^1\hookrightarrow S^3$ (we do not require smooth or polygonal).
Two knots $\kappa,\,\lambda:S^1\hookrightarrow S^3$ are equivalent if one of the following ...
7
votes
1answer
149 views
A coincidence between the Lambert cube, Lobell polyhedron, and hyperbolic 3-manifolds?
I. Lambert cube $\mathfrak L(\alpha_1,\alpha_2,\alpha_3)$
In this paper (p.8), we find the volume $V$ of the hyperbolic Lambert cube for the special case $\alpha=\alpha_1 = \alpha_2 = \alpha_3$ as
$...
5
votes
1answer
150 views
Does WRT invariant detect hyperelliptic involution on the genus 2 surface?
The Witten-Reshetikhin-Turaev invariant cannot detect the hyperelliptic involution on the genus 1 surface, and that if $M_U$ is the mapping torus for a mapping class group element $U\in \mathrm{Mod}(\...
3
votes
1answer
194 views
Obtaining the bounding 4-manifold from the Heegaard diagram
It is well known that any orientable closed 3-manifold $M$ admits an Heegaard splitting $M = H_1\cup H_2$ where $H_i$ is an handlebody of genus $g$. It is also well known that such an $M$ is the ...
0
votes
0answers
94 views
Prerequisites for Hempel's 3 manifolds?
What are the prerequisites for Hempel's 3 manifolds book? I've heard you need a good amount of PL topology. I have read Jennifer Schulten's book and found it accessible, but I've heard Hempel is tough....
4
votes
0answers
146 views
Are Turaev-Viro invariants holonomic?
Consider a 3-manifold $M$ with a boundary, which is a genus $g\geq 1$ surface $\Sigma$. Fix a triangulation $T$ of $\Sigma$. Then Turaev-Viro invariants $TV_q(M)$ are functions, assigning to integer ...
14
votes
1answer
428 views
Quotient of Three Dimensional Torus by Permutation on Coordinates
The Mobius Strip can be realized as a quotient of $T = (S^1)^2$ via the identifications $(x,y) \sim (y,x)$.
I tried to generalized this concept to a higher dimension, and consider the quotient of $(...
4
votes
0answers
125 views
Are triangulations with common refinements PL-homeomorphic?
Do there exist simplicial triangulations $K_1$ and $K_2$ of a topological manifold $M$ such that $K_1$ and $K_2$ have a common subdivision but they are not PL-homeomorphic? Ideally, I would like an ...
5
votes
1answer
290 views
What are these 3-manifolds from surgery?
I know that surgery on the unlink with +0 slope gives $S^2 \times S^1$ (where all the links above are embedded in $S^3$). I figured (I think) that surgery on the hopf link (with +0 on both) returns $S^...
4
votes
1answer
135 views
Circle bundles and surface bundles which admit no strongly irreducible Heegaard splittings
Let $S$ be a closed connected orientable surface with $g(S)>0$. Jennifer Schultens, in her paper ``The Classification of Heegaard Splittings for (Compact Orientable Surface)$\times S^1$'', proves ...
4
votes
1answer
156 views
SnapPy isometry routine
Dear Colleagues and Friends,
Here's a question that I hope some of you, more experienced in programming, can answer.
Once SnapPy is used to compute the symmetry group of a hyperbolic manifold by ...
2
votes
0answers
132 views
Existence of smooth structures on topological $3$-manifolds with boundary
It is said in this thread Unique smooth structure on $3$-manifolds that every topological $3$-manifold admits a smooth structure. However it is not specified whether the manifolds are allowed to have ...
6
votes
3answers
273 views
open book decompositions of $\Sigma\times S^1$
Let $\Sigma$ be a closed orientable surface. Is there a standard open book decomposition on the $3$-manifold $M=\Sigma\times S^1$?
If the binding is allowed to be empty in the definition of an open ...
4
votes
2answers
234 views
Triangulations of 3-manifolds in Regina and SnapPy
I have been doing some statistical studies on small 3-manifolds, and I note that one can produce larg-ish censuses of triangulations in Regina. Now, the Regina documentation tells us how to convert a ...
14
votes
1answer
468 views
P-adic Volume Conjecture
Let $M$ be a closed hyperbolic 3-manifold. One can use hyperbolic structure on $M$ to define hyperbolic volume $Vol(M)$. Thanks to Mostow's rigidity theorem the volume depends only on the topology of ...
4
votes
1answer
241 views
Hyperbolic Dehn surgeries and SU(2)-representations
Let $S^3-K$ be the complement of the figure eight knot complement. Thurston, in his Lecture Notes, constructed a hyperbolic structure, which comes from a discrete, faithful representation $\pi_1(S^3-K)...
1
vote
1answer
152 views
Signature/nullity function for a link obtained by parallel pushoffs of a knot?
Let $K$ be an oriented knot in $S^3$ together with a framing $n$. Let $K(a,b)$ be the oriented link obtained by taking $a$ copies of the $n$-pushoff of $K$ with the same same orientation as $K$ and $...
4
votes
0answers
114 views
3d Chern-Simons TQFT of gauge group (E8)$_1$ = SO(16)$_1 \otimes$ a trivial spin TQFT = Cartan E$_8$ matrix
In this post, we like to relate the following 3 bosonic TQFTs that can be defined on generic non-spin manifold $M^3$.
Given a non-abelian Chern-Simons (CS) TQFT of a gauge group $G$ and the $k$ named ...
1
vote
0answers
90 views
Manifold with no closed components?
Let $M$ be a manifold with boundary. Reading some papers on $3$-manifolds I have come across some statements where they require that: ”$M$ has no closed components.”
What does this mean? The ...
4
votes
0answers
229 views
What is variation of the Chern-Simons functional, and why can it be calculated as follows?
Let $G$ be a Lie group. Assume that we have an Ad-invariant bilinear symmetric form $$\langle-,-\rangle : \mathfrak{g} \times \mathfrak{g} \to \mathbb{C}.$$ Given a smooth manifold $X,$ we let $\...
