Search

Let $G = \langle A,B \rangle$ be a non-elementary two generator subgroup of the isometry group of $\mathbb{H}^2$, the hyperbolic plane. If $G$ is discrete and free and geometrically finite, its quotient is a pair of pants and in prior work we produced a formula for the number of essential self intersections (ESIs) of any primitive geodesic on the quotient. An ESI is a point where the geodesic has a self-intersection on a seam. Self-intersections of geodesics on arbitrary hyperbolic surfaces have recently been studied by Basmajian and Chas. Here we extend our results to two generator subgroups $G$ of isometries of $\mathbb{H}^3$, hyperbolic three-space, which are discrete, free and geometrically finite. We generalize our definition of ESIs and give a geometric interpretation of them in the quotient manifold. We show that they satisfy the same formulas.

We consider non-elementary representations of two generator free groups in $PSL(2,\mathbb{C})$, not necessarily discrete or free, $G = < A, B >$. A word in $A$ and $B$, $W(A,B)$, is a palindrome if it reads the same forwards and backwards. A word in a free group is {\sl primitive} if it is part of a minimal generating set. Primitive elements of the free group on two generators can be identified with the positive rational numbers. We study the geometry of palindromes and the action of $G$ in $\HH^3$ whether or not $G$ is discrete. We show that there is a {\sl core geodesic} $\L$ in the convex hull of the limit set of $G$ and use it to prove three results: the first is that there are well defined maps from the non-negative rationals and from the primitive elements to $\L$; the second is that $G$ is geometrically finite if and only if the axis of every non-parabolic palindromic word in $G$ intersects $\L$ in a compact interval; the third is a description of the relation of the pleating locus of the convex hull boundary to the core geodesic and to palindromic elements., Comment: 19 pages

We give a unified geometric approach to some theorems about primitive elements and palindromes in free groups of rank 2. The geometric treatment gives new proofs of the theorems. Dedicated to Bill Harvey on his 65th birthday., Comment: 15 The current version replaces the first version; we have corrected the statement of theorem 2.1 and added a new theorem 2.4 and included some additional references

Let $F= < a,b>$ be a rank two free group. A word $W(a,b)$ in $F$ is {\sl primitive} if it, along with another group element, generates the group. It is a {\sl palindrome} (with respect to $a$ and $b$) if it reads the same forwards and backwards. It is known that in a rank two free group any primitive element is conjugate either to a palindrome or to the product of two palindromes, but known iteration schemes for all primitive words give only a representative for the conjugacy class. Here we derive a new iteration scheme that gives either the unique palindrome in the conjugacy class or expresses the word as a unique product of two unique palindromes. We denote these words by $E_{p/q}$ where $p/q$ is rational number expressed in lowest terms. We prove that $E_{p/q}$ is a palindrome if $pq$ is even and the unique product of two unique palindromes if $pq$ is odd. We prove that the pairs $(E_{p/q},E_{r/s})$ generate the group when $|ps-rq|=1$. This improves the previously known result that held only for $pq$ and $rs$ both even. The derivation of the enumeration scheme also gives a new proof of the known results about primitives., Comment: Final revisions, to appear J Algebra

Determining the space of free discrete two generator groups of M\"obius transformations is an old and difficult problem. In this paper we show how to construct large balls of full dimension in this space. To do this, we begin with a marked discrete group of non-separating disjoint circle type. Such a group determines three disjoint or tangent planes. We prove that there is a whole family of discrete groups that share these planes. We find a set of six real numbers that serve as parameters for this family and construct an embedding of our parameters into a classical representation of the full space of free discrete groups. We see that each planar family fills out a ball of full dimension in the classical embedding., Comment: 10 pages

For two generator free Fuchsian groups, the quotient three manifold is a genus two solid handlebody and its boundary is a hyperelliptic Riemann surface. The convex core is also a hyperelliptic Riemann surface. We find the Weierstrass points of both of these surfaces. We then generalize the notion of a hyperelliptic Riemann surface to a ``hyperelliptic'' three manifold. We show that the handlebody has a unique order two isometry fixing six unique geodesic line segments, which we call the {\sl Weierstrass lines} of the handlebody. The Weierstrass lines are, of course, the analogue of the Weierstrass points on the boundary surface. Further, we show that the manifold is foliated by surfaces equidistant from the convex core, each fixed by the isometry of order two. The restriction of this involution to the equidistant surface fixes six {\sl generalized Weierstrass points} on the surface., Comment: 43 pages 11 figures to appear Geometria Dedicata

We construct new coordinates for the Teichm\"uller space Teich of a punctured torus into $\bold{R} \times\bold{R}^+$. The coordinates depend on the representation of Teich as a space of marked Kleinian groups $G_\mu$ that depend holomorphically on a parameter $\mu$ varying in a simply connected domain in $\bold{C}$. They describe the geometry of the hyperbolic manifold $\bold{H}^3/G_\mu$; they reflect exactly the visual patterns one sees in the limit sets of the groups $G_\mu$; and they are directly computable from the generators of $G_\mu$., Comment: 6 pages

In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $\Omega(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1 parabolic subgroups that any group isomorphic to $G$ may contain. A group with this largest number of rank 1 maximal parabolic subgroups is called {\it maximally parabolic}. We show such groups exist. We state our main theorems concisely here. Theorem I. The limit set of a maximally parabolic group is a circle packing; that is, every component of its regular set is a round disc. Theorem II. A maximally parabolic group is geometrically finite. Theorem III. A maximally parabolic pinched function group is determined up to conjugacy in $PSL(2,{\bf C})$ by its abstract isomorphism class and its parabolic elements.