This thesis discusses several questions regarding the double ramification cycle as a Chow class on the moduli space of stable n-pointed genus g curves using tools from so-called logarithmic... Show moreThis thesis discusses several questions regarding the double ramification cycle as a Chow class on the moduli space of stable n-pointed genus g curves using tools from so-called logarithmic geometry. It contains two extracts from articles; the first of these defines the universal double ramification cycle on the Picard stack of n-pointed genus g curves with a line bundle of fixed degree, which is a way to also include the generalisations that are called twisted double ramification cycles. The second article introduces the logarithmic double ramification cycle in the logarithmic Chow ring. The logarithmic double ramification cycle is proven to be ‘logarithmically tautological’ and it helps us prove that the double-double ramification cycle (or the good definition for ‘intersecting double ramification cycles’) is tautological – that is, these classes lie in a subring generated by ‘computable and known’ classes. The second chapter of the thesis explains and illustrates piecewise-polynomial functions, which are key to describing the forementioned ‘logarithmically tautological’, and how these functions relate to classical divisors which we use to describe tautological rings. Show less
In this thesis we study the moduli space of genus g curves, and the differential forms that occur naturally on this moduli space. We show that the rings of these tautological differential forms are... Show moreIn this thesis we study the moduli space of genus g curves, and the differential forms that occur naturally on this moduli space. We show that the rings of these tautological differential forms are finite-dimensional, and discuss algorithms that can be used to compute relations among tautological differential forms. Show less
In this thesis integral points on affine del Pezzo surfaces are studied. The first two chapters offer a review of arithmetic techniques and del Pezzo surfaces, but also a novel approach to del... Show moreIn this thesis integral points on affine del Pezzo surfaces are studied. The first two chapters offer a review of arithmetic techniques and del Pezzo surfaces, but also a novel approach to del Pezzo surfaces using a new type of surface, namely the peculiar del Pezzo surface. This allows one to study del Pezzo surfaces by considering linear subsystems of cubic plane curves.In Chapter 3 a uniform bound is given for the Brauer group of certain affine del Pezzo surfaces over number fields. This answers an open question for the geometrically related K3 surfaces. While determining this bound techniques are described for (partially) computing these groups.Chapter 4 begins with constructing models of del Pezzo surfaces; not by geometrically manipulating the projective plane over the rationals and taking the flat closure over the integers, but by manipulating schemes over the integers. The advantage of this approach is that one can control the reduction of the surface over all primes. Using these techniques and the computations from Chapter 3 we describe families of surfaces with an order 5 Brauer-Manin obstruction to the integral Hasse principle. These stand out against previously published examples, since these were all of lower order. Show less
This thesis consists of three independent chapters. Each chapter deals with a particular link between arithmetic and cohomology. In the first chapter, written together with prof. dr. S.J. Edixhoven... Show moreThis thesis consists of three independent chapters. Each chapter deals with a particular link between arithmetic and cohomology. In the first chapter, written together with prof. dr. S.J. Edixhoven, we consider smooth and proper Deligne-Mumford stacks whose number of points over a finite field is a polynomial. The main result is that the cohomology of such stacks, both etale and Betti, is of Tate type. The second chapter generalizes the p-adic De Rham comparison theorem from schemes to Deligne-Mumford stacks. The last chapter deals with Kedlaya's algorithm for counting points of hyperelliptic curves over finite fields. A different basis than the one described in the original algorithm is described, which has the advantage that it is denominator free. Show less