Search arXiv⌕ Search

arXiv · 0709.1711

A Hyperelliptic View on Teichmuller Space. I

Abstract

We explicitly describe the Teichmuller space TH_n of hyperelliptic surfaces in terms of natural and effective coordinates as the space of certain (2n-6)-tuples of distinct points on the ideal boundary of the Poincare disc. We essentially use the concept of a simple earthquake which is a particular case of a Fenchel-Nielsen twist deformation. Such earthquakes generate a group that acts transitively on TH_n. This fact can be interpreted as a continuous analog of the well-known Dehn theorem saying that the mapping class group is generated by Dehn twists. We find a simple and effective criterion that verifies if a given representation of the surface group π_1Σin the group of isometries of the hyperbolic plane is faithful and discrete. The article also contains simple and elementary proofs of several known results, for instance, of W. M. Goldman's theorem [Gol1] characterizing the faithful discrete representations as having maximal Toledo invariant (which is essentially the area of the representation in the two-dimensional case).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sasha Anan'in, Eduardo C. Bento Goncalves. 2009-07-09. A Hyperelliptic View on Teichmuller Space. I. https://arxiv.org/abs/0709.1711

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hurwitz existence problem and fiber products

With each holomorphic map $f:R\to\mathbb C\mathbb P^1$, where $R$ is a compact Riemann surface, one can associate a combinatorial datum consisting of the genus $g$ of $R$, the degree $n$ of $f$, the number $r$ of critical values of $f$, and the $r$ partitions of $n$ given by the local degrees of $f$ over these critical values. These quantities are related by the Riemann-Hurwitz formula, and the Hurwitz existence problem asks whether a combinatorial datum that fits this formula actually corresponds to some map $f$. In this paper, we use fiber products of holomorphic maps between compact Riemann surfaces to establish general criteria for the non-realizability of branch data. We also deduce from our results the theorem of Halphen, proven in 1880, concerning polynomial solutions of the equation $A(z)^a+B(z)^b=C(z)^c$, where $a,b,c$ are integers greater than one.

math.GT↗

Satellites and invariants of links

An invariant $v$ of $m$-component links is called "cableable" if there exists a $k$ such that whenever a link $L'$ is obtained from a link $L=(K_1,\dots,K_m)$ by replacing each knot $K_i$ with its $(p_i,q_i)$-cable for some $p_i$ and $q_i$, we have $v(L')=(p_1\cdots p_m)^kv(L)$. The following problem is implicit in a number of papers by P. M. Akhmetiev and originates from the Arnold-Moffatt program for finding topological lower bounds for the energy of a magnetic field: Does there exist a cableable finite type invariant of links in $S^3$ which is not a function of the pairwise linking numbers? According to Akhmetiev, he solved this problem himself, with the desired invariant being defined for $3$-component links as an analytic expression involving a magnetic field modeled on the given link. We offer a different solution, with the desired invariant for $m$-component links, $m\ge 3$, being a function of the coefficients of the Conway polynomial of the link and its sublinks; the function is given explicitly when $m=3$. Moreover, we show that the cables can be replaced by arbitrary satellites. Much of the proof is a study of low degree coefficients of the Conway potential function $Ω_L(x_1,\dots,x_n)$ expanded as a formal power series in Conway's variables $z_i=x_i-x_i^{-1}$. We also discuss type $n$ invariants which are "cableable up to an invariant of type $n-1$", some cableable invariants which are not of finite type (particularly a certain modification of Milnor's $\barμ$-invariants), and applications to links of solenoids.

math.GT↗