The Geometry of Two Generator Groups: Hyperelliptic Handlebodies

A Kleinian group naturally stabilizes certain subdomains and closed subsets of the closure of hyperbolic three space and yields a number of different quotient surfaces and manifolds. Some of these quotients have conformal structures and others hyperbolic structures. 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 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 generalized Weierstrass points on the surface. In addition, on each of these equidistant surfaces we find an orientation reversing involution that fixes curves through the generalized Weierstrass points.Mathematics Subject Classifications (2000). primary 30F10, 30F35, 30F40; secondary 14H30, 22E40.     

The concept of hyperellipticity on surfaces with nodes

A surface with nodes X is hyperelliptic if there exists an involution such that the genus of X/〈h〉 is 0. We prove that this definition is equivalent, as in the category of surfaces without nodes, to the existence of a degree 2 morphism satisfying an additional condition where the genus of Y is 0. Other question is if the hyperelliptic involution is unique or not. We shall prove that the hyperelliptic involution is unique in the case of stable Riemann surfaces but is not unique in the case of Klein surfaces with nodes. Finally, we shall prove that a complex double of a hyperelliptic Klein surface with nodes could not be hyperelliptic.     

On theta characteristics of a compact Riemann surface

Let σ be a nontrivial automorphism of a compact connected Riemann surface X of genus at least two. Assume that σ fixes each of the theta characteristics of X. We prove that X is hyperelliptic, and σ is the unique hyperelliptic involution of X.     

Z_2-商的秩为r的超椭圆纤维化曲面的斜率

设Ｓ是一般型的相对极小曲面，ｆ：Ｓ→Ｃ是亏格ｇ的超椭圆纤维化．本文中我们证明了如果 Ｓ的代数基本群的垂直部分的极大挠 ２商为，那么其斜率且等号成立仅当 Ｓ上的超椭圆对合所诱导的二次复盖的分歧除子 Ｒ仅有（ｒ＋１→，＋１）（当ｒ为偶数）型奇点，或（ｒ＋２→ｒ＋２）（当ｒ为奇数）型奇点．     

The Scorza correspondence in genus 3

In this note we prove the genus 3 case of a conjecture of Farkas and Verra on the limit of the Scorza correspondence for curves with a theta-null. Specifically, we show that the limit of the Scorza correspondence for a hyperelliptic genus 3 curve C is the union of the curve ${\{x, \sigma(x) \mid x \in C\}}$ (where σ is the hyperelliptic involution), and twice the diagonal. Our proof uses the geometry of the subsystem Γ₀₀ of the linear system |2Θ|, and Riemann identities for theta constants.     

Automorphisms of curves fixing the order two points of the Jacobian

Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism σ that fixes pointwise all the order two points of Pic⁰(X), then we prove that X is hyperelliptic with σ being the unique hyperelliptic involution. As a corollary, if a nontrivial automorphisms of X fixes pointwise all the theta characteristics on X, then X is hyperelliptic with being its hyperelliptic involution.      

A Type of Hyperelliptic Continued Fraction

Based on hints of Tschebychev, a continued fraction is described which gives an effective algorithm for calculating the torsion, if finite, of divisors D − D⁻ on a hyperelliptic curve of genus ≥2, where D is an effective divisor of degree 2 and D⁻ denotes the image of D under the hyperelliptic involution. The difficulties involved in extending the algorithm to divisors of degree ≥3 are briefly discussed.     

On Projecting Symmetries by Unbranched Regular Coverings of Riemann Surfaces

A symmetry of a Riemann surface X of genus g is an antiholomorphic involution σ of X. It is a classical result of Harnack that the set of fixed points of σ consists of k closed Jordan curves, called ovals, for some k, 0 ≤ k ≤ g + 1; when k = g or k = g+1 we say, following Natanzon [8], that σ is an (M – 1)- or an M-symmetry, respectively. Given a Riemann surface X with an M-symmetry, a Riemann surface Y and a regular covering p: X → Y, we prove that Y admits either an M- or an (M – 1)-symmetry and whenever p is unbranched we describe the groups of covering transformations of p. In the case that X is hyperelliptic we calculate as well the number of unbranched regular coverings p: X → Y in which X has an M-symmetry. The first two authors are supported by MTM2005-01637, the third by SAB2005-0049.     

On Lifting Fibrations of Genus One

We investigate the problem of lifting fibrations of genus one on algebraic surfaces of Kodaira dimension zero. We prove that fibrations on the following surfaces lift: Enriques surfaces, K3 surfaces covering Enriques surfaces, certain hyperelliptic, and quasi-hyperelliptic surfaces.     

Existence of <Emphasis Type="Italic">g</Emphasis><Superscript>1</Superscript><Subscript><Emphasis Type="Italic">g</Emphasis>–2</Subscript>’s on a double covering of a hyperelliptic curve

