Related papers: Shimura curve computations
We survey the theory of local models of Shimura varieties. In particular, we discuss their definition and illustrate it by examples. We give an overview of the results on their geometry and combinatorics obtained in the last 15 years. We…
For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a…
We use stable maps, and their stable lifts to the Semple bundle variety of second-order curvilinear data, to calculate certain characteristic numbers for rational plane curves. These characteristic numbers involve first-order (tangency) and…
We present some results about the number of rational points on a certain family of curves defined over a finite field. In a small number of cases the curves have more rational points than expected. Fibonacci numbers make an appearance, as…
The object of this work is to present the status of art of an open problem: to provide an analogue for Shimura curves of the Ihara's lemma \cite{Ihara73} which holds for modular curves. We will describe our direct result towards the…
We prove the conjecture of Chen, Wang and Liu in [8] concerning how to calculate the parameter values corresponding to all the singu- larities, including the infinitely near singularities, of rational planar curves from the Smith normal…
In this article, we enumerate all Shimura curves X^D_0(N) of genus at most two.
We present a method for computing all the symmetries of a rational ruled surface defined by a rational parametrization which works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the…
We consider all genus 2 curves over Q given by an equation y^2 = f(x) with f a squarefree polynomial of degree 5 or 6, with integral coefficients of absolute value at most 3. For each of these roughly 200000 isomorphism classes of curves,…
We use twisted stable maps to compute the number of rational degree d plane curves having prescribed contacts to a smooth plane cubic.
We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the…
In this paper we study quadratic points on the non-split Cartan modular curves $X_{ns}(p)$, for $p = 7, 11,$ and $13$. Recently, Siksek proved that all quadratic points on $X_{ns}(7)$ arise as pullbacks of rational points on $X_{ns}^+(7)$.…
In this paper, we first summarize the existing algorithms for computing all the generalized asymptotes of a plane algebraic curve implicitly or parametrically defined. From these previous results, we derive a method that allows to easily…
We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.
We implement an algorithm to compute the number of points over finite fields for the Shimura curves $X_0^D(N)$ and their Atkin--Lehner quotients. Our computations result in many examples of curves which attain the largest known point counts…
We study Shimura curves of PEL type in the space of polarised abelian varieties $A^{\delta}_p$ generically contained in the ramified Prym locus. We generalise to ramified double covers, the construction done in [10] in the unramified case…
I provide methods of constructing elliptic and hyperelliptic curves over global fields with interesting rational points over the given fields or over large field extensions. I also provide a elliptic curves defined over any given number…
We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for…
We explain how to determine equations describing the ramification of an outer simple linear projection of a projective scheme in a way suited for explicit computations.
Consider a Shimura curve $X^D_0(N)$ over the rational numbers. We determine criteria for the twist by an Atkin-Lehner involution to have points over a local field. As a corollary we give a new proof of the theorem of Jordan-Livn\'e on…