Related papers: Kummer Surfaces, Isogenies and Theta Functions

We compute explicit rational models for some Hilbert modular surfaces corresponding to square discriminants, by connecting them to moduli spaces of elliptic K3 surfaces. Since they parametrize decomposable principally polarized abelian…

Genus 2 curves have been an object of much mathematical interest since eighteenth century and continued interest to date. They have become an important tool in many algorithms in cryptographic applications, such as factoring large numbers,…

Geometric Quantization links holomorphic geometry with real geometry, a relation that is a prototype for the modern development of mirror symmetry. We show how to use this treatment to construct a special basis in every space of conformal…

We study the birational geometry of some moduli spaces of abelian varieties with extra structure: in particular, with a symmetric theta structure and an odd theta characteristic. For a $(d_1,d_2)$-polarized abelian surface, we show how the…

We give explicit equations of smooth Jacobian Kummer surfaces of degree 8 by theta functions. As byproducts, we can write down Rosenhain's 80 hyperpanes and 32 lines on these Kummer surfaces explicitly.

Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class…

For every positive integer $N$ we determine the Enriques--Kodaira type of the Humbert surface of discriminant $N^2$ which parametrises principally polarised abelian surfaces that are $(N,N)$-isogenous to a product of elliptic curves. A key…

We give a method for finding rational equations of genus 2 curves whose jacobians are abelian varieties $A_f$ attached by Shimura to normalized newforms $f \in S_2( \Gamma_0(N))$. We present all the curves corresponding to principally…

Let T be a general bidegree (2,2) divisor in the product of two projective planes. Recently A.Verra proved that the existence of two conic bundle structures (c.b.s.) on T implies a new counterexample to the Torelli theorem for Prym…

In this paper, we study the Cassels-Tate pairing on Jacobians of genus two curves admitting a special type of isogenies called Richelot isogenies. Let $\phi: J \rightarrow \widehat{J}$ be a Richelot isogeny between two Jacobians of genus…

In this paper we classify the singular curves whose theta divisors in their generalized Jacobians are algebraic, meaning that they are cut out by polynomial analogs of theta functions. We also determine the degree of an algebraic theta…

Let F be a real quadratic field, and let R be an order in F. Suppose given a polarized abelian surface (A,\lambda) defined over a number field k with a symmetric action of R defined over k. This paper considers varying A within the…

A Richelot isogeny between Jacobian varieties is an isogeny whose kernel is included in the $2$-torsion subgroup of the domain. A Richelot isogeny whose codomain is the product of two or more principally polarized abelian varieties is…

We study the geometry of Nieto's quintic threefold (Barth & Nieto, J. Alg. Geom. 3, 1994) and the Kummer and abelian surfaces that correspond to special loci.

We describe an efficient algorithm for the computation of separable isogenies between abelian varieties represented in the coordinate system given by algebraic theta functions. Let $A$ be an abelian variety of dimension $g$ defined over a…

We define a general class of (multiple) integrals of hypergeometric type associated with the Jacobi theta functions. These integrals are related to theta hypergeometric series through the residue calculus. In the one variable case, we get…

We describe a quasi-linear algorithm for computing Igusa class polynomials of Jacobians of genus 2 curves via complex floating-point approximations of their roots. After providing an explicit treatment of the computations in quartic CM…

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…

We present an explicit and computationally actionable blueprint for constructing vector-valued Siegel modular forms associated to real multiplication (RM) abelian surfaces, leveraging the theta correspondence for the unitary dual pair…

We explicitly find an equation and a projective embedding of the Kummer surface associated to the Jacobian of a curve of genus 2 given by an equation of the form y^2 + h(x)y = f(x) over an arbitrary ground field as well as several maps that…