The Goeritz group of a Heegaard splitting of genus two of a Seifert manifold whose base orbifold is sphere with three exceptional points of sufficiently complex coefficients
In this paper, we add examples to Goeritz groups, the mapping class groups of given Heegaard splittings of 3-manifolds. We focus on a Heegaard splitting of genus two of a Seifert manifold whose base orbifold is sphere with three exceptional points of sufficiently complex coefficients, where "sufficiently complex" means that every surgery coefficient p_{l} over q_{l} of each exceptional fiber (in a surgery description) satisfies that q_{l} is congruent to neither +1 or -1 modulo p_{l}.
The Goeritz matrix of a link is obtained from the Jacobian matrix of a modified Dehn presentation associated to a diagram using Fox's free differential calculus. When the diagram is special the Seifert matrix can also be determined from the presentation.
When a 3-manifold admits an openbook decomposition, we get a Heegaard splitting by thickening a page. This splitting surface has a special multi curves coming from the binding. In this paper, we consider the subgroup of the Goeritz group of this Heegaard splitting, which is the mapping class group of the 3-manifold preserving the given Heegaard splitting, consisting of elements preserving the binding. This subgroup turned out to be the quotient of the subgroup of the orientation preserving mapping class group consisting of elements commuting with the monodromy by the subgroup generated by the …
The Goeritz group of a genus $g$ Heegaard splitting of a 3-manifold is the group of isotopy classes of orientation-preserving automorphisms of the manifold that preserve the Heegaard splitting. In the context of the standard genus 2 Heegaard splitting of $S^3$, we introduce the concept of Goeritz equivalence of curves, present two algebraic obstructions to Goeritz equivalence of simple closed curves that are straightforward to compute, and provide families of examples demonstrating how these obstructions may be used.
We consider the Goeritz groups of the Heegaard splittings induced from twisted book decompositions. We show that there exist Heegaard splittings of distance $2$ that have the infinite-order mapping class groups whereas that are not induced from open book decompositions. Explicit computation of those mapping class groups are given.
We prove that if the distance of a bridge decomposition of a link with respect to a Heegaard splitting of a $3$-manifold is at least $6$, then the Goeritz group is a finite group.
In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$, extending work of Goeritz on genus $2$ splittings. Here we prove that Powell's conjecture was correct for splittings of genus $3$ as well, and discuss a framework for deciding the truth of the conjecture for higher genus splittings.
A Heegaard splitting of a $3$-manifold is flippable if there is an isotopy that interchanges the two sides of the Heegaard splitting. We explore which Heegaard splittings of Seifert fibered spaces are flippable.
For a bridge decomposition of a link in the $3$-sphere, we define the Goeritz group to be the group of isotopy classes of orientation-preserving homeomorphisms of the $3$-sphere that preserve each of the bridge sphere and link setwise. After describing basic properties of this group, we discuss the asymptotic behavior of the minimal pseudo-Anosov entropies. This gives an application to the asymptotic behavior of the minimal entropies for the original Goeritz groups of Heegaard splittings of the $3$-sphere and the real projective space.
In this article we present a finite generating set $G_2$ of $\mathcal{H}_2$, the genus-2 Goeritz group of $S^3$, in terms of Dehn twists about certain simple closed curves on the standard Heegaard surface. We present an algorithm that describes an element $ψ\in\mathcal{H}_2$ as a word in the alphabet of $G_2$ in a certain format. Using a complexity measure defined on reducing spheres, we show that such a description of $ψ$ is unique.
We compute the connected Heegaard Floer homology (defined by Hendricks, Hom, and Lidman) for a large class of 3-manifolds, including all linear combinations of Seifert fibered homology spheres. We show that for such manifolds, the connected Floer homology completely determines the local equivalence class of the associated $ι$-complex. Some identities relating the rank of the connected Floer homology to the Rokhlin invariant and the Neumann-Siebenmann invariant are also derived. Our computations are based on combinatorial models inspired by the work of Némethi on lattice homology.
Given a genus-g Heegaard splitting of a 3-sphere, the genus-g Goeritz group is defined to be the group of the isotopy classes of orientation preserving homeomorphism of the 3-sphere that preserve the splitting. In this paper, we determine the twisted first (co)homology group of the genus-2 Goeritz group of 3-sphere.
The Goeritz group of the standard genus-g Heegaard splitting of the three sphere, $G_g$, acts on the space of isotopy classes of reducing spheres for this Heegaard splitting. Scharlemann MR2199366 (2007c:57020) uses this action to prove that $G_2$ is finitely generated. In this article, we give an algorithm to construct any reducing sphere from a standard reducing sphere for a genus-2 Heegaard splitting of the $S^3$. Using this we give an alternate proof of the finite generation of $G_2$ assuming the finite generation of the stabilizer of the standard reducing sphere.
We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving results of the first and second authors. As a corollary, a degree one map between two aspherical Seifert homology spheres is homotopic to a homeomorphism if and only if the Heegaard Floer homologies are isomorphic.
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular …
The Powell Conjecture offers a finite generating set for the genus $g$ Goeritz group, the group of automorphisms of $S^3$ that preserve a genus $g$ Heegaard surface $Σ_g$, generalizing a classical result of Goeritz in the case $g=2$. We study the relationship between the Powell Conjecture and the reducing sphere complex $\mathcal{R}(Σ_g)$, the subcomplex of the curve complex $\mathcal{C}(Σ_g)$ spanned by the reducing curves for the Heegaard splitting. We prove that the Powell Conjecture is true if and only if $\mathcal{R}(Σ_g)$ is connected. Additionally, we show that reducing curves that meet…
In this paper we give a method to construct Heegaard splittings of oriented graph manifolds with orientable bases. A graph manifold is a closed $3$-manifold admitting only Seifert-fibered pieces in its Jaco-Shalen decomposition; for technical reasons, we restrict our attention to the fully oriented case, i.e. both the pieces and the bases are oriented.
In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$. This conjecture remains unresolved for genus $g \geq 4$. Here a short argument shows that one of his proposed generators is redundant, in fact a consequence of three of the other four.
3-manifolding admitting locally large distance 2 Heegaard splittings
从Heegaard分裂的观点出发，我们知道，如果一个闭的可定向3-流形允许至少三个Heegaard分裂的距离，那么它是双曲的。然而，对于一个封闭的可定向3-流形只允许至多两个Heegaard分裂的距离，有例子表明它可以是可约的，Seifert的，环面的或双曲的。根据瑟斯顿的几何化猜想，八种几何中最重要的一种是双曲几何。因此，从远处读出双曲三维流形的两个Heegaard分裂对于研究Heegaard分裂至关重要。受距离为2的双曲3-流形构造的启发[Qiu，Zou and Guo，Pacific J. Math. 275（2015），no. 1，231-255]，我们引入了曲线复形中局部大测地线的定义，并进一步引入了局部大距离两个Heegaard分裂。然后证明了如果一个3-流形允许局部大距离2 Heegaard分裂，则它是一个沿不可压缩环面的双曲流形或一个双曲流形和一个seifert流形的合并，即，几乎双曲，而第3节的例子表明，在这种情况下，有一个非双曲3-流形。在考察了这些非双曲情形后，我们给出了双曲3-流形允许局部大距离2 Heegaard分裂的一个充分和必要条件.
We show that the properties of admitting a co-oriented taut foliation and having a left-orderable fundamental group are equivalent for rational homology $3$-sphere graph manifolds and relate them to the property of not being a Heegaard-Floer L-space. This is accomplished in several steps. First we show how to detect families of slopes on the boundary of a Seifert fibred manifold in four different fashions - using representations, using left-orders, using foliations, and using Heegaard-Floer homology. Then we show that each method of detection determines the same family of detected slopes. Next…
Let $M=W\cup_T V$ be an amalgamation of two compact 3-manifolds along a torus, where $W$ is the exterior of a knot in a homology sphere. Let $N$ be the manifold obtained by replacing $W$ with a solid torus such that the boundary of a Seifert surface in $W$ is a meridian of the solid torus. This means that there is a degree-one map $f\colon M\to N$, pinching $W$ into a solid torus while fixing $V$. We prove that $g(M)\ge g(N)$, where $g(M)$ denotes the Heegaard genus. An immediate corollary is that the tunnel number of a satellite knot is at least as large as the tunnel number of its pattern kn…
