Crossing the transcendental divide: from translation surfaces to algebraic curves
Abstract of paper. We study constructing an algebraic curve from a Riemann surface given via a translation surface, which is a collection of finitely many polygons in the plane with sides identified by translation. We use the theory of discrete Riemann surfaces to give an algorithm for approximating the Jacobian variety of a translation surface whose polygon can be decomposed into squares. We first implement the algorithm in the case of \(L\) shaped polygons where the algebraic curve is already known. The algorithm is also implemented in any genus for specific examples of Jenkins–Strebel representatives, a family of translation surfaces that, until now, lived squarely on the analytic side of the transcendental divide between Riemann surfaces and algebraic curves. Using Riemann theta functions, we give numerical experiments and resulting conjectures up to genus \(5\).
Approximating Riemann matrices We provide an algorithm which inputs a translation surface as a polygon and a level of approximation \(n\) and outputs the discrete Riemann matrix. We implement the algorithm in two cases. Note the second implementation for Jenkins–Strebel representatives is an improvement over what was used for the \(L\) shape.
- The \(L\) shape:
main.mthe user inputs a side length \(\lambda\), and a level \(n\). The output is the associated \(2\times 2\) Riemann matrix.
The called functions include
matrixdata.mto build the matrix, as well as 3 smaller functions for subdividing (
subdivide.m), holomorphicitiy conditions (
colindshol.m), and periodicity conditions (
- Jenkins–Strebel reperesentatives:
js.mthe user inputs a translation surface by inputting the genus \(g\) and the level \(n\). The output is the associated \(g\times g\) Riemann matrix.
- Jenkins–Strebel representatives for genus 2 and changing side lengths.
js2.mwe fix genus 2, and allow two side lengths to vary with parameters \(\lambda\) and \(\mu\) where we require \(\lambda\) and \(\mu\) are rational numbers with odd numerators and odd denominators. The output is the associated \(2\times 2\) Riemann matrix.
Using Theta functions to interpret the Riemann matrix approximations