BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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 construct 2-generator non-Hopfian groups Gm,m=3,4,5,…, where each Gm has a specific presentation Gm=⟨a,b∣urm,0=urm,1=urm,2=⋯=1⟩ which satisfies small cancellation conditions C(4) and T(4). Here, urm,i is the single relator of the upper presentation of the 2-bridge link group of slope rm,i, where rm,0=[m+1,m,m] and rm,i=[m+1,m−1,(i−1)⟨m⟩,m+1,m] in continued fraction expansion for every integer i≥1.
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.
In this paper, we give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for the trivial knot to be null-homotopic, peripheral or torsion in the orbifold. We also give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for the trivial knot to be homotopic in the orbifold.
In this paper and its sequel, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be homotopic in the orbifold. We also give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be peripheral or torsion in the orbifold. This paper treats the case when the 2-bridge link is a (2,p)-torus link, and its sequel will treat the remaining cases.
In this paper and its prequel, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be homotopic in the orbifold. We also give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be peripheral or torsion in the orbifold. The prequel treated the case when the 2-bridge link is a (2,p)-torus link, and this paper treats the remaining cases.
In this paper and its two sequels, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. This paper treats the case when the 2-bridge link is a (2,p)-torus link, where more cases of homotopy arise, and its sequels will treat the remaining cases.
This is the second of a series of papers which give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. The first paper of the series treated the case of the 2-bridge torus links. In this paper, we treat the case of 2-bridge links of slope n/(2n+1) and (n+1)/(3n+2), where n≥2 is an arbitrary integer.
This is the last of a series of papers which give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. The first paper of the series treated the case of the 2-bridge torus links, and the second paper treated the case of 2-bridge links of slope n/(2n+1) and (n+1)/(3n+2), where n≥2 is an arbitrary integer. In this paper, we first treat the case of 2-bridge links of slope n/(mn+1) and (n+1)/((m+1)n+m), where m≥3 is an arbitrary integer, and then treat the remaining cases by induction.
In this paper, we give a simple proof for the small cancellation conditions of the upper presentations of 2-bridge link groups, which holds the key to the proof of the main result of [1]. We also give an alternative proof of the main result of [1] using transfinite induction.
Riley "defined" the Heckoid groups for 2-bridge links as Kleinian groups, with nontrivial torsion, generated by two parabolic transformations, and he constructed an infinite family of epimorphisms from 2-bridge link groups onto Heckoid groups. In this paper, we make Riley's definition explicit, and give a systematic construction of epimorphisms from 2-bridge link groups onto Heckoid groups, generalizing Riley's construction.
In Part I of this series of papers, we made Riley's definition of Heckoid groups for 2-bridge links explicit, and gave a systematic construction of epimorphisms from 2-bridge link groups onto Heckoid groups, generalizing Riley's construction. In this paper, we give a complete characterization of upper-meridian-pair-preserving epimorphisms from 2-bridge link groups onto even Heckoid groups, by proving that they are exactly the epimorphisms obtained by the systematic construction.
Following Riley's work, for each 2-bridge link K(r) of slope $r\in\QQ$ and an integer or a half-integer n greater than 1, we introduce the {\it Heckoid orbifold $\orbs(r;n)$} and the {\it Heckoid group $\Hecke(r;n)=π_1(\orbs(r;n))$ of index n for K(r)}. When n is an integer, $\orbs(r;n)$ is called an {\it even} Heckoid orbifold; in this case, the underlying space is the exterior of K(r), and the singular set is the lower tunnel of K(r) with index n. The main purpose of this note is to announce answers to the following questions for even Heckoid orbifolds. (1) For an essential simple loop on a 4-punctured sphere $\PConway$ in $\orbs(r;n)$ determined by the 2-bridge sphere of K(r), when is it null-homotopic in $\orbs(r;n)$? (2) For two distinct essential simple loops on $\PConway$, when are they homotopic in $\orbs(r;n)$? We also announce applications of these results to character varieties, McShane's identity, and epimorphisms from 2-bridge link groups onto Heckoid groups.
We give a variation of McShane's identity, which describes the cusp shape of a hyperbolic 2-bridge link in terms of the complex translation lengths of simple loops on the bridge sphere. We also explicitly determine the set of end invariants of SL(2,C)-characters of the once-punctured torus corresponding to the holonomy representations of the complete hyperbolic structures of 2-bridge link complements.
We give a complete characterization of those essential simple loops on 2-bridge spheres of 2-bridge links which are null-homotopic in the link complements. By using this result, we describe all upper-meridian-pair-preserving epimorphisms between 2-bridge link groups.
The purpose of this note is to announce complete answers to the following questions. (1) For an essential simple loop on a 2-bridge sphere in a 2-bridge link complement, when is it null-homotopic in the link complement? (2) For two distinct essential simple loops on a 2-bridge sphere in a 2-bridge link complement, when are they homotopic in the link complement? We also announce applications of these results to character varieties and McShane's identity.
Let Fn be a free group of rank n. In this paper we discuss three algorithmic problems related to automorphisms of F2. A word u of Fn is called positive if u does not have negative exponents. A word u in Fn is called potentially positive if ϕ(u) is positive for some automorphism ϕ of Fn. We prove that there is an algorithm to decide whether or not a given word in F2 is potentially positive, which gives an affirmative solution to problem F34a in [1] for the case of F2. Two elements u and v in Fn are said to be boundedly translation equivalent if the ratio of the cyclic lengths of ϕ(u) and ϕ(v) is bounded away from 0 and from ∞ for every automorphism ϕ of Fn. We provide an algorithm to determine whether or not two given elements of F2 are boundedly translation equivalent, thus answering question F38c in the online version of [1] for the case of F2. We further prove that there exists an algorithm to decide whether or not a given finitely generated subgroup of F2 is the fixed point group of some automorphism of F2, which settles problem F1b in [1] in the affirmative for the case of F2.
Let u be a cyclic word in a free group F_n of finite rank n that has the minimum length over all cyclic words in its automorphic orbit, and let N(u) be the cardinality of the set {v: |v|=|u| and v=ϕ(u) for some ϕ\in AutF_n}. In this paper, we prove that N(u) is bounded by a polynomial function of degree 2n-3 with respect to |u| under the hypothesis that if two letters x, y occur in u, then the total number of x and x^{-1} occurring in u is not equal to the total number of y and y^{-1} occurring in u. We also prove that 2n-3 is the sharp bound on the degree of polynomials bounding N(u). As a special case, we deal with N(u) in F_2 under the same hypothesis.
Let F_2 be a free group of rank 2. We prove that there is an algorithm that decides whether or not, for given two elements u, v of F_2, u and v are translation equivalent in F_2, that is, whether or not u and v have the property that the cyclic length of phi(u) equals the cyclic length of phi(v) for every automorphism phi of F_2. This gives an affirmative solution to problem F38a in the online version (http://www.grouptheory.info) of [1] for the case of F_2.
Let u be a cyclic word in a free group F_n of finite rank n that has the minimum length over all cyclic words in its automorphic orbit, and let N(u) be the cardinality of the set {v: |v|=|u| and v= ϕ(u) for some ϕ\in \text {Aut}F_n}. In this paper, we prove that N(u) is bounded by a polynomial function with respect to |u| under the hypothesis that if two letters x, y occur in u, then the total number of x and x^{-1} occurring in u is not equal to the total number of y and y^{-1} occurring in u. A complete proof without the hypothesis would yield the polynomial time complexity of Whitehead's algorithm for F_n.
Let F_n be a free group of rank n>1. Two elements g, h in F_n are said to be translation equivalent in F_n if the cyclic length of ϕ(g) equals the cyclic length of ϕ(h) for every automorphism ϕof F_n. Let F(a, b) be the free group generated by {a, b} and let w(a,b) be an arbitrary word in F(a,b). We prove that w(g, h) and w(h, g) are translation equivalent in F_n whenever g, h \in F_n are translation equivalent in F_n, which hereby gives an affirmative solution to problem F38b in the online version (http://www.grouptheory.info) of [1].
Let F_m be a free group of a finite rank m > 1 and X_i, Y_j be elements in F_m. A non-empty word w(x_1,..., x_n) is called a C-test word in n letters for F_m if, whenever w(X_1,..., X_n)=w(Y_1,..., Y_n) not equal to 1, the two n-tuples (X_1,..., X_n) and (Y_1,..., Y_n) are conjugate in F_m. In this paper we construct, for each n > 1, a C-test word v_n(x_1,..., x_n) with the additional property that v_n(X_1,..., X_n)=1 if and only if the subgroup of F_m generated by X_1,..., X_n is cyclic. Making use of such words v_m(x_1,..., x_m) and v_{m+1}(x_1,..., x_{m+1}), we provide a positive solution to the following problem raised by Shpilrain: There exist two elements u_1, u_2 in F_m such that every endomorphism of F_m with non-cyclic image is completely determined by its values on u_1, u_2.
An endomorphism of a free group is called primitivity preserving if it takes every primitive element to another primitive. In this paper we prove that every primitivity preserving endomorphism of a free group of a finite rank n > 2 is an automorphism.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.