In 1980 J. Powell \cite{Po} proposed that five specific elements sufficed to generate the Goeritz group for any genus Heegaard splitting of the 3-sphere. Here we prove that a natural expansion of Powell's proposed generators, to include all eyeglass twists and all topological conjugates of Powell's generators does suffice.
A specific set of 4g+1 elements is shown to generate the Goeritz group of the genus g+1 Heegaard splitting of a genus g handlebody. These generators are consistent with Powell's proposed generating set for the Goeritz group of the genus g+1 splitting of S^3. There are two proofs: one using purely classical techniques and one using thin position.
The genus-g Goeritz group is the group of isotopy classes of orientation-preserving homeomorphisms of a closed orientable 3-manifold that preserve a given genus-g Heegaard splitting of the manifold. In this work, we show that the genus-2 Goeritz group of $S^2 \times S^1$ is finitely presented, and give its explicit presentation.
Given a genus-$g$ Heegaard splitting of a 3-manifold, the Goeritz group is defined to be the group of isotopy classes of orientation-preserving homeomorphisms of the manifold that preserve the splitting. In this work, we show that the Goeritz groups of genus-2 Heegaard splittings for lens spaces $L(p, 1)$ are finitely presented, and give explicit presentations of them.
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.
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.
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.
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.
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.
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.
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}.
We show that if a Heegaard splitting is obtained by gluing a splitting of Hempel distance at least 4 and the genus-1 splitting of $S^2 \times S^1$, then the Goeritz group of the splitting is finitely generated. To show this, we first provide a sufficient condition for a full subcomplex of the arc complex for a compact orientable surface to be contractible, which generalizes the result by Hatcher that the arc complexes are contractible. We then construct infinitely many Heegaard splittings, including the above-mentioned Heegaard splitting, for which suitably defined complexes of Haken spheres a…
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.
Given a stabilized Heegaard splitting of a $3$-manifold, the primitive disk complex for the splitting is the subcomplex of the disk complex for a handlebody in the splitting spanned by the vertices of the primitive disks. In this work, we study the structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we show that the complex for the genus two splitting for the lens space $L(p, q)$ with $1\leq q \leq p/2$ is connected if and only if $p \equiv \pm 1 \pmod q$, and describe the combinatorial structure of each of those complexes. As an appl…
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…
An updated proof of a 1933 theorem of Goeritz, exhibiting a finite set of generators for the group of automorphisms of the 3-sphere that preserve a genus two Heegaard splitting. The group is analyzed via its action on a certain connected 2-complex. (The analogous problem for higher genus Heegaard splittings appears to remain unresolved.)
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.
We obtain simple generating sets for various mapping class groups of a nonorientable surface with punctures and/or boundary. We also compute the abelianizations of these mapping class groups.
We study invertible generating pairs of fundamental groups of graph manifolds, that is, pairs of elements (g,h) for which the map g --> g^{-1}, h --> h^{-1} extends to an automorphism. We show in particular that a graph manifold is of Heegaard genus 2 if and only if its fundamental group has an invertible generating pair.
For a closed surface $S$, its Torelli group $\mathcal{I}(S)$ is the subgroup of the mapping class group of $S$ consisting of elements acting trivially on $H_1(S;\mathbb{Z})$. When $S$ is orientable, a generating set for $\mathcal{I}(S)$ is known. In this paper, we give a normal generating set of $\mathcal{I}(N_g)$ for $g\geq4$, where $N_g$ is a genus-$g$ non-orientable closed surface.
We give an alternative proof to Agol's classification of parabolic generating pairs of non-free Kleinian groups generated by two parabolic transformations. As an application, we give a complete characterisation of epimorphims between $2$-bridge knot groups and a complete characterisation of degree one maps between the exteriors of hyperbolic $2$-bridge links.
We have the generating function which determines the number of $2$-bridge knot groups admitting epimorphisms onto the knot group of a given $2$-bridge knot, in terms of crossing number. In this paper, we will refine this formula by taking account into genus as well as crossing number. Next, we determine the number of epimorphisms between fibered $2$-bridge knot groups. Moreover, we discuss degree one maps and $2$-bridge knots uknotting number one.
Let f be a Z/2Z-spin structureon a closed surface S of genus g>3. We determine a generating set of the stabilizer of f in the mapping class group of S consisting of Dehn twists about an explicit collection of 2g+1 curves in S. If g=3 then we also determine a generating set of the stabilizer of an odd Z/2Z-spin structure consisting of Dehn twists about a collection of 6 curves.
We prove that for genus $g=3,4$, the extended mapping class group $\text{Mod}^{\pm}(S_g)$ can be generated by two elements of finite orders. But for $g=1$, $\text{Mod}^{\pm}(S_1)$ cannot be generated by two elements of finite orders.
We obtain a finite set of generators for the level 2 mapping class group of a closed nonorientable surface of genus $g\ge 3$. This set consists of isotopy classes of Lickorish's Y-homeomorphisms also called crosscap slides.
A crosscap transposition is an element of the mapping class group of a nonorientable surface represented by a homeomorphism supported on a one-holed Klein bottle and swapping two crosscaps. We prove that the mapping class group of a compact nonorientable surface of genus $g\ge 7$ is generated by conjugates of one crosscap transposition. In the case when the surface is either closed or has one boundary component, we give an explicit set of $g+2$ crosscap transpositions generating the mapping class group.
We prove that both the hyperelliptic mapping class group and the extended hyperelliptic mapping class group are generated by two torsion elements. We also compute the index of the subgroup of the hyperelliptic mapping class group which is generated by involutions and we prove that the extended hyperelliptic mapping class group is generated by three orientation reversing involutions.
We prove that the mapping class group of a closed connected orientable surface of genus $g$ is generated by two elements of order $g$ for $g\geq 6$. Moreover, for $g\geq 7$ we found a generating set of two elements, of order $g$ and $g'$ which is the least divisor of $g$ such that $g'>2$. Furthermore, we proved that it is generated by two elements of order $g/\gcd (g,k)$ for $g\geq 3k^2+4k+1$ and any positive integer $k$.
We prove that, for $g\geq19$ the mapping class group of a nonorientable surface of genus $g$, $\textrm{Mod}(N_g)$, can be generated by two elements, one of which is of order $g$. We also prove that for $g\geq26$, $\textrm{Mod}(N_g)$ can be generated by three involutions if $g\geq26$.
Let $Σ_{g,p}$ be a oriented connected surface of genus $g$ with $p$ punctures. We denote by $\mathcal{M}_{g,p}$ and $\mathcal{M}_{g,p}^\pm$ the mapping class group and the extended mapping class group of $Σ_{g,p}$, respectively. In this paper, we show that $\mathcal{M}_{g,p}$ and $\mathcal{M}_{g,p}^\pm$ are generated by two element for $g\geq 3$ and $p\geq 0$.
Let $N_{g}$ denote the closed non-orientable surface of genus $g$ and let ${\mathcal M} _g$ denote the mapping class group of $N_{g}$. Let ${\mathcal T} _g$ denote the twist subgroup of ${\mathcal M} _g$ which is the subgroup of ${\mathcal M} _g$ is generated by all Dehn twists. In this thesis, we proved that ${\mathcal T} _g$ is generated by six involutions for $g \geq 16$ or $g = 14$.
Let $N_{g,n}$ denote the closed non-orientable surface of genus $g$ with $n$ punctures and let ${\mathcal N}_{g,n}$ denote the mapping class group of $N_{g,n}$. Szepietowski showed that ${\mathcal N}_{g,n}$ is generated by finitely many involutions. The number of elements in his generating set depends linearly on $g$ and $n$. In the case of $n=0$, Szepietowski found an involution generating set in such a way that the number of its elements does not depend on $g$, showing that ${\mathcal N}_{g,0}$ is generated by four involutions. In this thesis, for $n \geq 0$, we prove that ${\mathcal N}_{g,n…
We study Nielsen equivalence classes of generating pairs of Kleinian groups and HNN-extensions. We establish the following facts: - Hyperbolic 2-bridge knot groups have infinitely many Nielsen classes of generating pairs. - For any natural number N there is a closed hyperbolic 3-manifold whose fundamental group has N distinct Nielsen classes of generating pairs. - Two pairs of elements of a fundamental group of an HNN-extension are Nielsen equivalent iff they are so for the obvious reasons.
We prove that the handlebody subgroup of the Torelli group of an orientable surface is generated by genus one BP-maps. As an application, we give a normal generating set for the handlebody subgroup of the level $d$ mapping class group of an orientable surface.
L. Louder showed that any generating tuple of a surface group is Nielsen equivalent to a stabilized standard generating tuple i.e. $(a_1,\ldots ,a_k,1\ldots, 1)$ where $(a_1,\ldots ,a_k)$ is the standard generating tuple. This implies in particular that irreducible generating tuples, i.e. tuples that are not Nielsen equivalent to a tuple of the form $(g_1,\ldots ,g_k,1)$, are minimal. In a previous work the first author generalized Louder's ideas and showed that all irreducible and non-standard generating tuples of sufficiently large Fuchsian groups can be represented by so-called almost orbif…
We show that any parabolic generating pair of a genus-one hyperbolic 2-bridge knot group is equivalent to the upper or lower meridian pair. As an application, we obtain a complete classification of the epimorphisms from 2-bridge knot groups to genus-one hyperbolic 2-bridge knot groups.
We construct a minimal generating set of the level 2 mapping class group of a nonorientable surface of genus $g$, and determine its abelianization for $g\ge4$.
We find a set of generators for the automorphism group of a graph product of finitely generated abelian groups entirely from a certain labeled graph. In addition, we find generators for the important subgroup of star-automorphisms defined in [7]. We follow closely the plan of M. Laurence's paper [11].
We give a new proof of a theorem of D. Calegari that says that the Cayley graph of a surface group with respect to any generating set lying in finitely many mapping class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves.
A subset of a group is characteristic if it is invariant under every automorphism of the group. We study word length in fundamental groups of closed hyperbolic surfaces with respect to characteristic generating sets consisting of a finite union of orbits of the automorphism group, and show that the translation length of any element with nonzero crossing number is positive, and bounded below by a constant depending only (and explicitly) on a bound on the crossing numbers of generating elements. This answers a question of B. Farb.
Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the mapping class group has a finite generating set whose size grows cubically with respect to the genus of the surface. Our main tool is a new space called the handle graph on which the Torelli group acts cocompactly.
Let S be a compact Riemann surfaces of genus g >= 2 and G a conformal automoprhism group of order n acting on S. In this paper we give the definition of an adapted generating set and an adapted basis for the first homology group of such a compact Riemann surface. This generating set and basis reflect the action of G in as simple manner as possible. This can be seen in the matrix of the action of G which we obtain. We prove the existence of such a generating set and basis for any conformal group acting on such a surface and find the matrix. This extends our earlier results on adapted bases and …
We show that for any $k$ at least $6$ and $g$ sufficiently large, the mapping class group of a surface of genus $g$ can be generated by three elements of order $k$. We also show that this can be done with four elements of order $5$. We additionally prove similar results for some permutation groups, linear groups, and automorphism groups of free groups.
We prove that the rank (that is, the minimal size of a generating set) of lattices in a general connected Lie group is bounded by the co-volume of the projection of the lattice to the semi-simple part of the group. This was proved by Gelander for semi-simple Lie groups and by Mostow for solvable Lie groups. Here we consider the general case, relying on the semi-simple case. In particular, we extend Mostow's theorem from solvable to amenable groups.
We consider the (pure) braid groups B_{n}(M) and P_{n}(M), where M is the 2-sphere S^2 or the real projective plane RP^2. We determine the minimal cardinality of (normal) generating sets X of these groups, first when there is no restriction on X, and secondly when X consists of elements of finite order. This improves on results of Berrick and Matthey in the case of S^2, and extends them in the case of RP^2. We begin by recalling the situation for the Artin braid groups. As applications of our results, we answer the corresponding questions for the associated mapping class groups, and we show th…
A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group ΠA_n of the free group F_n consists of automorphisms that take each member of some fixed free basis of F_n to a palindrome; the group ΠA_n has close connections with hyperelliptic mapping class groups, braid groups, congruence subgroups of GL(n,Z), and symmetric automorphisms of free groups. We obtain a generating set for the subgroup of ΠA_n consisting of those elements acting trivially on the abelianisation of F_n, the palindromic Torelli gr…
We show that the mapping class group of a closed oriented surface of genus at least three is generated by 3 elements of order 3 and by 4 elements of order 4. Note that the mapping class group cannot be generated by finitely many torsion elements of same order if genus is equal to one or two.