Abstract Let X be a non–hyperelliptic curve of genus g which is a double covering of a hyperelliptic curve C of genus h. In this paper, we prove that, if h≥ 3 and g≥ 4h+5, then X admits a complete, base point free g¹_g–2. Moreover, if h=3, this result holds under the mild condition g≥ 4h+3=15. Keywords: Double covering of hyperelliptic curves, Pencil of degree g–2 Mathematics Subject Classification (2000:) 14H30, 14H45     

A necessary and sufficient condition for lifting the hyperelliptic involution

Let denote a Riemann surface which possesses a fixed point free group of automorphisms with a hyperelliptic orbit space. A criterion is proved which determines whether the hyperelliptic involution lifts to an automorphism of Necessary and sufficient conditions are stated which determine when a lift of the hyperelliptic involution is fixed point free. A complete determination is made of the abelian groups which may arise as automorphism groups of surfaces which possess a fixed point free lift.

     

Isometric Embeddings of Subsets of Boundaries of Teichmüller Spaces of Compact Hyperbolic Riemann Surfaces

It is known that every finitely unbranched holomorphic covering π:S→S of a compact Riemann surface S with genus g≥2 induces an isometric embedding Φπ:Teich(S)→Teich(S).By the mutual relations between Strebel rays in Teich(S)and their embeddings in Teich(S),we show that the 1 st-strata space of the augmented Teichmüller space Teich(S)can be embedded in the augmented Teichmüller space Teich(S)isometrically.Furthermore,we show that Φπ induces an isometric embedding from the set Teich(S)B(∞)consisting of Busemann points in the horofunction boundary of Teich(S)into Teich(S)B(∞)with the detour metric.     

Three-dimensional hyperelliptic manifolds

Let X³ = H³, E³, S³, H² × E¹, S² × E¹, T₁(H²), Nil of Solv be one of the eight 3-dimensional geometrics of Thurston [10] and G be a discrete group of isometrics of X³ acting without fixed points. A manifold M³ = X³/G is said to be hyperelliptic if there is an isometric involution on it such that the factor space M³/<> is diffeomorphic to the 3-sphere S³. In analogy with the theory of Riemann surfaces we call involution.In the present paper the existence of hyperelliptic manifolds in each light of the eight 3-dimensional geometrics will be obtained. All the proofs given there will be written in the language of orbifolds whose basic facts can be found in [9].     

Involutions on surfaces with pg?=?q?=?0 and K2?=?3

We study surfaces of general type S with p _g  = 0 and K ² = 3 having an involution i such that the bicanonical map of S is not composed with i. It is shown that, if S/i is not rational, then S/i is birational to an Enriques surface or it has Kodaira dimension 1 and the possibilities for the ramification divisor of the covering map S → S/i are described. We also show that these two cases do occur, providing an example. In this example S has a hyperelliptic fibration of genus 3 and the bicanonical map of S is of degree 2 onto a rational surface.     

On football manifolds of E. Molnár

A closed 3-manifold M is said to be hyperelliptic if it has an involution τ such that the quotient space of M by the action of τ is homeomorphic to the standard 3-sphere. We show that the hyperbolic football manifolds of Emil Molnár [12] are hyperelliptic. Then we determine the isometry groups of such manifolds. Another consequence is that the unique hyperbolic dodecahedral and icosahedral 3-space forms with first homology group ℤ₃₅ (constructed by I. Prok in [16], on the basis of a principal algorithm due to Emil Molnár [13], and by Richardson and Rubinstein in [18]) are also hyperelliptic.     

Two-gap elliptic solutions to integrable nonlinear equations

We study spectral surfaces associated with elliptic two-gap solutions to the nonlinear Schrödinger equation (NLS), the Korteweg-de Vries equation (KdV), and the sine-Gordon equation (SG). It is shown that elliptic solutions to the NLS and SG equations, as well as solutions to the KdV equation elliptic with respect tot, can be assigned to any hyperelliptic surface of genus 2 that forms a covering over an elliptic surface.     

Counterexamples to Rational Dilation on Symmetric Multiply Connected Domains

We show that if R is a compact domain in the complex plane with two or more holes and an anticonformal involution onto itself (or equivalently a hyperelliptic Schottky double), then there is an operator T which has R as a spectral set, but does not dilate to a normal operator with spectrum on the boundary of R.     

Tropical hyperelliptic curves

We study the locus of tropical hyperelliptic curves inside the moduli space of tropical curves of genus g. We define a harmonic morphism of metric graphs and prove that a metric graph is hyperelliptic if and only if it admits a harmonic morphism of degree 2 to a metric tree. This generalizes the work of Baker and Norine on combinatorial graphs to the metric case. We then prove that the locus of 2-edge-connected genus g tropical hyperelliptic curves is a (2g?1)-dimensional stacky polyhedral fan whose maximal cells are in bijection with trees on g?1 vertices with maximum valence 3. Finally, we show that the Berkovich skeleton of a classical hyperelliptic plane curve satisfying a certain tropical smoothness condition is a standard ladder of genus g.