Related papers: Weber modular curves and modular isogenies

This work is motivated by two central questions in the birational geometry of moduli spaces of curves -- Fulton's conjecture and the effective cone of $\bar M_g$. We study the algebro-geometric aspect of Teichmuller curves parameterizing…

Genus 5 curves can be hyperelliptic, trigonal, or non-hyperelliptic non-trigonal, whose model is a complete intersection of three quadrics in $\mathbb{P}^4$. We present and explain algorithms we used to determine, up to isomorphism over…

We propose an explicit and practical algorithm for computing Galois conjugates and irreducible polynomials for special values of modular functions evaluated at CM points associated with imaginary quadratic orders. Our approach builds upon…

A Teichm\"uller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichm\"uller curves of positive genus. Our methods are based on…

We present algorithms to compute the topology of 2D and 3D hyperelliptic curves. The algorithms are based on the fact that 2D and 3D hyperelliptic curves can be seen as the image of a planar curve (the Weierstrass form of the curve), whose…

Let F be the cyclotomic field of fifth roots of unity. We computationally investigate modularity of elliptic curves over F.

Let $\mathcal{E}$ be a $\mathbb{Q}$-isogeny class of elliptic curves defined over $\mathbb{Q}$. The isogeny graph associated to $\mathcal{E}$ is a graph which has a vertex for each elliptic curve in the $\mathbb{Q}$-isogeny class…

We compute the $L$-functions of a large class of algebraic curves, and verify the expected functional equation numerically. Our computations are based on our previous results on stable reduction to calculate the local $L$-factor and the…

In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for…

We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus.

A computer-algebra aided method is carried out, for determining geometric objects associated to differential operators that satisfy the elliptic ansatz. This results in examples of Lame curves with double reduction and in the explicit…

Motivated by a demand for explicit genus 1 Belyi maps from theoretical physics, we give an efficient method of explicitly computing genus one Belyi maps by (1) composing covering maps from elliptic curves to the Riemann sphere with simpler…

We formulate a question regarding uniform versions of "large Galois image properties" for modular abelian varieties of higher dimension, generalizing the well-known case of elliptic curves. We then answer our question affirmatively in the…

We present an algorithm to determine if the $L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor and…

We define and study the stack ${\mathcal U}^{ns,a}_{g,g}$ of (possibly singular) projective curves of arithmetic genus g with g smooth marked points forming an ample non-special divisor. We define an explicit closed embedding of a natural…

By a change of variables we obtain new $y$-coordinates of elliptic curves. Utilizing these $y$-coordinates as modular functions, together with the elliptic modular function, we generate the modular function fields of level $N\geq3$.…

We extend our method to compute division polynomials of Jacobians of curves over Q to curves over Q(t), in view of computing mod ell Galois representations occurring in the \'etale cohomology of surfaces over Q. Although the division…

Let $E$ be a non CM elliptic curve defined over $\Q$. There is an isogeny-torsion graph associated to $E$ and there is also a Galois representation $\rho_{E,l^{\infty}} \colon \Gal(\Qbar/\Q) \to \GL_2(\ZZ_{\ell})$ associated to $E$ for…

We prove the existence of curves of genus $7$ and $12$ over the field with $11^5$ elements, reaching the Hasse-Weil-Serre upper bound. These curves are quotients of modular curves and we give explicit equations. We compute the number of…

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le…