-
What's in a name? Parallel Universes
Authors:
Jane Gilman
Abstract:
Every compact oriented Riemann surface with a finite group of self homeomorphisms can be embedded conformally in Euclidean three space so that the image group acts conformally. Here we establish necessary and sufficient conditions on the fixed point structure as given by Harvey's surface kernel map for the image group to lift to the three sphere. This builds upon topological work of Ni, Wang and W…
▽ More
Every compact oriented Riemann surface with a finite group of self homeomorphisms can be embedded conformally in Euclidean three space so that the image group acts conformally. Here we establish necessary and sufficient conditions on the fixed point structure as given by Harvey's surface kernel map for the image group to lift to the three sphere. This builds upon topological work of Ni, Wang and Wang. It gives rise to a discussion of how terms emerge and are used for equivalent phenomena that are described in the language of different fields.
△ Less
Submitted 6 January, 2024; v1 submitted 1 May, 2023;
originally announced May 2023.
-
Computability Models: Algebraic, Topological and Geometric Algorithms
Authors:
Jane Gilman
Abstract:
The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is that the answer depends upon what model of computation is chosen. Since our discussion involves the disparate topics of computability theory and group theory,…
▽ More
The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is that the answer depends upon what model of computation is chosen. Since our discussion involves the disparate topics of computability theory and group theory, we include substantial background material.
△ Less
Submitted 12 June, 2022;
originally announced June 2022.
-
Extending Harvey's Surface Kernel Maps
Authors:
Jane Gilman
Abstract:
Let $S$ be a compact Riemann surface and $G$ a group of conformal automorphisms of $S$ with $S_0 = S/G$. $S$ is a finite regular branched cover of $S_0$. If $U$ denotes the unit disc, let $Γ$ and $Γ_0$ be the Fuchsian groups with $S = U/Γ$ and $S_0 = U/{Γ_0}$. There is a group homomorphism of $Γ_0$ onto $G$ with kernel $Γ$ and this is termed a surface kernel map. Two surface kernel maps are equiva…
▽ More
Let $S$ be a compact Riemann surface and $G$ a group of conformal automorphisms of $S$ with $S_0 = S/G$. $S$ is a finite regular branched cover of $S_0$. If $U$ denotes the unit disc, let $Γ$ and $Γ_0$ be the Fuchsian groups with $S = U/Γ$ and $S_0 = U/{Γ_0}$. There is a group homomorphism of $Γ_0$ onto $G$ with kernel $Γ$ and this is termed a surface kernel map. Two surface kernel maps are equivalent if they differ by an automorphism of $Γ_0$. In his 1971 paper Harvey showed that when $G$ is a cyclic group, there is a unique simplest representative for this equivalence class. His result has played an important role in establishing subsequent results about conformal automorphism groups of surfaces. We extend his result to some surface kernel maps onto arbitrary finite groups. These can be used along with the Schreier-Reidemeister Theory to find a set of generators for $Γ$ and the action of $G$ as an outer automorphism group on the fundamental group of $S$ putting the action on the fundamental group and the induced action on homology into a relatively simple format. As an example we compute generators for the fundamental group and a homology basis together with the action of $G$ when $G$ is ${\mathcal{S}_3$, the symmetric group on three letters. The action of $G$ shows that the homology basis found is not an adapted homology basis.
△ Less
Submitted 1 May, 2021;
originally announced May 2021.
-
Geometry and the Imagination in Minneapolis
Authors:
John H. Conway,
Peter G. Doyle,
Jane Gilman,
William P. Thurston
Abstract:
This document consists of the collection of handouts for a two-week summer workshop entitled 'Geometry and the Imagination', led by John Conway, Peter Doyle, Jane Gilman and Bill Thurston at the Geometry Center in Minneapolis, June 17-28, 1991. The workshop was based on a course `Geometry and the Imagination' which we had taught twice before at Princeton.
This document consists of the collection of handouts for a two-week summer workshop entitled 'Geometry and the Imagination', led by John Conway, Peter Doyle, Jane Gilman and Bill Thurston at the Geometry Center in Minneapolis, June 17-28, 1991. The workshop was based on a course `Geometry and the Imagination' which we had taught twice before at Princeton.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Conformal Automorphism Groups, Adapted Generating Sets and Bases
Authors:
Jane Gilman
Abstract:
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…
▽ More
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 matrices for automorphism groups of prime orders and other specific groups.
△ Less
Submitted 27 November, 2017; v1 submitted 21 November, 2017;
originally announced November 2017.
-
Adjoining Roots and Rational Powers of Generators in PSL(2,\RR) and Discreteness
Authors:
Jane Gilman
Abstract:
Let $G$ be a finitely generated group of isometries of $\HH^m$, hyperbolic $m$-space, for some positive integer $m$. %or equivalently elements of $PSL(2,\CC)$.
The discreteness problem is to determine whether or not $G$ is discrete. Even in the case of a two generator non-elementary subgroup of $\HH^2$ (equivalently $PSL(2,\mathbb{R})$) the problem requires an algorithm \cite{GM,JGtwo}. If $G$ i…
▽ More
Let $G$ be a finitely generated group of isometries of $\HH^m$, hyperbolic $m$-space, for some positive integer $m$. %or equivalently elements of $PSL(2,\CC)$.
The discreteness problem is to determine whether or not $G$ is discrete. Even in the case of a two generator non-elementary subgroup of $\HH^2$ (equivalently $PSL(2,\mathbb{R})$) the problem requires an algorithm \cite{GM,JGtwo}. If $G$ is discrete, one can ask when adjoining an $n$th root of a generator results in a discrete group.
In this paper we address the issue for pairs of hyperbolic generators in $PSL(2, \RR)$ with disjoint axes and obtain necessary and sufficient conditions for adjoining roots for the case when the two hyperbolics have a hyperbolic product and are what as known as {\sl stopping generators} for the Gilman-Maskit algorithm \cite{GM}. We give an algorithmic solution in other cases. It applies to all other types of pair of generators that arise in what is known as the {\sl intertwining case}. The results are geometrically motivated and stated as such, but also can be given computationally using the corresponding matrices.
△ Less
Submitted 30 November, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Winding and Unwinding and Essential Intersections in $\mathbb{H}^3$
Authors:
Jane Gilman,
Linda Keen
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 July, 2016; v1 submitted 16 October, 2015;
originally announced October 2015.
-
Canonical Hexagons and the PSL(2,C) Discreteness Problem
Authors:
Jane Gilman,
Linda Keen
Abstract:
The discreteness problem, that is, the problem of determining whether or not a given finitely generated group G of orientation preserving isometries of hyperbolic three-space is discrete as a subgroup of the whole isometry group of hyperbolic three space, is a challenging problem that has been investigated for more than a century and is still open. It is known that G is discrete if, and only if, e…
▽ More
The discreteness problem, that is, the problem of determining whether or not a given finitely generated group G of orientation preserving isometries of hyperbolic three-space is discrete as a subgroup of the whole isometry group of hyperbolic three space, is a challenging problem that has been investigated for more than a century and is still open. It is known that G is discrete if, and only if, every non-elementary two generator subgroup is. Several sufficient conditions for discreteness are also known as are some necessary conditions, though no single necessary and sufficient condition is known. There is a finite discreteness algorithm for the two generator subgroups of the isometry group of hyperbolic two-space. But the situation in three dimensions is more delicate because there are geometrically infinite groups.
We present a semi-algorithm, that is, a procedure that terminates sometimes but not always. There is no standard way to find an infinite sequence of distinct elements that converges to the identity to show that a group is not discrete. Our semi-algorithm either produces such an infinite sequence or finds a finite sequence that produces a right angled hexagon in hyperbolic three-space which has a special property that is a generalization of the notion of convexity. We call it a canonical hexagon. If the group is discrete, free and geometrically finite, it always has an essentially unique canonical hexagon which the procedure finds in a finite number of steps.
△ Less
Submitted 21 October, 2016; v1 submitted 2 August, 2015;
originally announced August 2015.
-
Primitive Curve Lengths on Pairs of Pants
Authors:
Jane Gilman
Abstract:
The problem of determining whether or not a non-elementary subgroup of $PSL(2,\CC)$ is discrete is a long standing one. The importance of two generator subgroups comes from Jørgensen's inequality which has as a corollary the fact that a non-elementary subgroup of $PSL(2,\CC)$ is discrete if and only if every non-elementary two generator subgroup is. A solution even in the two-generator…
▽ More
The problem of determining whether or not a non-elementary subgroup of $PSL(2,\CC)$ is discrete is a long standing one. The importance of two generator subgroups comes from Jørgensen's inequality which has as a corollary the fact that a non-elementary subgroup of $PSL(2,\CC)$ is discrete if and only if every non-elementary two generator subgroup is. A solution even in the two-generator $PSL(2,\RR)$ case appears to require an algorithm that relies on a the concept of {\sl trace minimizing} that was initiated by Rosenberger and Purzitsky in the 1970's Their work has lead to many discreteness results and algorithms. Here we show how their concept of trace minimizing leads to a theorem that gives bounds on the hyperbolic lengths of curves on the quotient surface that are the images of primitive generators in the case where the group is discrete and the quotient is a pair of pants. The result follows as a consequence of the Non-Euclidean Euclidean algorithm.
△ Less
Submitted 7 July, 2016; v1 submitted 11 June, 2015;
originally announced June 2015.
-
Computing Adapted Bases for Conformal Automorphism Groups of Riemann Surfaces
Authors:
Jane Gilman
Abstract:
The concept of an adapted homology basis for a prime order conformal automorphism of a compact Riemann surface extends to arbitrary finite groups of conformal automorphisms. Here we compute some examples of adapted homology bases for some groups of automorphisms. The method is to begin by apply the Schreier-Reidemeister rewriting process along with the Schreier-Reidemeister Theorem and then to eli…
▽ More
The concept of an adapted homology basis for a prime order conformal automorphism of a compact Riemann surface extends to arbitrary finite groups of conformal automorphisms. Here we compute some examples of adapted homology bases for some groups of automorphisms. The method is to begin by apply the Schreier-Reidemeister rewriting process along with the Schreier-Reidemeister Theorem and then to eliminate generators and relations until there is one single large defining relation for the fundamental group in which every generator and its inverse occurs. We are then able to compute the action of the group on the homology image of these generators in the first homology group. The matrix of the action is in a simple form. This has applications to the representation variety.
△ Less
Submitted 13 February, 2014; v1 submitted 28 August, 2013;
originally announced August 2013.
-
The Non-Euclidean Euclidean Algorithm
Authors:
Jane Gilman
Abstract:
In this paper we demonstrate how the geometrically motivated algorithm to determine whether a two generator real Mobius group acting on the Poincare plane is or is not discrete can be interpreted as a non-Euclidean Euclidean algorithm. That is, the algorithm can be viewed as an application of the Euclidean division algorithm to real numbers that represent hyperbolic distances. In the case that the…
▽ More
In this paper we demonstrate how the geometrically motivated algorithm to determine whether a two generator real Mobius group acting on the Poincare plane is or is not discrete can be interpreted as a non-Euclidean Euclidean algorithm. That is, the algorithm can be viewed as an application of the Euclidean division algorithm to real numbers that represent hyperbolic distances. In the case that the group is discrete and free, the algorithmic procedure also gives a non-Euclidean Euclidean algorithm to find the three shortest curves on the corresponding quotient surface.
△ Less
Submitted 26 September, 2013; v1 submitted 4 July, 2012;
originally announced July 2012.
-
Discreteness Criteria and the Hyperbolic Geometry of Palindroms
Authors:
Jane Gilman,
Linda Keen
Abstract:
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…
▽ More
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} $Ł$ 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 $Ł$; the second is that $G$ is geometrically finite if and only if the axis of every non-parabolic palindromic word in $G$ intersects $Ł$ 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.
△ Less
Submitted 26 August, 2008;
originally announced August 2008.
-
Cutting Sequences and Palindromes
Authors:
Jane Gilman,
Linda Keen
Abstract:
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.
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.
△ Less
Submitted 11 June, 2008; v1 submitted 3 March, 2008;
originally announced March 2008.
-
Enumerating Palindromes and Primitives in Rank Two Free Groups
Authors:
Jane Gilman,
Linda Keen
Abstract:
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 iterat…
▽ More
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.
△ Less
Submitted 12 February, 2011; v1 submitted 19 February, 2008;
originally announced February 2008.
-
Informative Words and Discreteness
Authors:
Jane Gilman
Abstract:
There are certain families of words and word sequences (words in the generators of a two-generator group) that arise frequently in the Teichm{ü}ller theory of hyperbolic three-manifolds and Kleinian and Fuchsian groups and in the discreteness problem for two generator matrix groups. We survey some of the families of such words and sequences: the semigroup of so called {\sl good} words of Gehring…
▽ More
There are certain families of words and word sequences (words in the generators of a two-generator group) that arise frequently in the Teichm{ü}ller theory of hyperbolic three-manifolds and Kleinian and Fuchsian groups and in the discreteness problem for two generator matrix groups. We survey some of the families of such words and sequences: the semigroup of so called {\sl good} words of Gehring-Martin, the so called {\sl killer} words of Gabai-Meyerhoff-NThurston, the Farey words of Keen-Series and Minsky, the discreteness-algorithm Fibonacci sequences of Gilman-Jiang and {\sl parabolic dust} words. We survey connections between the families and establish a new connection between good words and Farey words.
△ Less
Submitted 20 January, 2007;
originally announced January 2007.
-
Classical Two-parabolic T-Schottky groups
Authors:
Jane Gilman,
Peter Waterman
Abstract:
A $T$-Schottky group is a discrete group of Möbius transformations whose generators identify pairs of, possibly-tangent, Jordan curves on the complex sphere, ${\hat{\IC}}$. If the curves are Euclidean circles then the group is termed classical $T$-Schottky. We describe the boundary of the space of classical $T$-Schottky groups affording two parabolic generators within the larger parameter space…
▽ More
A $T$-Schottky group is a discrete group of Möbius transformations whose generators identify pairs of, possibly-tangent, Jordan curves on the complex sphere, ${\hat{\IC}}$. If the curves are Euclidean circles then the group is termed classical $T$-Schottky. We describe the boundary of the space of classical $T$-Schottky groups affording two parabolic generators within the larger parameter space of all $T$-Schottky groups with two parabolic generators. This boundary is surprisingly different from that of the larger space. It is analytic while the boundary of the larger space appears to be fractal. Approaching the boundary of the smaller space does not correspond to pinching, circles necessarily become tangent but extra parabolics need not develop. As an application we construct an explicit one parameter family of two parabolic generator non-classical $T$-Schottky groups.
△ Less
Submitted 20 January, 2007;
originally announced January 2007.
-
The Structure of Two-parabolic Space: Parabolic Dust and Iteration
Authors:
Jane Gilman
Abstract:
A non-elementary Möbius group generated by two-parabolics is determined up to conjugation by one complex parameter and the parameter space has been extensively studied. In this paper, we use the results of \cite{GW} to obtain an additional structure for the parameter space, which we term the {\sl two-parabolic space}. This structure allows us to identify groups that contain additional conjugacy…
▽ More
A non-elementary Möbius group generated by two-parabolics is determined up to conjugation by one complex parameter and the parameter space has been extensively studied. In this paper, we use the results of \cite{GW} to obtain an additional structure for the parameter space, which we term the {\sl two-parabolic space}. This structure allows us to identify groups that contain additional conjugacy classes of primitive parabolics, which following \cite{Indra} we call {\sl parabolic dust groups}, non-free groups off the real axis, and groups that are both parabolic dust and non-free; some of these contain $\mathbb{Z} \times \mathbb{Z}$ subgroups. The structure theorem also attaches additional geometric structure to discrete and non-discrete groups lying in given regions of the parameter space including a new explicit construction of some non-classical $\T$Schottky groups.
△ Less
Submitted 14 January, 2007;
originally announced January 2007.
-
Canonical Symplectic Representations for Prime Order Conjugacy Classes of the Mapping-class Group
Authors:
Jane Gilman
Abstract:
In this paper we find a unique normal form for the symplectic matrix representation of the conjugacy class of a prime order element of the mapping-class group. We find a set of generators for the fundamental group of a surface with a conformal automorphism of prime order which reflects the action the automorphism in an optimal way. This is called an {\sl adapted} homotopy basis and there is a co…
▽ More
In this paper we find a unique normal form for the symplectic matrix representation of the conjugacy class of a prime order element of the mapping-class group. We find a set of generators for the fundamental group of a surface with a conformal automorphism of prime order which reflects the action the automorphism in an optimal way. This is called an {\sl adapted} homotopy basis and there is a corresponding {\sl adapted presentation}. We also give a necessary and sufficient condition for a prime order symplectic matrix to be the image of a prime order element in the mapping-class group.
△ Less
Submitted 17 June, 2007; v1 submitted 11 January, 2007;
originally announced January 2007.
-
Prime Order Automorphisms of Riemann Surfaces
Authors:
Jane Gilman
Abstract:
Recently there has been renewed interest in the mapping-class group of a compact surface of genus $g \ge 2$ and also in its finite order elements. A finite order element of the mapping-class group will be a conformal automorphisms on some Riemann surface of genus $g$. Here we give the details of the proof that there is an {\sl adapted basis} for any conformal automorphism of prime order on a sur…
▽ More
Recently there has been renewed interest in the mapping-class group of a compact surface of genus $g \ge 2$ and also in its finite order elements. A finite order element of the mapping-class group will be a conformal automorphisms on some Riemann surface of genus $g$. Here we give the details of the proof that there is an {\sl adapted basis} for any conformal automorphism of prime order on a surface of genus $g$ and extend the original result to apply to fixed point free automorphisms. An adapted basis is one that reflects the action of the automorphism in the optimal manner described below. The proof uses the Schreier-Reidemeister rewriting process. We find some new consequences of the existence of an adapted basis. We also construct an explicit example of such a basis and compute its intersection matrix.
△ Less
Submitted 10 January, 2007;
originally announced January 2007.
-
Planar families of discrete groups
Authors:
Jane Gilman,
Linda Keen
Abstract:
Determining the space of free discrete two generator groups of Möbius 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 discre…
▽ More
Determining the space of free discrete two generator groups of Möbius 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.
△ Less
Submitted 25 January, 2005;
originally announced January 2005.
-
The Geometry of Two Generator Groups: Hyperelliptic Handlebodies
Authors:
Jane Gilman,
Linda Keen
Abstract:
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 handlebod…
▽ More
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.
△ Less
Submitted 21 January, 2005;
originally announced January 2005.
