Related papers: Shimura curve computations via K3 surfaces of Nero…
We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we…
A K3-surface is a (smooth) surface which is simply connected and has trivial canonical bundle. In these notes we investigate three particular pencils of K3-surfaces with maximal Picard number. More precisely the general member in each…
We determine all complex K3 surfaces with Picard rank 20 over Q. Here the Neron-Severi group has rank 20 and is generated by divisors which are defined over Q. Our proof uses modularity, the Artin-Tate conjecture and class group theory.…
We determine the Shimura modular curve X_0(3) and the Jacobian of the Shimura modular curve X_1(3) associated with the congruence subgroups Gamma_0(3), Gamma_1(3) of the (2,3,7) triangle group. This group is known to be arithmetic and…
We study the behavior of geometric Picard ranks of K3 surfaces over the rationals under reduction modulo primes. We compute these ranks for reductions of smooth quartic surfaces modulo all primes $p<2^{16}$ in several representative…
Shimura curves are moduli spaces of abelian surfaces with quaternion multiplication. Models of Shimura curves are very important in number theory. Klein's icosahedral invariants $\mathfrak{A},\mathfrak{B}$ and $\mathfrak{C}$ give the…
In general, not much is known about the arithmetic of K3 surfaces. Once the geometric Picard number, which is the rank of the Neron-Severi group over an algebraic closure of the base field, is high enough, more structure is known and more…
Motivated by a problem originating in string theory, we study elliptic fibrations on K3 surfaces with large Picard number modulo isomorphism. We give methods to determine upper bounds for the number of inequivalent K3 surfaces sharing the…
We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic…
The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and,…
We study the good reduction modulo p of K3 surfaces with complex multiplication. If a K3 surface with complex multiplication has good reduction, we calculate the Picard number and the height of the formal Brauer group of the reduction.…
In the classical setting, the modular equation of level $N$ for the modular curve $X_0(1)$ is the polynomial relation satisfied by $j(\tau)$ and $j(N\tau)$, where $j(\tau)$ is the standard elliptic $j$-function. In this paper, we will…
For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber…
We study surfaces constructed from groups of units in quaternion orders $\Lambda$ over the integers in real quadratic fields k. A short presentation of some general theory of such surfaces is given, in particular, we construct certain…
We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the…
We study the class of complex algebraic K3 surfaces admitting an embedding of H+E8+E8 inside the Neron-Severi lattice. These special K3 surfaces are classified by a pair of modular invariants, in the same manner that elliptic curves over…
Let X be a K3 surface of degree 8 in P^5 with hyperplane section H. We associate to it another K3 surface M which is a double cover of P^2 ramified on a sextic curve C. In the generic case when X is smooth and a complete intersection of…
The largest group which occurs as the rotational symmetries of a three-dimensional reflexive polytope is the symmetric group on four elements. There are three pairs of three-dimensional reflexive polytopes with this symmetry group, up to…
A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms…
A Nikulin configuration is the data of $16$ disjoint smooth rational curves on a K3 surface. According to results of Nikulin, the existence of a Nikulin configuration means that the K3 surface is a Kummer surface, moreover the abelian…